http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59336
Bug ID: 59336 Summary: definition in block 317 does not dominate use in block 316 Product: gcc Version: 4.9.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: Joost.VandeVondele at mat dot ethz.ch During an LTO build of CP2K, the following internal error happens with gcc trunk: make.out14-/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/mc_ge_moves.F: In function 'mc_ge_swap_move': make.out14-/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/mc_ge_moves.F:452:0: error: definition in block 317 does not dominate use in block 316 make.out14- SUBROUTINE mc_ge_swap_move(mc_par,force_env,bias_env,moves,& make.out14- ^ make.out14-for SSA_NAME: vect_cst_.6470_7306 in statement: make.out14-vect__5004.6467_1300 = vect_cst_.6470_7306 - vect_cst_.6473_6797; make.out14-/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/mc_ge_moves.F:452:0: internal compiler error: verify_ssa failed make.out14-0xaad07c verify_ssa(bool) make.out14- ../../gcc/gcc/tree-ssa.c:1096 make.out14-0x8448ae execute_function_todo make.out14- ../../gcc/gcc/passes.c:1844 make.out14-0x844f2b execute_todo make.out14- ../../gcc/gcc/passes.c:1877 make.out14-Please submit a full bug report, make.out14-with preprocessed source if appropriate. make.out14-Please include the complete backtrace with any bug report. make.out14-See <http://gcc.gnu.org/bugs.html> for instructions. make.out14-make[3]: *** [/tmp/cc6S2X6S.ltrans24.ltrans.o] Error 1 any suggestion on how to turn this into a testcase ?