]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix copy-paste mistake in analysis of Exceptional_Cases
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 3 Mar 2023 17:23:58 +0000 (18:23 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 25 May 2023 07:44:16 +0000 (09:44 +0200)
Trivial mistakes in copied code.

gcc/ada/

* sem_prag.adb (Analyze_Pragma): Fix references to Exceptional_Cases in
code copied from handling of Subprogram_Variant.

gcc/ada/sem_prag.adb

index 963c6dea238028d11848b75b6e9f78f894917d78..40636f21fc75eb7e2fef32db5a7f42b077ee5488 100644 (file)
@@ -16688,7 +16688,7 @@ package body Sem_Prag is
             Ensure_Aggregate_Form (Get_Argument (N, Spec_Id));
 
             --  Chain the pragma on the contract for further processing by
-            --  Analyze_Subprogram_Variant_In_Decl_Part.
+            --  Analyze_Exceptional_Cases_In_Decl_Part.
 
             Add_Contract_Item (N, Defining_Entity (Subp_Decl));
 
@@ -16698,13 +16698,13 @@ package body Sem_Prag is
             if Nkind (Subp_Decl) in N_Subprogram_Body
                                   | N_Subprogram_Body_Stub
             then
-               --  The legality checks of pragma Subprogram_Variant are
+               --  The legality checks of pragma Exceptional_Cases are
                --  affected by the SPARK mode in effect and the volatility
                --  of the context. Analyze all pragmas in a specific order.
 
                Analyze_If_Present (Pragma_SPARK_Mode);
                Analyze_If_Present (Pragma_Volatile_Function);
-               Analyze_Subprogram_Variant_In_Decl_Part (N);
+               Analyze_Exceptional_Cases_In_Decl_Part (N);
             end if;
          end Exceptional_Cases;