Holds if the definition might overflow positively.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysispredicate defMightOverflowPositively(RangeSsaDefinition def, StackVariable v)Holds if the definition might overflow positively.
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysispredicate defMightOverflowPositively(RangeSsaDefinition def, StackVariable v)