commit 80fb7dd8e0c56632dc68f5864f70abb2fde0e1df
author Matt Beaumont-Gay <matthewbg@google.com> Wed Dec 14 16:02:15 2011 +0000
committer Matt Beaumont-Gay <matthewbg@google.com> Wed Dec 14 16:02:15 2011 +0000
tree 175c7b87af3e5aff83b5d971e8e13688bb99005f
parent dfba0278ce3b9cd86f5a050163ccb998aeb74aa6

r146430 lost some compile-time performance on MultiSource/Benchmarks/MiBench/security-rijndael; this gets most of it back.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146562 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Sema/SemaChecking.cpp

diff --git a/lib/Sema/SemaChecking.cpp b/lib/Sema/SemaChecking.cpp
index bb567d0..5de124d 100644
--- a/lib/Sema/SemaChecking.cpp
+++ b/lib/Sema/SemaChecking.cpp
@@ -4274,20 +4274,21 @@
 }
 
 void Sema::CheckArrayAccess(const Expr *BaseExpr, const Expr *IndexExpr,
-                            bool isSubscript, bool AllowOnePastEnd) {
+                            const ArraySubscriptExpr *ASE,
+                            bool AllowOnePastEnd) {
+  IndexExpr = IndexExpr->IgnoreParenCasts();
+  if (IndexExpr->isValueDependent())
+    return;
+
   const Type *EffectiveType = getElementType(BaseExpr);
   BaseExpr = BaseExpr->IgnoreParenCasts();
-  IndexExpr = IndexExpr->IgnoreParenCasts();
-
   const ConstantArrayType *ArrayTy =
     Context.getAsConstantArrayType(BaseExpr->getType());
   if (!ArrayTy)
     return;
 
-  if (IndexExpr->isValueDependent())
-    return;
   llvm::APSInt index;
-  if (!IndexExpr->isIntegerConstantExpr(index, Context))
+  if (!IndexExpr->EvaluateAsInt(index, Context))
     return;
 
   const NamedDecl *ND = NULL;
@@ -4336,8 +4337,22 @@
     if (IsTailPaddedMemberArray(*this, size, ND))
       return;
 
+    // Suppress the warning if the subscript expression (as identified by the
+    // ']' location) and the index expression are both from macro expansions
+    // within a system header.
+    if (ASE) {
+      SourceLocation RBracketLoc = SourceMgr.getSpellingLoc(
+          ASE->getRBracketLoc());
+      if (SourceMgr.isInSystemHeader(RBracketLoc)) {
+        SourceLocation IndexLoc = SourceMgr.getSpellingLoc(
+            IndexExpr->getLocStart());
+        if (SourceMgr.isFromSameFile(RBracketLoc, IndexLoc))
+          return;
+      }
+    }
+
     unsigned DiagID = diag::warn_ptr_arith_exceeds_bounds;
-    if (isSubscript)
+    if (ASE)
       DiagID = diag::warn_array_index_exceeds_bounds;
 
     DiagRuntimeBehavior(BaseExpr->getLocStart(), BaseExpr,
@@ -4347,7 +4362,7 @@
                           << IndexExpr->getSourceRange());
   } else {
     unsigned DiagID = diag::warn_array_index_precedes_bounds;
-    if (!isSubscript) {
+    if (!ASE) {
       DiagID = diag::warn_ptr_arith_precedes_bounds;
       if (index.isNegative()) index = -index;
     }
@@ -4381,17 +4396,7 @@
     switch (expr->getStmtClass()) {
       case Stmt::ArraySubscriptExprClass: {
         const ArraySubscriptExpr *ASE = cast<ArraySubscriptExpr>(expr);
-        // Suppress the warning if the subscript expression (as identified by
-        // the ']' location) and the index expression are both from macro
-        // expansions within a system header.
-        SourceLocation RBracketLoc = SourceMgr.getSpellingLoc(
-            ASE->getRBracketLoc());
-        SourceLocation IndexLoc = SourceMgr.getSpellingLoc(
-            ASE->getIdx()->IgnoreParens()->getLocStart());
-        if (SourceMgr.isFromSameFile(RBracketLoc, IndexLoc) &&
-            SourceMgr.isInSystemHeader(RBracketLoc))
-          return;
-        CheckArrayAccess(ASE->getBase(), ASE->getIdx(), true,
+        CheckArrayAccess(ASE->getBase(), ASE->getIdx(), ASE,
                          AllowOnePastEnd > 0);
         return;
       }