MIRI_DEFAULT_ARGS in miri - Rust
Description: Insert rustc arguments at the beginning of the argument list that Miri wants to be set per default, for maximal validation power. Also disable the MIR pass that inserts an alignment check on every pointer dereference. Miri does that too, and with a better error message.

Skip to main content

## MIRI_DEFAULT_ARGS

# Constant MIRI_DEFAULT_ARGS

Source

    pub const MIRI_DEFAULT_ARGS: &[&str];

Expand description

Insert rustc arguments at the beginning of the argument list that Miri wants to be set per default, for maximal validation power. Also disable the MIR pass that inserts an alignment check on every pointer dereference. Miri does that too, and with a better error message.