Predicate RangeStage::RangeAnalysisCache::possibleReason
Holds if guard = boundFlowCond(_, _, _, _, _) or guard = eqFlowCond(_, _, _, _, _).
Import path
import codeql.rangeanalysis.RangeAnalysispredicate possibleReason(Guard guard)Holds if guard = boundFlowCond(_, _, _, _, _) or guard = eqFlowCond(_, _, _, _, _).
import codeql.rangeanalysis.RangeAnalysispredicate possibleReason(Guard guard)