https://gcc.gnu.org/g:78decc27892d095060d279ee62d3b9ec81067a0b
commit r17-1650-g78decc27892d095060d279ee62d3b9ec81067a0b Author: Piotr Trojanek <[email protected]> Date: Thu Apr 30 15:39:49 2026 +0200 ada: Fix copy-paste error in subprogram body header SPARK aspects are implemented by mostly copy-pasting existing code, so mistakes are inevitable. gcc/ada/ChangeLog: * doc/gnat_rm/implementation_defined_pragmas.rst (Subprogram_Variant): Refill paragraph. * sem_prag.adb (Analyze_Exceptional_Cases_In_Decl_Part): Fix header. * gnat_rm.texi: Regenerate. Diff: --- gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 3 +-- gcc/ada/gnat_rm.texi | 5 ++--- gcc/ada/sem_prag.adb | 2 +- 3 files changed, 4 insertions(+), 6 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index bb7826f9938b..fd9ddc9bbc40 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -6638,8 +6638,7 @@ the implementation-defined ``Subprogram_Variant`` aspect, and shares its restrictions and semantics. This is an assertion kind pragma that can associate a set of its arguments -with an assertion level. See SPARK 2014 Reference Manual, section -11.4.2. +with an assertion level. See SPARK 2014 Reference Manual, section 11.4.2. Pragma Subtitle =============== diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index bfaa204114f9..6d3aae98c8ca 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -19,7 +19,7 @@ @copying @quotation -GNAT Reference Manual , Jun 04, 2026 +GNAT Reference Manual , Jun 18, 2026 AdaCore @@ -8303,8 +8303,7 @@ the implementation-defined @code{Subprogram_Variant} aspect, and shares its restrictions and semantics. This is an assertion kind pragma that can associate a set of its arguments -with an assertion level. See SPARK 2014 Reference Manual, section -11.4.2. +with an assertion level. See SPARK 2014 Reference Manual, section 11.4.2. @node Pragma Subtitle,Pragma Suppress,Pragma Subprogram_Variant,Implementation Defined Pragmas @anchor{gnat_rm/implementation_defined_pragmas pragma-subtitle}@anchor{100} diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 60c05a62be96..1cad009cf9e3 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2603,7 +2603,7 @@ package body Sem_Prag is Exceptional_Contract : Node_Id; Restore_Scope : Boolean := False; - -- Start of processing for Analyze_Subprogram_Variant_In_Decl_Part + -- Start of processing for Analyze_Exceptional_Cases_In_Decl_Part begin -- Do not analyze the pragma multiple times
