sem_ch13.adb (Visible_Component): New procedure...
authorEd Schonberg <schonberg@adacore.com>
Mon, 20 Jun 2016 12:27:05 +0000 (12:27 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jun 2016 12:27:05 +0000 (14:27 +0200)
commit9e3be36e465b0699d161e1e1ff9a78fd216c2c60
tree0188bb4ed9f12c4b185d27885c4814bbb1d172e0
parent2f8d7dfe21740d1066912f2f99b83096ebf2962b
sem_ch13.adb (Visible_Component): New procedure...

2016-06-20  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Visible_Component): New procedure, subsidiary
of Replace_Type_References_ Generic, to determine whether an
identifier in a predicate or invariant expression is a visible
component of the type to which the predicate or invariant
applies. Implements the visibility rule stated in RM 13.1.1
(12/3).

From-SVN: r237599
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb