> The following experiment resulted from looking at making > array_ref_low_bound and array_ref_element_size non-mutating. Again > I wondered why we do this strange scaling by offset/element alignment.
I personally never really grasped it either... > So - I hope somebody from Adacore can evaluate this patch code-generation > wise. I will, this looks like a valuable simplification to me. -- Eric Botcazou