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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DObjCAtSyncChecker.cpp62 ProgramStateRef notNullState, nullState;
63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
66 if (!notNullState) {
87 if (notNullState)
88 C.addTransition(notNullState);
H A DDereferenceChecker.cpp203 ProgramStateRef notNullState, nullState; local
204 std::tie(notNullState, nullState) = state->assume(location);
208 if (!notNullState) {
223 C.addTransition(notNullState);
H A DMallocChecker.cpp1083 ProgramStateRef notNullState, nullState;
1084 std::tie(notNullState, nullState) = State->assume(location);
1085 if (nullState && !notNullState)

Completed in 67 milliseconds