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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNonNullParamChecker.cpp138 ProgramStateRef stateNotNull, stateNull; local
139 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
143 if (stateNull && !stateNotNull) {
174 state = stateNotNull;
H A DStreamChecker.cpp153 ProgramStateRef stateNotNull, stateNull; local
154 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
158 stateNotNull = stateNotNull->set<StreamMap>(Sym, StreamState::getOpened());
161 C.addTransition(stateNotNull);

Completed in 116 milliseconds