diff options
| author | Yannick Moy <moy@adacore.com> | 2022-06-16 14:14:56 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-06 13:29:49 +0000 |
| commit | e5802d60130bd804663559471f9c5f3561dfab4d (patch) | |
| tree | ee33950872e7f7fb2e230f39891ba3b2b0328727 /gcc/ada/gcc-interface | |
| parent | 870518bfe257908095eb8d299fb0bbf14a4d2920 (diff) | |
| download | gcc-e5802d60130bd804663559471f9c5f3561dfab4d.zip gcc-e5802d60130bd804663559471f9c5f3561dfab4d.tar.gz gcc-e5802d60130bd804663559471f9c5f3561dfab4d.tar.bz2 | |
[Ada] Deferred constant considered as not preelaborable
Fix detection of non-preelaborable constructs for checking SPARK
elaboration rules, which was tagging deferred constant declarations as
not preelaborable.
gcc/ada/
* sem_util.adb (Is_Non_Preelaborable_Construct): Fix for
deferred constants.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions