diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2011-12-11 10:40:08 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2011-12-11 10:40:08 +0000 |
| commit | 50751f49cced190a50c41cfee670267a0ce5e3ba (patch) | |
| tree | b0625d492701e61a8aed9a3aa36c3f1be853a8af /gcc/ada/gcc-interface | |
| parent | 5d74133f84d1a113c009ba3beb9dcdfc8c8283a9 (diff) | |
| download | gcc-50751f49cced190a50c41cfee670267a0ce5e3ba.zip gcc-50751f49cced190a50c41cfee670267a0ce5e3ba.tar.gz gcc-50751f49cced190a50c41cfee670267a0ce5e3ba.tar.bz2 | |
decl.c (gnat_to_gnu_entity): If there is an alignment set on a renaming...
* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: 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
Diffstat (limited to 'gcc/ada/gcc-interface')
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index 12971a6..aecbd76 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; } |