diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-03-19 00:23:39 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-17 08:25:41 +0000 |
| commit | d4090614041c7803373a5064dfb82fdf6017971d (patch) | |
| tree | e31236cc5772f6f5521aa8c2635a1a3f220d8450 /gcc/ada/sem_ch3.adb | |
| parent | a08f366ae875ae70fba5014c94956cdbf7bf91db (diff) | |
| download | gcc-d4090614041c7803373a5064dfb82fdf6017971d.zip gcc-d4090614041c7803373a5064dfb82fdf6017971d.tar.gz gcc-d4090614041c7803373a5064dfb82fdf6017971d.tar.bz2 | |
[Ada] Use Actions field of freeze nodes for subprograms
This has a couple of advantages: 1) the actions are analyzed with checks
disabled and 2) they are considered elaboration code by Sem_Elab.
gcc/ada/
* exp_ch13.adb (Expand_N_Freeze_Entity): Delete freeze nodes for
subprograms only if they have no actions.
* exp_ch6.adb (Freeze_Subprogram): Put the actions into the Actions
field of the freeze node instead of inserting them after it.
* sem_elab.adb (Is_SPARK_Semantic_Target): Fix typo in comment.
* gcc-interface/trans.cc (process_freeze_entity): Return early for
freeze nodes of subprograms with Interface_Alias set.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
0 files changed, 0 insertions, 0 deletions