* gcc-interface/trans.c (loop_info_d): Add low_bound, high_bound,
commitb141a4bcc9ac87f465d5bffb1b393c182ec8bbe5
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 26 Jun 2015 10:03:22 +0000 (26 10:03 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 26 Jun 2015 10:03:22 +0000 (26 10:03 +0000)
tree02d1c7bd4feb8917b2ba8c73342c9d9ba436756f
parentb5fbf2dc2a3211c36efc6b595874f64429f856b2
* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@224998 138bc75d-0d04-0410-961f-82ee72b054a4
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]