diff options
| author | Yannick Moy <moy@adacore.com> | 2018-12-11 11:10:12 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-11 11:10:12 +0000 |
| commit | 0b8ff545ed09781fdbe20f1a6b9388db9b912a3c (patch) | |
| tree | 4372a99ed7ae99461a235a89e3437887d70aaa43 /gcc/ada/gcc-interface | |
| parent | 5fc26697366abd160c4e755b6fe25c778ac97784 (diff) | |
| download | gcc-0b8ff545ed09781fdbe20f1a6b9388db9b912a3c.zip gcc-0b8ff545ed09781fdbe20f1a6b9388db9b912a3c.tar.gz gcc-0b8ff545ed09781fdbe20f1a6b9388db9b912a3c.tar.bz2 | |
[Ada] Support access types in GNATprove
SPARK RM has been updated to support access types in SPARK. Part of this
support is that now SPARK RM 3.1 lists access types as having full
default initialization. Now updated.
There is no impact on compilation.
2018-12-11 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_util.adb (Has_Full_Default_Initialization): Consider
access types as having full default initialization.
From-SVN: r266990
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions