Searched defs:willOverflow (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp580 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, local
585 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());

Completed in 70 milliseconds