[Bug middle-end/57393] [4.9 Regression] error: definition in block 4 follows the use / internal compiler error: verify_ssa failed

["regehr at cs dot utah.edu" <gcc-bugzilla at gcc dot gnu dot org>]

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)