Predicate convertedExprMightOverflow
Holds if the expression might overflow (either positively or negatively). The possibility that the expression might overflow due to an implicit or explicit cast is also considered.
Import path
import semmle.code.cpp.rangeanalysis.new.SimpleRangeAnalysispredicate convertedExprMightOverflow(Expr expr)