diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2008-09-26 20:11:52 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2008-09-26 20:11:52 +0000 |
| commit | bb3da4f27b9d7241a626695e80edc285561f2506 (patch) | |
| tree | d07c6f8831a4d81fa09ec5f6ea14bfb44f9d7b87 | |
| parent | 0da7a284ef2d91cc468145b88893c99e938d5be0 (diff) | |
| download | gcc-bb3da4f27b9d7241a626695e80edc285561f2506.zip gcc-bb3da4f27b9d7241a626695e80edc285561f2506.tar.gz gcc-bb3da4f27b9d7241a626695e80edc285561f2506.tar.bz2 | |
decl.c (gnat_to_gnu_entity): Cap the alignment promotion to that of ptr_mode instead of word_mode.
* decl.c (gnat_to_gnu_entity) <object>: Cap the alignment promotion
to that of ptr_mode instead of word_mode.
From-SVN: r140711
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/static_initializer3.ads | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/static_initializer4.ads | 13 |
5 files changed, 29 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7ecdc2c..3aa6f4d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2008-09-26 Eric Botcazou <ebotcazou@adacore.com> + * decl.c (gnat_to_gnu_entity) <object>: Cap the alignment promotion + to that of ptr_mode instead of word_mode. + +2008-09-26 Eric Botcazou <ebotcazou@adacore.com> + PR ada/5911 * gcc-interface/Makefile.in (SPARC/Solaris): Add multilib support. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index d343b14..b0dfc7d 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -734,10 +734,12 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) && TREE_CODE (TYPE_SIZE (gnu_type)) == INTEGER_CST) { /* No point in jumping through all the hoops needed in order - to support BIGGEST_ALIGNMENT if we don't really have to. */ + to support BIGGEST_ALIGNMENT if we don't really have to. + So we cap to the smallest alignment that corresponds to + a known efficient memory access pattern of the target. */ unsigned int align_cap = Is_Atomic (gnat_entity) ? BIGGEST_ALIGNMENT - : get_mode_alignment (word_mode); + : get_mode_alignment (ptr_mode); if (!host_integerp (TYPE_SIZE (gnu_type), 1) || compare_tree_int (TYPE_SIZE (gnu_type), align_cap) >= 0) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 499e7c0..8169b88 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-09-26 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/specs/static_initializer4.ads: New test. + * gnat.dg/specs/static_initializer3.ads: Add missing marker. + 2008-09-26 Kai Tietz <kai.tietz@onevision.com> * g++.dg/compat/struct-layout-1_x1.h: Add __SIZE_TYPE__ cast diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer3.ads b/gcc/testsuite/gnat.dg/specs/static_initializer3.ads index 42994f2..2dc8be1 100644 --- a/gcc/testsuite/gnat.dg/specs/static_initializer3.ads +++ b/gcc/testsuite/gnat.dg/specs/static_initializer3.ads @@ -1,3 +1,5 @@ +-- { dg-do compile } + with Unchecked_Conversion; package Static_Initializer3 is diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer4.ads b/gcc/testsuite/gnat.dg/specs/static_initializer4.ads new file mode 100644 index 0000000..a1a5e84 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/static_initializer4.ads @@ -0,0 +1,13 @@ +-- { dg-do compile } + +package Static_Initializer4 is + + type R is tagged record + b : Boolean; + end record; + + type NR is new R with null record; + + C : NR := (b => True); + +end Static_Initializer4; |