diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2016-06-06 09:47:17 +0000 |
---|---|---|
committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2016-06-06 09:47:17 +0000 |
commit | 5a4916beb895932ff9a68716f36fb47b4d059c49 (patch) | |
tree | ad7cc2881c92cf5aa479e9c34e8fb97bd39e6dff | |
parent | 62801a777ae288d0b01792ec8f85cded7b6d9df3 (diff) | |
download | gcc-5a4916beb895932ff9a68716f36fb47b4d059c49.zip gcc-5a4916beb895932ff9a68716f36fb47b4d059c49.tar.gz gcc-5a4916beb895932ff9a68716f36fb47b4d059c49.tar.bz2 |
* gcc-interface/trans.c (process_type): Beef up comment.
From-SVN: r237126
-rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/ada/gcc-interface/trans.c | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f4ce315..115d707 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 2016-06-06 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/trans.c (process_type): Beef up comment. + +2016-06-06 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/utils2.c (build_call_alloc_dealloc): Do not substitute placeholder expressions here but... * gcc-interface/trans.c (gnat_to_gnu) <N_Free_Statement>: ...here. diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 5f4d3a6..c08be54 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -9512,7 +9512,9 @@ process_type (Entity_Id gnat_entity) /* If we saved away a dummy type for this node, it means that this made the type that corresponds to the full type of an incomplete type. Clear that - type for now and then update the type in the pointers below. */ + type for now and then update the type in the pointers below. But, if the + saved type is not dummy, it very likely means that we have a use before + declaration for the type in the tree, what we really cannot handle. */ if (gnu_old) { gcc_assert (TREE_CODE (gnu_old) == TYPE_DECL |