Searched refs:StNull (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);
H A DDereferenceChecker.cpp262 ProgramStateRef StNonNull, StNull; local
263 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
265 if (StNull) {
269 reportBug(StNull, expr, C);
276 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) {
H A DCallAndMessageChecker.cpp389 ProgramStateRef StNonNull, StNull; local
390 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
392 if (StNull && !StNonNull) {
394 C.addSink(StNull);
459 ProgramStateRef StNonNull, StNull; local
460 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
462 if (StNull && !StNonNull) {
464 C.addSink(StNull);

Completed in 166 milliseconds