[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

[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]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165

           Summary: ICE: verify_flow_info failed when casting-out
                    attribute noreturn with -fno-tree-ccp
                    -fno-tree-copy-prop -fno-tree-dce
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 22146
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22146
reduced testcase (from gcc.c-torture/compile/20050202-1.c)

Compiler output:
$ gcc -O -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce pr46165.c 
pr46165.c: In function 'g':
pr46165.c:2:6: error: control flow in the middle of basic block 2
pr46165.c:2: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.

Tested revisions:
r165915 - crash
4.5 r165781 - crash
4.4 r165754 - crash
4.4 r149995 - crash

[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

[hjl.tools at gmail dot com]

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

[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

[hjl.tools at gmail dot com]

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

[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

[rguenth at gcc dot gnu.org]

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

[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

[jakub at gcc dot gnu.org]

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.

[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

[jakub at gcc dot gnu.org]

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

[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

[jakub at gcc dot gnu.org]

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.

[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

[jakub at gcc dot gnu.org]

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

[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

[jakub at gcc dot gnu.org]

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?

[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

[zsojka at seznam dot cz]

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.

[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

[jakub at gcc dot gnu.org]

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.

[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

[zsojka at seznam dot cz]

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 ()

[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

[zsojka at seznam dot cz]

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.

[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

[rguenth at gcc dot gnu.org]

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?

[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

[zsojka at seznam dot cz]

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.

[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

[rguenth at gcc dot gnu.org]

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

[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

[rguenth at gcc dot gnu.org]

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.

[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

[jakub at gcc dot gnu.org]

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.