[Bug c++/12900] New: g++ ICE in rtl_verify_flow_info_1

["gcc-bugzilla at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: g++ ICE in rtl_verify_flow_info_1
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: snyder at fnal dot gov
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


g++ 3.4 ICEs on the code below, when compiled with -O2 or above.

$ g++ -c -O2 x.cc
x.cc: In function `void track_match()':
x.cc:22: error: in basic block 1:
x.cc:22: error: flow control insn inside a basic block
(call_insn:HI 69 68 195 1 (set (reg:DF %st)
        (call (mem:QI (symbol_ref:SI ("_Z4ext1d") [flags 0x41] <function_decl 0x400f6dec ext1>) [0 S1 A8])
            (const_int 8 [0x8]))) 489 {*call_value_0} (insn_list:REG_DEP_ANTI 56 (insn_list:REG_DEP_ANTI 164 (insn_list:REG_DEP_ANTI 57 (insn_list:REG_DEP_ANTI
67 (insn_list:REG_DEP_ANTI 68 (insn_list:REG_DEP_ANTI 163 (insn_list:REG_DEP_ANTI 61 (insn_list:REG_DEP_ANTI 160 (nil)))))))))
    (expr_list:REG_EH_REGION (const_int 2 [0x2])
        (nil))
    (nil))
x.cc:22: internal compiler error: in rtl_verify_flow_info_1, at cfgrtl.c:2055
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
$

Environment:
System: Linux karma 2.4.19-emp_2419p5a829i #1 Tue Sep 3 17:42:17 EST 2002 i686 i686 i386 GNU/Linux
Architecture: i686

	<machine, os, target, libraries (multiple lines)>
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
configured with: ../gcc/configure --prefix=/usr/local/gcc --enable-threads=posix --enable-long-long --enable-languages=c,c++,f77

How-To-Repeat:

Compile with -O2.

-------------------------------------------------------------------


struct array {
  double data;
  virtual ~array();
};

double glob;
double ext1(double);
int nmuons;

void track_match()
{
  array vecdca;
  if (glob < 10) return;
  double p = glob*5;
  double phi = vecdca.data;
  ext1 (vecdca.data-glob);
  ext1 (phi*2);
  if (1 < p)
    ++nmuons; 
}
-------------------------------------------------------------------
------- Additional Comments From snyder at fnal dot gov  2003-11-04 22:25 -------
Fix:
	<how to correct or work around the problem, if known (multiple lines)>