From 81d7dca99c20617c53aa2375e167f1e2870c2d82 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Sun, 10 Mar 2024 15:19:37 +0100
Subject: [PATCH] update miri flags, second round

---
 src/flags.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/flags.rs b/src/flags.rs
index cb1db9e..52dc38b 100644
--- a/src/flags.rs
+++ b/src/flags.rs
@@ -4571,20 +4571,16 @@ pub(crate) static MIRIFLAGS: &[&[&str]] = &[
     // with mir opt level
     &[
         "-Zmir-opt-level=5",
-        "-Zmiri-check-number-validity",
         "-Zmiri-strict-provenance",
         "-Zmiri-symbolic-alignment-check",
-        "-Zmiri-tag-raw-pointers",
         "-Zmiri-tree-borrows",
         "-Cdebug-assertions",
         "-O",
     ],
     // and without
     &[
-        //"-Zmiri-check-number-validity", // default
         "-Zmiri-strict-provenance",
         "-Zmiri-symbolic-alignment-check",
-        // "-Zmiri-tag-raw-pointers", // default
         "-Zmiri-mute-stdout-stderr",
         "-Zmiri-retag-fields",
         "-Zmiri-tree-borrows",