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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp429 ProgramStateRef stateTrue, stateFalse;
446 std::tie(stateTrue, stateFalse) =
449 if (stateTrue && !stateFalse) {
456 assert(stateFalse);
457 state = stateFalse;
468 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
470 if (stateFalse) {
513 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
515 if (stateTrue && !stateFalse) {
522 assert(stateFalse);
[all...]
H A DBasicObjCFoundationChecks.cpp588 ProgramStateRef stateTrue, stateFalse; local
589 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
591 if (stateTrue && !stateFalse) {
616 C.addTransition(stateFalse);

Completed in 213 milliseconds