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

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DReturnUndefChecker.cpp105 ProgramStateRef StNonNull, StNull; local
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
H A DDereferenceChecker.cpp269 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 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 82 milliseconds