]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/sem_spark.adb
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2281b80) | patch
[Ada] Fix crash in SPARK ownership checking
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Jul 2019 08:06:00 +0000 (08:06 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Jul 2019 08:06:00 +0000 (08:06 +0000)
commitafd77d39cfdcf546ced87805f26158aa0292de61
tree6fae4dacd64dd3a0bef0bebc35242418ef303f50tree | snapshot
parent2281b8076cceae89a087c876a0fb462428e1b142commit | 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@273055 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/sem_spark.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git