From: Ronan Desplanques <desplanques@adacore.com>
Date: Tue, 29 Apr 2025 08:26:50 +0000 (+0200)
Subject: ada: Refine use of Has_Exit
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=764a7c0b746d59230dacceaae29030b59f6b216c;p=thirdparty%2Fgcc.git

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.
---

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),