diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-19 14:05:16 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-10 08:19:20 +0000 |
| commit | 0e38fbfe1415e29d98bcdadc7307d589f496546b (patch) | |
| tree | f03ff8212273d48c471fbb8a6f3db2a28a057a95 /gcc/ada/sem_res.adb | |
| parent | 60ab3d0f2d9f95045543fea361e976351e76b5a1 (diff) | |
| download | gcc-0e38fbfe1415e29d98bcdadc7307d589f496546b.zip gcc-0e38fbfe1415e29d98bcdadc7307d589f496546b.tar.gz gcc-0e38fbfe1415e29d98bcdadc7307d589f496546b.tar.bz2 | |
[Ada] Simplify conversion from Character to Char_Code
Replace "Char_Code (Character'Pos (...))" with "Get_Char_Code (...)".
The Get_Char_Code routine is inlined, so there is no performance penalty
when it is called with static actual parameters.
The N_Character_Literal has field Char_Literal_Value of type Unat, but
we should really only store there values from Char_Code type (e.g. there
are no characters with negative ASCII codes). It seems cleaner to use
UI_From_CC and not a more general UI_From_Int when setting the character
literal values.
Cleanup related to handling of character values in SPARK
counterexamples, which just like the code for names in task arrays
create N_Character_Literal nodes.
gcc/ada/
* exp_prag.adb (Expand_Pragma_Import_Or_Interface): Use
Get_Char_Code.
* exp_util.adb (Build_Task_Array_Image): Simplify conversion to
Char_Code.
(Build_Task_Image_Prefix): Likewise.
(Build_Task_Record_Image): Likewise.
* cstand.adb (Create_Standard): Use UI_From_Int instead of
UI_From_CC.
* exp_ch11.adb (Expand_N_Exception_Declaration): Likewise.
* sem_res.adb (Patch_Up_Value): Likewise.
* stringt.adb (Write_String_Table_Entry): Use Get_Char_Code.
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 1c686cd..734e457 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -2245,12 +2245,12 @@ package body Sem_Res is elsif Nkind (N) = N_String_Literal and then Is_Character_Type (Typ) then - Set_Character_Literal_Name (Char_Code (Character'Pos ('A'))); + Set_Character_Literal_Name (Get_Char_Code ('A')); Rewrite (N, Make_Character_Literal (Sloc (N), Chars => Name_Find, Char_Literal_Value => - UI_From_Int (Character'Pos ('A')))); + UI_From_CC (Get_Char_Code ('A')))); Set_Etype (N, Any_Character); Set_Is_Static_Expression (N); |