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/genoutput.cc | |
| 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/genoutput.cc')
0 files changed, 0 insertions, 0 deletions