[Bug tree-optimization/31037] New: [4.3 Regression] ICE: verify_ssa failed

[Bug tree-optimization/31037] New: [4.3 Regression] ICE: verify_ssa failed

[tbm at cyrius dot com]

I get the following ICE compiling Thunderbird with GCC 4.3.  pinskia says it's
related to PR31036 but that it's worth filing a separate bug.

(sid)2723:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/g++ -c -O1 -fno-exceptions
-fcheck-new icedove-xpccomponents.ii
xpccomponents.cpp: In member function 'nsresult
nsXPCComponents_utils_Sandbox::CallOrConstruct(nsIXPConnectWrappedNative*,
JSContext*, JSObject*, PRUint32, jsval*, jsval*, PRBool*)':
xpccomponents.cpp:2407: error: definition in block 23 does not dominate use in
block 32
for SSA_NAME: NMT.14386_417 in statement:
NMT.14386_131 = PHI <NMT.14386_417(23), NMT.14386_283(D)(17),
NMT.14386_283(D)(18), NMT.14386_417(32)>
PHI argument
NMT.14386_417
for PHI node
NMT.14386_131 = PHI <NMT.14386_417(23), NMT.14386_283(D)(17),
NMT.14386_283(D)(18), NMT.14386_417(32)>
xpccomponents.cpp:2407: internal compiler error: verify_ssa failed
Please submit a full bug report,


-- 
           Summary: [4.3 Regression] ICE: verify_ssa failed
           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=31037

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-03-04 19:53 -------
Created an attachment (id=13140)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13140&action=view)
testcase

Here's the testcase based on Thunderbird.  You need -O1 -fno-exceptions


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[tbm at cyrius dot com]

------- Comment #2 from tbm at cyrius dot com  2007-03-04 20:13 -------
Created an attachment (id=13142)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13142&action=view)
testcase

Slightly more reduced, although I'm sure pinskia can still trim it down. ;)


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #13140|0                           |1
        is obsolete|                            |


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-03-04 20:56 -------
Reduced as far as I can get it:
struct   nsGetServiceByContractID {
        nsGetServiceByContractID (const char *aContractID) :mContractID
(aContractID)   {   }
        const char *mContractID;
};
struct nsCOMPtr_base
{
        ~ nsCOMPtr_base ();
};
struct nsCOMPtr
{
        ~ nsCOMPtr ();
        void    assign_from_gs_contractid (const nsGetServiceByContractID);
        nsCOMPtr () { }
        nsCOMPtr (const nsGetServiceByContractID gs)
        {
                assign_from_gs_contractid (gs);
        }
        int  f();
};
const char kScriptSecurityManagerContractID[] = "f";
int CallOrConstruct ( int wrapper, char * argv )
{
        nsCOMPtr  sop;
        int prinOrSop = 0;
        nsCOMPtr secman = nsGetServiceByContractID
(kScriptSecurityManagerContractID);
        if (argv[0])
        {
                nsCOMPtr_base xpc ;
                if (wrapper)
                        prinOrSop = sop.f();
        }
        if (!prinOrSop)
                return 0;
        return 222;
}




--------------------------
If I change kScriptSecurityManagerContractID, not to be const, then the
tetstcase works which means even more PR 31036 is very related as that one has
the same issue with const decls too.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |31036
              nThis|                            |
           Severity|normal                      |blocker
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-04 20:56:47
               date|                            |
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[tbm at cyrius dot com]

------- Comment #4 from tbm at cyrius dot com  2007-03-04 22:27 -------
Created an attachment (id=13143)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13143&action=view)
testcase

Here's another testcase.  This one only needs -O

(sid)3163:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/g++ -c -O1
sam2p-sam2p_main.cc
sam2p-sam2p_main.cc: In function 'void run_sam2p_engine(Files::FILEW&,
Files::FILEW&, const char* const*, bool)':
sam2p-sam2p_main.cc:156: error: definition in block 7 does not dominate use in
block 21
for SSA_NAME: NMT.57_171 in statement:
NMT.57_314 = PHI <NMT.57_171(7), NMT.57_259(19), NMT.57_171(21)>
PHI argument
NMT.57_171
for PHI node
NMT.57_314 = PHI <NMT.57_171(7), NMT.57_259(19), NMT.57_171(21)>
sam2p-sam2p_main.cc:156: internal compiler error: verify_ssa failed


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-03-04 23:13 -------
Here is a reduced testcase for that last one:
struct GenBuffer
{
  virtual int getLength () const = 0;
};
struct SimBuffer
{
  struct B : virtual public GenBuffer
  {
      char *beg;
      virtual int getLength () const ;
      virtual ~ B () {
        delete[]beg;
    }
    B & term0 ();
  };
};
void cexit (int exitCode);
void f(const char*);
void run_sam2p_engine (char const *const *argv1, bool helpp)
{
  if (!helpp && argv1[0] != 0 && argv1[1] == 0 ) { }
  else if (helpp)
    {
    help:
      f( " test.gif EPS: test.eps\n" ) ;
      if (helpp)
        cexit (0);
    }
  else {
      SimBuffer::B jobss;
        goto help;
    }
  SimBuffer::B ().term0 ();
}


