From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 7835138515F6; Mon, 9 May 2022 09:32:26 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7835138515F6 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-200] [Ada] Simplify conversions from Uint to Char_Code X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/master X-Git-Oldrev: a252a471df552cf2c0a688a3472094fe234b7ab6 X-Git-Newrev: 5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f Message-Id: <20220509093226.7835138515F6@sourceware.org> Date: Mon, 9 May 2022 09:32:26 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 09 May 2022 09:32:26 -0000 https://gcc.gnu.org/g:5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f commit r13-200-g5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f Author: Piotr Trojanek Date: Tue Jan 18 21:18:42 2022 +0100 [Ada] Simplify conversions from Uint to Char_Code Replace "Char_Code (UI_To_Int (...))" with "UI_To_CC (...). Cleanup related to handling characters in GNATprove counterexamples; semantics is unaffected. gcc/ada/ * par-prag.adb (Prag): Simplify conversion of character codes. * sem_case.adb (Choice_Image): Likewise. (Lit_Of): Likewise. Diff: --- gcc/ada/par-prag.adb | 3 +-- gcc/ada/sem_case.adb | 4 ++-- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb index 6f1f50f6a01..88f27f0fed7 100644 --- a/gcc/ada/par-prag.adb +++ b/gcc/ada/par-prag.adb @@ -1266,8 +1266,7 @@ begin elsif Nkind (A) = N_Character_Literal then declare - R : constant Char_Code := - Char_Code (UI_To_Int (Char_Literal_Value (A))); + R : constant Char_Code := UI_To_CC (Char_Literal_Value (A)); begin if In_Character_Range (R) then Wide_Character_Encoding_Method := diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index fed9f4d7dc6..ccd4b18b4af 100644 --- a/gcc/ada/sem_case.adb +++ b/gcc/ada/sem_case.adb @@ -1104,7 +1104,7 @@ package body Sem_Case is C := UI_To_Int (Value); if C in 16#20# .. 16#7E# then - Set_Character_Literal_Name (Char_Code (UI_To_Int (Value))); + Set_Character_Literal_Name (UI_To_CC (Value)); return Name_Find; end if; @@ -2925,7 +2925,7 @@ package body Sem_Case is -- is created with the appropriate Char_Code and Chars fields. if Is_Standard_Character_Type (Choice_Type) then - Set_Character_Literal_Name (Char_Code (UI_To_Int (Value))); + Set_Character_Literal_Name (UI_To_CC (Value)); Lit := Make_Character_Literal (Loc, Chars => Name_Find,