From e4ca2139f2fd864316e6fd4e76dea933c67621ab Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 5 Sep 2014 13:04:40 +0000 Subject: cfgloop.c (mark_loop_for_removal): Record former header when ENABLE_CHECKING. 2014-09-05 Richard Biener * 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/cfgloop.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'gcc/cfgloop.c') diff --git a/gcc/cfgloop.c b/gcc/cfgloop.c index 789c45a..399420d 100644 --- a/gcc/cfgloop.c +++ b/gcc/cfgloop.c @@ -1927,7 +1927,11 @@ bb_loop_depth (const_basic_block bb) void mark_loop_for_removal (loop_p loop) { +#ifdef ENABLE_CHECKING + loop->former_header = loop->header; +#endif loop->header = NULL; loop->latch = NULL; loops_state_set (LOOPS_NEED_FIXUP); } + -- cgit v1.1