HomeSort by relevance Sort by last modified time
    Searched defs:stateNull (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
AttrNonNullChecker.cpp 89 ProgramStateRef stateNotNull, stateNull;
90 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
92 if (stateNull && !stateNotNull) {
95 if (ExplodedNode *errorNode = C.generateSink(stateNull)) {
StreamChecker.cpp 232 ProgramStateRef stateNotNull, stateNull;
233 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
239 stateNull =
240 stateNull->set<StreamState>(Sym, StreamState::getOpenFailed(CE));
243 C.addTransition(stateNull);
357 ProgramStateRef stateNotNull, stateNull;
358 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
360 if (!stateNotNull && stateNull) {
361 if (ExplodedNode *N = C.generateSink(stateNull)) {

Completed in 153 milliseconds