HomeSort by relevance Sort by last modified time
    Searched refs:nullState (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>());
65 if (nullState) {
69 if (ExplodedNode *N = C.generateNonFatalErrorNode(nullState)) {
82 // Don't add a transition for 'nullState'. If the value is
DereferenceChecker.cpp 206 ProgramStateRef notNullState, nullState;
207 std::tie(notNullState, nullState) = state->assume(location);
210 if (nullState) {
212 reportBug(nullState, S, C);
219 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) {
MallocChecker.cpp     [all...]

Completed in 78 milliseconds