Predicate RangeStage::potentiallyOverflowingExpr
Import path
import codeql.rangeanalysis.RangeAnalysispredicate potentiallyOverflowingExpr(boolean positively, Expr expr)import codeql.rangeanalysis.RangeAnalysispredicate potentiallyOverflowingExpr(boolean positively, Expr expr)