From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001 From: upstream source tree Date: Sun, 15 Mar 2015 20:14:05 -0400 Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository. --- gcc/testsuite/gnat.dg/boolean_bitfield.adb | 44 ++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/boolean_bitfield.adb (limited to 'gcc/testsuite/gnat.dg/boolean_bitfield.adb') diff --git a/gcc/testsuite/gnat.dg/boolean_bitfield.adb b/gcc/testsuite/gnat.dg/boolean_bitfield.adb new file mode 100644 index 000000000..5909f7c4a --- /dev/null +++ b/gcc/testsuite/gnat.dg/boolean_bitfield.adb @@ -0,0 +1,44 @@ +-- { dg-do run } +-- { dg-options "-O" } + +with System; use System; + +procedure Boolean_Bitfield is + + Units_Per_Integer : constant := + (Integer'Size + System.Storage_Unit - 1) / System.Storage_Unit; + + type E_type is (Red, Blue, Green); + + type Parent_Type is record + I : Integer range 0 .. 127 := 127; + C : Character := 'S'; + B : Boolean := False; + E : E_Type := Blue; + end record; + + for Parent_Type use record + C at 0 * Units_Per_Integer range 0 .. Character'Size - 1; + B at 1 * Units_Per_Integer range 0 .. Boolean'Size - 1; + I at 2 * Units_Per_Integer range 0 .. Integer'Size/2 - 1; + E at 3 * Units_Per_Integer range 0 .. Character'Size - 1; + end record; + + type Derived_Type is new Parent_Type; + + for Derived_Type use record + C at 1 * Units_Per_Integer range 1 .. Character'Size + 1; + B at 3 * Units_Per_Integer range 1 .. Boolean'Size + 1; + I at 5 * Units_Per_Integer range 1 .. Integer'Size/2 + 1; + E at 7 * Units_Per_Integer range 1 .. Character'Size + 1; + end record; + + Rec : Derived_Type; + +begin + Rec := (12, 'T', True, Red); + + if (Rec.I /= 12) or (Rec.C /= 'T') or (not Rec.B) or (Rec.E /= Red) then + raise Program_Error; + end if; +end; -- cgit v1.2.3