From 8302e25529b88f4c2f561ca519bcb4faf34bc25f Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 28 Jan 2024 16:45:52 +0100 Subject: [PATCH] tweak comments --- src/tools/miri/src/helpers.rs | 2 +- src/tools/miri/src/shims/unix/fs.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/src/helpers.rs b/src/tools/miri/src/helpers.rs index 3651db982b3..eb9d8e8e68e 100644 --- a/src/tools/miri/src/helpers.rs +++ b/src/tools/miri/src/helpers.rs @@ -225,7 +225,7 @@ fn project_field_named>( 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>( &self, base: &P, diff --git a/src/tools/miri/src/shims/unix/fs.rs b/src/tools/miri/src/shims/unix/fs.rs index b2170c8c87f..5b93db19d55 100644 --- a/src/tools/miri/src/shims/unix/fs.rs +++ b/src/tools/miri/src/shims/unix/fs.rs @@ -1466,8 +1466,8 @@ fn macos_fbsd_readdir_r( ], &entry_place, )?; - // freebsd 12 and onwards had added the d_off field } 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( &[ ("d_fileno", ino.into()),