https://gcc.gnu.org/g:fbe4dd20b9f25eaa0b6b90d008aff4708e47765b
commit r15-1530-gfbe4dd20b9f25eaa0b6b90d008aff4708e47765b Author: Eric Botcazou <ebotca...@adacore.com> Date: Tue May 28 13:03:19 2024 +0200 ada: Fix internal error on protected type with -gnatc -gnatR It occurs when the body of a protected subprogram is processed, because the references to the components of the type have not been properly expanded. gcc/ada/ * gcc-interface/trans.cc (Subprogram_Body_to_gnu): Also return early for a protected subprogram in -gnatc mode. Diff: --- gcc/ada/gcc-interface/trans.cc | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc index 83ed17bff842..3f2eadd7b2bc 100644 --- a/gcc/ada/gcc-interface/trans.cc +++ b/gcc/ada/gcc-interface/trans.cc @@ -3934,6 +3934,12 @@ Subprogram_Body_to_gnu (Node_Id gnat_node) if (Is_Generic_Subprogram (gnat_subprog) || Is_Eliminated (gnat_subprog)) return; + /* Likewise if this is a protected subprogram and we are only annotating + types, as the required expansion of references did not take place. */ + if (Convention (gnat_subprog) == Convention_Protected + && type_annotate_only) + return; + /* If this subprogram acts as its own spec, define it. Otherwise, just get the already-elaborated tree node. However, if this subprogram had its elaboration deferred, we will already have made a tree node for it. So