HomeSort by relevance Sort by last modified time
    Searched refs:notNullState (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
ObjCAtSyncChecker.cpp 62 const ProgramState *notNullState, *nullState;
63 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
66 if (!notNullState) {
86 if (notNullState)
87 C.addTransition(notNullState);
MallocChecker.cpp 286 const ProgramState *notNullState, *nullState;
287 llvm::tie(notNullState, nullState) = state->assume(location);
290 if (nullState && !notNullState)
293 assert(notNullState);
298 return notNullState;
337 return notNullState;
346 return notNullState;
365 return notNullState->set<RegionState>(Sym, RefState::getRelinquished(CE));
366 return notNullState->set<RegionState>(Sym, RefState::getReleased(CE));
705 const ProgramState *notNullState, *nullState
    [all...]
DereferenceChecker.cpp 93 const ProgramState *notNullState, *nullState;
94 llvm::tie(notNullState, nullState) = state->assume(location);
98 if (!notNullState) {
187 C.addTransition(notNullState);

Completed in 2808 milliseconds