Searched defs:nullState (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp198 ProgramStateRef notNullState, nullState; local
199 llvm::tie(notNullState, nullState) = state->assume(location);
202 if (nullState) {
204 reportBug(nullState, S, C);
211 if (ExplodedNode *N = C.generateSink(nullState)) {

Completed in 25 milliseconds