> That's true. What I wonder is why the stmt checker doesn't trip. Probably > because while SRA scalarizes the thing the result isn't rewritten into > SSA form?
We have a slice of an array on the RHS so there is no SSA form, it's the VCE of an ARRAY_RANGE_REF to a 24-bit precision integer type. > So there may be a testcase where that happens and we'd even ICE? Probably not in Ada, we only generate a VCE when there is an aggregate type. -- Eric Botcazou
