| -- { dg-do compile } | |
| package Size_Clause5 is | |
| type Arr is array (1 .. 16) of Boolean; | |
| type RRec (D : Boolean) is record | |
| case D is | |
| when True => I : Integer; | |
| when False => A : Arr; | |
| end case; | |
| end record; | |
| for RRec'Object_Size use 160; | |
| for RRec'Value_Size use 160; | |
| end Size_Clause5; |