public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
@ 2014-09-04 13:37 burnus at gcc dot gnu.org
2014-09-04 14:20 ` [Bug lto/63166] " rguenth at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: burnus at gcc dot gnu.org @ 2014-09-04 13:37 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 3485 bytes --]
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63166
Bug ID: 63166
Summary: [5 Regression] ICE (LTO):
ipa_intraprocedural_devirtualization, at
ipa-prop.c:2611
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: lto
Assignee: unassigned at gcc dot gnu.org
Reporter: burnus at gcc dot gnu.org
CC: hubicka at gcc dot gnu.org
Created attachment 33447
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33447&action=edit
Test file "one2.ii"
For the big program, it is surely a regression and the code is (should be)
valid. I am less sure about the reduced test case.
Reproduce:
$ g++ -flto -w -O2 -c one2.ii two.ii
$ .../libexec/gcc/x86_64-unknown-linux-gnu/5.0.0/lto1 -quiet -o /dev/null
one2.o two.o -O2
two.ii: In function âvalidateâ:
two.ii:85:1: internal compiler error: in ipa_intraprocedural_devirtualization,
at ipa-prop.c:2611
validate ()
^
0x82ba7d ipa_intraprocedural_devirtualization(gimple_statement_base*)
../../gcc/ipa-prop.c:2611
0xb0b28b eliminate_dom_walker::before_dom_children(basic_block_def*)
../../gcc/tree-ssa-pre.c:4323
0xecdc47 dom_walker::walk(basic_block_def*)
../../gcc/domwalk.c:177
>From gcc-bugs-return-461213-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Sep 04 13:38:14 2014
Return-Path: <gcc-bugs-return-461213-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 13673 invoked by alias); 4 Sep 2014 13:38:14 -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 13640 invoked by uid 48); 4 Sep 2014 13:38:10 -0000
From: "burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug lto/63166] [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
Date: Thu, 04 Sep 2014 13:38:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: lto
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: burnus at gcc dot gnu.org
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: attachments.created
Message-ID: <bug-63166-4-jQzQNGgkmt@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63166-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63166-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: 2014-09/txt/msg01047.txt.bz2
Content-length: 234
https://gcc.gnu.org/bugzilla/show_bug.cgi?idc166
--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Created attachment 33448
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id3448&actioníit
Test file "two.ii"
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug lto/63166] [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
2014-09-04 13:37 [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611 burnus at gcc dot gnu.org
@ 2014-09-04 14:20 ` rguenth at gcc dot gnu.org
2014-09-08 0:37 ` hubicka at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-09-04 14:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63166
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |5.0
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug lto/63166] [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
2014-09-04 13:37 [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611 burnus at gcc dot gnu.org
2014-09-04 14:20 ` [Bug lto/63166] " rguenth at gcc dot gnu.org
@ 2014-09-08 0:37 ` hubicka at gcc dot gnu.org
2014-09-09 1:38 ` hubicka at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: hubicka at gcc dot gnu.org @ 2014-09-08 0:37 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63166
Jan Hubicka <hubicka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2014-09-08
Assignee|unassigned at gcc dot gnu.org |hubicka at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #2 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Mine.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug lto/63166] [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
2014-09-04 13:37 [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611 burnus at gcc dot gnu.org
2014-09-04 14:20 ` [Bug lto/63166] " rguenth at gcc dot gnu.org
2014-09-08 0:37 ` hubicka at gcc dot gnu.org
@ 2014-09-09 1:38 ` hubicka at gcc dot gnu.org
2014-09-09 1:44 ` hubicka at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: hubicka at gcc dot gnu.org @ 2014-09-09 1:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63166
--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Here I get:
Determining dynamic type for call: OBJ_TYPE_REF(_76;(struct
Foobar_Out)&Foobar_LOG.D.2901->0) (&Foobar_LOG.D.2901, " ", 1);
Starting walk at: _69 = MEM[(struct Foobar_Out
*)&Foobar_LOG]._vptr.Foobar_Out;
instance pointer: &Foobar_LOG.D.2901 Outer instance pointer: Foobar_LOG
offset: 0 (bits) vtbl reference: MEM[(struct Foobar_Out
*)&Foobar_LOG]._vptr.Foobar_Out
Function call may change dynamic type:_35 = getName (_50(D), _33);
Function call may change dynamic type:_33 = operator* (&caller_it);
Function call may change dynamic type:_31 = atEnd (&caller_it);
Function call may change dynamic type:getCallerIterator (_26);
Function call may change dynamic type:_26 = OBJ_TYPE_REF(_24;(const struct
ECell)_44->0) (_44);
Function call may change dynamic type:D.2965 = OBJ_TYPE_REF(_21;(struct
ECellList)_19->1) (_19, &D.2966);
Function call may change dynamic type:_19 = getCellList (_49(D));
Function call may change dynamic type:p_cl_it_14 = OBJ_TYPE_REF(_12;(const
struct ECellList)_9->0) (_9);
Function call may change dynamic type:_9 = getCellList (_43(D));
Function call may change dynamic type:operator delete (p_cl_it_14);
Checking vtbl store: MEM[(struct HashMapIterator
*)p_cl_it_14]._vptr.HashMapIterator = &MEM[(void
*)&_ZTV15HashMapIteratorI6EIdentP5ECell15DBHashFunctionsE + 16B];
base:MEM[(struct HashMapIterator *)p_cl_it_14] does not match
instance:Foobar_LOG
Unanalyzed store may change type.
Function call may change dynamic type:OBJ_TYPE_REF(_16;(struct
CellListIterator)p_cl_it_14->1) (p_cl_it_14);
Function call may change dynamic type:_31 = atEnd (&caller_it);
Function call may change dynamic type:OBJ_TYPE_REF(_76;(struct
Foobar_Out)&Foobar_LOG.D.2901->0) (&Foobar_LOG.D.2901, " ", 1);
Function call may change dynamic type:_35 = getName (_50(D), _33);
Function call may change dynamic type:_33 = operator* (&caller_it);
Targets of polymorphic call of type 0:struct Foobar_Out token 0
Contained in type:struct Foobar_Log at offset 0
This is a complete list. (base types included)
Foobar_Log::put_to_buf/109 (no definition)
Targets that are not likely:
Foobar_Out::put_to_buf/108 (no definition)
I seem to agree that the memory store may potentially be vtable store for the
object in question. I need to check how the old code gets around it...
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug lto/63166] [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
2014-09-04 13:37 [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611 burnus at gcc dot gnu.org
` (2 preceding siblings ...)
2014-09-09 1:38 ` hubicka at gcc dot gnu.org
@ 2014-09-09 1:44 ` hubicka at gcc dot gnu.org
2014-09-10 6:34 ` hubicka at gcc dot gnu.org
2014-09-19 21:42 ` hubicka at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: hubicka at gcc dot gnu.org @ 2014-09-09 1:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63166
--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Aha, is_global_var test going wrong way. I am testing:
Index: ipa-prop.c
===================================================================
--- ipa-prop.c (revision 215023)
+++ ipa-prop.c (working copy)
@@ -1537,8 +1537,8 @@ compute_known_type_jump_func (tree op, s
call, current_function_decl)
/* Even if the var seems to be in construction by inline call stack,
we may work out the actual type by walking memory writes. */
- && (!is_global_var (base)
- && detect_type_change (op, base, expected_type, call, jfunc,
offset)))
+ && (is_global_var (base)
+ || detect_type_change (op, base, expected_type, call, jfunc,
offset)))
return;
ipa_set_jf_known_type (jfunc, offset, TREE_TYPE (base),
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug lto/63166] [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
2014-09-04 13:37 [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611 burnus at gcc dot gnu.org
` (3 preceding siblings ...)
2014-09-09 1:44 ` hubicka at gcc dot gnu.org
@ 2014-09-10 6:34 ` hubicka at gcc dot gnu.org
2014-09-19 21:42 ` hubicka at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: hubicka at gcc dot gnu.org @ 2014-09-10 6:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63166
--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Author: hubicka
Date: Wed Sep 10 06:33:36 2014
New Revision: 215105
URL: https://gcc.gnu.org/viewcvs?rev=215105&root=gcc&view=rev
Log:
PR ipa/63166
* ipa-prop.c (compute_known_type_jump_func): Fix conditional.
* g++.dg/lto/pr63166_0.ii: New testcase.
* g++.dg/lto/pr63166_1.ii: New testcase.
Added:
trunk/gcc/testsuite/g++.dg/lto/pr63166_0.ii
trunk/gcc/testsuite/g++.dg/lto/pr63166_1.ii
Modified:
trunk/gcc/ChangeLog
trunk/gcc/ipa-prop.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug lto/63166] [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611
2014-09-04 13:37 [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611 burnus at gcc dot gnu.org
` (4 preceding siblings ...)
2014-09-10 6:34 ` hubicka at gcc dot gnu.org
@ 2014-09-19 21:42 ` hubicka at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: hubicka at gcc dot gnu.org @ 2014-09-19 21:42 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63166
Jan Hubicka <hubicka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #6 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2014-09-19 21:42 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-09-04 13:37 [Bug lto/63166] New: [5 Regression] ICE (LTO): ipa_intraprocedural_devirtualization, at ipa-prop.c:2611 burnus at gcc dot gnu.org
2014-09-04 14:20 ` [Bug lto/63166] " rguenth at gcc dot gnu.org
2014-09-08 0:37 ` hubicka at gcc dot gnu.org
2014-09-09 1:38 ` hubicka at gcc dot gnu.org
2014-09-09 1:44 ` hubicka at gcc dot gnu.org
2014-09-10 6:34 ` hubicka at gcc dot gnu.org
2014-09-19 21:42 ` hubicka at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).