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

  /external/clang/lib/StaticAnalyzer/Checkers/
NonNullParamChecker.cpp 139 ProgramStateRef stateNotNull, stateNull;
140 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
142 if (stateNull) {
146 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) {
164 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) {
StreamChecker.cpp 223 ProgramStateRef stateNotNull, stateNull;
224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
230 stateNull =
231 stateNull->set<StreamMap>(Sym, StreamState::getOpenFailed(CE));
234 C.addTransition(stateNull);
348 ProgramStateRef stateNotNull, stateNull;
349 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
351 if (!stateNotNull && stateNull) {
352 if (ExplodedNode *N = C.generateErrorNode(stateNull)) {
CStringChecker.cpp 238 ProgramStateRef stateNull, stateNonNull;
239 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
241 if (stateNull && !stateNonNull) {
245 ExplodedNode *N = C.generateErrorNode(stateNull);
    [all...]

Completed in 156 milliseconds