[Bug tree-optimization/47389] New: ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[Bug tree-optimization/47389] New: ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[zsojka at seznam dot cz]

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

           Summary: ICE: in calc_dfs_tree, at dominance.c:395 with
                    -fno-combine-stack-adjustments -fno-dse
                    -fno-tree-forwprop
           Product: gcc
           Version: 4.6.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 23055
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23055
reduced testcase

Compiler output:
$ gcc -O -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop
testcase.f90
testcase.f90: In function 'master.0.f4':
testcase.f90:7:0: internal compiler error: in calc_dfs_tree, at dominance.c:395
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


(gdb) bt
#0  fancy_abort (file=0x11347c8 "/mnt/svn/gcc-trunk/gcc/dominance.c", line=395,
function=0x1134885 "calc_dfs_tree")
    at /mnt/svn/gcc-trunk/gcc/diagnostic.c:892
#1  0x0000000000697dc3 in calc_dfs_tree (di=0x7fffffffd460, reverse=0 '\000')
at /mnt/svn/gcc-trunk/gcc/dominance.c:395
#2  0x00000000006996b0 in calculate_dominance_info (dir=CDI_DOMINATORS) at
/mnt/svn/gcc-trunk/gcc/dominance.c:656
#3  0x000000000064fd3d in flow_loops_find (loops=0x7ffff5d5c0e0) at
/mnt/svn/gcc-trunk/gcc/cfgloop.c:386
#4  0x000000000080a05f in loop_optimizer_init (flags=16) at
/mnt/svn/gcc-trunk/gcc/loop-init.c:52
#5  0x00000000010460a6 in if_convert () at /mnt/svn/gcc-trunk/gcc/ifcvt.c:4241
#6  0x0000000001047af9 in rest_of_handle_if_after_reload () at
/mnt/svn/gcc-trunk/gcc/ifcvt.c:4418
#7  0x000000000084e7a6 in execute_one_pass (pass=0x16836c0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1561
#8  0x000000000084eaa5 in execute_pass_list (pass=0x16836c0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1616
#9  0x000000000084eab7 in execute_pass_list (pass=0x167e040) at
/mnt/svn/gcc-trunk/gcc/passes.c:1617
#10 0x000000000084eab7 in execute_pass_list (pass=0x167e0a0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1617
#11 0x000000000098eb86 in tree_rest_of_compilation (fndecl=0x7ffff5d26000) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:422
#12 0x0000000000b53e32 in cgraph_expand_function (node=0x7ffff5d2c2c0) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1522
#13 0x0000000000b564fa in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1581
#14 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1841
#15 0x0000000000b56a7a in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1042
#16 0x00000000008079fd in write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/langhooks.c:303
#17 0x0000000000938474 in compile_file (argc=17, argv=0x7fffffffd9e8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:591
#18 do_compile (argc=17, argv=0x7fffffffd9e8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1874
#19 toplev_main (argc=17, argv=0x7fffffffd9e8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1937
#20 0x00007ffff65f1bbd in __libc_start_main () from /lib/libc.so.6
#21 0x00000000004faced in _start ()

Tested revisions:
r169065 - crash
4.5 - doesn't know -fno-combine-stack-adjustments

[Bug tree-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[zsojka at seznam dot cz]

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

--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> 2011-01-21 00:59:37 UTC ---
Created attachment 23056
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23056
range-for testcase

Probably the same problem.

$ gcc -fno-for-scope -std=c++0x testcase.C 
testcase.C: In function 'void foo(const T&)':
testcase.C:3:16: internal compiler error: in begin_range_for_stmt, at
cp/semantics.c:965
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

(gdb) bt
#0  fancy_abort (file=0x11f4eb0 "/mnt/svn/gcc-trunk/gcc/cp/semantics.c",
line=965, 
    function=0x11f7910 "begin_range_for_stmt") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:892
#1  0x000000000062b14b in begin_range_for_stmt (scope=0x0, init=0x7ffff5d2caa0)
at /mnt/svn/gcc-trunk/gcc/cp/semantics.c:965
#2  0x00000000005ca742 in cp_parser_range_for (parser=0x7ffff5d47108,
in_statement_expr=0x0, 
    in_compound=<value optimized out>, if_p=<value optimized out>) at
/mnt/svn/gcc-trunk/gcc/cp/parser.c:8775
#3  cp_parser_for (parser=0x7ffff5d47108, in_statement_expr=0x0,
in_compound=<value optimized out>, 
    if_p=<value optimized out>) at /mnt/svn/gcc-trunk/gcc/cp/parser.c:8715
#4  cp_parser_iteration_statement (parser=0x7ffff5d47108,
in_statement_expr=0x0, in_compound=<value optimized out>, 
    if_p=<value optimized out>) at /mnt/svn/gcc-trunk/gcc/cp/parser.c:9016
#5  cp_parser_statement (parser=0x7ffff5d47108, in_statement_expr=0x0,
in_compound=<value optimized out>, 
    if_p=<value optimized out>) at /mnt/svn/gcc-trunk/gcc/cp/parser.c:8075
