[Bug c++/33627] New: [4.3 Regression] ICE compiling abiword

[Bug c++/33627] New: [4.3 Regression] ICE compiling abiword

[rguenth at gcc dot gnu dot org]

/usr/lib/gcc/ia64-suse-linux/4.3.0/cc1plus -fpreprocessed $1 -quiet -dumpbase
pt_PT_Listener.cpp -auxbase-strip pt_PT_Listener.o -O2 -version
-fmessage-length=0 -o /dev/null
pt_PT_Listener.cpp: In member function 'bool
pt_PieceTable::_tellAndMaybeAddListener(PL_Listener*, PL_ListenerId, bool)':
pt_PT_Listener.cpp:58: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://bugs.opensuse.org/> for instructions.


-- 
           Summary: [4.3 Regression] ICE compiling abiword
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
GCC target triplet: ia64-*-*


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

[Bug c++/33627] [4.3 Regression] ICE compiling abiword

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-10-02 14:43 -------
Created an attachment (id=14285)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14285&action=view)
testcase (unreduced)


-- 


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

[Bug c++/33627] [4.3 Regression] ICE in verify_stmts compiling abiword

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-10-02 15:09 -------
Reduced testcase:

typedef unsigned int UT_uint32;
typedef UT_uint32 PT_DocPosition;
typedef UT_uint32 PT_BlockOffset;
typedef enum _PTStruxType { PTX_Block } PTStruxType;
typedef UT_uint32 PL_ListenerId;
typedef const void * PL_StruxFmtHandle;
class PX_ChangeRecord;
class pf_Frag {
  public:
   typedef enum _PFType { PFT_Object } PFType;
   inline PFType getType(void) const { }
   inline pf_Frag * getNext(void) const { }
   PT_DocPosition getPos(void) const { }
};
class pf_Fragments {
  public:
   pf_Frag * getFirst() const;
};
class pt_PieceTable {
   bool getStruxOfTypeFromPosition(PL_ListenerId listenerId, PT_DocPosition
docPos, PTStruxType pts, PL_StruxFmtHandle * psfh) const;
   bool _tellAndMaybeAddListener(PL_ListenerId listenerId, bool bAdd);
   pf_Fragments m_fragments;
};
class pf_Frag_Object : public pf_Frag
{
  public:
   virtual bool createSpecialChangeRecord(PX_ChangeRecord ** ppcr,
PT_DocPosition dpos, PT_BlockOffset blockOffset) const;
};
bool pt_PieceTable::_tellAndMaybeAddListener(PL_ListenerId listenerId, bool
bAdd)
{
  PL_StruxFmtHandle sfh = 0;
  PT_DocPosition sum = 0;
  UT_uint32 blockOffset = 0;
  for (pf_Frag * pf = m_fragments.getFirst(); (pf); pf=pf->getNext())
  {
      pf_Frag_Object * pfo = static_cast<pf_Frag_Object *> (pf);
      PX_ChangeRecord * pcr = __null;
      bool bStatus1 = false;
      if(sfh != __null)     {
       bStatus1 = pfo->createSpecialChangeRecord(&pcr,sum,blockOffset);
       if (!(bStatus1))
         return (false);
      }
      else
      {
       PT_DocPosition pos = pf->getPos();
       getStruxOfTypeFromPosition(listenerId,pos,PTX_Block,&sfh);
       bStatus1 = pfo->createSpecialChangeRecord(&pcr,pos,blockOffset);
       if (!(bStatus1))
         return (false);
      }
      if (!(bStatus1))
        return (false);
  }
}

ICEs in verify_stmts on x86_64:

/suse/rguenther/export/pt_PT_Listener.5.ii: In member function 'bool
pt_PieceTable::_tellAndMaybeAddListener(PL_ListenerId, bool)':
/suse/rguenther/export/pt_PT_Listener.5.ii:29: error: invalid conditional
operand
!bStatus1_24;

/suse/rguenther/export/pt_PT_Listener.5.ii:29: internal compiler error:
verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
 GCC target triplet|ia64-*-*                    |
   Last reconfirmed|0000-00-00 00:00:00         |2007-10-02 15:09:13
               date|                            |
            Summary|[4.3 Regression] ICE        |[4.3 Regression] ICE in
                   |compiling abiword           |verify_stmts compiling
                   |                            |abiword
   Target Milestone|---                         |4.3.0


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

[Bug c++/33627] [4.3 Regression] ICE in verify_stmts compiling abiword

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2007-10-02 15:11 -------
Mine.  Happens in ifcombine.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-10-02 15:09:13         |2007-10-02 15:11:17
               date|                            |


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

[Bug tree-optimization/33627] [4.3 Regression] ICE in verify_stmts compiling abiword

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-10-02 15:27 -------
I have a patch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c++                         |tree-optimization


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

[Bug tree-optimization/33627] [4.3 Regression] ICE in verify_stmts compiling abiword

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2007-10-04 09:37 -------
Subject: Bug 33627

Author: rguenth
Date: Thu Oct  4 09:37:04 2007
New Revision: 129004

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129004
Log:
2007-10-04  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/33627
        * tree-gimple.h (canonicalize_cond_expr_cond): Declare.
        * tree-gimple.c (canonicalize_cond_expr_cond): New function,
        split out from ...
        * tree-ssa-forwprop.c (combine_cond_expr_cond): ... here.
        * tree-ssa-ifcombine.c (ifcombine_iforif): Use it.

        * g++.dg/torture/pr33627.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr33627.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-gimple.c
    trunk/gcc/tree-gimple.h
    trunk/gcc/tree-ssa-forwprop.c
    trunk/gcc/tree-ssa-ifcombine.c


-- 


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

[Bug tree-optimization/33627] [4.3 Regression] ICE in verify_stmts compiling abiword

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2007-10-04 09:37 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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