projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e38fbf) | patch
[Ada] Fix comment about building names in task arrays
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 19 Jan 2022 12:29:46 +0000 (13:29 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 10 May 2022 08:19:21 +0000 (08:19 +0000)
commit3d9e2004fe4e15b133bd8472c4bf46cbff809583
tree01e76651ac34017b44452f564ec43bcad394150btree | snapshot
parent0e38fbfe1415e29d98bcdadc7307d589f496546bcommit | diff
[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.
gcc/ada/exp_util.adb diff | blob | history
Domain: System / Toolchain;