https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67587
--- Comment #10 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- Created attachment 36336 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36336&action=edit testcase for x86_64 % g++ -c -march=westmere -O2 -pipe -fprofile-use -DIN_GCC -fno-exceptions -fno-rtti -fasynchronous-unwind-tables tree-chrec.ii ../../gcc/gcc/tree-chrec.c: In function ‘tree_node* chrec_fold_plus(tree, tree, tree)’: ../../gcc/gcc/tree-chrec.c:383:1: error: non-cold basic block 271 dominated by a block in the cold partition (270) ../../gcc/gcc/tree-chrec.c:383:1: internal compiler error: verify_flow_info failed 0x8d5a92 verify_flow_info() ../../gcc/gcc/cfghooks.c:262 0xbb8b99 execute_function_todo ../../gcc/gcc/passes.c:1963 0xbb9503 execute_todo ../../gcc/gcc/passes.c:2008 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.