Searched refs:StNull (Results 1 - 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DereferenceChecker.cpp | 242 ProgramStateRef StNonNull, StNull; local
243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
245 if (StNull) {
247 reportBug(StNull, S, C, /*isBind=*/true);
253 if (ExplodedNode *N = C.generateSink(StNull)) {
|
| H A D | ReturnUndefChecker.cpp | 105 ProgramStateRef StNonNull, StNull; local
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
|
| H A D | CallAndMessageChecker.cpp | 314 ProgramStateRef StNonNull, StNull; local
315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
317 if (StNull && !StNonNull) {
369 ProgramStateRef StNonNull, StNull; local
370 std::tie(StNonNull, StNull) =
373 if (StNull && !StNonNull) {
|
Completed in 1337 milliseconds