[gcc r16-1821] ada: Refine use of Has_Exit

[Marc Poulhies via Gcc-cvs]

https://gcc.gnu.org/g:764a7c0b746d59230dacceaae29030b59f6b216c

commit r16-1821-g764a7c0b746d59230dacceaae29030b59f6b216c
Author: Ronan Desplanques <desplanq...@adacore.com>
Date:   Tue Apr 29 10:26:50 2025 +0200

    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:
---
 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 5c895977d405..3c0ded9f72e3 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),