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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp565 ProgramStateRef stateNonNull, stateNull; local
566 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal);
568 if (!stateNonNull) {
586 C.addTransition(stateNonNull);
H A DCStringChecker.cpp285 ProgramStateRef stateNull, stateNonNull;
286 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
288 if (stateNull && !stateNonNull) {
303 assert(stateNonNull);
304 return stateNonNull;

Completed in 173 milliseconds