diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2008-09-17 21:48:08 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2008-09-17 21:48:08 +0000 |
| commit | 1a8c909ebd0bbd58ed5308bc66dc923ec5cfaafd (patch) | |
| tree | b323580342f5e9faae9bf584a093129a2b0fa96d /gcc/testsuite | |
| parent | 9f509004fcba4e2ef649c347f679108fefdff122 (diff) | |
| download | gcc-1a8c909ebd0bbd58ed5308bc66dc923ec5cfaafd.zip gcc-1a8c909ebd0bbd58ed5308bc66dc923ec5cfaafd.tar.gz gcc-1a8c909ebd0bbd58ed5308bc66dc923ec5cfaafd.tar.bz2 | |
varasm.c (initializer_constant_valid_p): Forbid view-conversions from aggregate to non-aggregate type if...
* varasm.c (initializer_constant_valid_p): Forbid view-conversions
from aggregate to non-aggregate type if the bit pattern is not fully
preserved afterwards.
From-SVN: r140432
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/static_initializer3.ads | 27 |
2 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9933c79..ed9d1e3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-09-17 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/specs/static_initializer3.ads: New test. + 2008-09-17 Jakub Jelinek <jakub@redhat.com> PR c++/37552 diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer3.ads b/gcc/testsuite/gnat.dg/specs/static_initializer3.ads new file mode 100644 index 0000000..42994f2 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/static_initializer3.ads @@ -0,0 +1,27 @@ +with Unchecked_Conversion; + +package Static_Initializer3 is + + type Byte is range 0 .. 16#FF#; + for Byte'Size use 8; + + type Word is range 0 .. 16#FFFF# ; + for Word'Size use 16; + + type R is record + b1 : Boolean; + b2 : Boolean; + end record; + for R use record + b1 at 0 range 0..3; + b2 at 0 range 4..7; + end record; + for R'Size use 8; + + function Conv is new Unchecked_Conversion (R, Byte); + + C1 : constant Byte := Conv ((true, false)); + + C2 : constant Word := Word(C1); + +end Static_Initializer3; |