r260841 - in /trunk/gcc/ada: ChangeLog exp_unst...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Mon May 28 08:56:03 2018
New Revision: 260841

URL: https://gcc.gnu.org/viewcvs?rev=260841&root=gcc&view=rev
Log:
[Ada] Unnesting: check index expressions for uplevel references

2018-05-28  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* exp_unst.adb (Visit_Node): For indexed components and attribute
	references, examine index expressions or associated expressions as well
	to record uplevel references.
	(Vist_Node): For function and procedure calls, if a formal is an
	unconstrained array and the actual is constrained, check whether bounds
	of actual have uplevel references.

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