------------
I think this is the same issue except this time the constant decl is a the
vtable reference.


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[vladimir dot sysoev at gmail dot com]

------- Comment #6 from vladimir dot sysoev at gmail dot com  2007-03-06 09:17 -------
This issue causes cpu2006/447.dealII ICE too.


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[dnovillo at gcc dot gnu dot org]

------- Comment #7 from dnovillo at gcc dot gnu dot org  2007-03-06 12:55 -------

Might as well take this one too.


-- 

dnovillo at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dnovillo at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-03-04 20:56:47         |2007-03-06 12:55:29
               date|                            |


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[reichelt at gcc dot gnu dot org]

------- Comment #8 from reichelt at gcc dot gnu dot org  2007-04-08 23:09 -------
Here's a reduced version of comment #5 (crashes with -O):

======================================
struct A
{
  char *c;
  virtual ~A() { delete[] c; }
};

void foo();

void bar(bool* p, bool b)
{
  if (b && p[0] && p[1])
    ;
  else if (b)
    {
    L:
      foo();
      if (b)
        foo();
      foo();
    }
  else
    {
      A a;
      goto L;
    }
}
======================================


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[reichelt at gcc dot gnu dot org]

------- Comment #9 from reichelt at gcc dot gnu dot org  2007-05-27 10:40 -------
The testcases in comments #4, #5, and #8 don't crash anymore on mainline.
However, the testcase from comment #3 still crashes.


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[reichelt at gcc dot gnu dot org]

------- Comment #10 from reichelt at gcc dot gnu dot org  2007-05-27 11:03 -------
A slightly reduced version of the testcase in comment #3
(crashes with "-O -fno-exceptions"):

=====================================
struct A
{
    A (const char *q) : p(q) {}
    const char *p;
};

struct B
{
    void foo(const A);
    B (const A a) { foo(a); }
    ~B();
};

const char str[] = "";

void bar();

int baz(int i)
{
    B b(str);

    if (i)
    {
        if (i == 1)
            ++i;
        bar();
    }

    if (i != 3)
        return 0;
    return 1;
}
=====================================


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[tbm at cyrius dot com]

------- Comment #11 from tbm at cyrius dot com  2007-06-05 17:43 -------
Created an attachment (id=13658)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13658&action=view)
testcase

Here's another testcase.  This one needs -O3


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[jakub at gcc dot gnu dot org]

------- Comment #12 from jakub at gcc dot gnu dot org  2007-11-02 08:47 -------
Can't reproduce this with current trunk on x86_64-linux.
With all the gathered unreduced and reduced C++ testcases:
for k in "-m64 -m32"; do for j in "-O1" "-O1 -fno-exceptions" "-O1
-fno-exceptions -fcheck-new" "-O1 -fexceptions" -O3 -O0; do for i in
/tmp/pr31037-[1234567].C; do ./cc1plus -quiet $k $j $i; echo -n "$? "; done;
done; done
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 
for k in "-m64 -m32"; do for j in "-O1" "-O2" "-O1 -fno-exceptions" "-O1
-fexceptions" -O3 -O0; do for i intmp/pr31037-8.c; do ./cc1 -quiet -w $k $j $i;
echo -n "$? "; done; done; done
0 0 0 0 0 0 


-- 


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[reichelt at gcc dot gnu dot org]

------- Comment #13 from reichelt at gcc dot gnu dot org  2007-11-02 09:13 -------
The testcase in comment #10 stopped crashing for me between 2007-08-15 and
2007-09-14. It wanted to investigate why, but never managed to.
Seems to be fixed now.


-- 

reichelt at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[tbm at gcc dot gnu dot org]

------- Comment #14 from tbm at gcc dot gnu dot org  2007-11-16 19:16 -------
*** Bug 31080 has been marked as a duplicate of this bug. ***


-- 

tbm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com


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