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

/external/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 DCallAndMessageChecker.cpp314 ProgramStateRef StNonNull, StNull; local
315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
317 if (StNull && !StNonNull) {
325 C.addTransition(StNonNull);
369 ProgramStateRef StNonNull, StNull; local
370 std::tie(StNonNull, StNull) =
373 if (StNull && !StNonNull) {
381 State = StNonNull;
H A DDereferenceChecker.cpp242 ProgramStateRef StNonNull, StNull; local
243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
246 if (!StNonNull) {

Completed in 317 milliseconds