Searched refs:stateNull (Results 1 - 3 of 3) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | NonNullParamChecker.cpp | 125 ProgramStateRef stateNotNull, stateNull; local 126 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); 128 if (stateNull && !stateNotNull) { 131 if (ExplodedNode *errorNode = C.generateSink(stateNull)) {
|
H A D | StreamChecker.cpp | 223 ProgramStateRef stateNotNull, stateNull; local 224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal); 230 stateNull = 231 stateNull->set<StreamMap>(Sym, StreamState::getOpenFailed(CE)); 234 C.addTransition(stateNull); 349 ProgramStateRef stateNotNull, stateNull; local 350 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); 352 if (!stateNotNull && stateNull) { 353 if (ExplodedNode *N = C.generateSink(stateNull)) {
|
H A D | CStringChecker.cpp | 225 ProgramStateRef stateNull, stateNonNull; 226 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); 228 if (stateNull && !stateNonNull) { 232 ExplodedNode *N = C.generateSink(stateNull);
|
Completed in 407 milliseconds