* gcc-interface/trans.c (process_type): Beef up comment.

From-SVN: r237126

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f4ce315..115d707 100644 (file)
--- 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 (file)
--- 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