Searched refs:stateNotNull (Results 1 - 2 of 2) sorted by relevance
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | NonNullParamChecker.cpp | 139 ProgramStateRef stateNotNull, stateNull; local 140 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); 143 if (!stateNotNull) { 174 assert(stateNotNull); 175 state = stateNotNull;
|
H A D | StreamChecker.cpp | 223 ProgramStateRef stateNotNull, stateNull; local 224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal); 228 stateNotNull = 229 stateNotNull->set<StreamMap>(Sym,StreamState::getOpened(CE)); 233 C.addTransition(stateNotNull); 348 ProgramStateRef stateNotNull, stateNull; local 349 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); 351 if (!stateNotNull && stateNull) { 361 return stateNotNull;
|
Completed in 108 milliseconds