Rename ignore option as hide

README.md

@@ -219,13 +219,13 @@ environment variable:
 * `-Zmiri-disable-isolation` disables host isolation.  As a consequence,
   the program has access to host resources such as environment variables, file
   systems, and randomness.
-* `-Zmiri-isolation-error=<action>` configures Miri's response to operations 
-  requiring host access while isolation is enabled. `abort`, `ignore`, `warn`,
+* `-Zmiri-isolation-error=<action>` configures Miri's response to operations
+  requiring host access while isolation is enabled. `abort`, `hide`, `warn`,
   and `warn-nobacktrace` are the supported actions. Default action is `abort`
   which halts the machine. Rest of the actions configure it to return an error
   code for the op and continue executing. `warn` prints backtrace that could
   be used to trace the call. `warn-nobacktrace` is less verbose without
-  backtrace. `ignore` hides the warning.
+  backtrace. `hide` hides the warning.
 * `-Zmiri-env-exclude=<var>` keeps the `var` environment variable isolated from
   the host so that it cannot be accessed by the program.  Can be used multiple
   times to exclude several variables.  On Windows, the `TERM` environment

src/bin/miri.rs

@@ -317,12 +317,12 @@ fn main() {
                         .unwrap()
                     {
                         "abort" => miri::IsolatedOp::Reject(miri::RejectOpWith::Abort),
-                        "ignore" => miri::IsolatedOp::Reject(miri::RejectOpWith::NoWarning),
+                        "hide" => miri::IsolatedOp::Reject(miri::RejectOpWith::NoWarning),
                         "warn" => miri::IsolatedOp::Reject(miri::RejectOpWith::Warning),
                         "warn-nobacktrace" =>
                             miri::IsolatedOp::Reject(miri::RejectOpWith::WarningWithoutBacktrace),
                         _ => panic!(
-                            "-Zmiri-isolation-error must be `abort`, `ignore`, `warn`, or `warn-nobacktrace`"
+                            "-Zmiri-isolation-error must be `abort`, `hide`, `warn`, or `warn-nobacktrace`"
                         ),
                     };
                 }