Searched refs:StNull (Results 1 - 3 of 3) sorted by relevance
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ReturnUndefChecker.cpp | 105 ProgramStateRef StNonNull, StNull; local 106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
|
H A D | DereferenceChecker.cpp | 262 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 D | CallAndMessageChecker.cpp | 389 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