diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-14 09:50:55 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-14 09:50:55 +0000 |
| commit | bab15911661814606d18639ef53597ea9a843afa (patch) | |
| tree | c532ee06556080523abebe3b9b90a0a642e942e3 /gcc/builtins.c | |
| parent | 4a6db9fd05bff1cd7a487eb87a4a0413c3c2301a (diff) | |
| download | gcc-bab15911661814606d18639ef53597ea9a843afa.zip gcc-bab15911661814606d18639ef53597ea9a843afa.tar.gz gcc-bab15911661814606d18639ef53597ea9a843afa.tar.bz2 | |
[Ada] Fix failing assertions on SPARK elaboration
Checking of SPARK elaboration rules may lead to assertion failures on a
compiler built with assertions. Now fixed.
There is no impact on compilation.
2019-08-14 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_disp.adb (Check_Dispatching_Operation): Update assertion
for the separate declarations created in GNATprove mode.
* sem_disp.ads (Is_Overriding_Subprogram): Update comment.
* sem_elab.adb (SPARK_Processor): Fix test for checking of
overriding primitives.
From-SVN: r274448
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions