Searched refs:StNull (Results 1 – 3 of 3) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DereferenceChecker.cpp | 300 ProgramStateRef StNonNull, StNull; in checkBind() local
301 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
303 if (StNull) { in checkBind()
307 reportBug(DerefKind::NullPointer, StNull, expr, C); in checkBind()
314 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()
|
| H A D | CallAndMessageChecker.cpp | 388 ProgramStateRef StNonNull, StNull; in checkFunctionPointerCall() local
389 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkFunctionPointerCall()
391 if (StNull && !StNonNull) { in checkFunctionPointerCall()
393 C.addSink(StNull); in checkFunctionPointerCall()
458 ProgramStateRef StNonNull, StNull; in checkCXXMethodCall() local
459 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkCXXMethodCall()
461 if (StNull && !StNonNull) { in checkCXXMethodCall()
463 C.addSink(StNull); in checkCXXMethodCall()
|
| H A D | ReturnUndefChecker.cpp | 100 ProgramStateRef StNonNull, StNull; in checkReference() local
101 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal); in checkReference()
|