#6  0x00000000005cab66 in cp_parser_statement_seq_opt (parser=0x7ffff5d47108,
in_statement_expr=0x0)
    at /mnt/svn/gcc-trunk/gcc/cp/parser.c:8416
#7  0x00000000005cac9c in cp_parser_compound_statement (parser=0x7ffff5d47108,
in_statement_expr=0x0, 
    in_try=<value optimized out>) at /mnt/svn/gcc-trunk/gcc/cp/parser.c:8370
#8  0x00000000005de70c in cp_parser_function_body (parser=0x7ffff5d47108) at
/mnt/svn/gcc-trunk/gcc/cp/parser.c:16399
#9  cp_parser_ctor_initializer_opt_and_function_body (parser=0x7ffff5d47108) at
/mnt/svn/gcc-trunk/gcc/cp/parser.c:16436
#10 0x00000000005dee82 in cp_parser_function_definition_after_declarator
(parser=0x7ffff5d47108, inline_p=0 '\000')
    at /mnt/svn/gcc-trunk/gcc/cp/parser.c:19842
#11 0x00000000005e04ce in
cp_parser_function_definition_from_specifiers_and_declarator
(parser=0x7ffff5d47108, 
    decl_specifiers=0x7fffffffd790, checks=0x0, function_definition_allowed_p=1
'\001', member_p=0 '\000', 
    declares_class_or_enum=0, function_definition_p=0x7fffffffd7ff
"\001\bq\324\365\377\177", maybe_range_for_decl=0x0)
    at /mnt/svn/gcc-trunk/gcc/cp/parser.c:19771
#12 cp_parser_init_declarator (parser=0x7ffff5d47108,
decl_specifiers=0x7fffffffd790, checks=0x0, 
    function_definition_allowed_p=1 '\001', member_p=0 '\000',
declares_class_or_enum=0, 
    function_definition_p=0x7fffffffd7ff "\001\bq\324\365\377\177",
maybe_range_for_decl=0x0)
    at /mnt/svn/gcc-trunk/gcc/cp/parser.c:14538
#13 0x00000000005e4c75 in cp_parser_single_declaration (parser=0x7ffff5d47108,
checks=0x0, member_p=0 '\000', 
    explicit_specialization_p=0 '\000', friend_p=0x7fffffffd85f "") at
/mnt/svn/gcc-trunk/gcc/cp/parser.c:20096
#14 0x00000000005e4fd6 in cp_parser_template_declaration_after_export
(parser=0x7ffff5d47108, member_p=0 '\000')
    at /mnt/svn/gcc-trunk/gcc/cp/parser.c:19946
#15 0x00000000005e9a3a in cp_parser_declaration (parser=0x7ffff5d47108) at
/mnt/svn/gcc-trunk/gcc/cp/parser.c:9444
#16 cp_parser_declaration (parser=0x7ffff5d47108) at
/mnt/svn/gcc-trunk/gcc/cp/parser.c:9395
#17 0x00000000005e833a in cp_parser_declaration_seq_opt (parser=0x7ffff5d47108)
at /mnt/svn/gcc-trunk/gcc/cp/parser.c:9374
#18 0x00000000005e9e89 in cp_parser_translation_unit () at
/mnt/svn/gcc-trunk/gcc/cp/parser.c:3463
#19 c_parse_file () at /mnt/svn/gcc-trunk/gcc/cp/parser.c:25269
#20 0x00000000006be125 in c_common_parse_file () at
/mnt/svn/gcc-trunk/gcc/c-family/c-opts.c:1071
#21 0x0000000000a213e6 in compile_file (argc=15, argv=0x7fffffffdab8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:579
#22 do_compile (argc=15, argv=0x7fffffffdab8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1874
#23 toplev_main (argc=15, argv=0x7fffffffdab8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1937
#24 0x00007ffff65f1bbd in __libc_start_main () from /lib/libc.so.6
#25 0x00000000004fa9d1 in _start ()

