public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/48443] New: ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()
@ 2011-04-05 0:15 zsojka at seznam dot cz
2012-12-31 12:42 ` [Bug tree-optimization/48443] " antoine.balestrat at gmail dot com
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: zsojka at seznam dot cz @ 2011-04-05 0:15 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48443
Summary: ICE: verify_flow_info failed: control flow in the
middle of basic block with -fprefetch-loop-arrays
--param l2-cache-size=0 and setjmp()
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: zsojka@seznam.cz
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Created attachment 23875
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23875
reduced testcase
Compiler output:
$ gcc -O -fprefetch-loop-arrays -fstrict-overflow -ftree-vectorize --param
l2-cache-size=0 testcase.c
testcase.c: In function 'foo':
testcase.c:3:6: error: control flow in the middle of basic block 10
testcase.c:3:6: error: control flow in the middle of basic block 10
testcase.c:3:6: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
(gdb) bt
#0 error (gmsgid=0x1178ef8 "control flow in the middle of basic block %d") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:747
#1 0x00000000008e98d3 in gimple_verify_flow_info () at
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:4464
#2 0x00000000005e6374 in verify_flow_info () at
/mnt/svn/gcc-trunk/gcc/cfghooks.c:257
#3 0x00000000009aee9a in tree_transform_and_unroll_loop (loop=0x7ffff7ed0a18,
factor=4, exit=0x7ffff59983c0, desc=Unhandled dwarf expression opcode 0xf3
)
at /mnt/svn/gcc-trunk/gcc/tree-ssa-loop-manip.c:1098
#4 0x000000000105d709 in loop_prefetch_arrays () at
/mnt/svn/gcc-trunk/gcc/tree-ssa-loop-prefetch.c:1862
#5 tree_ssa_prefetch_arrays () at
/mnt/svn/gcc-trunk/gcc/tree-ssa-loop-prefetch.c:1933
#6 0x00000000007efd46 in execute_one_pass (pass=0x164b520) at
/mnt/svn/gcc-trunk/gcc/passes.c:1555
#7 0x00000000007f0035 in execute_pass_list (pass=0x164b520) at
/mnt/svn/gcc-trunk/gcc/passes.c:1610
#8 0x00000000007f0047 in execute_pass_list (pass=0x164bac0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1611
#9 0x00000000007f0047 in execute_pass_list (pass=0x164ad40) at
/mnt/svn/gcc-trunk/gcc/passes.c:1611
#10 0x0000000000934d15 in tree_rest_of_compilation (fndecl=0x7ffff5977f00) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:422
#11 0x0000000000b01337 in cgraph_expand_function (node=0x7ffff5997000) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1580
#12 0x0000000000b03a8c in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1639
#13 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1903
#14 0x0000000000b0401a in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1100
#15 0x0000000000509094 in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:9879
#16 0x00000000008dd94d in compile_file (argc=18, argv=0x7fffffffdbf8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:591
Tested revisions:
r171948 - crash
4.6 r171597 - crash
4.5 r171597 - OK
4.4 r171597 - crash
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()
2011-04-05 0:15 [Bug tree-optimization/48443] New: ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp() zsojka at seznam dot cz
@ 2012-12-31 12:42 ` antoine.balestrat at gmail dot com
2012-12-31 13:01 ` zsojka at seznam dot cz
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: antoine.balestrat at gmail dot com @ 2012-12-31 12:42 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48443
Antoine Balestrat <antoine.balestrat at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |antoine.balestrat at gmail
| |dot com
--- Comment #1 from Antoine Balestrat <antoine.balestrat at gmail dot com> 2012-12-31 12:42:21 UTC ---
I was not able to reproduce the bug with this testcase (using GCC 4.8.0 as of
20121231), but this one looks to trigger the same ICE on current trunk.
$ cat flow.c
int g;
void f(void)
{
short a, b, i;
if(a)
{
label:
for(i = 0; i < 8; i++)
b ^= a++;
if(!b)
g = 0;
}
}
$ xgcc -O -fstrict-overflow -ftree-vectorize flow.c
flow.c: In function ‘f’:
flow.c:3:6: error: label
void f(void)
^
label in the middle of basic block 4flow.c:3:6: internal compiler error:
verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()
2011-04-05 0:15 [Bug tree-optimization/48443] New: ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp() zsojka at seznam dot cz
2012-12-31 12:42 ` [Bug tree-optimization/48443] " antoine.balestrat at gmail dot com
@ 2012-12-31 13:01 ` zsojka at seznam dot cz
2012-12-31 13:51 ` antoine.balestrat at gmail dot com
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: zsojka at seznam dot cz @ 2012-12-31 13:01 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48443
--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> 2012-12-31 13:01:37 UTC ---
(In reply to comment #1)
> I was not able to reproduce the bug with this testcase (using GCC 4.8.0 as of
> 20121231), but this one looks to trigger the same ICE on current trunk.
>
I would recommend you opening a new bug report for that ICE.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()
2011-04-05 0:15 [Bug tree-optimization/48443] New: ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp() zsojka at seznam dot cz
2012-12-31 12:42 ` [Bug tree-optimization/48443] " antoine.balestrat at gmail dot com
2012-12-31 13:01 ` zsojka at seznam dot cz
@ 2012-12-31 13:51 ` antoine.balestrat at gmail dot com
2013-04-08 7:53 ` mpolacek at gcc dot gnu.org
2014-12-09 15:30 ` mpolacek at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: antoine.balestrat at gmail dot com @ 2012-12-31 13:51 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48443
--- Comment #3 from Antoine Balestrat <antoine.balestrat at gmail dot com> 2012-12-31 13:51:19 UTC ---
(In reply to comment #2)
> (In reply to comment #1)
> > I was not able to reproduce the bug with this testcase (using GCC 4.8.0 as of
> > 20121231), but this one looks to trigger the same ICE on current trunk.
> >
>
> I would recommend you opening a new bug report for that ICE.
Done. Filed as PR55831.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()
2011-04-05 0:15 [Bug tree-optimization/48443] New: ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp() zsojka at seznam dot cz
` (2 preceding siblings ...)
2012-12-31 13:51 ` antoine.balestrat at gmail dot com
@ 2013-04-08 7:53 ` mpolacek at gcc dot gnu.org
2014-12-09 15:30 ` mpolacek at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2013-04-08 7:53 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48443
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mpolacek at gcc dot gnu.org
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-08 07:53:43 UTC ---
Still happens, but only with 4.6.4. And the branch will be closed soon, so I'm
not sure whether this one will be fixed...
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()
2011-04-05 0:15 [Bug tree-optimization/48443] New: ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp() zsojka at seznam dot cz
` (3 preceding siblings ...)
2013-04-08 7:53 ` mpolacek at gcc dot gnu.org
@ 2014-12-09 15:30 ` mpolacek at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2014-12-09 15:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48443
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |FIXED
--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed a long time ago.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2014-12-09 15:30 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-04-05 0:15 [Bug tree-optimization/48443] New: ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp() zsojka at seznam dot cz
2012-12-31 12:42 ` [Bug tree-optimization/48443] " antoine.balestrat at gmail dot com
2012-12-31 13:01 ` zsojka at seznam dot cz
2012-12-31 13:51 ` antoine.balestrat at gmail dot com
2013-04-08 7:53 ` mpolacek at gcc dot gnu.org
2014-12-09 15:30 ` mpolacek at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).