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

Reply via email to