diff options
author | Bob Duff <duff@adacore.com> | 2022-07-20 17:37:51 -0400 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:21:03 +0200 |
commit | fc32180d704e59553584ae2a814089c2af1bce09 (patch) | |
tree | d3ef834afc1a3407debaef5c747d9477dfda0560 /gcc/d/d-target.h | |
parent | 7449db0bf4a2c920538a7f947ccec2831802ded4 (diff) | |
download | gcc-fc32180d704e59553584ae2a814089c2af1bce09.zip gcc-fc32180d704e59553584ae2a814089c2af1bce09.tar.gz gcc-fc32180d704e59553584ae2a814089c2af1bce09.tar.bz2 |
[Ada] Suppress warnings in trivial subprograms with finalization
There are heuristics for suppressing warnings about unused objects in
trivial cases. In particular, we try to suppress warnings here:
function F (A : Integer) return Some_Type;
X : Some_Type;
begin
raise Not_Yet_Implemented;
return X;
end F;
But it doesn't work if Some_Type is controlled. This patch fixes that
bug.
gcc/ada/
* sem_ch6.adb
(Analyze_Subprogram_Body_Helper): Use First_Real_Statement to deal
with this case. Note that First_Real_Statement is likely to be
removed as part of this ticket, so this is a temporary fix.
Diffstat (limited to 'gcc/d/d-target.h')
0 files changed, 0 insertions, 0 deletions