diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-06-02 17:15:22 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-05 08:28:17 +0000 |
| commit | 7b9ae8e806d6afcf23f970fa18ce261024eb4414 (patch) | |
| tree | c897cfaf5e7332095e9b9a04be3c1e5344db56ef /gcc/ada/sem_attr.adb | |
| parent | 4ba48342a3d1b37c651df566543708dae0599b71 (diff) | |
| download | gcc-7b9ae8e806d6afcf23f970fa18ce261024eb4414.zip gcc-7b9ae8e806d6afcf23f970fa18ce261024eb4414.tar.gz gcc-7b9ae8e806d6afcf23f970fa18ce261024eb4414.tar.bz2 | |
[Ada] Fix clearly unintentional dead analysis of attribute Code_Address
A new warning about unreachable code that follows calls to procedures
with No_Return would flag a clearly unintentional dead call to
Set_Address_Taken in analysis of Code_Address attribute.
This patch resurrects the dead code, which is worth fixing regardless of
the new warning.
gcc/ada/
* sem_attr.adb (Analyze_Attribute): Move call to
Set_Address_Taken so that it is executed when the prefix
attribute is legal.
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 20849bf..5bf13d1 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -3746,11 +3746,11 @@ package body Sem_Attr is Ekind (Entity (P)) /= E_Procedure) then Error_Attr ("invalid prefix for % attribute", P); - Set_Address_Taken (Entity (P)); -- Issue an error if the prefix denotes an eliminated subprogram else + Set_Address_Taken (Entity (P)); Check_For_Eliminated_Subprogram (P, Entity (P)); end if; |