Predicate CachedForDebugging::maxValue
Returns the value of the maximum representable integer.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionReturns the value of the maximum representable integer.
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction