diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-04-26 15:21:00 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-30 08:29:03 +0000 |
commit | b341b8130f80c9acec384e7acc98283bccd349d2 (patch) | |
tree | 877fa8247a83be3f169c3d130028151e802b1598 /gcc/ada/sem_res.adb | |
parent | 6a91be29578fa466376cd482d3abed5eb20685b4 (diff) | |
download | gcc-b341b8130f80c9acec384e7acc98283bccd349d2.zip gcc-b341b8130f80c9acec384e7acc98283bccd349d2.tar.gz gcc-b341b8130f80c9acec384e7acc98283bccd349d2.tar.bz2 |
[Ada] Deconstruct deferred references
While cleaning up and modifying code for unreferenced warnings we
removed all calls to Defer_Reference, which was the only routine that
populated the Deferred_References table. Consequently, all the code
related to this table became dead.
gcc/ada/
* lib-xref.ads (Deferred_Reference_Entry, Defer_Reference,
Process_Deferred_References, Has_Deferred_Reference): Remove
client API.
* lib-xref.adb (Deferred_References, Defer_Reference,
Has_Deferred_Reference, Process_Deferred_References): Remove
implementation.
* frontend.adb, sem_ch11.adb, sem_ch5.adb, sem_res.adb,
sem_util.adb, sem_warn.adb: Remove uses of Deferred_References.
Diffstat (limited to 'gcc/ada/sem_res.adb')
-rw-r--r-- | gcc/ada/sem_res.adb | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 930980e..4ffb64c 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -11211,22 +11211,6 @@ package body Sem_Res is else T := Etype (P); - - -- If the prefix is an entity it may have a deferred reference set - -- during analysis of the selected component. After resolution we - -- can transform it into a proper reference. This prevents spurious - -- warnings on useless assignments when the same selected component - -- is the actual for an out parameter in a subsequent call. - - if Is_Entity_Name (P) - and then Has_Deferred_Reference (Entity (P)) - then - if Known_To_Be_Assigned (N) then - Generate_Reference (Entity (P), P, 'm'); - else - Generate_Reference (Entity (P), P, 'r'); - end if; - end if; end if; -- Set flag for expander if discriminant check required on a component |