[Bug tree-optimization/23347] New: PRE produces type mismatch in PHIs when compiling java from bytecode

[pinskia at gcc dot gnu dot org]

I cannot figure out a way to generate a C testcase for this, I tried all the 
normal tricks.
Bootstrap GCC with the phi.diff.txt patch in PR 22368 with java enabled and you 
will see the following 
ICE:
gnu/xml/dom/DomIterator.java: In class 'gnu.xml.dom.DomIterator':
gnu/xml/dom/DomIterator.java: In method 
'gnu.xml.dom.DomIterator.successor(org.w3c.dom.Node,boolean)':
gnu/xml/dom/DomIterator.java:0: error: statement types mismatch in PHI
prephitmp.494D.2333_143 = PHI <0B(31), #ref#5#3D.1926_72(29), 
#ref#5#3D.1926_176(28)>;

struct  *
voidD.8 *
gnu/xml/dom/DomIterator.java:0: error: statement types mismatch in PHI
prephitmp.494D.2333_143 = PHI <0B(31), #ref#5#3D.1926_72(29), 
#ref#5#3D.1926_176(28)>;

struct  *
voidD.8 *
gnu/xml/dom/DomIterator.java:0: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


once you hit this you can just compile 
classpath/lib/gnu/xml/dom/DomIterator.class with like:
../../gcc/gcj -B. -B../../gcc -fclasspath= -fbootclasspath=./classpath/lib 
--encoding=UTF-8 -Wno-
deprecated -g -O2 -findirect-dispatch -c 
classpath/lib/gnu/xml/dom/DomIterator.class
in the libjava directory to reproduce the failure

-- 
           Summary: PRE produces type mismatch in PHIs when compiling java
                    from bytecode
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: dberlin at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
                    dot org
GCC target triplet: powerpc-darwin
OtherBugsDependingO 22368
             nThis:


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