projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7273107) | patch
[Ada] Fix crash in SPARK ownership checking
authorYannick Moy <moy@adacore.com>
Thu, 4 Jul 2019 08:06:00 +0000 (08:06 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 4 Jul 2019 08:06:00 +0000 (08:06 +0000)
commit194dc648e4b40ac705103cfc92dff0c11b82fb5a
tree6fae4dacd64dd3a0bef0bebc35242418ef303f50tree
parent7273107b948b81edc084b33e8e8fd4f3b4115f72commit | diff
[Ada] Fix crash in SPARK ownership checking

Analysis could crash on extended return of a non-deep type, now fixed.
This has no impact on compilation.

2019-07-04  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_spark.adb (Check_Statement): Only check permission of
object in extended return when it is of a deep type.

From-SVN: r273055
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_spark.adb diff | blob | history