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

  /external/clang/lib/StaticAnalyzer/Checkers/
NonNullParamChecker.cpp 139 ProgramStateRef stateNotNull, stateNull;
140 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
143 if (!stateNotNull) {
174 assert(stateNotNull);
175 state = stateNotNull;
StreamChecker.cpp 223 ProgramStateRef stateNotNull, stateNull;
224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
228 stateNotNull =
229 stateNotNull->set<StreamMap>(Sym,StreamState::getOpened(CE));
233 C.addTransition(stateNotNull);
348 ProgramStateRef stateNotNull, stateNull;
349 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
351 if (!stateNotNull && stateNull) {
361 return stateNotNull;

Completed in 68 milliseconds