public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/50851] New: ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2
@ 2011-10-24 12:29 cas43 at cs dot stanford.edu
2011-10-24 13:49 ` [Bug c++/50851] " paolo.carlini at oracle dot com
` (3 more replies)
0 siblings, 4 replies; 5+ messages in thread
From: cas43 at cs dot stanford.edu @ 2011-10-24 12:29 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50851
Bug #: 50851
Summary: ICE: verify_ssa failed, definition in block x does not
dominate use in block y with -O2
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: cas43@cs.stanford.edu
Created attachment 25591
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25591
Source file causing ICE
Compilation of the attached file with -O2 causes ICE.
Compiler output:
prog.cpp: In member function ‘void
ANGLE_JOINT<TV>::Constrain_Angles(VECTOR<float>&) const [with TV = int]’:
prog.cpp:7:10: error: definition in block 5 does not dominate use in block 3
for SSA_NAME: .MEM_12 in statement:
.MEM_12 = PHI <.MEM_8(D)(2), .MEM_12(3)>
PHI argument
.MEM_12
for PHI node
.MEM_12 = PHI <.MEM_8(D)(2), .MEM_12(3)>
prog.cpp:7:10: 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.
How to reproduce: /home/cas43/new-gcc/inst/bin/g++ prog.cpp -O2
Compiler version:
/home/cas43/new-gcc/inst/bin/g++ -v
Using built-in specs.
COLLECT_GCC=/home/cas43/new-gcc/inst/bin/g++
COLLECT_LTO_WRAPPER=/home/cas43/new-gcc/inst/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../current-gcc/configure --prefix=/home/cas43/new-gcc/inst
Thread model: posix
gcc version 4.7.0 20111024 (experimental) (GCC)
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/50851] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2
2011-10-24 12:29 [Bug c++/50851] New: ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2 cas43 at cs dot stanford.edu
@ 2011-10-24 13:49 ` paolo.carlini at oracle dot com
2011-10-24 13:53 ` [Bug tree-optimization/50851] [4.7 Regression] " rguenth at gcc dot gnu.org
` (2 subsequent siblings)
3 siblings, 0 replies; 5+ messages in thread
From: paolo.carlini at oracle dot com @ 2011-10-24 13:49 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50851
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu.org
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-24 13:48:32 UTC ---
And this one too, doesn't look like a C++ issue.
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/50851] [4.7 Regression] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2
2011-10-24 12:29 [Bug c++/50851] New: ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2 cas43 at cs dot stanford.edu
2011-10-24 13:49 ` [Bug c++/50851] " paolo.carlini at oracle dot com
@ 2011-10-24 13:53 ` rguenth at gcc dot gnu.org
2011-10-27 7:34 ` vries at gcc dot gnu.org
2011-10-27 9:06 ` vries at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-10-24 13:53 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50851
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|c++ |tree-optimization
Target Milestone|--- |4.7.0
Summary|ICE: verify_ssa failed, |[4.7 Regression] ICE:
|definition in block x does |verify_ssa failed,
|not dominate use in block y |definition in block x does
|with -O2 |not dominate use in block y
| |with -O2
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/50851] [4.7 Regression] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2
2011-10-24 12:29 [Bug c++/50851] New: ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2 cas43 at cs dot stanford.edu
2011-10-24 13:49 ` [Bug c++/50851] " paolo.carlini at oracle dot com
2011-10-24 13:53 ` [Bug tree-optimization/50851] [4.7 Regression] " rguenth at gcc dot gnu.org
@ 2011-10-27 7:34 ` vries at gcc dot gnu.org
2011-10-27 9:06 ` vries at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-27 7:34 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50851
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vries at gcc dot gnu.org
--- Comment #2 from vries at gcc dot gnu.org 2011-10-27 07:33:38 UTC ---
This looks like a duplicate of PR50763, I will confirm that.
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug tree-optimization/50851] [4.7 Regression] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2
2011-10-24 12:29 [Bug c++/50851] New: ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2 cas43 at cs dot stanford.edu
` (2 preceding siblings ...)
2011-10-27 7:34 ` vries at gcc dot gnu.org
@ 2011-10-27 9:06 ` vries at gcc dot gnu.org
3 siblings, 0 replies; 5+ messages in thread
From: vries at gcc dot gnu.org @ 2011-10-27 9:06 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50851
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |DUPLICATE
--- Comment #3 from vries at gcc dot gnu.org 2011-10-27 09:05:30 UTC ---
Duplicate of PR50763, problem caused by first checkin, repaired by second
checkin.
*** This bug has been marked as a duplicate of bug 50763 ***
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2011-10-27 9:06 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-10-24 12:29 [Bug c++/50851] New: ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2 cas43 at cs dot stanford.edu
2011-10-24 13:49 ` [Bug c++/50851] " paolo.carlini at oracle dot com
2011-10-24 13:53 ` [Bug tree-optimization/50851] [4.7 Regression] " rguenth at gcc dot gnu.org
2011-10-27 7:34 ` vries at gcc dot gnu.org
2011-10-27 9:06 ` vries 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).