[Bug tree-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[zsojka at seznam dot cz]

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

Zdenek Sojka <zsojka at seznam dot cz> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #23056|0                           |1
        is obsolete|                            |

--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> 2011-01-21 01:01:27 UTC ---
Comment on attachment 23056
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23056
range-for testcase

I am sorry, wrong testcase, it belongs to PR47388

[Bug rtl-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.01.21 11:09:02
          Component|tree-optimization           |rtl-optimization
     Ever Confirmed|0                           |1

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-01-21 11:09:02 UTC ---
Confirmed.

[Bug rtl-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[zsojka at seznam dot cz]

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

--- Comment #4 from Zdenek Sojka <zsojka at seznam dot cz> 2011-01-24 13:21:50 UTC ---
Created attachment 23096
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23096
short C testcase

$ gcc -O -fno-combine-stack-adjustments -fno-dse -fno-guess-branch-probability
-foptimize-sibling-calls testcase.c
testcase.c: In function 'foo':
testcase.c:15:1: internal compiler error: in calc_dfs_tree, at dominance.c:395
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


Backtrace is similiar to the one in comment #0:
(gdb) bt
#0  fancy_abort (file=0x10d3be8 "/mnt/svn/gcc-trunk/gcc/dominance.c", line=395,
function=0x10d3ca5 "calc_dfs_tree")
    at /mnt/svn/gcc-trunk/gcc/diagnostic.c:892
#1  0x00000000006350d3 in calc_dfs_tree (di=0x7fffffffd4a0, reverse=0 '\000')
at /mnt/svn/gcc-trunk/gcc/dominance.c:395
#2  0x00000000006369e0 in calculate_dominance_info (dir=CDI_DOMINATORS) at
/mnt/svn/gcc-trunk/gcc/dominance.c:656
#3  0x00000000005eccad in flow_loops_find (loops=0x7ffff5d3bc60) at
/mnt/svn/gcc-trunk/gcc/cfgloop.c:386
#4  0x00000000007aa7ef in loop_optimizer_init (flags=16) at
/mnt/svn/gcc-trunk/gcc/loop-init.c:52
#5  0x0000000000fe7546 in if_convert () at /mnt/svn/gcc-trunk/gcc/ifcvt.c:4241
#6  0x0000000000fe8fe9 in rest_of_handle_if_after_reload () at
/mnt/svn/gcc-trunk/gcc/ifcvt.c:4418
#7  0x00000000007f1ba6 in execute_one_pass (pass=0x1610400) at
/mnt/svn/gcc-trunk/gcc/passes.c:1562
#8  0x00000000007f1ea5 in execute_pass_list (pass=0x1610400) at
/mnt/svn/gcc-trunk/gcc/passes.c:1617
#9  0x00000000007f1eb7 in execute_pass_list (pass=0x160ae40) at
/mnt/svn/gcc-trunk/gcc/passes.c:1618
#10 0x00000000007f1eb7 in execute_pass_list (pass=0x160aea0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1618
#11 0x00000000009341a6 in tree_rest_of_compilation (fndecl=0x7ffff5d4a000) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:422
#12 0x0000000000afa9a2 in cgraph_expand_function (node=0x7ffff5d4d000) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1522
#13 0x0000000000afd06a in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1581
#14 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1841
#15 0x0000000000afd5ea in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1042
#16 0x000000000050585c in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:9843
#17 0x00000000008dd544 in compile_file (argc=17, argv=0x7fffffffda18) at
/mnt/svn/gcc-trunk/gcc/toplev.c:591
#18 do_compile (argc=17, argv=0x7fffffffda18) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1874
#19 toplev_main (argc=17, argv=0x7fffffffda18) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1937
#20 0x00007ffff65f1bbd in __libc_start_main () from /lib/libc.so.6
#21 0x00000000004ec455 in _start ()

[Bug rtl-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[steven at gcc dot gnu.org]

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

--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2012-10-15 08:01:33 UTC ---
I cannot reproduce this with trunk r192426, neither with the test case from
comment #0 nor with the test from comment #4.

[Bug rtl-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[mikpe at it dot uu.se]

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

Mikael Pettersson <mikpe at it dot uu.se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikpe at it dot uu.se

--- Comment #6 from Mikael Pettersson <mikpe at it dot uu.se> 2012-10-20 17:08:16 UTC ---
The ICE stopped on trunk with r188360, rth's "Fix c++/53602, part 2":
http://gcc.gnu.org/ml/gcc-patches/2012-06/msg00537.html
http://gcc.gnu.org/viewcvs?view=revision&revision=188360

This patch doesn't appear to be an actual bug fix, so I suspect the underlying
issue is still latent.

[Bug rtl-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[zsojka at seznam dot cz]

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

Zdenek Sojka <zsojka at seznam dot cz> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.8.0
      Known to fail|                            |4.6.4, 4.7.3

--- Comment #7 from Zdenek Sojka <zsojka at seznam dot cz> 2012-10-21 10:14:23 UTC ---
I have done several tests and it seems -fno-combine-stack-adjustments doesn't
cause any ICEs as it used to. However, 4.7.3 still crashes, even though the fix
for PR53602 has been backported to 4.7.1. Both testcases behave the same.

Tested revisions:
r192641 - OK
4.7 r191640 - crash
4.6 r191640 - crash

[Bug rtl-optimization/47389] ICE: in calc_dfs_tree, at dominance.c:395 with -fno-combine-stack-adjustments -fno-dse -fno-tree-forwprop

[zsojka at seznam dot cz]

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

--- Comment #8 from Zdenek Sojka <zsojka at seznam dot cz> 2012-10-21 10:16:41 UTC ---
(In reply to comment #7)
> I have done several tests and it seems -fno-combine-stack-adjustments doesn't
> cause any ICEs as it used to. However, 4.7.3 still crashes, even though the fix
> for PR53602 has been backported to 4.7.1. Both testcases behave the same.

Oh, only part of PR53602 has been backported; r188360 (
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53602#c13 ) hasn't.