https://gcc.gnu.org/g:b025cb6ac05a3843217a943c7b78447a7d9f771c
commit r16-8982-gb025cb6ac05a3843217a943c7b78447a7d9f771c Author: Gary Dismukes <[email protected]> Date: Tue Jan 20 22:35:50 2026 +0000 ada: Formal function default given by expression rejected with -gnatX The compiler should be allowing formal functions to be defaulted by an expression when the core extensions are enabled, but it was requiring all extensions to be enabled. gcc/ada/ChangeLog: * par-ch12.adb (P_Formal_Subprogram_Declaration): Pass True for the Is_Core_Extension parameter on call to Error_Msg_GNAT_Extension. Diff: --- gcc/ada/par-ch12.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/ada/par-ch12.adb b/gcc/ada/par-ch12.adb index ebd049ca7345..3b9cb3c0355d 100644 --- a/gcc/ada/par-ch12.adb +++ b/gcc/ada/par-ch12.adb @@ -1207,7 +1207,8 @@ package body Ch12 is elsif Token = Tok_Left_Paren then Error_Msg_GNAT_Extension - ("expression default for formal subprograms", Token_Ptr); + ("expression default for formal subprograms", Token_Ptr, + Is_Core_Extension => True); if Nkind (Spec_Node) = N_Function_Specification then Scan; -- past "("
