Attached is a test case from gcc regression test. verify_flow_info failed
when I turned on prefetching.
gcc -O3 -fprefetch-loop-arrays setjmp-1.c
setjmp-1.c: In function main:
setjmp-1.c:17:1: error: control flow in the middle of basic block 20
setjmp-1.c:17:1: error: control flow in the middle of basic block 20
setjmp-1.c:17:1: internal compiler error: verify_flow_info failed
Please submit a full bug report,
Looks like loops with longjmp should not be unrolled.
--
Summary: "control flow in the middle of basic block" with -
fprefetch-loop-arrays
Product: gcc
Version: tree-ssa
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: changpeng dot fang at amd dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44503
