diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2009-04-20 11:37:30 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-20 11:37:30 +0200 |
| commit | 16212e894ae04b6de4d10d6992c2eabe1d6866ac (patch) | |
| tree | 067b6fb3d3db09d6874a82087fceda2ef195ae17 /gcc/tree-iterator.h | |
| parent | 6e55ac7a64a64ac0b066e5fc67969fa47a8f0e89 (diff) | |
| download | gcc-16212e894ae04b6de4d10d6992c2eabe1d6866ac.zip gcc-16212e894ae04b6de4d10d6992c2eabe1d6866ac.tar.gz gcc-16212e894ae04b6de4d10d6992c2eabe1d6866ac.tar.bz2 | |
sem_elim.ads (Check_For_Eliminated_Subprogram): New procedure for checking for references to eliminated subprograms that should...
2009-04-20 Gary Dismukes <dismukes@adacore.com>
* sem_elim.ads (Check_For_Eliminated_Subprogram): New procedure for
checking for references to eliminated subprograms that should be
flagged.
(Eliminate_Error_Message): Update comment to say "references" rather
than "calls" (since attribute cases are handled here as well).
* sem_elim.adb (Check_For_Eliminated_Subprogram): New procedure for
checking for references to eliminated subprograms that should be
flagged. Add with and use of Sem and Sem_Util.
* sem_res.adb (Resolve_Call): Reject calls to eliminated subprograms.
Add with and use of Sem_Elim.
* sem_attr.adb (Analyze_Access_Attribute): Reject access attributes
applied to eliminated subprograms.
(Analyze_Attribute): Reject 'Address and 'Code_Address applied to
eliminated subprograms.
Add with and use of Sem_Elim.
* sem_disp.adb (Check_Dispatching_Call): Remove error check for calls
to eliminated subprograms, now handled during Resolve_Call.
Remove with and use of Sem_Elim.
* exp_disp.adb (Make_DT): Get Ultimate_Alias of primitive before
testing Is_Eliminated, for proper handling of primitive derived from
eliminated subprograms.
From-SVN: r146385
Diffstat (limited to 'gcc/tree-iterator.h')
0 files changed, 0 insertions, 0 deletions