[Bug tree-optimization/33869] New: [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[Bug tree-optimization/33869] New: [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

I see the following on IA64.  It doesn't fail on x86_64.

(sid)tbm@coconut0:~$ /usr/lib/gcc-snapshot/bin/g++ -c -O3
mercator-TerrainMod.cc
mercator-TerrainMod.cc: In member function 'AxisBox<2>
ShapeTerrainMod<Shape>::bbox() const [with Shape = RotBox<2>]':
mercator-TerrainMod.cc:59: error: missing definition
for SSA_NAME: SMT.12_15 in statement:
SMT.12_20 = PHI <SMT.12_12(D)(4), SMT.12_15(6)>
PHI argument
SMT.12_15
for PHI node
SMT.12_20 = PHI <SMT.12_12(D)(4), SMT.12_15(6)>
mercator-TerrainMod.cc:59: internal compiler error: verify_ssa failed
Please submit a full bug report,


-- 
           Summary: [4.3 Regression] ICE verify_ssa failed (missing
                    definition for SSA_NAME)
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-10-23 10:47 -------
Created an attachment (id=14398)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14398&action=view)
preprocessed source


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #2 from tbm at cyrius dot com  2007-10-23 10:47 -------
/* Testcase by Martin Michlmayr <tbm@cyrius.com> */

template < const int dim > class Point
{
  public:
    Point ()
    {
    }
    void operator= (const Point & rhs);
  private:
    float m_elem[dim];
};

template < const int dim > void Point < dim >::operator= (const Point < dim >
&rhs)
{
  if (this == &rhs)
  for (int i = 0; i < dim; ++i)
    m_elem[i] = rhs.m_elem[i];
}
template < const int dim > class AxisBox
{
  public:
    AxisBox ()
    {
    }
    AxisBox (const Point < dim > &p1, const Point < dim > &p2, bool ordered =
false)
    {
      setCorners ();
    }
    AxisBox (const AxisBox & a):m_low (a.m_low), m_high (a.m_high)
    {
    }
    void setCorners (void);
  private:
    Point < dim > m_low, m_high;
};
template < const int dim > class RotBox
{
  public:
    AxisBox < dim > boundingBox () const;
  private:
    Point < dim > m_corner0;
};
template < const int dim > AxisBox < dim > RotBox < dim >::boundingBox () const
{
  Point < dim > min = m_corner0, max = m_corner0;
  return AxisBox < dim > (min, max, true);
}
template < const int dim > void AxisBox <dim> ::setCorners (void)
{
  const Point < dim > p2;
  m_high = p2;
}
template < typename Shape > class ShapeTerrainMod
{
  virtual AxisBox < 2 > bbox () const;
  Shape m_shape;
};
template < typename Shape > AxisBox < 2 > ShapeTerrainMod < Shape >::bbox
()const
{
  return m_shape.boundingBox ();
}
template class ShapeTerrainMod < RotBox < 2 > >;


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #3 from tbm at cyrius dot com  2007-10-23 10:49 -------
This didn't ICE doesn't happen with 20070820 but happens now with 20071020.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #4 from tbm at cyrius dot com  2007-10-23 11:11 -------
Also works with 20070902.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #5 from tbm at cyrius dot com  2007-10-23 11:12 -------
... and works with 20070916.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2007-10-23 11:18 -------
Does disabling the vectorizer fix it?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #7 from tbm at cyrius dot com  2007-10-23 11:32 -------
(In reply to comment #6)
> Does disabling the vectorizer fix it?

Yes, that works, and it also fails with -O2 -ftree-vectorize.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[irar at il dot ibm dot com]

------- Comment #8 from irar at il dot ibm dot com  2007-10-29 10:22 -------
I don't have access to ia64. Could you please attach vectorizer's dump
(-fdump-tree-vect-all)?

Thanks,
Ira


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #9 from tbm at cyrius dot com  2007-10-29 10:28 -------
Created an attachment (id=14434)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14434&action=view)
vectorizer's dump


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #10 from tbm at cyrius dot com  2007-10-29 10:29 -------
(In reply to comment #8)
> I don't have access to ia64. Could you please attach vectorizer's dump
> (-fdump-tree-vect-all)?

Done


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |irar at il dot ibm dot com


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[dorit at il dot ibm dot com]

------- Comment #11 from dorit at il dot ibm dot com  2007-10-30 05:48 -------
(In reply to comment #6)

Richard, is this related to the issue you reported in 
http://gcc.gnu.org/ml/gcc-patches/2007-10/msg01127.html
(looks like the same error)?
Any idea why the fix you committed doesn't cover this case?
(I haven't looked into this PR yet, it just reminded me of that thread)


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[rguenther at suse dot de]

------- Comment #12 from rguenther at suse dot de  2007-10-30 09:27 -------
Subject: Re:  [4.3 Regression] ICE verify_ssa
 failed (missing definition for SSA_NAME)

On Tue, 30 Oct 2007, dorit at il dot ibm dot com wrote:

> ------- Comment #11 from dorit at il dot ibm dot com  2007-10-30 05:48 -------
> (In reply to comment #6)
> 
> Richard, is this related to the issue you reported in 
> http://gcc.gnu.org/ml/gcc-patches/2007-10/msg01127.html
> (looks like the same error)?
> Any idea why the fix you committed doesn't cover this case?
> (I haven't looked into this PR yet, it just reminded me of that thread)

Yes, these are likely similar problems.  The only difference I see is
that this one doesn't involve unions?

And no, I didn't commit any fix.

Richard.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #13 from tbm at cyrius dot com  2007-11-16 13:48 -------
Dorit, can you please take a look again?


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[dorit at gcc dot gnu dot org]

------- Comment #14 from dorit at gcc dot gnu dot org  2007-11-22 15:14 -------
(In reply to comment #13)
> Dorit, can you please take a look again?

I will not be able to look into this in the next couple of weeks, sorry.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[dorit at gcc dot gnu dot org]

------- Comment #15 from dorit at gcc dot gnu dot org  2007-11-22 15:17 -------
(In reply to comment #12)
...
> > Richard, is this related to the issue you reported in 
> > http://gcc.gnu.org/ml/gcc-patches/2007-10/msg01127.html
> > (looks like the same error)?
...
> Yes, these are likely similar problems.  The only difference I see is
> that this one doesn't involve unions?

Richard, any chance you could take a look? (I'm asking just cause it sounds
like you've had recent experience at looking at potentially exactly this kind
of problem...)?


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[rguenther at suse dot de]

------- Comment #16 from rguenther at suse dot de  2007-11-22 15:24 -------
Subject: Re:  [4.3 Regression] ICE verify_ssa
 failed (missing definition for SSA_NAME)

On Thu, 22 Nov 2007, dorit at gcc dot gnu dot org wrote:

> ------- Comment #15 from dorit at gcc dot gnu dot org  2007-11-22 15:17 -------
> (In reply to comment #12)
> ...
> > > Richard, is this related to the issue you reported in 
> > > http://gcc.gnu.org/ml/gcc-patches/2007-10/msg01127.html
> > > (looks like the same error)?
> ...
> > Yes, these are likely similar problems.  The only difference I see is
> > that this one doesn't involve unions?
> 
> Richard, any chance you could take a look? (I'm asking just cause it sounds
> like you've had recent experience at looking at potentially exactly this kind
> of problem...)?

Well, the only non-nice thing with this report is that it involves
IA64...  (and no, it doesn't reproduce on x86_64 or i686)

I'll try to have a look.

Richard.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[rguenth at gcc dot gnu dot org]

------- Comment #17 from rguenth at gcc dot gnu dot org  2007-11-22 15:32 -------
I cannot reproduce this with

# g++ -c -O3 t.ii -v
Using built-in specs.
Target: ia64-suse-linux
Configured with: ../configure --prefix=/usr --with-local-prefix=/usr/local
--infodir=/usr/share/info --mandir=/usr/share/man --libdir=/usr/lib
--libexecdir=/usr/lib --enable-languages=c,c++,objc,fortran,obj-c++,java,ada
--enable-checking=release --with-gxx-include-dir=/usr/include/c++/4.3.0
--enable-ssp --disable-libssp --with-bugurl=http://bugs.opensuse.org/
--with-pkgversion='SUSE Linux' --disable-libgcj --with-slibdir=/lib
--with-system-zlib --enable-__cxa_atexit --enable-libstdcxx-allocator=new
--disable-libstdcxx-pch --program-suffix=-4.3
--enable-version-specific-runtime-libs --with-system-libunwind
--build=ia64-suse-linux
Thread model: posix
gcc version 4.3.0 20071109 (experimental) [trunk revision 130038] (SUSE Linux) 
COLLECT_GCC_OPTIONS='-O3' '-v' '-c' '-o' 't.o' '-shared-libgcc'

neither with the original nor with the reduced testcase.  Martin, can you
confirm that this is fixed?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
 GCC target triplet|                            |ia64-*-*


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #18 from tbm at cyrius dot com  2007-11-22 15:58 -------
(In reply to comment #17)
> neither with the original nor with the reduced testcase.  Martin, can you
> confirm that this is fixed?

Works for me with 20071116 too.

I just checked again and the problem is there with 20071020.  Should we
ask Janis to find out what fixed this issue to see whether it's really
fixed or just latent, or simply close the bug?


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |UNCONFIRMED


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[rguenther at suse dot de]

------- Comment #19 from rguenther at suse dot de  2007-11-22 16:09 -------
Subject: Re:  [4.3 Regression] ICE verify_ssa
 failed (missing definition for SSA_NAME)

On Thu, 22 Nov 2007, tbm at cyrius dot com wrote:

> ------- Comment #18 from tbm at cyrius dot com  2007-11-22 15:58 -------
> (In reply to comment #17)
> > neither with the original nor with the reduced testcase.  Martin, can you
> > confirm that this is fixed?
> 
> Works for me with 20071116 too.
> 
> I just checked again and the problem is there with 20071020.  Should we
> ask Janis to find out what fixed this issue to see whether it's really
> fixed or just latent, or simply close the bug?

I'd simply close the bug.

Richard.


-- 


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

[Bug tree-optimization/33869] [4.3 Regression] ICE verify_ssa failed (missing definition for SSA_NAME)

[tbm at cyrius dot com]

------- Comment #20 from tbm at cyrius dot com  2007-11-22 16:12 -------
The failure is gone.


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


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