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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp549 ProgramStateRef stateTrue, stateFalse; local
550 llvm::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
552 if (stateTrue && !stateFalse) {
553 ExplodedNode *N = C.generateSink(stateTrue);

Completed in 104 milliseconds