Searched refs:stateTrue (Results 1 - 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 429 ProgramStateRef stateTrue, stateFalse;
446 std::tie(stateTrue, stateFalse) =
449 if (stateTrue && !stateFalse) {
451 emitOverlapBug(C, stateTrue, First, Second);
468 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
469 if (stateTrue) {
513 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
515 if (stateTrue && !stateFalse) {
517 emitOverlapBug(C, stateTrue, First, Second);
|
| H A D | BasicObjCFoundationChecks.cpp | 588 ProgramStateRef stateTrue, stateFalse; local
589 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
591 if (stateTrue && !stateFalse) {
592 ExplodedNode *N = C.generateSink(stateTrue);
|
Completed in 346 milliseconds