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.