================
@@ -8239,13 +8239,26 @@ class MappableExprsHandler {
ElementType = CAT->getElementType().getTypePtr();
else if (VAT)
ElementType = VAT->getElementType().getTypePtr();
- else
- assert(&Component == &*Components.begin() &&
- "Only expect pointer (non CAT or VAT) when this is the "
- "first Component");
- // If ElementType is null, then it means the base is a pointer
- // (neither CAT nor VAT) and we'll attempt to get ElementType again
- // for next iteration.
+ else if (&Component == &*Components.begin()) {
+ // If the base is a raw pointer (e.g. T *data with data[a:b:c]),
+ // there was no earlier CAT/VAT/array handling to establish
+ // ElementType. Capture the pointee type now so that subsequent
+ // components (offset/length/stride) have a concrete element type to
+ // work with. This makes pointer-backed sections behave consistently
+ // with CAT/VAT/array bases.
+ if (const auto *PtrType = Ty->getAs<PointerType>()) {
+ ElementType = PtrType->getPointeeType().getTypePtr();
+ }
----------------
alexey-bataev wrote:
Drop braces
https://github.com/llvm/llvm-project/pull/157443
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
