> 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