diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-03 18:23:58 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:16 +0200 |
commit | 78203700fac6e7e39f5a31e892963172263f8239 (patch) | |
tree | 3d098d23c984e84df5c0f7ca2563d911c80a7c4b | |
parent | f82ef0e92470b2c2afbdd7368cdd08f0c67a0606 (diff) | |
download | gcc-78203700fac6e7e39f5a31e892963172263f8239.zip gcc-78203700fac6e7e39f5a31e892963172263f8239.tar.gz gcc-78203700fac6e7e39f5a31e892963172263f8239.tar.bz2 |
ada: Fix copy-paste mistake in analysis of Exceptional_Cases
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.
-rw-r--r-- | gcc/ada/sem_prag.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 963c6de..40636f2 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -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; |