diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-19 13:35:46 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-10 08:19:22 +0000 |
| commit | d979a676fde85a362cb8d7b142300a494370f3e9 (patch) | |
| tree | 95175516735f2af45962b97a05b4d797620d5443 /gcc/fold-const.cc | |
| parent | 5046228671e991170c19c1c0d9f70a51026e2cab (diff) | |
| download | gcc-d979a676fde85a362cb8d7b142300a494370f3e9.zip gcc-d979a676fde85a362cb8d7b142300a494370f3e9.tar.gz gcc-d979a676fde85a362cb8d7b142300a494370f3e9.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/fold-const.cc')
0 files changed, 0 insertions, 0 deletions