From: Ronan Desplanques <desplanq...@adacore.com> The description of the Has_Exit field in Einfo makes it pretty clear that it can only be meaningful for loop entities. It was however defined in all entities until this patch, which restricts this field to E_Loop.
gcc/ada/ChangeLog: * gen_il-gen-gen_entities.adb (Gen_Entities): Tweak Has_Exit. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/gen_il-gen-gen_entities.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb index 5c895977d40..3c0ded9f72e 100644 --- a/gcc/ada/gen_il-gen-gen_entities.adb +++ b/gcc/ada/gen_il-gen-gen_entities.adb @@ -77,7 +77,6 @@ begin -- Gen_IL.Gen.Gen_Entities Sm (Has_Delayed_Aspects, Flag), Sm (Has_Delayed_Freeze, Flag), Sm (Has_Delayed_Rep_Aspects, Flag), - Sm (Has_Exit, Flag), Sm (Has_Forward_Instantiation, Flag), Sm (Has_Fully_Qualified_Name, Flag), Sm (Has_Gigi_Rep_Item, Flag), @@ -1226,6 +1225,7 @@ begin -- Gen_IL.Gen.Gen_Entities -- loop statement. (Sm (First_Entity, Node_Id), Sm (First_Exit_Statement, Node_Id), + Sm (Has_Exit, Flag), Sm (Has_Loop_Entry_Attributes, Flag), Sm (Last_Entity, Node_Id), Sm (Renamed_Or_Alias, Node_Id), -- 2.43.0