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

From-SVN: r237126

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f4ce3153aed943733d5e025e045110705b71c366..115d7079ee81761c758b8ac9321db51ca823faf1 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+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

diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c
index 5f4d3a633521a5fe9d4a7290d1253f891ce5d0ba..c08be5454ae08809690d619f98e88ea4bcbdf68c 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