> actually I do not quite understand why we need a TYPE_ALIGN_OK flag that is
> only used in Ada. Somehow other languages seem to have no problem of that
> kind.

It's related to a known difficulty with alignment and inheritance, and other 
languages are affected by variant of it, see e.g. PR c++/37798.

> You remember, when I removed the TYPE_ALIGN_OK handing (initially it wasn't
> clear to me that it's entire use is only to make Ada happy), all Ada tests
> continued to pass, even on ARM. BTW: You promised me last year to give me
> an example where that makes a difference.

I know, but that's low priority, sorry.  You can probably browse the 2004
archives and find one (or a sketch of one); that being said, gigi was a bit 
changed since then so this could as well be obsolete.

-- 
Eric Botcazou

Reply via email to