diff options
| author | Yannick Moy <moy@adacore.com> | 2019-09-19 08:14:13 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-19 08:14:13 +0000 |
| commit | 4fe56329e05e3e77c424929fdb102f2df075f74a (patch) | |
| tree | 55142059c873bd5820d3d5044dc773e62e0a1fa3 /gcc/ada/fmap.adb | |
| parent | 46fa6b050e81504aab992d58b693aa81dd45eeb9 (diff) | |
| download | gcc-4fe56329e05e3e77c424929fdb102f2df075f74a.zip gcc-4fe56329e05e3e77c424929fdb102f2df075f74a.tar.gz gcc-4fe56329e05e3e77c424929fdb102f2df075f74a.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/fmap.adb')
0 files changed, 0 insertions, 0 deletions