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 64 ProgramStateRef notNullState, nullState;
65 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
68 if (!notNullState) {
89 if (notNullState)
90 C.addTransition(notNullState);
DereferenceChecker.cpp 104 ProgramStateRef notNullState, nullState;
105 llvm::tie(notNullState, nullState) = state->assume(location);
109 if (!notNullState) {
211 C.addTransition(notNullState);
MallocChecker.cpp 509 ProgramStateRef notNullState, nullState;
510 llvm::tie(notNullState, nullState) = state->assume(location);
511 if (nullState && !notNullState)
    [all...]

Completed in 140 milliseconds