http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57393
John Regehr <regehr at cs dot utah.edu> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |regehr at cs dot utah.edu
--- Comment #34 from John Regehr <regehr at cs dot utah.edu> ---
Looks like another occurrence of the same issue?
regehr@john-home ~/z/reduce/r114 $ gcc -c -O3 small.c
small.c: In function ‘x4’:
small.c:3:5: error: definition in block 3 follows the use
int x4() {
^
for SSA_NAME: _30 in statement:
x1.2_15 = _30 & pretmp_25;
small.c:3:5: internal compiler error: verify_ssa failed
0xaa1e9d verify_ssa(bool)
/home/regehr/z/compiler-source/gcc/gcc/tree-ssa.c:1046
0x87ea51 execute_function_todo
/home/regehr/z/compiler-source/gcc/gcc/passes.c:1834
0x87f197 execute_todo
/home/regehr/z/compiler-source/gcc/gcc/passes.c:1866
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
regehr@john-home ~/z/reduce/r114 $
regehr@john-home ~/z/reduce/r114 $ cat small.c
int x0, x1, x2;
void x3();
int x4() {
for (;;) {
x3();
int x5 = x0 = 0;
for (; x0 < 7; ++x0) {
x5--;
x1 &= x2 <= x5;
}
}
}
regehr@john-home ~/z/reduce/r114 $ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r202470-install/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r202470-install
--enable-languages=c,c++ --disable-multilib
Thread model: posix
gcc version 4.9.0 20130910 (experimental) (GCC)
