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()
79     const Expr *Ex = nullptr;  in checkPostStmt()  local
83       Ex = B->getLHS()->IgnoreParenCasts();  in checkPostStmt()
87       Ex = B->getRHS()->IgnoreParenCasts();  in checkPostStmt()
91     if (Ex) {  in checkPostStmt()
95       if (isArrayIndexOutOfBounds(C, Ex))  in checkPostStmt()
104     if (Ex) {  in checkPostStmt()
105       report->addRange(Ex->getSourceRange());  in checkPostStmt()
106       bugreporter::trackExpressionValue(N, Ex, *report);  in checkPostStmt()