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