================
@@ -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)) {
----------------
bwendling wrote:
Do you mean perform something like this:
```
Transform this:
ArraySubscriptExpr ...
|- ImplicitCastExpr
| `-MemberExpr ... ->arr
...
|
`- <index expr>
Into this (pseudo code):
CastExpr ... <'count' type>
`- BinaryOp ... <subtraction>
|- MemberExpr ... ->arr
...
|
`- ConstantExpr ... <offset of 'count' relative to 'arr'
```
Quite possibly.... That would certainly solve a lot of headaches.
https://github.com/llvm/llvm-project/pull/73730
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
