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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1802 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE, local
1807 state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);

Completed in 166 milliseconds