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

  /external/clang/lib/StaticAnalyzer/Checkers/
ReturnUndefChecker.cpp 105 ProgramStateRef StNonNull, StNull;
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
108 if (StNonNull) {
110 C.addTransition(StNonNull);
CallAndMessageChecker.cpp 314 ProgramStateRef StNonNull, StNull;
315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
317 if (StNull && !StNonNull) {
325 C.addTransition(StNonNull);
369 ProgramStateRef StNonNull, StNull;
370 std::tie(StNonNull, StNull) =
373 if (StNull && !StNonNull) {
381 State = StNonNull;
DereferenceChecker.cpp 242 ProgramStateRef StNonNull, StNull;
243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
246 if (!StNonNull) {

Completed in 239 milliseconds