diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-19 13:29:46 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-10 08:19:21 +0000 |
| commit | 3d9e2004fe4e15b133bd8472c4bf46cbff809583 (patch) | |
| tree | 01e76651ac34017b44452f564ec43bcad394150b /gcc | |
| parent | 0e38fbfe1415e29d98bcdadc7307d589f496546b (diff) | |
| download | gcc-3d9e2004fe4e15b133bd8472c4bf46cbff809583.zip gcc-3d9e2004fe4e15b133bd8472c4bf46cbff809583.tar.gz gcc-3d9e2004fe4e15b133bd8472c4bf46cbff809583.tar.bz2 | |
[Ada] Fix comment about building names in task arrays
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_util.adb (Build_Task_Array_Image): Fix style in the
structure of generated code; add Pref'Length as the component of
the Sum initialization expression.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_util.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 263b42f..b3d1fdf 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -4048,13 +4048,13 @@ package body Exp_Util is -- The generated function has the following structure: -- function F return String is - -- Pref : string renames Task_Name; + -- Pref : String renames Task_Name; -- T1 : String := Index1'Image (Val1); -- ... - -- Tn : String := indexn'image (Valn); - -- Len : Integer := T1'Length + ... + Tn'Length + n + 1; - -- -- Len includes commas and the end parentheses. - -- Res : String (1..Len); + -- Tn : String := Indexn'Image (Valn); + -- Len : Integer := Pref'Length + T1'Length + ... + Tn'Length + n + 1; + -- -- Len includes commas and the end parentheses + -- Res : String (1 .. Len); -- Pos : Integer := Pref'Length; -- -- begin |