HomeSort by: relevance | last modified time | path
    Searched refs:stateNull (Results 1 - 3 of 3) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
NonNullParamChecker.cpp 174 ProgramStateRef stateNotNull, stateNull;
175 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
179 if (stateNull && !stateNotNull) {
180 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) {
199 if (stateNull) {
200 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) {
BasicObjCFoundationChecks.cpp 565 ProgramStateRef stateNonNull, stateNull;
566 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal);
569 ExplodedNode *N = C.generateErrorNode(stateNull);
CStringChecker.cpp 301 ProgramStateRef stateNull, stateNonNull;
302 std::tie(stateNull, stateNonNull) =
305 if (stateNull && !stateNonNull) {
314 emitNullArgBug(C, stateNull, Arg.Expression, OS.str());

Completed in 32 milliseconds