HomeSort by relevance Sort by last modified time
    Searched refs:stateNotNull (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
NonNullParamChecker.cpp 116 ProgramStateRef stateNotNull, stateNull;
117 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
119 if (stateNull && !stateNotNull) {
143 assert(stateNotNull);
144 state = stateNotNull;
StreamChecker.cpp 220 ProgramStateRef stateNotNull, stateNull;
221 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
225 stateNotNull =
226 stateNotNull->set<StreamMap>(Sym,StreamState::getOpened(CE));
230 C.addTransition(stateNotNull);
345 ProgramStateRef stateNotNull, stateNull;
346 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
348 if (!stateNotNull && stateNull) {
358 return stateNotNull;

Completed in 401 milliseconds