diff options
| author | Bob Duff <duff@adacore.com> | 2023-11-16 16:45:13 -0500 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-28 10:35:48 +0100 |
| commit | ecdcb83025143f00e95ce9f86b9e80c770116c46 (patch) | |
| tree | d13e6610ce6d79c28f131cc80de080bb2730848e /gcc/ada/gcc-interface/decl.cc | |
| parent | 39cb85867dee738bd3773b63c2b48d5d0731dea5 (diff) | |
| download | gcc-ecdcb83025143f00e95ce9f86b9e80c770116c46.zip gcc-ecdcb83025143f00e95ce9f86b9e80c770116c46.tar.gz gcc-ecdcb83025143f00e95ce9f86b9e80c770116c46.tar.bz2 | |
ada: False alarms from -gnatw.t with generic functions
Disable the warnings generated by -gnatw.t on instances.
Otherwise, we get false positives.
gcc/ada/
* sem_util.adb (Check_Result_And_Post_State): Disable this when
we're in an instance. Misc cleanup.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
0 files changed, 0 insertions, 0 deletions