public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/52996] New: ice in verify_loop_structure, at cfgloop.c:1567
@ 2012-04-15 14:59 regehr at cs dot utah.edu
  2012-04-15 16:11 ` [Bug middle-end/52996] [4.8 Regression] " pinskia at gcc dot gnu.org
                   ` (13 more replies)
  0 siblings, 14 replies; 15+ messages in thread
From: regehr at cs dot utah.edu @ 2012-04-15 14:59 UTC (permalink / raw)
  To: gcc-bugs

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52996

             Bug #: 52996
           Summary: ice in verify_loop_structure, at cfgloop.c:1567
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: regehr@cs.utah.edu
                CC: chenyang@cs.utah.edu


[regehr@dyson r33]$ current-gcc -O3 -c small.c
small.c: In function 'fn1':
small.c:29:1: error: edge from 18 to 19 should be marked irreducible
 }
 ^
small.c:29:1: error: basic block 19 should be marked irreducible
 }
 ^
small.c:29:1: error: edge from 19 to 11 should be marked irreducible
 }
 ^
small.c:29:1: internal compiler error: in verify_loop_structure, at
cfgloop.c:1567
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


[regehr@dyson r33]$ cat small.c
int a, b, c, d, e, f;
void
fn1 ()
{
    int g, h;
lbl_173:
    if (a)
        c++;
lbl_158:
    e = 0;
    h = 0;
    for (; h > -8; h--)
    {
        g = 0;
        for (; g <= 0; g += 1)
        {
            d = 1;
            for (; d >= 0; d -= 1)
                a = 1;
            if (b)
                break;
            if (f)
                return;
            if (h)
                goto lbl_158;
        }
    }
    goto lbl_173;
}


[regehr@dyson r33]$ current-gcc -v
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r186455-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r186455-install
--program-prefix=r186455- --enable-languages=c,c++
Thread model: posix
gcc version 4.8.0 20120414 (experimental) (GCC)


^ permalink raw reply	[flat|nested] 15+ messages in thread
end of thread, other threads:[~2012-12-21 14:35 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-04-15 14:59 [Bug c/52996] New: ice in verify_loop_structure, at cfgloop.c:1567 regehr at cs dot utah.edu
2012-04-15 16:11 ` [Bug middle-end/52996] [4.8 Regression] " pinskia at gcc dot gnu.org
2012-04-16  9:33 ` rguenth at gcc dot gnu.org
2012-04-16 10:58 ` rguenth at gcc dot gnu.org
2012-09-07 11:21 ` rguenth at gcc dot gnu.org
2012-11-28  9:30 ` mpolacek at gcc dot gnu.org
2012-12-20 13:38 ` mpolacek at gcc dot gnu.org
2012-12-21 10:31 ` rguenth at gcc dot gnu.org
2012-12-21 10:33 ` rguenth at gcc dot gnu.org
2012-12-21 10:33 ` rguenth at gcc dot gnu.org
2012-12-21 12:32 ` jakub at gcc dot gnu.org
2012-12-21 12:48 ` rguenth at gcc dot gnu.org
2012-12-21 12:56 ` rguenth at gcc dot gnu.org
2012-12-21 14:34 ` rguenth at gcc dot gnu.org
2012-12-21 14:35 ` rguenth at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).