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

/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp179 ProgramStateRef notNilState, nilState; local
180 std::tie(notNilState, nilState) = State->assume(receiverVal);
183 if (nilState && !notNilState) {
186 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr,

Completed in 45 milliseconds