------- Comment #7 from simon at pushface dot org 2009-12-29 18:48 ------- I think the immediate cause is that the alignment for generated tagged type support objects (see eg exp_disp.adb:4007) is derived from that of System.Storage_Elements.Integer_Address (defined as mod Memory_Size) which should be 8 and is coming out as 4.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42518