Predicate RangeStage::RangeAnalysisCache::possibleReason

Holds if guard = boundFlowCond(_, _, _, _, _) or guard = eqFlowCond(_, _, _, _, _).

Import path

import codeql.rangeanalysis.RangeAnalysis

predicate possibleReason(Guard guard)