diff options
| author | Javier Miranda <miranda@adacore.com> | 2019-07-09 07:54:19 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:54:19 +0000 |
| commit | 5da544339b2b3b3d00d3dd5b91c06d2d09a386b2 (patch) | |
| tree | 36f448a457bcf9b1d7ea86364fc4e3743f7c5b83 /libcpp/line-map.c | |
| parent | ff606db0166573fee17f6d81895f7d882fd15169 (diff) | |
| download | gcc-5da544339b2b3b3d00d3dd5b91c06d2d09a386b2.zip gcc-5da544339b2b3b3d00d3dd5b91c06d2d09a386b2.tar.gz gcc-5da544339b2b3b3d00d3dd5b91c06d2d09a386b2.tar.bz2 | |
[Ada] Missing runtime range checks with -gnatVa
Under validity checking mode the compiler may silently skip generating
code to perform runtime range checks.
2019-07-09 Javier Miranda <miranda@adacore.com>
gcc/ada/
* exp_util.adb (Remove_Side_Effects): Preserve the
Do_Range_Check flag.
gcc/testsuite/
* gnat.dg/range_check3.adb, gnat.dg/range_check3_pkg.adb,
gnat.dg/range_check3_pkg.ads: New testcase.
From-SVN: r273278
Diffstat (limited to 'libcpp/line-map.c')
0 files changed, 0 insertions, 0 deletions