Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp569 ProgramStateRef stateNonNull, stateNull; in checkPreCall() local
570 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()
572 if (!stateNonNull) { in checkPreCall()
590 C.addTransition(stateNonNull); in checkPreCall()
H A DCStringChecker.cpp382 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local
383 std::tie(stateNull, stateNonNull) = in checkNonNull()
386 if (stateNull && !stateNonNull) { in checkNonNull()
401 assert(stateNonNull); in checkNonNull()
402 return stateNonNull; in checkNonNull()