[Bug middle-end/20017] New: internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[Bug middle-end/20017] New: internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[aj at gcc dot gnu dot org]

Compiling glibc with current GCC CVS I get the following ICE: 
 
/opt/gcc/4.0-devel/libexec/gcc/x86_64-suse-linux-gnu/4.0.0/cc1 -fpreprocessed 
iso-2022-cn-ext.i -quiet -dumpbase iso-2022-cn-ext.c -mtune=k8 
-auxbase-strip /builds/glibc/4.0/iconvdata/iso-2022-cn-ext.os -g -O2 -Wall 
-Winline -Wstrict-prototypes -Wwrite-strings -std=gnu99 -version -fPIC -o 
iso-2022-cn-ext.s 
GNU C version 4.0.0 20050216 (experimental) (x86_64-suse-linux-gnu) 
        compiled by GNU C version 4.0.0 20050216 (experimental). 
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096 
iso-2022-cn-ext.i: In function ?to_iso2022cn_ext_loop?: 
iso-2022-cn-ext.i:10970: warning: pointer targets in passing argument 2 of 
?ucs4_to_gb2312? differ in signedness 
iso-2022-cn-ext.i:10970: warning: pointer targets in passing argument 2 of 
?ucs4_to_cns11643l1? differ in signedness 
iso-2022-cn-ext.i:10970: warning: pointer targets in passing argument 2 of 
?ucs4_to_cns11643l2? differ in signedness 
iso-2022-cn-ext.i:10970: warning: pointer targets in passing argument 2 of 
?ucs4_to_gb2312? differ in signedness 
iso-2022-cn-ext.i:10970: warning: pointer targets in passing argument 2 of 
?ucs4_to_cns11643l1? differ in signedness 
iso-2022-cn-ext.i: In function ?to_iso2022cn_ext_loop_single?: 
iso-2022-cn-ext.i:11042: warning: pointer targets in passing argument 2 of 
?ucs4_to_gb2312? differ in signedness 
iso-2022-cn-ext.i:11042: warning: pointer targets in passing argument 2 of 
?ucs4_to_cns11643l1? differ in signedness 
iso-2022-cn-ext.i:11042: warning: pointer targets in passing argument 2 of 
?ucs4_to_cns11643l2? differ in signedness 
iso-2022-cn-ext.i:11042: warning: pointer targets in passing argument 2 of 
?ucs4_to_gb2312? differ in signedness 
iso-2022-cn-ext.i:11042: warning: pointer targets in passing argument 2 of 
?ucs4_to_cns11643l1? differ in signedness 
iso-2022-cn-ext.i: In function ?gconv?: 
iso-2022-cn-ext.i:11485: error: verify_flow_info: Incorrect fallthru 1740->1741 
iso-2022-cn-ext.i:11485: error: wrong insn in the fallthru edge 
(barrier 11408 11388 11417) 
iso-2022-cn-ext.i:11485: internal compiler error: in rtl_verify_flow_info, at 
cfgrtl.c:2212 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: internal compiler error: in rtl_verify_flow_info, at
                    cfgrtl.c:2212
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: aj at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-linux-gnu
  GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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

[Bug middle-end/20017] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[aj at gcc dot gnu dot org]

------- Additional Comments From aj at gcc dot gnu dot org  2005-02-16 19:27 -------
Created an attachment (id=8207)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8207&action=view)
Preprocessed source file


-- 


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

[Bug middle-end/20017] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-16 20:13 -------
I am very sure that this is a regression.
I can confirm this but no reduced testcase yet.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|middle-end                  |rtl-optimization
            Summary|internal compiler error: in |[4.0 Regression] internal
                   |rtl_verify_flow_info, at    |compiler error: in
                   |cfgrtl.c:2212               |rtl_verify_flow_info, at
                   |                            |cfgrtl.c:2212
   Target Milestone|---                         |4.0.0


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[aj at gcc dot gnu dot org]

------- Additional Comments From aj at gcc dot gnu dot org  2005-02-16 20:38 -------
yes, this is a regression - and it has been introduced during the last few 
weeks.  I compiled glibc successfully last time I tried with GCC 4 
(roughly two weeks ago). 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-16 20:58 -------
I have a testcase down to 84 lines and still reducing.

