Searched defs:notNullState (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp206 ProgramStateRef notNullState, nullState; local
207 std::tie(notNullState, nullState) = state->assume(location);
211 if (!notNullState) {
227 C.addTransition(notNullState);

Completed in 148 milliseconds