diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/oconst5.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/oconst5.ads | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/oconst5.ads b/gcc/testsuite/gnat.dg/oconst5.ads new file mode 100644 index 000000000..f12a265d0 --- /dev/null +++ b/gcc/testsuite/gnat.dg/oconst5.ads @@ -0,0 +1,27 @@ +package OCONST5 is + + type u1 is mod 2**1; + type u8 is mod 2**8; + + type HI_Record is record + A, B : U8; + end record; + pragma Suppress_Initialization (HI_Record); + + type R is record + Bit : U1; + Agg : HI_Record; + end record; + pragma Suppress_Initialization (R); + + for R use record + Bit at 0 range 0 .. 0; + Agg at 0 range 1 .. 16; + end record; + + My_R0 : R := (Bit => 0, Agg => (A => 3, B => 7)); + My_R1 : R := (Bit => 1, Agg => (A => 3, B => 7)); + + procedure Check (Arg : R; Bit : U1); + +end; |