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

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
BasicObjCFoundationChecks.cpp 565 ProgramStateRef stateNonNull, stateNull;
566 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal);
568 if (!stateNonNull) {
586 C.addTransition(stateNonNull);
CStringChecker.cpp 301 ProgramStateRef stateNull, stateNonNull;
302 std::tie(stateNull, stateNonNull) =
305 if (stateNull && !stateNonNull) {
320 assert(stateNonNull);
321 return stateNonNull;

Completed in 28 milliseconds