From: Piotr Trojanek <[email protected]>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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 bb7826f9938..fd9ddc9bbc4 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 bfaa204114f..6d3aae98c8c 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 60c05a62be9..1cad009cf9e 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
--
2.53.0
