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.SimpleRangeAnalysis
predicate convertedExprMightOverflow(Expr expr)