diff options
| author | Javier Miranda <miranda@adacore.com> | 2018-07-16 14:10:27 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:10:27 +0000 |
| commit | a3b7645bffbaf3dadf1f9cfccd93c6fba3e0834d (patch) | |
| tree | efe83c064e59079cd0bcf4b9b0fa565d139baf18 /gcc/ada/adaint.c | |
| parent | c4ea29786f9b6e63c47daddfb6bff5b690e5f555 (diff) | |
| download | gcc-a3b7645bffbaf3dadf1f9cfccd93c6fba3e0834d.zip gcc-a3b7645bffbaf3dadf1f9cfccd93c6fba3e0834d.tar.gz gcc-a3b7645bffbaf3dadf1f9cfccd93c6fba3e0834d.tar.bz2 | |
[Ada] Crash processing sources under GNATprove debug mode
Processing sources under -gnatd.F the frontend may crash on
an iterator of the form 'for X of ...' over an array if the
iterator is located in an inlined subprogram.
2018-07-16 Javier Miranda <miranda@adacore.com>
gcc/ada/
* exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Code cleanup. Required
to avoid generating an ill-formed tree that confuses gnatprove causing
it to blowup.
gcc/testsuite/
* gnat.dg/iter2.adb, gnat.dg/iter2.ads: New testcase.
From-SVN: r262707
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions