gcc-4.9/gcc/testsuite/gnat.dg/specs/machine_attribute.ads


1
2
3
4
5
6
7
8

-- { dg-do compile }

package Machine_Attribute is

  type R is null record;
  pragma Machine_Attribute (R, "may_alias");

end Machine_Attribute;