Structs§
- Holds all of the coverage mapping data associated with a function instance, collected during traversal of
Coverage
statements in the function’s MIR. - Set of expression IDs that are known to always evaluate to zero. Any mapping or expression operand that refers to these expressions can have that reference replaced with a constant zero value.
Functions§
- Returns
true
if the given term is known to have a value of zero, taking into account knowledge of which counters are unused and which expressions are always zero.