diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2008-07-01 08:21:31 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2008-07-01 08:21:31 +0000 |
| commit | ab652c72359fdd40b5a679e73802e377fe0aa824 (patch) | |
| tree | 8eace04e7a2b08fc3a27bf2a4c3762e78cb9f586 /gcc | |
| parent | 3043c80496f085a1b947377f871188af8b487ed0 (diff) | |
| download | gcc-ab652c72359fdd40b5a679e73802e377fe0aa824.zip gcc-ab652c72359fdd40b5a679e73802e377fe0aa824.tar.gz gcc-ab652c72359fdd40b5a679e73802e377fe0aa824.tar.bz2 | |
* gnat.dg/pack10.adb: New test.
From-SVN: r137311
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/pack10.adb | 34 |
2 files changed, 38 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 07999bd..b833faa 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-07-01 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/pack10.adb: New test. + 2008-06-30 Andy Hutchinson <hutchinsonandy@aim.com> PR target/36598 diff --git a/gcc/testsuite/gnat.dg/pack10.adb b/gcc/testsuite/gnat.dg/pack10.adb new file mode 100644 index 0000000..945e404 --- /dev/null +++ b/gcc/testsuite/gnat.dg/pack10.adb @@ -0,0 +1,34 @@ +-- { dg-do run } + +procedure Pack10 is + + type U16 is mod 2**16; + type U8 is mod 2**8; + + type R is record + A : U16; + B : U8; + end record; + + type M is array (1..2) of R; + pragma Pack (M); + -- This size clause can actually be omitted + for M'Size use 48; + + type R2 is record + C : M; + D : U8; + end record; + for R2 use record + C at 0 range 0 .. 24*2-1; + end record; + + My_R2 : R2; + +begin + My_R2.D := 1; + My_R2.C(2).B := 0; + if My_R2.D /=1 then + raise Program_Error; + end if; +end; |