From: Jakub Jelinek Date: Mon, 10 Jun 2002 21:36:15 +0000 (+0200) Subject: cfgcleanup.c (try_optimize_cfg): Make sure merge_blocks doesn't merge bb with itself. X-Git-Tag: releases/gcc-3.3.0~4434 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=2bf87216b2fe2fa2dca9c565771006d355e4f6d8;p=thirdparty%2Fgcc.git cfgcleanup.c (try_optimize_cfg): Make sure merge_blocks doesn't merge bb with itself. * cfgcleanup.c (try_optimize_cfg): Make sure merge_blocks doesn't merge bb with itself. * gcc.c-torture/compile/20020605-1.c: New test. From-SVN: r54456 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4d085336386f..0964d2700e58 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2002-06-10 Jakub Jelinek + + * cfgcleanup.c (try_optimize_cfg): Make sure merge_blocks doesn't + merge bb with itself. + 2002-06-10 Richard Henderson * config/alpha/alpha.md (builtin_zap): Fix thinkos expanding mask. diff --git a/gcc/cfgcleanup.c b/gcc/cfgcleanup.c index 2e6e02daba7d..74b8d338ca99 100644 --- a/gcc/cfgcleanup.c +++ b/gcc/cfgcleanup.c @@ -1675,6 +1675,7 @@ try_optimize_cfg (mode) && !(s->flags & EDGE_COMPLEX) && (c = s->dest) != EXIT_BLOCK_PTR && c->pred->pred_next == NULL + && b != c /* If the jump insn has side effects, we can't kill the edge. */ && (GET_CODE (b->end) != JUMP_INSN diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ea104cf5335d..afc08f4b8cea 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2002-06-10 Jakub Jelinek + + * gcc.c-torture/compile/20020605-1.c: New test. + 2002-06-07 Roger Sayle * gcc.dg/20020607-2.c: New test case. diff --git a/gcc/testsuite/gcc.c-torture/compile/20020605-1.c b/gcc/testsuite/gcc.c-torture/compile/20020605-1.c new file mode 100644 index 000000000000..960a4be7ed11 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20020605-1.c @@ -0,0 +1,17 @@ +/* This testcase caused on IA-32 -O2 endless loop in + merge_blocks when trying to merge a basic block + with itself. */ + +void f (void) +{ + char *c; + do + { + if (c) + break; + } + while (1); + if (!c) + while (1) + f (); +}