[reg...@gamow tmp405]$ current-gcc -c -O2 small.c small.c: In function 'int32func': small.c:26:1: error: definition in block 8 follows the use for SSA_NAME: g_313.0_6 in statement: # VUSE <.MEM_22> g_313.8_12 = *g_313.0_6; small.c:26: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.
[reg...@gamow tmp405]$ cat small.c typedef int int32_t; typedef unsigned char uint8_t; struct S0 { uint8_t f3; }; struct S2 { uint8_t f5; }; struct S0 g_22 = { 0 }; int32_t g_91; const struct S2 *g_314; const struct S2 **g_313 = &g_314; struct S2 g_320[2] = { 0 }; void int32func (uint64p_34) { for (g_22.f3 = 0; g_22.f3 <= 0; g_22.f3) { lbl_491:{ if (1) { int32_t *l_453[2][7][7][1][1]; int i, j, k, l, m; for (m; m; m++) l_453[i][j][k][l][m]; } *g_313 = 0; if (g_91) goto lbl_491; } } } [reg...@gamow tmp405]$ current-gcc -v Using built-in specs. COLLECT_GCC=current-gcc COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r158448-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.6.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-r158448-install --program-prefix=r158448- --enable-languages=c,c++ Thread model: posix gcc version 4.6.0 20100416 (experimental) (GCC) -- 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: x86_64-unknown-linux-gnu GCC host triplet: x86_64-unknown-linux-gnu GCC target triplet: x86_64-unknown-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43781