[Bug ipa/65557] New: ICE: SIGSEGV in hash_table<>::find_slot_with_hash() with -fdevirtualize -fipa-cp -fipa-icf-functions

[Bug ipa/65557] New: ICE: SIGSEGV in hash_table<>::find_slot_with_hash() with -fdevirtualize -fipa-cp -fipa-icf-functions

[zsojka at seznam dot cz]

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

            Bug ID: 65557
           Summary: ICE: SIGSEGV in hash_table<>::find_slot_with_hash()
                    with -fdevirtualize -fipa-cp -fipa-icf-functions
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 35138
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35138&action=edit
reduced testcase

Compiler output:
$ gcc -fdevirtualize -fipa-cp -fipa-icf-functions testcase.C 
testcase.C:16:6: internal compiler error: Segmentation fault
 S1 s1;
      ^
0xe0a5cf crash_signal
        /mnt/svn/gcc-trunk/gcc/toplev.c:383
0xc123e2 hash_table<hash_map<int, ipa_node_params*,
function_summary<ipa_node_params*>::summary_hashmap_traits>::hash_entry,
xcallocator, true>::find_slot_with_hash(int const&, unsigned int,
insert_option)
        /mnt/svn/gcc-trunk/gcc/hash-table.h:1542
0xc12591 hash_map<int, ipa_node_params*,
function_summary<ipa_node_params*>::summary_hashmap_traits>::get_or_insert(int
const&, bool*)
        /mnt/svn/gcc-trunk/gcc/hash-map.h:232
0xc12591 function_summary<ipa_node_params*>::get(int)
        /mnt/svn/gcc-trunk/gcc/symbol-summary.h:230
0x18605de function_summary<ipa_node_params*>::get(cgraph_node*)
        /mnt/svn/gcc-trunk/gcc/symbol-summary.h:112
0x18605de ipa_icf::sem_function::equals_wpa(ipa_icf::sem_item*,
hash_map<symtab_node*, ipa_icf::sem_item*, default_hashmap_traits>&)
        /mnt/svn/gcc-trunk/gcc/ipa-icf.c:518
0x18581ca ipa_icf::sem_item_optimizer::subdivide_classes_by_equality(bool)
        /mnt/svn/gcc-trunk/gcc/ipa-icf.c:2518
0x185fb7a ipa_icf::sem_item_optimizer::execute()
        /mnt/svn/gcc-trunk/gcc/ipa-icf.c:2296
0x18624a6 ipa_icf_driver
        /mnt/svn/gcc-trunk/gcc/ipa-icf.c:3172
0x18624a6 ipa_icf::pass_ipa_icf::execute(function*)
        /mnt/svn/gcc-trunk/gcc/ipa-icf.c:3219
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r221607 - ICE

[Bug ipa/65557] ICE: SIGSEGV in hash_table<>::find_slot_with_hash() with -fdevirtualize -fipa-cp -fipa-icf-functions

[marxin at gcc dot gnu.org]

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

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed in 5.0.0.
>From gcc-bugs-return-482412-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 31 16:14:34 2015
Return-Path: <gcc-bugs-return-482412-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 39722 invoked by alias); 31 Mar 2015 16:14:34 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 39637 invoked by uid 48); 31 Mar 2015 16:14:30 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/65540] [5 Regression] internal error on s-fatllf.ads at -O2
Date: Tue, 31 Mar 2015 16:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-65540-4-1l38NURDNv@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65540-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65540-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg03556.txt.bz2
Content-length: 415

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

--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Eric Botcazou from comment #7)
> > Without having a Windows machine, what is the easiest way to reproduced the
> > problem? Can I reproduce the problem with cross compiler?
> 
> Yes, configure for the target indicated in the field above.

Thanks, I can reproduce the issue.
>From gcc-bugs-return-482413-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 31 16:16:28 2015
Return-Path: <gcc-bugs-return-482413-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 42833 invoked by alias); 31 Mar 2015 16:16:28 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 42740 invoked by uid 55); 31 Mar 2015 16:16:19 -0000
From: "law at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/64164] [4.9/5/6 Regression] one more stack slot used due to one less inlining level
Date: Tue, 31 Mar 2015 16:35:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: law at redhat dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: aoliva at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 6.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64164-4-tyUBmugkFD@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64164-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64164-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg03557.txt.bz2
Content-length: 2228

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd164

