[Ada] Unnesting: check index expressions for uplevel references
authorEd Schonberg <schonberg@adacore.com>
Mon, 28 May 2018 08:56:03 +0000 (08:56 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 28 May 2018 08:56:03 +0000 (08:56 +0000)
commit184a6ba6e0ca03795058e2ab1f3c29d96601c560
treee7f58fe48c4fe60010031db50c83bf0fe4997870
parent6af9261c73519a4c3e1a26376dc0b156ecd4aad6
[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.

From-SVN: r260841
gcc/ada/ChangeLog
gcc/ada/exp_unst.adb