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 ProgramStateRef notNullState, nullState;
63 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
66 if (!notNullState) {
86 if (notNullState)
87 C.addTransition(notNullState);
DereferenceChecker.cpp 198 ProgramStateRef notNullState, nullState;
199 llvm::tie(notNullState, nullState) = state->assume(location);
203 if (!notNullState) {
218 C.addTransition(notNullState);
MallocChecker.cpp 641 ProgramStateRef notNullState, nullState;
642 llvm::tie(notNullState, nullState) = state->assume(location);
643 if (nullState && !notNullState)
    [all...]

Completed in 567 milliseconds