Module CachedForDebugging
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionPredicates
| getInstructionUniqueId | |
| getTempVariableUniqueId | |
| instructionHasSortKeys | |
| maxValue | Returns the value of the maximum representable integer. |