]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Inspect deferred constant completions in missing contexts
authorRaphaël AMIARD <amiard@adacore.com>
Wed, 4 Sep 2024 08:24:26 +0000 (08:24 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 25 Oct 2024 09:08:59 +0000 (11:08 +0200)
commita8bfc4dede003c76123f44eaafb374cb6dbcc1ec
treee99ad07596fce48e8be90b9121325f51474dcd14
parent1c298fc41512a1062f348eb54d54d01697a66ffc
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
gcc/ada/sem_ch4.adb
gcc/ada/sem_ch5.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads