Skip to content
Merged
Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
f9e9856
add more tests for SC access/fence consistency
RalfJung Dec 12, 2024
7b29daf
Merge pull request #4090 from RalfJung/sc-test
RalfJung Dec 21, 2024
9c87ec8
remove an unused helper method
RalfJung Dec 21, 2024
58ad698
Merge pull request #4103 from RalfJung/remove-unused
RalfJung Dec 21, 2024
38e3ebc
miri-script: support saving bench results in a baseline JSON file
RalfJung Dec 22, 2024
40b3310
miri-script: add option to compare with baseline results
RalfJung Dec 22, 2024
41f3edc
CONTRIBUTING: explain how to do benchmarking with a baseline
RalfJung Dec 22, 2024
bba6f0a
Merge pull request #4104 from RalfJung/bench
RalfJung Dec 22, 2024
d80f319
add -Zmiri-many-seeds flag to the driver itself
RalfJung Dec 23, 2024
0bd76e1
remove many-seeds mode from cargo-miri
RalfJung Dec 23, 2024
d04b972
remove --many-seeds from ./miri run
RalfJung Dec 23, 2024
0f49f0f
stop using process-wide state, now that we are running multiple inter…
RalfJung Dec 23, 2024
4116585
many-seeds: add flag to keep going even after we found a failing seed
RalfJung Dec 23, 2024
fdfd064
use std::sync::Once instead of hand-rolling a bad version of it
RalfJung Dec 23, 2024
cb73bb6
Merge pull request #4105 from RalfJung/many-seeds
oli-obk Dec 23, 2024
2de4561
show an error on some invalid flag combinations: TB + permissive prov…
RalfJung Dec 24, 2024
b109091
remove some flags that have been hard errors for a while
RalfJung Dec 24, 2024
35f10b1
we generally make later flags overwrite earlier flags, so remove some…
RalfJung Dec 24, 2024
60e3bf4
Merge pull request #4109 from RalfJung/flags
RalfJung Dec 26, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 4 additions & 13 deletions src/tools/miri/src/helpers.rs
Original file line number Diff line number Diff line change
Expand Up @@ -332,19 +332,10 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
base: &P,
name: &str,
) -> InterpResult<'tcx, P> {
if let Some(field) = self.try_project_field_named(base, name)? {
return interp_ok(field);
}
bug!("No field named {} in type {}", name, base.layout().ty);
}

/// Search if `base` (which must be a struct or union type) contains the `name` field.
fn projectable_has_field<P: Projectable<'tcx, Provenance>>(
&self,
base: &P,
name: &str,
) -> bool {
self.try_project_field_named(base, name).unwrap().is_some()
interp_ok(
self.try_project_field_named(base, name)?
.unwrap_or_else(|| bug!("no field named {} in type {}", name, base.layout().ty)),
)
}

/// Write an int of the appropriate size to `dest`. The target type may be signed or unsigned,
Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri/src/shims/native_lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -173,7 +173,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
// Wildcard pointer, whatever it points to must be already exposed.
continue;
};
// The first time this happens at a particular location, print a warning.
// The first time this happens, print a warning.
thread_local! {
static HAVE_WARNED: RefCell<bool> = const { RefCell::new(false) };
}
Expand Down