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 321 ProgramStateRef StNonNull, StNull;
322 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
324 if (StNull && !StNonNull) {
332 C.addTransition(StNonNull);
376 ProgramStateRef StNonNull, StNull;
377 std::tie(StNonNull, StNull) =
380 if (StNull && !StNonNull) {
388 State = StNonNull;
DereferenceChecker.cpp 246 ProgramStateRef StNonNull, StNull;
247 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
250 if (!StNonNull) {

Completed in 169 milliseconds