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

/netbsd-current/external/apache2/llvm/dist/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.cpp269 ProgramStateRef StNonNull, StNull; local
270 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
273 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 101 milliseconds