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

  /external/clang/lib/StaticAnalyzer/Checkers/
NonNullParamChecker.cpp 125 ProgramStateRef stateNotNull, stateNull;
126 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
128 if (stateNull && !stateNotNull) {
131 if (ExplodedNode *errorNode = C.generateSink(stateNull)) {
StreamChecker.cpp 223 ProgramStateRef stateNotNull, stateNull;
224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
230 stateNull =
231 stateNull->set<StreamMap>(Sym, StreamState::getOpenFailed(CE));
234 C.addTransition(stateNull);
349 ProgramStateRef stateNotNull, stateNull;
350 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
352 if (!stateNotNull && stateNull) {
353 if (ExplodedNode *N = C.generateSink(stateNull)) {

Completed in 62 milliseconds