* [Bug tree-optimization/46165] [4.3/4.4/4.5/4.6 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
@ 2010-10-25 17:48 ` hjl.tools at gmail dot com
2010-10-25 20:20 ` hjl.tools at gmail dot com
` (15 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: hjl.tools at gmail dot com @ 2010-10-25 17:48 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
H.J. Lu <hjl.tools at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2010.10.25 17:48:34
CC| |hjl.tools at gmail dot com
Summary|ICE: verify_flow_info |[4.3/4.4/4.5/4.6
|failed when casting-out |Regression] ICE:
|attribute noreturn with |verify_flow_info failed
|-fno-tree-ccp |when casting-out attribute
|-fno-tree-copy-prop |noreturn with -fno-tree-ccp
|-fno-tree-dce |-fno-tree-copy-prop
| |-fno-tree-dce
Ever Confirmed|0 |1
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4/4.5/4.6 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
2010-10-25 17:48 ` [Bug tree-optimization/46165] [4.3/4.4/4.5/4.6 Regression] " hjl.tools at gmail dot com
@ 2010-10-25 20:20 ` hjl.tools at gmail dot com
2010-10-26 14:05 ` rguenth at gcc dot gnu.org
` (14 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: hjl.tools at gmail dot com @ 2010-10-25 20:20 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
H.J. Lu <hjl.tools at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|hjl.tools at gmail dot com |amacleod at redhat dot com
--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-25 20:19:53 UTC ---
It was introduced by revision 119657:
http://gcc.gnu.org/ml/gcc-cvs/2006-12/msg00276.html
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4/4.5/4.6 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
2010-10-25 17:48 ` [Bug tree-optimization/46165] [4.3/4.4/4.5/4.6 Regression] " hjl.tools at gmail dot com
2010-10-25 20:20 ` hjl.tools at gmail dot com
@ 2010-10-26 14:05 ` rguenth at gcc dot gnu.org
2010-11-02 13:54 ` jakub at gcc dot gnu.org
` (13 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu.org @ 2010-10-26 14:05 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.3.6
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4/4.5/4.6 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (2 preceding siblings ...)
2010-10-26 14:05 ` rguenth at gcc dot gnu.org
@ 2010-11-02 13:54 ` jakub at gcc dot gnu.org
2010-11-03 10:34 ` jakub at gcc dot gnu.org
` (12 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-11-02 13:54 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
AssignedTo|unassigned at gcc dot |jakub at gcc dot gnu.org
|gnu.org |
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-02 13:54:00 UTC ---
Created attachment 22229
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22229
gcc46-pr46165.patch
Untested fix.
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4/4.5/4.6 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (3 preceding siblings ...)
2010-11-02 13:54 ` jakub at gcc dot gnu.org
@ 2010-11-03 10:34 ` jakub at gcc dot gnu.org
2010-11-03 10:35 ` [Bug tree-optimization/46165] [4.3/4.4/4.5 " jakub at gcc dot gnu.org
` (11 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-11-03 10:34 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-03 10:34:38 UTC ---
Author: jakub
Date: Wed Nov 3 10:34:34 2010
New Revision: 166236
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166236
Log:
PR tree-optimization/46165
* tree-ssa-pre.c (eliminate): Return TODO_cleanup_cfg if changing
a normal call into noreturn call.
* gcc.dg/pr46165.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr46165.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-pre.c
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4/4.5 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (4 preceding siblings ...)
2010-11-03 10:34 ` jakub at gcc dot gnu.org
@ 2010-11-03 10:35 ` jakub at gcc dot gnu.org
2010-11-11 20:35 ` jakub at gcc dot gnu.org
` (10 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-11-03 10:35 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |4.6.0
Summary|[4.3/4.4/4.5/4.6 |[4.3/4.4/4.5 Regression]
|Regression] ICE: |ICE: verify_flow_info
|verify_flow_info failed |failed when casting-out
|when casting-out attribute |attribute noreturn with
|noreturn with -fno-tree-ccp |-fno-tree-ccp
|-fno-tree-copy-prop |-fno-tree-copy-prop
|-fno-tree-dce |-fno-tree-dce
Known to fail|4.6.0 |
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-03 10:35:27 UTC ---
Fixed on the trunk so far.
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4/4.5 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (5 preceding siblings ...)
2010-11-03 10:35 ` [Bug tree-optimization/46165] [4.3/4.4/4.5 " jakub at gcc dot gnu.org
@ 2010-11-11 20:35 ` jakub at gcc dot gnu.org
2010-11-12 9:25 ` [Bug tree-optimization/46165] [4.3/4.4 " jakub at gcc dot gnu.org
` (9 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-11-11 20:35 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-11 20:35:13 UTC ---
Author: jakub
Date: Thu Nov 11 20:35:10 2010
New Revision: 166616
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166616
Log:
Backport from mainline
2010-11-03 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/46165
* tree-ssa-pre.c (eliminate): Return TODO_cleanup_cfg if changing
a normal call into noreturn call.
* gcc.dg/pr46165.c: New test.
Added:
branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr46165.c
Modified:
branches/gcc-4_5-branch/gcc/ChangeLog
branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
branches/gcc-4_5-branch/gcc/tree-ssa-pre.c
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (6 preceding siblings ...)
2010-11-11 20:35 ` jakub at gcc dot gnu.org
@ 2010-11-12 9:25 ` jakub at gcc dot gnu.org
2010-11-12 10:26 ` zsojka at seznam dot cz
` (8 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-11-12 9:25 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.3/4.4/4.5 Regression] |[4.3/4.4 Regression] ICE:
|ICE: verify_flow_info |verify_flow_info failed
|failed when casting-out |when casting-out attribute
|attribute noreturn with |noreturn with -fno-tree-ccp
|-fno-tree-ccp |-fno-tree-copy-prop
|-fno-tree-copy-prop |-fno-tree-dce
|-fno-tree-dce |
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-12 09:23:52 UTC ---
Can't reproduce this with 4.4 (and 4.4 doesn't have any gimple_call_set_fn in
tree-ssa-pre). Are you sure this wasn't just 4.5/4.6 regression?
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (7 preceding siblings ...)
2010-11-12 9:25 ` [Bug tree-optimization/46165] [4.3/4.4 " jakub at gcc dot gnu.org
@ 2010-11-12 10:26 ` zsojka at seznam dot cz
2010-11-12 13:50 ` jakub at gcc dot gnu.org
` (7 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: zsojka at seznam dot cz @ 2010-11-12 10:26 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #7 from Zdenek Sojka <zsojka at seznam dot cz> 2010-11-12 10:25:06 UTC ---
I can reproduce it with 4.4 r166509 as follows:
$ gcc -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-4_4/configure --enable-languages=c,c++,fortran
--enable-checking=yes,rtl,df
--prefix=/mnt/svn/gcc-4_4/binary-166509-fortran-checking-yes-rtl-df/
Thread model: posix
gcc version 4.4.6 20101109 (prerelease) (GCC)
$ gcc -O -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce pr46165.c
pr46165.c: In function 'g':
pr46165.c:2: error: control flow in the middle of basic block 2
pr46165.c:2: 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] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (8 preceding siblings ...)
2010-11-12 10:26 ` zsojka at seznam dot cz
@ 2010-11-12 13:50 ` jakub at gcc dot gnu.org
2010-11-12 14:45 ` zsojka at seznam dot cz
` (6 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-11-12 13:50 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-12 13:48:51 UTC ---
That is a very different issue then. I don't have yes,rtl,df checking trunk,
wonder if it would ICE with additional -fno-tree-fre -fno-tree-pre.
In both cases the call is turned into direct call only during TER/expansion.
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (9 preceding siblings ...)
2010-11-12 13:50 ` jakub at gcc dot gnu.org
@ 2010-11-12 14:45 ` zsojka at seznam dot cz
2010-11-15 21:36 ` zsojka at seznam dot cz
` (5 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: zsojka at seznam dot cz @ 2010-11-12 14:45 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #9 from Zdenek Sojka <zsojka at seznam dot cz> 2010-11-12 14:09:39 UTC ---
trunk r166509 compiles fine, even with -fno-tree-fre -fno-tree-pre:
$ gcc -O -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce -fno-tree-fre
-fno-tree-pre pr46165.c -c
with yes,rtl,df checking as well. I don't have 4.5 >=r166616 to test.
For 4.4, it seems -O -fno-tree-ccp is enough:
$ gcc -O -fno-tree-ccp pr46165.c
pr46165.c: In function 'g':
pr46165.c:2: error: control flow in the middle of basic block 2
pr46165.c:2: 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=0xf53740 "control flow in the middle of basic block %d") at
/mnt/svn/gcc-4_4/gcc/diagnostic.c:591
#1 0x00000000007c33c4 in gimple_verify_flow_info () at
/mnt/svn/gcc-4_4/gcc/tree-cfg.c:4398
#2 0x00000000004dd0d2 in verify_flow_info () at
/mnt/svn/gcc-4_4/gcc/cfghooks.c:257
#3 0x00000000007c92a8 in cleanup_tree_cfg_noloop () at
/mnt/svn/gcc-4_4/gcc/tree-cfgcleanup.c:661
#4 cleanup_tree_cfg () at /mnt/svn/gcc-4_4/gcc/tree-cfgcleanup.c:701
#5 0x0000000000800eae in execute_cleanup_cfg_post_optimizing () at
/mnt/svn/gcc-4_4/gcc/tree-optimize.c:194
#6 0x00000000006c56fd in execute_one_pass (pass=0x1392f20) at
/mnt/svn/gcc-4_4/gcc/passes.c:1277
#7 0x00000000006c5935 in execute_pass_list (pass=0x1392f20) at
/mnt/svn/gcc-4_4/gcc/passes.c:1326
#8 0x0000000000800f4c in tree_rest_of_compilation (fndecl=0x7ffff60e7d00) at
/mnt/svn/gcc-4_4/gcc/tree-optimize.c:420
#9 0x000000000098b264 in cgraph_expand_function (node=0x7ffff60e7e00) at
/mnt/svn/gcc-4_4/gcc/cgraphunit.c:1047
#10 0x000000000098cd25 in cgraph_expand_all_functions () at
/mnt/svn/gcc-4_4/gcc/cgraphunit.c:1106
#11 cgraph_optimize () at /mnt/svn/gcc-4_4/gcc/cgraphunit.c:1310
#12 0x0000000000417103 in c_write_global_declarations () at
/mnt/svn/gcc-4_4/gcc/c-decl.c:8118
#13 0x00000000007b309c in compile_file (argc=<value optimized out>, argv=<value
optimized out>)
at /mnt/svn/gcc-4_4/gcc/toplev.c:981
#14 do_compile (argc=<value optimized out>, argv=<value optimized out>) at
/mnt/svn/gcc-4_4/gcc/toplev.c:2197
#15 toplev_main (argc=<value optimized out>, argv=<value optimized out>) at
/mnt/svn/gcc-4_4/gcc/toplev.c:2229
#16 0x00007ffff6991bbd in __libc_start_main () from /lib/libc.so.6
#17 0x0000000000405299 in _start ()
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (10 preceding siblings ...)
2010-11-12 14:45 ` zsojka at seznam dot cz
@ 2010-11-15 21:36 ` zsojka at seznam dot cz
2010-11-15 22:53 ` rguenth at gcc dot gnu.org
` (4 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: zsojka at seznam dot cz @ 2010-11-15 21:36 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #10 from Zdenek Sojka <zsojka at seznam dot cz> 2010-11-15 21:29:21 UTC ---
Actually, it crashes in trunk r166763 as well, it needs -ftree-vrp:
$ gcc -O -fno-tree-ccp -fno-tree-fre -ftree-vrp pr46165.i
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/pr46165.c: In function 'g':
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/pr46165.c:7:1: error: control flow in
the middle of basic block 2
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/pr46165.c:7:1: 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=0x1140fa8 "control flow in the middle of basic block %d") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:747
#1 0x00000000008b599c in gimple_verify_flow_info () at
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:4513
#2 0x00000000005b64d4 in verify_flow_info () at
/mnt/svn/gcc-trunk/gcc/cfghooks.c:257
#3 0x0000000000a15a79 in execute_vrp () at
/mnt/svn/gcc-trunk/gcc/tree-vrp.c:7742
#4 0x00000000007bca0f in execute_one_pass (pass=0x15f7600) at
/mnt/svn/gcc-trunk/gcc/passes.c:1560
#5 0x00000000007bccd5 in execute_pass_list (pass=0x15f7600) at
/mnt/svn/gcc-trunk/gcc/passes.c:1615
#6 0x00000000007bcce7 in execute_pass_list (pass=0x15f5da0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1616
#7 0x0000000000900886 in tree_rest_of_compilation (fndecl=0x7ffff5cd2000) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:422
#8 0x0000000000ac8414 in cgraph_expand_function (node=0x7ffff5cd6000) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1492
#9 0x0000000000aca9ca in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1551
#10 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1807
#11 0x0000000000acaf2a in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1015
#12 0x00000000004d7d8c in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:9837
#13 0x00000000008a9406 in compile_file (argc=6, argv=0x7fffffffde88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:885
#14 do_compile (argc=6, argv=0x7fffffffde88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:2313
#15 toplev_main (argc=6, argv=0x7fffffffde88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:2374
#16 0x00007ffff6579bbd in __libc_start_main () from /lib/libc.so.6
#17 0x00000000004be7fd in _start ()
That's with yes,rtl,df checking - but it seems it crashes just with regular
checking as well - verify_flow_info() is guarded by #ifdef ENABLE_CHECKING.
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (11 preceding siblings ...)
2010-11-15 21:36 ` zsojka at seznam dot cz
@ 2010-11-15 22:53 ` rguenth at gcc dot gnu.org
2010-11-16 1:33 ` zsojka at seznam dot cz
` (3 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu.org @ 2010-11-15 22:53 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #11 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-15 22:47:34 UTC ---
Can you possibly open a new bug for this?
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (12 preceding siblings ...)
2010-11-15 22:53 ` rguenth at gcc dot gnu.org
@ 2010-11-16 1:33 ` zsojka at seznam dot cz
2011-06-27 10:38 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
16 siblings, 0 replies; 18+ messages in thread
From: zsojka at seznam dot cz @ 2010-11-16 1:33 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
--- Comment #12 from Zdenek Sojka <zsojka at seznam dot cz> 2010-11-16 01:19:00 UTC ---
Opened PR46493 for the 4.4 problem (comment #9) and PR46494 for the other
problem (comment #10). Sorry for the mess, the ICE looks very similiar to me (I
thought the check is just executed earlier, from different pass), and I was
trying to prevent bug duplicates.
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (13 preceding siblings ...)
2010-11-16 1:33 ` zsojka at seznam dot cz
@ 2011-06-27 10:38 ` rguenth at gcc dot gnu.org
2011-06-27 15:08 ` rguenth at gcc dot gnu.org
2012-03-13 17:13 ` [Bug tree-optimization/46165] [4.4 " jakub at gcc dot gnu.org
16 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-06-27 10:38 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (14 preceding siblings ...)
2011-06-27 10:38 ` rguenth at gcc dot gnu.org
@ 2011-06-27 15:08 ` rguenth at gcc dot gnu.org
2012-03-13 17:13 ` [Bug tree-optimization/46165] [4.4 " jakub at gcc dot gnu.org
16 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-06-27 15:08 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.3.6 |4.4.7
--- Comment #13 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-27 12:14:42 UTC ---
4.3 branch is being closed, moving to 4.4.7 target.
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/46165] [4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce
2010-10-25 16:45 [Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce zsojka at seznam dot cz
` (15 preceding siblings ...)
2011-06-27 15:08 ` rguenth at gcc dot gnu.org
@ 2012-03-13 17:13 ` jakub at gcc dot gnu.org
16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-03-13 17:13 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|4.4.7 |4.5.0
--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13 13:22:35 UTC ---
Fixed in 4.5+, 4.4 is no longer supported.
^ permalink raw reply [flat|nested] 18+ messages in thread