projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86ae194) | patch
[Ada] GNATprove: avoid crash on illegal borrow during package elaboration
authorYannick Moy <moy@adacore.com>
Tue, 17 Sep 2019 08:02:15 +0000 (08:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Sep 2019 08:02:15 +0000 (08:02 +0000)
commit8df56dfc6991bda3c1cfa9d102c49d963763d5b4
treec64b3a724fb79f4b421ab9ec5da0b6b89dd6387dtree | snapshot
parent86ae194fdb343487d37899f4f51fdf3e626822e0commit | diff
[Ada] GNATprove: avoid crash on illegal borrow during package elaboration

In GNATprove, a borrow during package elaboration is illegal, but a
crash could be issued when analyzing the corresponding declaration. Now
avoid analyzing the declaration in that case.

There is no test as this does not impact compilation.

2019-09-17  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_spark.adb (Check_Declaration): Do not check the assignment
from an illegal declaration.

From-SVN: r275788
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_spark.adb diff | blob | history
Domain: System / Toolchain;