> > Do we require that to match? I don't remember that we do. > > For scalar types (and arrays of scalars), the alignment is essentially > encoded > in the size/mode pair but that's not the case for non-array aggregate types, > so declaring a conversion that changes the alignment as useless seems weird.
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. Moves can be output from block of one alignment to block of another. We need to compare modes, because mode expansion will when modes mismatch. Honza > > -- > Eric Botcazou
