diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-23 08:13:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-23 08:13:09 +0000 |
| commit | 15e79d66f00317d3acbfa1c93c9460a65174454b (patch) | |
| tree | a7403d2ab1345401410c7343cce278ec3a08093f /gcc/bitmap.c | |
| parent | 39c20502ef7398766a8c9520c4210c2df9769d15 (diff) | |
| download | gcc-15e79d66f00317d3acbfa1c93c9460a65174454b.zip gcc-15e79d66f00317d3acbfa1c93c9460a65174454b.tar.gz gcc-15e79d66f00317d3acbfa1c93c9460a65174454b.tar.bz2 | |
[Ada] Issue error on SPARK ownership rule violation
A modified rule in SPARK RM specifies that object declarations of
anonymous access type should only occur immediately in subprogram, entry
or block. Now checked.
There is no impact on compilation.
2019-07-23 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_spark.ads (Is_Local_Context): New function.
* sem_spark.adb (Check_Declaration): Issue errors on violations
of SPARK RM 3.10(4)
(Process_Path): Do not issue error on borrow/observe during
elaboration, as these are caught by the new rule.
From-SVN: r273721
Diffstat (limited to 'gcc/bitmap.c')
0 files changed, 0 insertions, 0 deletions