diff options
| author | Yannick Moy <moy@adacore.com> | 2019-09-17 08:02:15 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-17 08:02:15 +0000 |
| commit | 8df56dfc6991bda3c1cfa9d102c49d963763d5b4 (patch) | |
| tree | c64b3a724fb79f4b421ab9ec5da0b6b89dd6387d /gcc/tree-ssa-threadupdate.c | |
| parent | 86ae194fdb343487d37899f4f51fdf3e626822e0 (diff) | |
| download | gcc-8df56dfc6991bda3c1cfa9d102c49d963763d5b4.zip gcc-8df56dfc6991bda3c1cfa9d102c49d963763d5b4.tar.gz gcc-8df56dfc6991bda3c1cfa9d102c49d963763d5b4.tar.bz2 | |
[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
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
0 files changed, 0 insertions, 0 deletions