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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DNonNullParamChecker.cpp125 ProgramStateRef stateNotNull, stateNull; local
126 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
128 if (stateNull && !stateNotNull) {
152 assert(stateNotNull);
153 state = stateNotNull;
H A DStreamChecker.cpp223 ProgramStateRef stateNotNull, stateNull; local
224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
228 stateNotNull =
229 stateNotNull->set<StreamMap>(Sym,StreamState::getOpened(CE));
233 C.addTransition(stateNotNull);
349 ProgramStateRef stateNotNull, stateNull; local
350 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
352 if (!stateNotNull && stateNull) {
362 return stateNotNull;

Completed in 1149 milliseconds