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

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

Completed in 71 milliseconds