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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp404 const ProgramState *stateTrue, *stateFalse; local
405 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
407 if (stateTrue && !stateFalse) {
408 ExplodedNode *N = C.generateSink(stateTrue);
H A DCStringChecker.cpp403 const ProgramState *stateTrue, *stateFalse; local
419 llvm::tie(stateTrue, stateFalse) =
422 if (stateTrue && !stateFalse) {
424 emitOverlapBug(C, stateTrue, First, Second);
440 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
441 if (stateTrue) {
488 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
490 if (stateTrue && !stateFalse) {
492 emitOverlapBug(C, stateTrue, First, Second);

Completed in 70 milliseconds