Searched refs:StNonNull (Results 1 - 3 of 3) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DReturnUndefChecker.cpp105 ProgramStateRef StNonNull, StNull; local
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
108 if (StNonNull) {
110 C.addTransition(StNonNull);
H A DDereferenceChecker.cpp262 ProgramStateRef StNonNull, StNull; local
263 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
266 if (!StNonNull) {
H A DCallAndMessageChecker.cpp389 ProgramStateRef StNonNull, StNull; local
390 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
392 if (StNull && !StNonNull) {
404 return StNonNull;
459 ProgramStateRef StNonNull, StNull; local
460 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
462 if (StNull && !StNonNull) {
474 return StNonNull;

Completed in 102 milliseconds