projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fde968) | patch
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
treebe1dc98293c1421fa0c2eb23fa6b3522d6b6b43etree
parent5fde9688e077411aa90e1067b8fb9c1d743e4e7fcommit | diff
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 diff | blob | history
gcc/ada/sem_util.adb diff | blob | history