diff options
| author | Bob Duff <duff@adacore.com> | 2019-07-03 08:15:28 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-03 08:15:28 +0000 |
| commit | e08a896b96792d73293db82d0dc3541c17e545ad (patch) | |
| tree | 873033257e40845a247e50b2c395a10f182c897b /gcc/genconstants.c | |
| parent | 07fb741a3672a677a48a2672345d2dd67f944fad (diff) | |
| download | gcc-e08a896b96792d73293db82d0dc3541c17e545ad.zip gcc-e08a896b96792d73293db82d0dc3541c17e545ad.tar.gz gcc-e08a896b96792d73293db82d0dc3541c17e545ad.tar.bz2 | |
[Ada] Improve warnings about infinite loops
The compiler now has fewer false alarms when warning about infinite
loops. For example, a loop of the form "for X of A ...", where A is an
array, cannot be infinite. The compiler no longer warns in this case.
2019-07-03 Bob Duff <duff@adacore.com>
gcc/ada/
* sem_warn.adb (Check_Infinite_Loop_Warning): Avoid the warning
if an Iterator_Specification is present.
gcc/testsuite/
* gnat.dg/warn20.adb, gnat.dg/warn20_pkg.adb,
gnat.dg/warn20_pkg.ads: New testcase.
From-SVN: r272978
Diffstat (limited to 'gcc/genconstants.c')
0 files changed, 0 insertions, 0 deletions