diff options
| author | Ralf Jung <post@ralfj.de> | 2023-03-18 11:21:09 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-03-18 11:21:09 +0100 |
| commit | c3780602ec5c90e2feede53d06efb84ca07e87cf (patch) | |
| tree | 8337c605f1d65aa7cf1c663fa1036210fcd629ca /src | |
| parent | 5a0d2576e2391f32914b3f43dd960f5634264544 (diff) | |
| download | rust-c3780602ec5c90e2feede53d06efb84ca07e87cf.tar.gz rust-c3780602ec5c90e2feede53d06efb84ca07e87cf.zip | |
sort flags alphabetically
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index feb3f9c10a3..f95fe585a8f 100644 --- a/src/tools/miri/src/lib.rs +++ b/src/tools/miri/src/lib.rs @@ -126,9 +126,9 @@ pub use crate::tag_gc::{EvalContextExt as _, VisitTags}; /// Insert rustc arguments at the beginning of the argument list that Miri wants to be /// set per default, for maximal validation power. pub const MIRI_DEFAULT_ARGS: &[&str] = &[ + "--cfg=miri", "-Zalways-encode-mir", + "-Zextra-const-ub-checks", "-Zmir-emit-retag", "-Zmir-opt-level=0", - "--cfg=miri", - "-Zextra-const-ub-checks", ]; |