mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tweak comments

Browse Source
This commit is contained in:
Ralf Jung 2024-01-28 16:45:52 +01:00 committed by GitHub
parent 9911d8d9bf
commit 8302e25529
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/helpers.rs
View File

@ -225,7 +225,7 @@ fn project_field_named<P: Projectable<'tcx, Provenance>>(
bug!("No field named {} in type {}", name, base.layout().ty); bug!("No field named {} in type {}", name, base.layout().ty);
} }
/// Search if Project (which must be a struct or union type) contains the `name` field. /// Search if `base` (which must be a struct or union type) contains the `name` field.
fn projectable_has_field<P: Projectable<'tcx, Provenance>>( fn projectable_has_field<P: Projectable<'tcx, Provenance>>(
&self, &self,
base: &P, base: &P,

2
src/tools/miri/src/shims/unix/fs.rs
View File

@ -1466,8 +1466,8 @@ fn macos_fbsd_readdir_r(
], ],
&entry_place, &entry_place,
)?; )?;
// freebsd 12 and onwards had added the d_off field
} else if this.projectable_has_field(&entry_place, "d_off") { } else if this.projectable_has_field(&entry_place, "d_off") {
// freebsd 12 and onwards had added the d_off field
this.write_int_fields_named( this.write_int_fields_named(
&[ &[
("d_fileno", ino.into()), ("d_fileno", ino.into()),