diff options
| author | Yannick Moy <moy@adacore.com> | 2018-07-17 08:07:31 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-17 08:07:31 +0000 |
| commit | 014eddc6d9cec9d0fd526b1e2d3d9cb4f0674f63 (patch) | |
| tree | 6512635c32c1ae50f000bf85a000aaa7b92d451e /gcc/builtins.c | |
| parent | d47c8ef90093a92e7f6ad34365dd107a37697309 (diff) | |
| download | gcc-014eddc6d9cec9d0fd526b1e2d3d9cb4f0674f63.zip gcc-014eddc6d9cec9d0fd526b1e2d3d9cb4f0674f63.tar.gz gcc-014eddc6d9cec9d0fd526b1e2d3d9cb4f0674f63.tar.bz2 | |
[Ada] Avoid confusing warning on exception propagation in GNATprove mode
When compiling with the restriction No_Exception_Propagation, GNAT compiler
may issue a warning about exceptions not being propagated. This warning is
useless and confusing to users for GNATprove analysis, as GNATprove
precisely detects possible exceptions, so disable the warning in that mode.
2018-07-17 Yannick Moy <moy@adacore.com>
gcc/ada/
* gnat1drv.adb (Gnat1drv): Do not issue warning about exception not
being propagated in GNATprove mode.
From-SVN: r262781
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions