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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp588 ProgramStateRef stateTrue, stateFalse; local
589 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
591 if (stateTrue && !stateFalse) {
592 ExplodedNode *N = C.generateSink(stateTrue);

Completed in 1820 milliseconds