charon_
lib
0.1.45
Module remove_
arithmetic_
overflow_
checks
Sections
Micro-pass: remove the overflow checks for arithmetic operations we couldn’t remove in
Module Items
Structs
In charon_
lib::
transform
charon_lib
::
transform
Module
remove_arithmetic_overflow_checks
Copy item path
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
§
Transform