trans.c (loop_info_d): Add low_bound...
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 26 Jun 2015 10:03:22 +0000 (10:03 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Fri, 26 Jun 2015 10:03:22 +0000 (10:03 +0000)
commit87ab2b04ae1997b5b90f5dd11494f2186ee4f3a8
tree02d1c7bd4feb8917b2ba8c73342c9d9ba436756f
parent63be509029db0b15f445400c75722862cf252b25
trans.c (loop_info_d): Add low_bound...

* gcc-interface/trans.c (loop_info_d): Add low_bound, high_bound,
artificial, has_checks and warned_aggressive_loop_optimizations.
(gigi): Set warn_aggressive_loop_optimizations to 0.
(inside_loop_p): New inline predicate.
(push_range_check_info): Rename into...
(find_loop_for): ...this and do not push range_check_info_d object.
(Loop_Statement_to_gnu): Set artificial, low_bound and high_bound
fields of gnu_loop_info.  Adjust detection of checks enabled by
-funswitch-loops and adds one for -faggressive-loop-optimizations.
(gnat_to_gnu) <N_Indexed_Component>: If aggressive loop optimizations
are enabled, warn for loops overrunning an array of size 1 not at the
end of a record.

From-SVN: r224998
gcc/ada/ChangeLog
gcc/ada/gcc-interface/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/warn11.adb
gcc/testsuite/gnat.dg/warn12.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/warn12_pkg.ads [new file with mode: 0644]