[Bug bootstrap/27389] New: bootstrap fails building libjava, verify_flow_info fails

[Bug bootstrap/27389] New: bootstrap fails building libjava, verify_flow_info fails

[rguenth at gcc dot gnu dot org]

Testcase:

import javax.xml.stream.XMLStreamException;
import javax.xml.stream.XMLStreamWriter;
public class StAXWriter
{
  XMLStreamWriter writer;
  int indent = 0;
  public void writeEnd(boolean wasEmpty)
  {
    try
      {
        indent -= 2;
        for (int i = 0; i < indent; i++)
          writer.writeCharacters(" ");
      }
    catch (XMLStreamException xmlse)
      {
      }
  }
};

 /abuild/rguenther/obj2/gcc/jc1 StAXWriter.java -fhash-synchronization
-fno-use-divide-subroutine -fuse-boehm-gc -fnon-call-exceptions
-fkeep-inline-functions -quiet -dumpbase StAXWriter.java -mtune=generic
-auxbase-strip /dev/null -g -O2 -Wno-deprecated -version -fomit-frame-pointer
-fclasspath=
-fbootclasspath=/abuild/rguenther/obj/x86_64-unknown-linux-gnu/libjava/classpath/lib
-fencoding=UTF-8 -fbootstrap-classes -fjni -findirect-dispatch
-fno-indirect-classes -fPIC -fdump-tree-pre-details -o /dev/null
GNU Java version 4.2.0 20060501 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 3.3.3 (SuSE Linux).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Class path starts here:
    ./
    /abuild/rguenther/obj/x86_64-unknown-linux-gnu/libjava/classpath/lib/
(system)
StAXWriter.java: In class 'StAXWriter':
StAXWriter.java: In method 'StAXWriter.writeEnd(boolean)':
StAXWriter.java:8: error: control flow in the middle of basic block 3
StAXWriter.java:8: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: bootstrap fails building libjava, verify_flow_info fails
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, EH
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
GCC target triplet: x86_64-*-linux-gnu, ia64-*-linux-gnu


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

[Bug bootstrap/27389] bootstrap fails building libjava, verify_flow_info fails

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2006-05-02 14:56 -------
Happens at the point PRE calls cleanup_tree_cfg after purging dead eh edges.

Found partial redundancy for expression *VH.52 (VH.57)
Created value VH.86 for *D.934_6
Inserted pretmp.60_42 = D.1001_27 in predecessor 14
Created phi prephitmp.61_20 = PHI <storetmp.59_51(17), pretmp.60_42(14)>; in
block 4
Replaced *D.934_6 with prephitmp.61_20 in D.936_22 = *D.934_6;
  Removed EH side effects.
Removing basic block 18
;; basic block 18, loop depth 0, count 0
;; prev block 5, next block 6
;; pred:
;; succ:       16 [100.0%]  (fallthru)
<L10>:;
goto <bb 16> (<L6>);


Merging blocks 3 and 17
Merging blocks 4 and 5


(gdb) call debug_bb_n (3)
;; basic block 3, loop depth 0, count 0
;; prev block 2, next block 4
;; pred:       2 [100.0%]  (fallthru,exec)
;; succ:       4 [100.0%]  (fallthru)
<bb 3>:
D.938_17 = D.935_10 + -2;
#   SMT.37_56 = V_MAY_DEF <SMT.37_53>;
#   SMT.41_57 = V_MAY_DEF <SMT.41_54>;
*D.934_6 = D.938_17;
#   VUSE <SMT.37_56>;
#   VUSE <SMT.41_57>;
storetmp.59_51 = *D.934_6;


the store ends the BB, flow info fails to verify at the load.  No EH info
in the block, cfg_cleanup merged it with BB 17 (which is empty).


-- 


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

[Bug bootstrap/27389] [4.2 Regression] bootstrap fails building libjava, verify_flow_info fails

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |blocker
            Summary|bootstrap fails building    |[4.2 Regression] bootstrap
                   |libjava, verify_flow_info   |fails building libjava,
                   |fails                       |verify_flow_info fails
   Target Milestone|---                         |4.2.0


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

[Bug tree-optimization/27389] [4.2 Regression] bootstrap fails building libjava, verify_flow_info fails

[mckinlay at redhat dot com]

------- Comment #2 from mckinlay at redhat dot com  2006-05-02 15:33 -------
I could not reproduce the bootstrap failure on x86-64 as of revision 113466.

The test case does fail, however, when built with -findirect-dispatch.

Looks like a dupe of bug 26447 ?


-- 


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

[Bug tree-optimization/27389] [4.2 Regression] java: verify_flow_info fails

[mckinlay at redhat dot com]

------- Comment #3 from mckinlay at redhat dot com  2006-05-02 17:32 -------


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


-- 

mckinlay at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE
            Summary|[4.2 Regression] bootstrap  |[4.2 Regression] java:
                   |fails building libjava,     |verify_flow_info fails
                   |verify_flow_info fails      |


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