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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp421 ProgramStateRef stateTrue, stateFalse; local
422 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
424 if (stateTrue && !stateFalse) {
441 C.addTransition(stateFalse);

Completed in 49 milliseconds