From 764a7c0b746d59230dacceaae29030b59f6b216c Mon Sep 17 00:00:00 2001 From: Ronan Desplanques Date: Tue, 29 Apr 2025 10:26:50 +0200 Subject: [PATCH] ada: Refine use of Has_Exit 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. --- 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.47.2