Searched refs:StNull (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DereferenceChecker.cpp | 246 ProgramStateRef StNonNull, StNull; in checkBind() local
247 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
249 if (StNull) { in checkBind()
251 reportBug(StNull, S, C, /*isBind=*/true); in checkBind()
257 if (ExplodedNode *N = C.generateSink(StNull, C.getPredecessor())) { in checkBind()
|
| D | ReturnUndefChecker.cpp | 105 ProgramStateRef StNonNull, StNull; in checkReference() local
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal); in checkReference()
|
| D | CallAndMessageChecker.cpp | 321 ProgramStateRef StNonNull, StNull; in checkPreStmt() local
322 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
324 if (StNull && !StNonNull) { in checkPreStmt()
376 ProgramStateRef StNonNull, StNull; in checkPreCall() local
377 std::tie(StNonNull, StNull) = in checkPreCall()
380 if (StNull && !StNonNull) { in checkPreCall()
|