diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-04 08:05:45 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:05:45 +0000 |
| commit | 3d53efa6921534027dbe5d408ac274736dc43d9c (patch) | |
| tree | cbe1337290a3094b40be86882efc5619e8258685 /gcc/hash-set.h | |
| parent | bc1146e5e0979421b5dc2c9c005c355443c2fe24 (diff) | |
| download | gcc-3d53efa6921534027dbe5d408ac274736dc43d9c.zip gcc-3d53efa6921534027dbe5d408ac274736dc43d9c.tar.gz gcc-3d53efa6921534027dbe5d408ac274736dc43d9c.tar.bz2 | |
[Ada] Skip code not in SPARK for ownership analysis
Ownership rules for pointer support should only apply to code marked in
SPARK. There is no impact on compilation.
2019-07-04 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_spark.adb (Check_Package_Spec, Check_Package_Body): Only
analyze parts of the code marked in SPARK.
From-SVN: r273052
Diffstat (limited to 'gcc/hash-set.h')
0 files changed, 0 insertions, 0 deletions