projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 827845b) | patch
[Ada] SPARK: fix bug related to non access object permissions
authorMaroua Maalej <maalej@adacore.com>
Tue, 9 Oct 2018 15:06:30 +0000 (15:06 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 9 Oct 2018 15:06:30 +0000 (15:06 +0000)
commit38c2f655ffa5cf2f335c2772ec484702d891a7c3
tree191daf19dd73e3798d397c213a5332d2cd9f26c7tree
parent827845b8291910e7815ffcafe58d48a78c3ea410commit | diff
[Ada] SPARK: fix bug related to non access object permissions

2018-10-09  Maroua Maalej  <maalej@adacore.com>

gcc/ada/

* sem_spark.adb (Check_Declaration): fix bug related to non
access object permissions.

From-SVN: r264979
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_spark.adb diff | blob | history