Searched defs:stateTrue (Results 1 - 2 of 2) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BasicObjCFoundationChecks.cpp | 404 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 D | CStringChecker.cpp | 403 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