Searched refs:StNull (Results 1 - 3 of 3) sorted by relevance
/netbsd-current/external/apache2/llvm/dist/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 | 269 ProgramStateRef StNonNull, StNull; local 270 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); 272 if (StNull) { 276 reportBug(DerefKind::NullPointer, StNull, expr, C); 283 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 82 milliseconds