[Bug middle-end/19221] New: [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[Bug middle-end/19221] New: [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[danglin at gcc dot gnu dot org]

/home/dave/gnu/gcc-4.0/objdir/gcc/xgcc -shared-libgcc -B/home/dave/gnu/gcc-4.0/o
bjdir/gcc/ -nostdinc++ -L/home/dave/gnu/gcc-4.0/objdir/vax-ultrix/libstdc++-v3/s
rc -L/home/dave/gnu/gcc-4.0/objdir/vax-ultrix/libstdc++-v3/src/.libs -B/home/dav
e/opt/gnu/vax-ultrix/bin/ -B/home/dave/opt/gnu/vax-ultrix/lib/ -isystem /home/da
ve/opt/gnu/vax-ultrix/include -isystem /home/dave/opt/gnu/vax-ultrix/sys-include
 -I/home/dave/gnu/gcc-4.0/gcc/libstdc++-v3/../gcc -I/home/dave/gnu/gcc-4.0/objdi
r/vax-ultrix/libstdc++-v3/include/vax-ultrix -I/home/dave/gnu/gcc-4.0/objdir/vax
-ultrix/libstdc++-v3/include -I/home/dave/gnu/gcc-4.0/gcc/libstdc++-v3/libsupc++
 -O2 -g -O1 -g -O2 -fno-implicit-templates -Wall -Wextra -Wwrite-strings -Wcast-
qual -fdiagnostics-show-location=once -c ../../../../gcc/libstdc++-v3/libsupc++/
eh_alloc.cc -o eh_alloc.o
../../../../gcc/libstdc++-v3/libsupc++/eh_alloc.cc: In function 'void* __cxxabiv
1::__cxa_allocate_exception(size_t)':
../../../../gcc/libstdc++-v3/libsupc++/eh_alloc.cc:153: error: insn outside basi
c block
(insn 149 1 12 (set (mem:SI (plus:SI (reg/f:SI 17 virtual-stack-vars)
                (const_int -56 [0xffffffc8])) [0 S4 A8])
        (reg/f:SI 16 virtual-incoming-args)) -1 (nil)
    (nil))
../../../../gcc/libstdc++-v3/libsupc++/eh_alloc.cc:153: internal compiler error:
 in rtl_verify_flow_info, at cfgrtl.c:2240

Breakpoint 1, get_arg_pointer_save_area (f=0x4022dd98)
    at ../../gcc/gcc/function.c:4593
4593          emit_insn_after (seq, get_insns ());
(gdb) step
get_insns () at ../../gcc/gcc/emit-rtl.c:2666
2666      return first_insn;
(gdb)
2667    }
(gdb)
emit_insn_after (pattern=0x4022dd98, after=0x402222a0)
    at ../../gcc/gcc/emit-rtl.c:4202
4202      if (INSN_P (after))
(gdb) p debug_rtx (after)
(note 1 0 12 ("../../../../gcc/libstdc++-v3/libsupc++/eh_alloc.cc") 110)
$1 = void
(gdb) p debug_rtx (pattern)
(insn 149 0 0 (set (mem:SI (plus:SI (reg/f:SI 17 virtual-stack-vars)
                (const_int -56 [0xffffffc8])) [0 S4 A8])
        (reg/f:SI 16 virtual-incoming-args)) -1 (nil)
    (nil))
(gdb) p debug_rtx_list (get_insns (), 4)
(note 1 0 12 ("../../../../gcc/libstdc++-v3/libsupc++/eh_alloc.cc") 110)

(note 12 1 9 0 [bb 0] NOTE_INSN_BASIC_BLOCK)

(insn 9 12 10 0 ../../../../gcc/libstdc++-v3/libsupc++/eh_alloc.cc:110 (set (reg/
v:SI 30 [ thrown_size ])
        (mem/i:SI (reg/f:SI 16 virtual-incoming-args) [2 thrown_size+0 S4 A32])) 
-1 (nil)
    (expr_list:REG_EQUIV (mem/i:SI (reg/f:SI 16 virtual-incoming-args) [2 
thrown_size+0 S4 A32])
        (nil)))

(note 10 9 134 0 NOTE_INSN_FUNCTION_BEG)
#0  emit_insn_after (pattern=0x4022dd98, after=0x402222a0)
    at ../../gcc/gcc/emit-rtl.c:4202
#1  0x082c3a6f in get_arg_pointer_save_area (f=0x4022dd98)
    at ../../gcc/gcc/function.c:4593
#2  0x0820977b in expand_builtin_setjmp_receiver (receiver_label=0x402305e8)
    at ../../gcc/gcc/builtins.c:602
#3  0x08262e5b in sjlj_emit_dispatch_table (dispatch_label=0x402305e8,
    lp_info=0x84a58b0) at ../../gcc/gcc/except.c:1724
