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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp690 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, local
695 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());

Completed in 100 milliseconds