================ ---------------- bozicrHT wrote: Yeah, I think it is. This patch does not make symbolic raw offsets flattenable; it adds a fallback for when `getAsArrayOffset()` cannot compute a concrete offset. https://github.com/llvm/llvm-project/pull/221213