cfgloop.c (mark_loop_for_removal): Record former header when ENABLE_CHECKING.
authorRichard Biener <rguenther@suse.de>
Fri, 5 Sep 2014 13:04:40 +0000 (13:04 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 5 Sep 2014 13:04:40 +0000 (13:04 +0000)
commite4ca2139f2fd864316e6fd4e76dea933c67621ab
tree90b86e5c02c302902763114e914e357c26422e94
parentc3212d53df65a17e11cdd9917e433f5b94b37174
cfgloop.c (mark_loop_for_removal): Record former header when ENABLE_CHECKING.

2014-09-05  Richard Biener  <rguenther@suse.de>

* cfgloop.c (mark_loop_for_removal): Record former header
when ENABLE_CHECKING.
* cfgloop.h (strut loop): Add former_header member when
ENABLE_CHECKING.
* loop-init.c (fix_loop_structure): Sanity check loops
marked for removal if they re-appeared.

From-SVN: r214957
gcc/ChangeLog
gcc/cfgloop.c
gcc/cfgloop.h
gcc/loop-init.c