public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/42717]  New: ice: verify_ssa failed
@ 2010-01-12 18:04 regehr at cs dot utah dot edu
  2010-01-13  1:18 ` [Bug c/42717] " hjl dot tools at gmail dot com
                   ` (8 more replies)
  0 siblings, 9 replies; 10+ messages in thread
From: regehr at cs dot utah dot edu @ 2010-01-12 18:04 UTC (permalink / raw)
  To: gcc-bugs

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2006 bytes --]

Seen on Ubuntu 9.10.

regehr@john-home:~/volatile/bugs/tmp253$ current-gcc -O2 small.c
small.c: In function ‘bar’:
small.c:16:1: error: definition in block 7 does not dominate use in block 2
for SSA_NAME: l_23_17 in statement:
l_23_2 = PHI <l_23_17(7), l_23_17(2)>
PHI argument
l_23_17
for PHI node
l_23_2 = PHI <l_23_17(7), l_23_17(2)>
small.c:16:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

regehr@john-home:~/volatile/bugs/tmp253$ current-gcc -v

Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/tmp/gcc-r155838-install/libexec/gcc/i686-pc-linux-gnu/4.5.0/lto-wrapper
Target: i686-pc-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/tmp/gcc-r155838-install --program-prefix=r155838-
--enable-languages=c,c++
Thread model: posix
gcc version 4.5.0 20100112 (experimental) (GCC) 

regehr@john-home:~/volatile/bugs/tmp253$ cat small.c

static signed char
foo (signed char si1, unsigned char si2)
{
  return (si1 ^ si2) & (-si2 ^ si2) ? : si1 - si2;
}

struct S0
{
};

unsigned char g_21;

struct S0 g_34;

void
bar (unsigned char p_20)
{
  unsigned char *l_22 = &g_21;
  unsigned char l_23 = 0;
  struct S0 *l = &g_34;
  goto lbl_42;
  for (; l_23; l_23 = foo (l_23, 1))
    {
      for (p_20 = 0; 0; p_20 = foo (p_20, 1))
      lbl_42:;
      (l == &g_34) ? 0 : "";
    lbl_85:*l_22 = p_20;
    }
  goto lbl_85;
}


-- 
           Summary: ice: verify_ssa failed
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: regehr at cs dot utah dot edu
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
end of thread, other threads:[~2010-02-07  4:46 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-01-12 18:04 [Bug c/42717] New: ice: verify_ssa failed regehr at cs dot utah dot edu
2010-01-13  1:18 ` [Bug c/42717] " hjl dot tools at gmail dot com
2010-01-13  1:20 ` [Bug c/42717] 4.5 Regression] " hjl dot tools at gmail dot com
2010-01-13 13:16 ` [Bug tree-optimization/42717] [4.5 " rguenth at gcc dot gnu dot org
2010-01-13 15:02 ` rguenth at gcc dot gnu dot org
2010-01-14 16:41 ` rguenth at gcc dot gnu dot org
2010-01-15 16:07 ` rguenth at gcc dot gnu dot org
2010-01-20 12:30 ` rguenth at gcc dot gnu dot org
2010-01-20 12:31 ` rguenth at gcc dot gnu dot org
2010-02-07  4:46 ` hjl at gcc dot gnu dot 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).