[Bug bootstrap/64676] New: [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[Bug bootstrap/64676] New: [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

            Bug ID: 64676
           Summary: [5.0 Regression] SEGV in tree-ssa-structalias.c
                    solve_constraint
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: bootstrap
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dje at gcc dot gnu.org

$ cat conftest.c
int
main ()
{

  ;
  return 0;
}

(gdb) run -O conftest.c
Starting program: /tmp/20150119/gcc/cc1 -O conftest.c
 main
Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> <visibility> <build_ssa_passes> <chkp_passes>
<opt_local_passes>
Program received signal SIGSEGV, Segmentation fault.
0x100eb7fc in _ZL17solve_constraintsv ()
    at /nasfarm/edelsohn/src/src/gcc/tree-ssa-structalias.c:8000
(gdb) where
#0  0x100eb7fc in _ZL17solve_constraintsv ()
    at /nasfarm/edelsohn/src/src/gcc/tree-ssa-structalias.c:8000
#1  0x100f7860 in _Z19compute_may_aliasesv ()
    at /nasfarm/edelsohn/src/src/gcc/tree-ssa-structalias.c:14010
#2  0x103c31ac in _ZL21execute_function_todoP8functionPv (fn=0x5b5b0000, 
    data=0x8) at /nasfarm/edelsohn/src/src/gcc/passes.c:1927
#3  0x103c3f24 in _ZL15do_per_functionPFvP8functionPvES1_ (
    callback=@0x30299ae4: 0x103c3108 <_ZL21execute_function_todoP8functionPv>, 
    data=0x3005f550 <cfun>) at /nasfarm/edelsohn/src/src/gcc/passes.c:1647
#4  0x103c41e4 in _ZL12execute_todoj (flags=1048640)
    at /nasfarm/edelsohn/src/src/gcc/passes.c:2012
#5  0x103c7f38 in _Z16execute_one_passP8opt_pass (pass=0x30300c78)
    at /nasfarm/edelsohn/src/src/gcc/passes.c:2339
#6  0x103c840c in _ZL19execute_pass_list_1P8opt_pass.constprop.71 (
    pass=0x30300c78) at /nasfarm/edelsohn/src/src/gcc/passes.c:2378
#7  0x103c8424 in _ZL19execute_pass_list_1P8opt_pass.constprop.71 (
    pass=0x30300a98) at /nasfarm/edelsohn/src/src/gcc/passes.c:2379
#8  0x103c84d4 in _Z17execute_pass_listP8functionP8opt_pass (fn=0x70008068, 
    pass=0x30300958) at /nasfarm/edelsohn/src/src/gcc/passes.c:2389
#9  0x103c62b8 in _Z24do_per_function_toporderPFvP8functionPvES1_ (
    callback=@0x30299c94: 0x103c84a8
<_Z17execute_pass_listP8functionP8opt_pass>, data=0x30300958) at
/nasfarm/edelsohn/src/src/gcc/passes.c:1724
#10 0x103c8f50 in _Z21execute_ipa_pass_listP8opt_pass (pass=0x30300908)

[Bug bootstrap/64676] [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

David Edelsohn <dje at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |powerpc-ibm-aix*
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-01-19
               Host|                            |powerpc-ibm-aix*
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1
              Build|                            |powerpc-ibm-aix*

--- Comment #1 from David Edelsohn <dje at gcc dot gnu.org> ---
Confirmed.

[Bug bootstrap/64676] [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Which stage cc1 is it?

[Bug bootstrap/64676] [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

--- Comment #3 from David Edelsohn <dje at gcc dot gnu.org> ---
Configure libgcc in stage 2.  The first use of the stage 1 compiler.

r219827 bootstrapped successfully.

[Bug bootstrap/64676] [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

--- Comment #4 from David Edelsohn <dje at gcc dot gnu.org> ---
Sorry, first use of the stage 2 compiler that presumably was miscompiled by
stage 1 compiler.

[Bug bootstrap/64676] [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

--- Comment #5 from David Edelsohn <dje at gcc dot gnu.org> ---
This was caused by r219842

    PR rtl-optimization/64081
    * loop-iv.c (def_pred_latch_p): New function.
    (latch_dominating_def): Allow specific cases with non-single
    definitions.
    (iv_get_reaching_def): Likewise.
    (check_complex_exit_p): New function.
    (check_simple_exit): Use check_complex_exit_p to allow certain cases
    with exits not executing on any iteration.

[Bug bootstrap/64676] [5.0 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[ienkovich at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

--- Comment #6 from ienkovich at gcc dot gnu.org ---
Author: ienkovich
Date: Tue Jan 20 08:29:09 2015
New Revision: 219880

URL: https://gcc.gnu.org/viewcvs?rev=219880&root=gcc&view=rev
Log:
gcc/

    PR bootstrap/64676
    Revert:
    2015-01-19  Igor Zamyatin  <igor.zamyatin@intel.com>

    PR rtl-optimization/64081
    * loop-iv.c (def_pred_latch_p): New function.
    (latch_dominating_def): Allow specific cases with non-single
    definitions.
    (iv_get_reaching_def): Likewise.
    (check_complex_exit_p): New function.
    (check_simple_exit): Use check_complex_exit_p to allow certain cases
    with exits not executing on any iteration.

gcc/testsuite/

    PR bootstrap/64676
    Revert:
    2014-01-19  Igor Zamyatin  <igor.zamyatin@intel.com>

    PR rtl-optimization/64081
    * gcc.dg/pr64081.c: New test.


Removed:
    trunk/gcc/testsuite/gcc.dg/pr64081.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/loop-iv.c
    trunk/gcc/testsuite/ChangeLog

[Bug bootstrap/64676] [5 Regression] SEGV in tree-ssa-structalias.c solve_constraint

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64676

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
             Blocks|                            |64081
         Resolution|---                         |FIXED
            Summary|[5.0 Regression] SEGV in    |[5 Regression] SEGV in
                   |tree-ssa-structalias.c      |tree-ssa-structalias.c
                   |solve_constraint            |solve_constraint

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed by reversion.