--- Comment #33 from Jeffrey A. Law <law at redhat dot com> ---
On 03/31/2015 05:25 AM, rguenth at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?idd164
>
> --- Comment #30 from Richard Biener <rguenth at gcc dot gnu.org> ---
> (In reply to Jeffrey A. Law from comment #28)
>> So I've been thinking about how to integrate life/conflict analysis into the
>> uncprop code and it may not be that bad, both from an implementation and
>> computation standpoint.
>>
>> Most importantly, we don't have to compute full life information.  We really
>> just need to compute the life of the equivalence.  Given the life of the
>> equivalence, if the equivalence is live in any block that contains the
>> defining statement for an SSA_NAME appearing in the target PHI, then the
>> equivalence conflicts and we don't want to unpropagate it.
>>
>> Computing the life of the equivalence is pretty easy and should be
>> reasonably quick.  This is a cost we'd have to pay regardless of whether or
>> not we integrate uncprop with out-of-ssa since we won't have life
>> information for the expression.
>>
>> Collecting the SSA_NAMEs appearing on the RHS of the PHI so that we don't
>> test for conflicts multiple times if an SSA_NAME shows up in multiple PHI
>> alternatives would help keep the cost down as well.
>>
>> Ultimately I don't think we need to integrate uncprop and out-of-ssa to
>> avoid the unprofitable transformation during uncprop.
>
> Also see "Boissinot et al., Fast Liveness Checking for SSA-Form Programs"
> (CGO 08).  They describe a way to do fast liveness queries without actually
> doing a (memory) expensive data-flow analysis but using SSA immediate-uses
> and dominance checks.  Sth we could use in SSA coalescing as well to avoid
> both the liveness bitmaps and the conflict graph.
Yea, it looks reasonably interesting and there's probably benefit in
experimenting with that approach.  However, be aware that it's memory
consumption can be problematical.   According to their summary, it's
quadratic.  Though presumably we could drop back to the tried and true
approach if we have too many BBs.

That definitely is stage1 material.

Jeff

[Bug ipa/65557] ICE: SIGSEGV in hash_table<>::find_slot_with_hash() with -fdevirtualize -fipa-cp -fipa-icf-functions

[marxin at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 3786 bytes --]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed.
>From gcc-bugs-return-482471-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Apr 01 09:10:33 2015
Return-Path: <gcc-bugs-return-482471-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 79444 invoked by alias); 1 Apr 2015 09:10:33 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 79426 invoked by uid 48); 1 Apr 2015 09:10:29 -0000
From: "terry.guo at arm dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65647] New: [5 Regression] GCC won't stop when compile for armv6-m with -Os
Date: Wed, 01 Apr 2015 09:10:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: terry.guo at arm dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-65647-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-04/txt/msg00023.txt.bz2
Content-length: 1557

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide647

            Bug ID: 65647
           Summary: [5 Regression] GCC won't stop when compile for armv6-m
                    with -Os
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: terry.guo at arm dot com

Created attachment 35199
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id5199&actioníit
gcc won't stop when compile this file

When use below command to compile the attached case for armv6-m, seems the gcc
won't stop:

arm-none-eabi-gcc -march=armv6-m -mthumb -O3 gcc-no-stop.c -S

With -da option, the file gcc-no-stop.c.234r.reload becomes larger an larger. I
have to use contrl+c to terminate the gcc. Here are some lines extracted from
the bottom of the file:

      Spill r17277(hr=0, freq28) for r17822
           Assign 0 to reload r17822 (freq28)
         Assigning to 17823 (cl=LO_REGS, orig\x17823, freq28, tfirst\x17823,
tfreq28)...
           Assign 0 to reload r17823 (freq28)
         Assigning to 17825 (cl=LO_REGS, orig\x17825, freq28, tfirst\x17825,
tfreq28)...


The gcc version is "gcc version 5.0.0 20150401 (experimental) (GCC)".

The issue happens after this commit:

commit e0d2c8640c504ecd83291c4e008cb91d17df3e0d
Author: rsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri May 30 07:35:47 2014 +0000
gcc/
ira.c (ira_get_dup_out_num): Check for output operands at