From: Eric Botcazou Date: Mon, 6 Jun 2016 09:47:17 +0000 (+0000) Subject: * gcc-interface/trans.c (process_type): Beef up comment. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5a4916beb895932ff9a68716f36fb47b4d059c49;p=gcc.git * gcc-interface/trans.c (process_type): Beef up comment. From-SVN: r237126 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f4ce3153aed..115d7079ee8 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2016-06-06 Eric Botcazou + + * gcc-interface/trans.c (process_type): Beef up comment. + 2016-06-06 Eric Botcazou * 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 5f4d3a63352..c08be5454ae 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