[Bug c++/50854] New: internal compiler error: verify_ssa failed

[Bug c++/50854] New: internal compiler error: verify_ssa failed

[mario-baumann at web dot de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50854

             Bug #: 50854
           Summary: internal compiler error: verify_ssa failed
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: mario-baumann@web.de


Created attachment 25593
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25593
c++ source

Hi all,

compiling of attached c++ source failed with optimisation -O2. It works fine
with -O1 and -O0.

Mario.

> g++ -c -m32 -O2 goo.cxx
goo.cxx: In member function 'long int sExt::evalPoint(const v2d&, v3d&) const':
goo.cxx:47:6: error: definition in block 3 does not dominate use in block 2
for SSA_NAME: .MEM_15 in statement:
.MEM_15 = PHI <.MEM_15(2)>
PHI argument
.MEM_15
for PHI node
.MEM_15 = PHI <.MEM_15(2)>
goo.cxx:47:6: 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.

-------------------------------------------------------------------------------
> uname -a
Linux ahsoka.intec.dom 2.6.32-131.17.1.el6.x86_64 #1 SMP Thu Sep 29 10:24:25
EDT 2011 x86_64 x86_64 x86_64 GNU/Linux

> rpm -qa "glibc*" | grep -e 'glibc-[0-9]' | sort -u
glibc-2.12-1.25.el6_1.3.i686
glibc-2.12-1.25.el6_1.3.x86_64

> g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/app2/gcc/4.7.0-20111024-svn180364/i686/libexec/gcc/i686-unknown-linux-gnu/4.7.0/lto-wrapper
Target: i686-unknown-linux-gnu
Configured with: ./configure --prefix=/app2/gcc/4.7.0-20111024-svn180364/i686
--enable-languages=c,c++,fortran --disable-nls
--with-gmp=/app2/gcc/4.7.0-20111024-svn180364/i686/aux
--with-mpfr=/app2/gcc/4.7.0-20111024-svn180364/i686/aux
--with-mpc=/app2/gcc/4.7.0-20111024-svn180364/i686/aux
--with-ppl=/app2/gcc/4.7.0-20111024-svn180364/i686/aux
--with-cloog=/app2/gcc/4.7.0-20111024-svn180364/i686/aux --disable-multilib
--build=i686-unknown-linux-gnu
Thread model: posix
gcc version 4.7.0 20111024 (experimental) (GCC) 

> ld -v
GNU ld (GNU Binutils) 2.21.52.20110714

[Bug c++/50854] internal compiler error: verify_ssa failed

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50854

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:44:15 UTC ---
Richard, can you check if this is really a C++ issue? Thanks.

[Bug tree-optimization/50854] [4.7 Regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50854

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|rguenth at gcc dot gnu.org  |
          Component|c++                         |tree-optimization
   Target Milestone|---                         |4.7.0
            Summary|internal compiler error:    |[4.7 Regression] internal
                   |verify_ssa failed           |compiler error: verify_ssa
                   |                            |failed

[Bug tree-optimization/50854] [4.7 Regression] internal compiler error: verify_ssa failed

[vries at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50854

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:16 UTC ---
This looks like a duplicate of PR50763, I will confirm that.

[Bug tree-optimization/50854] [4.7 Regression] internal compiler error: verify_ssa failed

[vries at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50854

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:04 UTC ---
Duplicate of PR50763, problem caused by first checkin, repaired by second
checkin.

*** This bug has been marked as a duplicate of bug 50763 ***