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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DObjCAtSyncChecker.cpp62 ProgramStateRef notNullState, nullState;
63 llvm::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
66 if (!notNullState) {
86 if (notNullState)
87 C.addTransition(notNullState);
H A DDereferenceChecker.cpp202 ProgramStateRef notNullState, nullState; local
203 llvm::tie(notNullState, nullState) = state->assume(location);
207 if (!notNullState) {
222 C.addTransition(notNullState);
H A DMallocChecker.cpp694 ProgramStateRef notNullState, nullState;
695 llvm::tie(notNullState, nullState) = State->assume(location);
696 if (nullState && !notNullState)

Completed in 172 milliseconds