Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

Lines Matching refs:notNullState

1323   ProgramStateRef notNullState, nullState;
1324   std::tie(notNullState, nullState) = State->assume(location);
1325   if (nullState && !notNullState)

OpenGrok