> 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

Reply via email to