gcc/testsuite/gnat.dg/specs/vfa.ads

   1 -- { dg-do compile }
   2 -- { dg-options "-g" }
   3
   4 package VFA is
   5
   6   type Rec is record
   7     A : Short_Integer;
   8     B : Short_Integer;
   9   end record;
  10
  11   type Rec_VFA is new Rec;
  12   pragma Volatile_Full_Access (Rec_VFA);
  13
  14 end VFA;