OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Fix comment about building names in task arrays

Browse Source 
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.
This commit is contained in:
Piotr Trojanek 2022-01-19 13:29:46 +01:00 committed by Pierre-Marie de Rodat
parent 0e38fbfe14
commit 3d9e2004fe
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ada/exp_util.adb
View File

@ -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