Lines Matching refs:Ex
38 static bool isArrayIndexOutOfBounds(CheckerContext &C, const Expr *Ex) { in isArrayIndexOutOfBounds() argument
41 if (!isa<ArraySubscriptExpr>(Ex)) in isArrayIndexOutOfBounds()
44 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
99 const Expr *Ex = nullptr; in checkPostStmt() local
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
107 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
111 if (Ex) { in checkPostStmt()
115 if (isArrayIndexOutOfBounds(C, Ex)) in checkPostStmt()
126 Ex = B->getRHS(); in checkPostStmt()
135 Ex = B->getRHS(); in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
166 Ex = B->getLHS(); in checkPostStmt()
174 if (Ex) { in checkPostStmt()
175 report->addRange(Ex->getSourceRange()); in checkPostStmt()
176 bugreporter::trackExpressionValue(N, Ex, *report); in checkPostStmt()