Module known_panics_lint

A lint that checks for known panics like overflows, division by zero, out-of-bound access etc. Uses const propagation to determine the values of operands during checks.

Structs

CanConstProp 🔒

A visitor that determines locals in a MIR body that can be const propagated

ConstPropagator 🔒

Visits MIR nodes, performs const propagation and runs lint checks as it goes

KnownPanicsLint 🔒

Enums

ConstPropMode 🔒

The mode that ConstProp is allowed to run in for a given Local.

Value 🔒

Constants

MAX_ALLOC_LIMIT 🔒

The maximum number of bytes that we’ll allocate space for a local or the return value. Needed for #66397, because otherwise we eval into large places and that can cause OOM or just Severely regress performance.