HomeSort by relevance Sort by last modified time
    Searched defs:nullState (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));
65 if (nullState) {
69 if (ExplodedNode *N = C.generateNode(nullState)) {
81 // Don't add a transition for 'nullState'. If the value is
DereferenceChecker.cpp 93 const ProgramState *notNullState, *nullState;
94 llvm::tie(notNullState, nullState) = state->assume(location);
97 if (nullState) {
100 ExplodedNode *N = C.generateSink(nullState);
179 if (ExplodedNode *N = C.generateSink(nullState)) {
MallocChecker.cpp 286 const ProgramState *notNullState, *nullState;
287 llvm::tie(notNullState, nullState) = state->assume(location);
290 if (nullState && !notNullState)
291 return nullState;
705 const ProgramState *notNullState, *nullState;
706 llvm::tie(notNullState, nullState) = state->assume(l);
708 // Generate a transition for 'nullState' to record the assumption
710 if (nullState)
711 C.addTransition(nullState);

Completed in 227 milliseconds