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 5c895977d405ad04456f62cca50cc04ed6efbf84..3c0ded9f72e3a5825eaaaea65e3143aaf6b4f55f 100644 (file)
--- 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),