[Bug rtl-optimization/48182] New: ICE: SIGSEGV in try_crossjump_to_edge (cfgcleanup.c:1703) with --param min-crossjump-insns=0 on basic code

[Bug rtl-optimization/48182] New: ICE: SIGSEGV in try_crossjump_to_edge (cfgcleanup.c:1703) with --param min-crossjump-insns=0 on basic code

[zsojka at seznam dot cz]

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

           Summary: ICE: SIGSEGV in try_crossjump_to_edge
                    (cfgcleanup.c:1703) with --param min-crossjump-insns=0
                    on basic code
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23706
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23706
reduced testcase

Compiler output:
$ gcc -fcrossjumping --param min-crossjump-insns=0 testcase.c
-fcombine-stack-adjustments
==1021== Invalid read of size 2
==1021==    at 0xF68F3C: try_crossjump_to_edge (cfgcleanup.c:1703)
==1021==    by 0xF6AE27: try_crossjump_bb (cfgcleanup.c:1875)
==1021==    by 0xF6BDBA: cleanup_cfg (cfgcleanup.c:2475)
==1021==    by 0xFAC2F0: rest_of_handle_stack_adjustments
(combine-stack-adj.c:554)
==1021==    by 0x7F9C45: execute_one_pass (passes.c:1556)
==1021==    by 0x7F9F34: execute_pass_list (passes.c:1611)
==1021==    by 0x7F9F46: execute_pass_list (passes.c:1612)
==1021==    by 0x7F9F46: execute_pass_list (passes.c:1612)
==1021==    by 0x93E3F5: tree_rest_of_compilation (tree-optimize.c:422)
==1021==    by 0xB0E3E1: cgraph_expand_function (cgraphunit.c:1576)
==1021==    by 0xB10E2C: cgraph_optimize (cgraphunit.c:1733)
==1021==    by 0xB110B9: cgraph_finalize_compilation_unit (cgraphunit.c:1096)
==1021==  Address 0x0 is not stack'd, malloc'd or (recently) free'd
==1021== 
testcase.c: In function 'foo':
testcase.c:7:1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Originally, it crashed with "-O2 --param min-crossjump-insns=0", so this isn't
a case of running random passes at -O0. 

Tested revisions:
171088 - crash
4.0.4 - 4.6 - crash
3.4.6 - doesn't know min-crossjump-insns

[Bug rtl-optimization/48182] ICE: SIGSEGV in try_crossjump_to_edge (cfgcleanup.c:1703) with --param min-crossjump-insns=0 on basic code

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-12-15
     Ever Confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-12-15 02:15:57 UTC ---
Confirmed.

[Bug rtl-optimization/48182] ICE: SIGSEGV in try_crossjump_to_edge (cfgcleanup.c:1703) with --param min-crossjump-insns=0 on basic code

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |mpolacek at gcc dot gnu.org
      Known to work|                            |4.6.4, 4.7.2
            Version|4.7.0                       |4.8.0
         AssignedTo|unassigned at gcc dot       |mpolacek at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.8.1
      Known to fail|4.0.4, 4.1.2, 4.2.4, 4.3.5, |4.8.0, 4.9.0
                   |4.4.5, 4.5.2, 4.6.0, 4.7.0  |

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-05 08:40:08 UTC ---
Still happens with 4.8/trunk, will look into it.

[Bug rtl-optimization/48182] ICE: SIGSEGV in try_crossjump_to_edge (cfgcleanup.c:1703) with --param min-crossjump-insns=0 on basic code

[mpolacek at gcc dot gnu.org]

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-08 07:46:04 UTC ---
Author: mpolacek
Date: Mon Apr  8 07:44:33 2013
New Revision: 197564

URL: http://gcc.gnu.org/viewcvs?rev=197564&root=gcc&view=rev
Log:
    PR rtl-optimization/48182
    * params.def (PARAM_MIN_CROSSJUMP_INSNS): Increase the minimum
    value to 1.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/params.def

[Bug rtl-optimization/48182] ICE: SIGSEGV in try_crossjump_to_edge (cfgcleanup.c:1703) with --param min-crossjump-insns=0 on basic code

[mpolacek at gcc dot gnu.org]

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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-08 07:48:25 UTC ---
Author: mpolacek
Date: Mon Apr  8 07:47:21 2013
New Revision: 197565

URL: http://gcc.gnu.org/viewcvs?rev=197565&root=gcc&view=rev
Log:
    PR rtl-optimization/48182
    * params.def (PARAM_MIN_CROSSJUMP_INSNS): Increase the minimum
    value to 1.


Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/params.def

[Bug rtl-optimization/48182] ICE: SIGSEGV in try_crossjump_to_edge (cfgcleanup.c:1703) with --param min-crossjump-insns=0 on basic code

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-08 07:48:39 UTC ---
Fixed.