| -- { dg-do compile } | |
| package Aggr2 is | |
| type Buffer is array (Positive range <>) of Boolean; | |
| for Buffer'Alignment use 4; | |
| type Buffer_Ptr is access Buffer; | |
| subtype My_Buffer is Buffer (1 .. 2); | |
| P : Buffer_Ptr := new My_Buffer'(Others => False); | |
| end Aggr2; |