CodeQL library for C/C++
Search

Predicate positive_overflow

Holds if the expression might overflow positively. This predicate does not consider the possibility that the expression might overflow due to a conversion.

DEPRECATED: use exprMightOverflowPositively instead.

Import path

import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
predicate positive_overflow(Expr expr)