Lines Matching refs:Stmt
95 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
103 void checkLocation(SVal Location, bool IsLoad, const Stmt *S,
163 const Stmt *ValueExpr = nullptr,
168 const Stmt *ValueExpr = nullptr) const {
203 NullabilityState(Nullability Nullab, const Stmt *Source = nullptr)
206 const Stmt *getNullabilitySource() const { return Source; }
225 const Stmt *Source;
314 const Stmt *S = TrackedNullab->getNullabilitySource();
439 const MemRegion *Region, CheckerContext &C, const Stmt *ValueExpr,
527 const Stmt *S,
936 const Stmt *NullabilitySource =
959 const Stmt *NullabilitySource = ComputedNullab == RetNullability
1028 static const Expr * matchValueExprForBind(const Stmt *S) {
1052 static bool isARCNilInitializedLocal(CheckerContext &C, const Stmt *S) {
1094 void NullabilityChecker::checkBind(SVal L, SVal V, const Stmt *S,
1142 const Stmt *ValueStmt = S;
1194 const Stmt *NullabilitySource = BinOp ? BinOp->getRHS() : S;
1202 const Stmt *NullabilitySource = BinOp ? BinOp->getLHS() : S;