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