sem_util.adb (Extensions_Visible_Status): Modify the logic to account for non-SPARK...
authorHristian Kirtchev <kirtchev@adacore.com>
Thu, 20 Nov 2014 11:21:41 +0000 (11:21 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 20 Nov 2014 11:21:41 +0000 (12:21 +0100)
commita18d0b158091b85fbab45b9fbd6617d919a5a766
treebe1dc98293c1421fa0c2eb23fa6b3522d6b6b43e
parent5fde9688e077411aa90e1067b8fb9c1d743e4e7f
sem_util.adb (Extensions_Visible_Status): Modify the logic to account for non-SPARK code.

2014-11-20  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_util.adb (Extensions_Visible_Status): Modify the logic to account
for non-SPARK code.
(Object_Access_Level): In ASIS mode, recognize
a selected component with an implicit dereference so that it
yields the same value with and without expansion.

From-SVN: r217839
gcc/ada/ChangeLog
gcc/ada/sem_util.adb