]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0201d8) | patch
[Ada] Issue error on illegal ownership in SPARK
authorYannick Moy <moy@adacore.com>
Tue, 9 Jul 2019 07:53:26 +0000 (07:53 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 9 Jul 2019 07:53:26 +0000 (07:53 +0000)
commite5ce97d294608b4918b3809bc461052b58de8993
tree7936c545031f86a42cc5ebd42f345819ae2763edtree | snapshot
parente0201d823abfcbc3acadc1f78a0c94fdc8474dfecommit | diff
[Ada] Issue error on illegal ownership in SPARK

Check for declaration of global variables prior to use in the ownership
checking for SPARK.

There is no impact on compilation.

2019-07-09  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_spark.adb (Get_Perm_Or_Tree): Issue an error when
encountering unknown global variable.

From-SVN: r273267
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/sem_spark.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git