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/sem_aux.ads | |
| 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/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index f3b7f24..55cfefa 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -357,6 +357,10 @@ package Sem_Aux is -- these types). This older routine overlaps with the previous one, this -- should be cleaned up??? + function Is_Protected_Operation (E : Entity_Id) return Boolean; + -- Given a subprogram or entry, determines whether E is a protected entry + -- or subprogram. + function Nearest_Ancestor (Typ : Entity_Id) return Entity_Id; -- Given a subtype Typ, this function finds out the nearest ancestor from -- which constraints and predicates are inherited. There is no simple link |