> Yep, I was thinking of alignment. I think we are safe here as we are safe > with any other memory access properties in the references. Those are not > supposed to be preserved by useless_type_conversions.
Some explicit type casts need to be preserved on memory accesses, see the TYPE_ALIGN_OK flag; this is needed for Ada on strict-alignment platforms. -- Eric Botcazou