From: Eric Botcazou Date: Sun, 11 Dec 2011 10:40:08 +0000 (+0000) Subject: decl.c (gnat_to_gnu_entity): If there is an alignment set on a renaming... X-Git-Tag: releases/gcc-4.7.0~1635 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=50751f49cced190a50c41cfee670267a0ce5e3ba;p=thirdparty%2Fgcc.git decl.c (gnat_to_gnu_entity): If there is an alignment set on a renaming... * gcc-interface/decl.c (gnat_to_gnu_entity) : If there is an alignment set on a renaming, assert that the renamed object is aligned enough as to make it possible to honor it. From-SVN: r182201 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 495dbf45d1d5..e8ce2e6902ca 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2011-12-11 Eric Botcazou + + * gcc-interface/decl.c (gnat_to_gnu_entity) : If there is an + alignment set on a renaming, assert that the renamed object is aligned + enough as to make it possible to honor it. + 2011-12-11 Eric Botcazou * gcc-interface/trans.c (gigi): Initialize the linemap earlier. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index 12971a63038d..aecbd76b9839 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -1008,6 +1008,17 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) saved = true; annotate_object (gnat_entity, gnu_type, NULL_TREE, false, false); + /* This assertion will fail if the renamed object + isn't aligned enough as to make it possible to + honor the alignment set on the renaming. */ + if (align) + { + unsigned int renamed_align + = DECL_P (gnu_decl) + ? DECL_ALIGN (gnu_decl) + : TYPE_ALIGN (TREE_TYPE (gnu_decl)); + gcc_assert (renamed_align >= align); + } break; }