public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1
@ 2010-10-01 16:34 zsojka at seznam dot cz
2010-10-02 1:45 ` [Bug tree-optimization/45860] " hjl.tools at gmail dot com
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: zsojka at seznam dot cz @ 2010-10-01 16:34 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45860
Summary: [4.6 Regression] ICE: verify_ssa failed: virtual SSA
name for non-VOP decl at -O1
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: zsojka@seznam.cz
Created attachment 21937
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=21937
reduced testcase
Might be related to PR45732
Compiler output:
$ gcc -O pr45860.c
pr45860.c: In function 'foo':
pr45860.c:2:1: error: virtual SSA name for non-VOP decl
while verifying SSA_NAME cstore.1_7 in statement
# .MEM_13 = VDEF <.MEM_10>
cstore.1_7 = MEM[(char * {ref-all})D.2686_4];
pr45860.c:2:1: error: virtual SSA name for non-VOP decl
while verifying SSA_NAME cstore.1_8 in statement
cstore.1_8 = PHI <cstore.1_7(3), ""(2)>
pr45860.c:2:1: error: virtual SSA name for non-VOP decl
pr45860.c:2:1: error: missing definition
for SSA_NAME: cstore.1_7 in statement:
cstore.1_8 = PHI <cstore.1_7(3), ""(2)>
PHI argument
cstore.1_7
for PHI node
cstore.1_8 = PHI <cstore.1_7(3), ""(2)>
pr45860.c:2:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
Tested revisions:
r164716 - crash
r163636 - OK
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/45860] [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1
2010-10-01 16:34 [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1 zsojka at seznam dot cz
@ 2010-10-02 1:45 ` hjl.tools at gmail dot com
2010-10-03 19:52 ` rguenth at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: hjl.tools at gmail dot com @ 2010-10-02 1:45 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45860
H.J. Lu <hjl.tools at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2010.10.02 01:45:14
CC| |hubicka at gcc dot gnu.org
Ever Confirmed|0 |1
--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-02 01:45:14 UTC ---
It is caused by revision 164688:
http://gcc.gnu.org/ml/gcc-cvs/2010-09/msg00987.html
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/45860] [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1
2010-10-01 16:34 [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1 zsojka at seznam dot cz
2010-10-02 1:45 ` [Bug tree-optimization/45860] " hjl.tools at gmail dot com
@ 2010-10-03 19:52 ` rguenth at gcc dot gnu.org
2010-10-20 8:31 ` jakub at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2010-10-03 19:52 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45860
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.6.0
--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-03 19:51:59 UTC ---
The conditional store pass is confused about
*D.1952_4 = 0;
D.1953_5 = i_1(D) & 1;
if (D.1953_5 != 0)
goto <bb 3>;
else
goto <bb 4>;
<bb 3>:
MEM[(char * {ref-all})D.1952_4] = "";
because that assignment is an array-to-array assignment (not exactly
optimal result of constant-folding).
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/45860] [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1
2010-10-01 16:34 [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1 zsojka at seznam dot cz
2010-10-02 1:45 ` [Bug tree-optimization/45860] " hjl.tools at gmail dot com
2010-10-03 19:52 ` rguenth at gcc dot gnu.org
@ 2010-10-20 8:31 ` jakub at gcc dot gnu.org
2010-10-20 9:58 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2010-10-20 8:31 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45860
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
CC| |jakub at gcc dot gnu.org
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/45860] [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1
2010-10-01 16:34 [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1 zsojka at seznam dot cz
` (2 preceding siblings ...)
2010-10-20 8:31 ` jakub at gcc dot gnu.org
@ 2010-10-20 9:58 ` rguenth at gcc dot gnu.org
2010-10-20 11:10 ` rguenth at gcc dot gnu.org
2010-10-20 12:11 ` rguenth at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2010-10-20 9:58 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45860
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-20 09:57:41 UTC ---
I have a patch.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/45860] [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1
2010-10-01 16:34 [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1 zsojka at seznam dot cz
` (3 preceding siblings ...)
2010-10-20 9:58 ` rguenth at gcc dot gnu.org
@ 2010-10-20 11:10 ` rguenth at gcc dot gnu.org
2010-10-20 12:11 ` rguenth at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2010-10-20 11:10 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45860
--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-20 11:09:57 UTC ---
Author: rguenth
Date: Wed Oct 20 11:09:54 2010
New Revision: 165718
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165718
Log:
2010-10-20 Richard Guenther <rguenther@suse.de>
PR tree-optimization/45860
* tree-ssa-phiopt.c (cond_store_replacement): Do not do
conditional store replacement for non-register type stores.
* gcc.dg/torture/pr45860.c: New testcase.
Added:
trunk/gcc/testsuite/gcc.dg/torture/pr45860.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-phiopt.c
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/45860] [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1
2010-10-01 16:34 [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1 zsojka at seznam dot cz
` (4 preceding siblings ...)
2010-10-20 11:10 ` rguenth at gcc dot gnu.org
@ 2010-10-20 12:11 ` rguenth at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2010-10-20 12:11 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45860
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-20 12:11:17 UTC ---
Fixed.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2010-10-20 12:11 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-10-01 16:34 [Bug tree-optimization/45860] New: [4.6 Regression] ICE: verify_ssa failed: virtual SSA name for non-VOP decl at -O1 zsojka at seznam dot cz
2010-10-02 1:45 ` [Bug tree-optimization/45860] " hjl.tools at gmail dot com
2010-10-03 19:52 ` rguenth at gcc dot gnu.org
2010-10-20 8:31 ` jakub at gcc dot gnu.org
2010-10-20 9:58 ` rguenth at gcc dot gnu.org
2010-10-20 11:10 ` rguenth at gcc dot gnu.org
2010-10-20 12:11 ` rguenth 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).