r260646 - in /trunk/gcc/ada: ChangeLog exp_util...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Thu May 24 13:04:39 2018
New Revision: 260646

URL: https://gcc.gnu.org/viewcvs?rev=260646&root=gcc&view=rev
Log:
[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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_util.adb