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 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
66 if (!notNullState) {
87 if (notNullState)
88 C.addTransition(notNullState);
DereferenceChecker.cpp 206 ProgramStateRef notNullState, nullState;
207 std::tie(notNullState, nullState) = state->assume(location);
211 if (!notNullState) {
227 C.addTransition(notNullState);
MallocChecker.cpp     [all...]

Completed in 319 milliseconds