[Bug c++/50851] New: ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2

[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]

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)

[Bug c++/50851] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2

[paolo.carlini at oracle dot com]

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.

[Bug tree-optimization/50851] [4.7 Regression] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2

[rguenth at gcc dot gnu.org]

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

[Bug tree-optimization/50851] [4.7 Regression] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2

[vries at gcc dot gnu.org]

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.

[Bug tree-optimization/50851] [4.7 Regression] ICE: verify_ssa failed, definition in block x does not dominate use in block y with -O2

[vries at gcc dot gnu.org]

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 ***