#4  0x0826312b in sjlj_build_landing_pads () at ../../gcc/gcc/except.c:1799
#5  0x08263197 in finish_eh_generation () at ../../gcc/gcc/except.c:1835
#6  0x0837118c in rest_of_handle_eh () at ../../gcc/gcc/passes.c:1309
#7  0x083716bd in rest_of_compilation () at ../../gcc/gcc/passes.c:1575
#8  0x08184aa1 in execute_one_pass (pass=0x846c600)
    at ../../gcc/gcc/tree-optimize.c:525
#9  0x08184b7c in execute_pass_list (pass=0x846c600)
    at ../../gcc/gcc/tree-optimize.c:562
#10 0x08184dc1 in tree_rest_of_compilation (fndecl=0x40216144)
    at ../../gcc/gcc/tree-optimize.c:661
#11 0x08111bb1 in expand_body (fn=0x40216144)
    at ../../gcc/gcc/cp/semantics.c:2964
#12 0x0837851c in cgraph_expand_function (node=0x4021ed14)
    at ../../gcc/gcc/cgraphunit.c:822
#13 0x08379b11 in cgraph_expand_all_functions ()
    at ../../gcc/gcc/cgraphunit.c:1689
#14 0x08379d92 in cgraph_optimize () at ../../gcc/gcc/cgraphunit.c:1786
#15 0x080c3c92 in cp_finish_file () at ../../gcc/gcc/cp/decl2.c:3072
#16 0x08049a11 in finish_file () at ../../gcc/gcc/cp/cp-lang.c:113
#17 0x0815bba6 in c_common_parse_file (set_yydebug=1075978912)
    at ../../gcc/gcc/c-opts.c:1093
#18 0x08348900 in compile_file () at ../../gcc/gcc/toplev.c:992
#19 0x08349bf7 in do_compile () at ../../gcc/gcc/toplev.c:2088
#20 0x08349c4f in toplev_main (argc=33, argv=0xbffff194)
    at ../../gcc/gcc/toplev.c:2120
#21 0x08165b6b in main (argc=33, argv=0xbffff194) at ../../gcc/gcc/main.c:35

-- 
           Summary: [4.0 Regression] ICE: rtl_verify_flow_info, at
                    cfgrtl.c:2240
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
                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: vax-ultrix


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

[Bug middle-end/19221] [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[danglin at gcc dot gnu dot org]

------- Additional Comments From danglin at gcc dot gnu dot org  2005-01-01 22:52 -------
Created an attachment (id=7859)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7859&action=view)
Possible fix.


-- 


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

[Bug middle-end/19221] [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-01 22:58 -------
The correct fix would be to use entry_of_function instead.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-01-01 22:58:58
               date|                            |
   Target Milestone|---                         |4.0.0


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

[Bug middle-end/19221] [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-01 23:02 -------
Like so:
Index: function.c
===============================================================
====
RCS file: /cvs/gcc/gcc/gcc/function.c,v
retrieving revision 1.597
diff -u -p -r1.597 function.c
--- function.c  30 Dec 2004 03:07:36 -0000      1.597
+++ function.c  1 Jan 2005 23:02:03 -0000
@@ -4588,7 +4588,7 @@ get_arg_pointer_save_area (struct functi
       end_sequence ();
 
       push_topmost_sequence ();
-      emit_insn_after (seq, get_insns ());
+      emit_insn_after (seq, entry_of_function ());
       pop_topmost_sequence ();
     }
 

-- 


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

[Bug middle-end/19221] [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[dave at hiauly1 dot hia dot nrc dot ca]

------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2005-01-01 23:15 -------
Subject: Re:  [4.0 Regression] ICE: rtl_verify_flow_info

> -      emit_insn_after (seq, get_insns ());
> +      emit_insn_after (seq, entry_of_function ());

That looks better.

Dave


-- 


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

[Bug middle-end/19221] [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-01 23:44 -------
Patch posted here: <http://gcc.gnu.org/ml/gcc-patches/2005-01/msg00026.html>.

Mine.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
           Keywords|                            |build, patch


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

[Bug middle-end/19221] [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-02 03:46 -------
Subject: Bug 19221

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	pinskia@gcc.gnu.org	2005-01-02 03:46:22

Modified files:
	gcc            : ChangeLog function.c 

Log message:
	2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR middle-end/19221
	* function.c (get_arg_pointer_save_area): Use entry_of_function
	instead of get_insns.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6999&r2=2.7000
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/function.c.diff?cvsroot=gcc&r1=1.598&r2=1.599



-- 


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

[Bug middle-end/19221] [4.0 Regression] ICE: rtl_verify_flow_info, at cfgrtl.c:2240

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-02 03:46 -------
Fixed.

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


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