]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix spurious error on call with default parameter in generic package
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 20 Oct 2023 15:22:07 +0000 (17:22 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 21 Nov 2023 09:57:40 +0000 (10:57 +0100)
commit50e0095904e0c66b24c205a7d776e6366bc9c7c0
tree310dd2fcf4afe8b60961aac3911cd0420e43e110
parentc6cd629ffbf895542dcf6e603ab112818cd9afd7
ada: Fix spurious error on call with default parameter in generic package

This occurs when the default value is a function call returning a private
type, and is caused by a bad interaction between two internal mechanisms.

gcc/ada/

* sem_ch12.adb (Save_Global_References.Set_Global_Type): Beef up
comment about the setting of the full view.
* sem_res.adb (Resolve_Actuals.Insert_Default): Add another bypass
for the case of a generic context.
gcc/ada/sem_ch12.adb
gcc/ada/sem_res.adb