diff options
| -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 |