1-- { dg-do compile }
2
3package Machine_Attribute is
4
5  type R is null record;
6  pragma Machine_Attribute (R, "may_alias");
7
8end Machine_Attribute;
9