[libc-commits] [clang-tools-extra] [libc] [llvm] [libcxx] [clang] [compiler-rt] [flang] [Clang] Generate the GEP instead of adding AST nodes (PR #73730)

Eli Friedman via libc-commits libc-commits at lists.llvm.org
Tue Dec 12 17:24:40 PST 2023


================
@@ -4022,8 +4169,36 @@ LValue CodeGenFunction::EmitArraySubscriptExpr(const ArraySubscriptExpr *E,
       ArrayLV = EmitArraySubscriptExpr(ASE, /*Accessed*/ true);
     else
       ArrayLV = EmitLValue(Array);
+
     auto *Idx = EmitIdxAfterBase(/*Promote*/true);
 
+    if (SanOpts.has(SanitizerKind::ArrayBounds)) {
----------------
efriedma-quic wrote:

Yes.  You should be able to refactor some code out of CodeGenFunction::EmitMemberExpr so it's not a completely independent codepath.

I mean, I see why you're concerned about re-implementing EmitMemberExpr, but fragility isn't just about simplifying the control flow within the compiler; the nastiest problems are caused by one piece of code making assumptions about how an apparently unrelated part of the code behaves.

https://github.com/llvm/llvm-project/pull/73730


More information about the libc-commits mailing list