[Ada] Expansion of discrete choices

This patch does some minor bookkeeping to avoid a potential double expansion
of discrete choices where at least one of them is a subtype with predicates.
No change in behavior, no need for a test.

2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

	* exp_util.adb (Expand_Static_Predicates_In_Choices): Indicate that the
	construct with discrete choices no longer contains a subtype with
	predicates since the expansion already handled this case.

From-SVN: r260646

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c25e026b289e64f291fbc1398ad164ba3e577ae2..50c886d4e6f3e737287596ceb9a84c1b32ade3f2 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * exp_util.adb (Expand_Static_Predicates_In_Choices): Indicate that the
+       construct with discrete choices no longer contains a subtype with
+       predicates since the expansion already handled this case.
+
 2018-05-24  Hristian Kirtchev  <kirtchev@adacore.com>
 
        * freeze.adb (Wrap_Imported_Subprogram): Generate an unchecked

diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index 5a8541dd0b7d4de9c1c9d0ac3bbaf78eb3ae9f3c..2f3068d9e61253db55bc0f310f16de375d3ac43f 100644 (file)
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -4995,6 +4995,8 @@ package body Exp_Util is
 
          Choice := Next_C;
       end loop;
+
+      Set_Has_SP_Choice (N, False);
    end Expand_Static_Predicates_In_Choices;
 
    ------------------------------