diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-09 07:53:26 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:53:26 +0000 |
| commit | e5ce97d294608b4918b3809bc461052b58de8993 (patch) | |
| tree | 7936c545031f86a42cc5ebd42f345819ae2763ed /gcc/ada/libgnat | |
| parent | e0201d823abfcbc3acadc1f78a0c94fdc8474dfe (diff) | |
| download | gcc-e5ce97d294608b4918b3809bc461052b58de8993.zip gcc-e5ce97d294608b4918b3809bc461052b58de8993.tar.gz gcc-e5ce97d294608b4918b3809bc461052b58de8993.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/libgnat')
0 files changed, 0 insertions, 0 deletions