-- 


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-16 21:21 -------
This is as far as I can get it, any further reducing will cause this to pass:
extern void abort (void);
extern const unsigned short __cns11643l1_to_ucs4_tab[];
char buf[3];
void cns11643_to_ucs4 (void)
{
  buf[0] = 0x23;
  {
    const char *tmp = buf;
    unsigned char ch = *(tmp);
    unsigned char ch2;
    unsigned char ch3;
    unsigned int result = 2;
    int idx;
    
    ch2 = buf[1];
    
    if ((ch2) <= 0x20 )
      goto abort1;
    
    ch3 = buf[2];
    idx = ch2-0x20 ;
    switch (ch - 0x20)
    {
      case 1:
	if (idx > 0x21f2)
	  goto abort1;
	result = __cns11643l1_to_ucs4_tab[1];
	break;
      case 4:
      case 5:
      case 7:
	goto abort1;
      case 15:
	if (idx > 0x1c00)
	  goto abort1;
	break;
    }
    if (result == L'\0')
      goto abort1;
  }
  return;
abort1:
    abort ();
}

I should note between 20050127 and today, nothing has changed on the tree level.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-16 21:21:57
               date|                            |


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-16 21:31 -------
Looks like someone removed a call to cleanup_cfg as we still have werid things in the RTL:
(jump_insn# # # 1 (set (pc)
        (label_ref #))# (nil)
    (nil))

(barrier 96 # #)

(code_label 39 # # 7 "" [0 uses])

(jump_insn# # # (addr_diff_vec:SI (label_ref:DI #)
         [
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
            (label_ref:DI #)
        ]
        (const_int 0 [0x0])
        (const_int 0 [0x0]))# (nil)
    (nil))

(barrier 41 # #)

(code_label 94 # # 2 12 "" [1 uses])

(note# # # 2 [bb 2] NOTE_INSN_BASIC_BLOCK)


In fact this is the only different between the what is done now and what was done in 20050127.

-- 


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-16 21:31 -------
I think this was casued by:
2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
        
        * passes.c (rest_of_handle_loop_optimize): Remove calls to
        delete_dead_jumptables and cleanup_cfg.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kazu at cs dot umass dot edu


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-16 21:34 -------
(In reply to comment #7)
> I think this was casued by:
> 2005-02-14  Kazu Hirata  <kazu@cs.umass.edu>
>         
>         * passes.c (rest_of_handle_loop_optimize): Remove calls to
>         delete_dead_jumptables and cleanup_cfg.

In fact reverting this patch causes my testcase to finish compiling.


-- 


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-02-16 23:47 -------
Also reproducible on i686-pc-linux-gnu.

-- 


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-02-17 02:02 -------
Reduced to:

int
foo (char *buf, unsigned int *p)
{
  unsigned int result;
  unsigned char ch2;
  unsigned char ch;
  const char * tmp;

  buf[0] = 35;
  tmp = buf;
  ch = (unsigned char) *tmp;
  result = 2;
  ch2 = (unsigned char) buf[1];
  if (ch2 <= 32)
    goto one;

  switch ((int) ch - 32)
    {
    case 1:
      goto L2;
    case 4:
    case 5:
    case 7:
    case 15:
      goto one;
    default:
      goto L7;
    }

 L2:
  result = *p;

 L7:
  if (result)
    goto one;

  return 0;

 one:
  return 1;
}


-- 


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-02-17 02:23 -------
Reduced to:

int
foo (int *buf, int *p)
{
  int result;
  const int *tmp;

  if (*buf)
    return 1;

  result = 2;
  *buf = 2;
  tmp = buf;
  switch (*tmp)
    {
    case 3:
    case 4:
    case 6:
    case 14:
      return 1;

    case 0:
      result = *p;

      /* Fall through.  */
    default:
      if (result)
	return 1;
    }

  return 0;
}


-- 


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[kazu at cs dot umass dot edu]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |kazu at cs dot umass dot edu
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-02-19 21:03 -------
Patch posted at:

http://gcc.gnu.org/ml/gcc-patches/2005-02/msg01131.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-02-23 01:29 -------
Subject: Bug 20017

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	kazu@gcc.gnu.org	2005-02-23 01:28:59

Modified files:
	gcc            : ChangeLog passes.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: pr20017.c 

Log message:
	gcc/
	PR rtl-optimization/20017.
	* passes.c (rest_of_handle_combine, rest_of_handle_cse,
	rest_of_handle_cse2, rest_of_handle_gcse): Call
	delete_dead_jumptables immediately before calling cleanup_cfg.
	
	testsuite/
	PR rtl-optimization/20017.
	* gcc.dg/pr20017.c: New.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7564&r2=2.7565
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/passes.c.diff?cvsroot=gcc&r1=2.71&r2=2.72
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5069&r2=1.5070
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/pr20017.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug rtl-optimization/20017] [4.0 Regression] internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2212

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-02-23 01:29 -------
Just checked in a patch.


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


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