diff options
| author | Yannick Moy <moy@adacore.com> | 2019-09-19 08:13:58 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-19 08:13:58 +0000 |
| commit | 09709b4781192f7724e2bb2977d3610ae727260f (patch) | |
| tree | e59c2a3e5005c53d438b9fde16dce04994fe1584 /gcc/tree-ssa-phiprop.c | |
| parent | 7005758ce72896e478245ed2de0aa146427a2ec9 (diff) | |
| download | gcc-09709b4781192f7724e2bb2977d3610ae727260f.zip gcc-09709b4781192f7724e2bb2977d3610ae727260f.tar.gz gcc-09709b4781192f7724e2bb2977d3610ae727260f.tar.bz2 | |
[Ada] Allow constants of access type in Global contracts
Now that SPARK supports access types, global constants of access type
may appear as outputs of a subprogram, with the meaning that the
underlying memory can be modified (see SPARK RM 3.10).
2019-09-19 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Global_In_Decl_Part): Do not issue an
error when a constant of an access type is used as output in a
Global contract.
(Analyze_Depends_In_Decl_Part): Do not issue an error when a
constant of an access type is used as output in a Depends
contract.
gcc/testsuite/
* gnat.dg/global2.adb, gnat.dg/global2.ads: New testcase.
From-SVN: r275947
Diffstat (limited to 'gcc/tree-ssa-phiprop.c')
0 files changed, 0 insertions, 0 deletions