| commit | 4fe56329e05e3e77c424929fdb102f2df075f74a | |
| author | Yannick Moy <moy@adacore.com> | |
| Thu, 19 Sep 2019 08:14:13 +0000 (19 08:14 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Thu, 19 Sep 2019 08:14:13 +0000 (19 08:14 +0000) | ||
| tree | 55142059c873bd5820d3d5044dc773e62e0a1fa3 | treesnapshot (tar.gz zip) |
| parent | 46fa6b050e81504aab992d58b693aa81dd45eeb9 | commitdiff |
[Ada] Use declared type for deciding on SPARK pointer rules
A constant of pointer type is considered as mutable in SPARK, according
to SPARK RM 3.10, but this should be based on the declared type of the
constant instead of its underlying type.
There is no impact on compilation hence no test.
2019-09-19 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Depends_In_Decl_Part): Simplify previous
test.
From-SVN: r275950
A constant of pointer type is considered as mutable in SPARK, according
to SPARK RM 3.10, but this should be based on the declared type of the
constant instead of its underlying type.
There is no impact on compilation hence no test.
2019-09-19 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Depends_In_Decl_Part): Simplify previous
test.
From-SVN: r275950
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_prag.adb | diffblobblamehistory |