| commit | 71dd6469f81ec69197a7e91f8f367eb83046d078 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 20 Nov 2014 11:21:41 +0000 (20 11:21 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Thu, 20 Nov 2014 11:21:41 +0000 (20 11:21 +0000) | ||
| tree | be1dc98293c1421fa0c2eb23fa6b3522d6b6b43e | treesnapshot (tar.gz zip) |
| parent | 987bbd0d9fde9ea7ee0f805200694577e6bbb7c5 | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217839 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217839 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_util.adb | diffblobblamehistory |