projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5046228) | patch
[Ada] Replace variables with constants in expanded code for task names
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 19 Jan 2022 12:35:46 +0000 (13:35 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 10 May 2022 08:19:22 +0000 (08:19 +0000)
commitd979a676fde85a362cb8d7b142300a494370f3e9
tree95175516735f2af45962b97a05b4d797620d5443tree | snapshot
parent5046228671e991170c19c1c0d9f70a51026e2cabcommit | diff
[Ada] Replace variables with constants in expanded code for task names

Using constants instead of variables is cleaner both in human-written
and auto-generated code.

Cleanup related to handling of character values in SPARK
counterexamples, which just like the code for names of tasks create
N_Character_Literal nodes.

gcc/ada/

* exp_util.adb (Build_Task_Array_Image): Declare expanded
objects as constants.
(Build_Task_Image_Prefix): Likewise.
(Build_Task_Record_Image): Likewise.
gcc/ada/exp_util.adb diff | blob | history
Domain: System / Toolchain;