diff options
| author | Raphaël AMIARD <amiard@adacore.com> | 2024-09-04 08:24:26 +0000 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-25 11:08:59 +0200 |
| commit | a8bfc4dede003c76123f44eaafb374cb6dbcc1ec (patch) | |
| tree | e99ad07596fce48e8be90b9121325f51474dcd14 /gcc/ada/sem_ch5.adb | |
| parent | 1c298fc41512a1062f348eb54d54d01697a66ffc (diff) | |
| download | gcc-a8bfc4dede003c76123f44eaafb374cb6dbcc1ec.zip gcc-a8bfc4dede003c76123f44eaafb374cb6dbcc1ec.tar.gz gcc-a8bfc4dede003c76123f44eaafb374cb6dbcc1ec.tar.bz2 | |
ada: Inspect deferred constant completions in missing contexts
Namely declare expressions and statement lists, which can have object
declarations in -gnatX mode.
gcc/ada/ChangeLog:
* sem_util.ads: Introduce Inspect_Deferred_Constant_Completion
on a single object declaration, to better factorize the code
* sem_util.adb: Introduce aforementioned overload
* sem_ch4.adb (Analyze_Expression_With_Actions): Check deferred
constant completions
* sem_ch5.adb (Analyze_Statements): Check deferred constant
completions
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 30fee6e..131195a 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -4255,6 +4255,8 @@ package body Sem_Ch5 is ("implicit label declaration for & is hidden#", Identifier (S)); end if; + else + Inspect_Deferred_Constant_Completion (S); end if; Next (S); |