From c3780602ec5c90e2feede53d06efb84ca07e87cf Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 18 Mar 2023 11:21:09 +0100 Subject: [PATCH] sort flags alphabetically --- src/tools/miri/src/lib.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index feb3f9c10a3c..f95fe585a8f7 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", ];