aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2016-06-06 09:47:17 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2016-06-06 09:47:17 +0000
commit5a4916beb895932ff9a68716f36fb47b4d059c49 (patch)
treead7cc2881c92cf5aa479e9c34e8fb97bd39e6dff
parent62801a777ae288d0b01792ec8f85cded7b6d9df3 (diff)
downloadgcc-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/ChangeLog4
-rw-r--r--gcc/ada/gcc-interface/trans.c4
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