[clang] [bug report] Clang++ gives no -Warray-bounds warning when you call a member function of an item outside bounds? (PR #179715)

via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 4 09:45:56 PST 2026


https://github.com/VachanVY created https://github.com/llvm/llvm-project/pull/179715

#179128

>From 6b8b4817f564f8abf7c488b75f0964edfa3d3aef Mon Sep 17 00:00:00 2001
From: Vachan V Y <vachanvy05 at gmail.com>
Date: Wed, 4 Feb 2026 23:11:41 +0530
Subject: [PATCH] Sema: added case for CXXMemberCallExprClass in
 CheckArrayAccess method

---
 clang/lib/Sema/SemaChecking.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp
index e2e1b37572364..9b3a4d6832494 100644
--- a/clang/lib/Sema/SemaChecking.cpp
+++ b/clang/lib/Sema/SemaChecking.cpp
@@ -15417,6 +15417,11 @@ void Sema::CheckArrayAccess(const Expr *expr) {
         expr = ASE->getBase();
         break;
       }
+      case Stmt::CXXMemberCallExprClass: {
+        const CXXMemberCallExpr *MCE = cast<CXXMemberCallExpr>(expr);
+        expr = MCE->getImplicitObjectArgument();
+        break;
+      }
       case Stmt::MemberExprClass: {
         expr = cast<MemberExpr>(expr)->getBase();
         break;



More information about the cfe-commits mailing list