Module charon_lib::transform::remove_arithmetic_overflow_checks

source ·
Expand description

§Micro-pass: remove the overflow checks for arithmetic operations we couldn’t remove in

[remove_dynamic_checks]. See comments there for more details.

Structs§