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


1
2
3
4
5
6
7
8
9
10
11
12
13
14

-- { dg-do compile }
-- { dg-options "-g" }

package VFA1 is

  type Rec is record
    A : Short_Integer;
    B : Short_Integer;
  end record;

  type Rec_VFA is new Rec;
  pragma Volatile_Full_Access (Rec_VFA);

end VFA1;