diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-10 09:02:42 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:02:42 +0000 |
| commit | 179682a55cbe229442cf3886e338148be0b12a96 (patch) | |
| tree | ac0baad8dc30cdd7e9118a00eac8133d3a0839ee /gcc/ada/init.c | |
| parent | 1bc68e0d30bc801a279da653196d66d36312831b (diff) | |
| download | gcc-179682a55cbe229442cf3886e338148be0b12a96.zip gcc-179682a55cbe229442cf3886e338148be0b12a96.tar.gz gcc-179682a55cbe229442cf3886e338148be0b12a96.tar.bz2 | |
[Ada] Fix spurious messages on global variables for SPARK pointer support
Pointer support in GNATprove leads to spurious messages about global
variables, with local variables declared in local packages and protected
components. Now fixed.
There is no impact on compilation.
2019-07-10 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_aux.adb, sem_aux.ads (Is_Protected_Operation): New
function to determine if a subprogram is protected.
* sem_spark.adb (Setup_Protected_Components): New procedure to
add protected components to the environment.
(Check_Callable_Body): Call the new Setup_Protected_Components.
(Check_Package_Spec): Merge local environment with enclosing one
when done.
From-SVN: r273349
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions