commit 20a209e453b557525ea0ab27c47717639c889fa2
author Daniel Marjamaki <daniel.marjamaki@evidente.se> Tue Feb 28 14:53:50 2017 +0000
committer Daniel Marjamaki <daniel.marjamaki@evidente.se> Tue Feb 28 14:53:50 2017 +0000
tree 43ca90714c3616a8d28bb98bab5ac2ea06bfd119
parent f830dec3f267a5353219be8e663465fbf5afd5c1

[Sema] Detect more array index out of bounds when C++ overloaded operators are used

Differential Revision: https://reviews.llvm.org/D30192

llvm-svn: 296477

clang/lib/Sema/SemaChecking.cpp

diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp
index 912b52b..eef8f55 100644
--- a/clang/lib/Sema/SemaChecking.cpp
+++ b/clang/lib/Sema/SemaChecking.cpp
@@ -10609,6 +10609,12 @@
           CheckArrayAccess(rhs);
         return;
       }
+      case Stmt::CXXOperatorCallExprClass: {
+        const auto *OCE = cast<CXXOperatorCallExpr>(expr);
+        for (const auto *Arg : OCE->arguments())
+          CheckArrayAccess(Arg);
+        return;
+      }
       default:
         return;
     }