[Bug rtl-optimization/18294] New: ICE in rtl_verify_flow_info during bootstrap

[Bug rtl-optimization/18294] New: ICE in rtl_verify_flow_info during bootstrap

[sje at cup dot hp dot com]

I get an ICE when bootstrapping the latest GCC on ia64-hp-hpux11.20.  It dies
when compiling adjust_field_type in gengtype.c.  Attached is a small test case
to reproduce the problem.  The test case only fails in ILP32 mode (the default),
it cannot be reproduced in LP64 mode (-mlp64) and it cannot be reproduced on
IA64 Linux because that has no ILP32 mode.

Test case:


void
adjust_field_type (int x)
{
  void *params[10];
  int i;
  for (i = 0; i < 10; i++)
    params[i] = ((void *)0);
  for (i = 0; i < 10; i++)
    if (x == 0) {
      if (params[i] != ((void *)0))
        foo (x);
    }
  return;
}

-- 
           Summary: ICE in rtl_verify_flow_info during bootstrap
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sje at cup dot hp dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: ia64-hp-hpux11.20
  GCC host triplet: ia64-hp-hpux11.20
GCC target triplet: ia64-hp-hpux11.20


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Keywords|                            |ice-on-valid-code
            Summary|ICE in rtl_verify_flow_info |[4.0 Regression] ICE in
                   |during bootstrap            |rtl_verify_flow_info during
                   |                            |bootstrap
   Target Milestone|---                         |4.0.0


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |build


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-04 00:20 -------
Confirmed:
t.c: In function 'adjust_field_type':
t.c:14: error: insn outside basic block
(insn 91 82 0 (set (reg/f:DI 381)
        (reg/f:DI 328 sfp)) -1 (nil)
    (nil))
t.c:14: internal compiler error: in rtl_verify_flow_info, at cfgrtl.c:2255
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-11-04 00:20:36
               date|                            |


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-04 00:24 -------
This is caused during .jump

-- 


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-04 00:58 -------
Hmm, we are putting code after the loop and after function end, I don't know why.

-- 


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[sje at cup dot hp dot com]

------- Additional Comments From sje at cup dot hp dot com  2004-11-05 22:51 -------
I still don't understand the bug but it seems to be related to the code inside
the   POINTERS_EXTEND_UNSIGNED ifdef in function.c.  If I comment this out
things compile, if I leave it in and put a call to verify_flow_info() before the
return 1 in that if block then verify_flow_info will cause an abort.  A call
just before the if statement will not abort so this appears to be the code that
is corrupting the cfg.

-- 


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[wilson at gcc dot gnu dot org]

------- Additional Comments From wilson at gcc dot gnu dot org  2004-11-10 01:22 -------
See comments in
    http://gcc.gnu.org/ml/gcc/2004-11/msg00316.html

-- 


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[sje at cup dot hp dot com]

------- Additional Comments From sje at cup dot hp dot com  2004-11-10 18:54 -------
See proposed patch in http://gcc.gnu.org/ml/gcc-patches/2004-11/msg00829.html

-- 


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[wilson at gcc dot gnu dot org]

------- Additional Comments From wilson at gcc dot gnu dot org  2004-11-11 05:19 -------
This appears to be the same bug as 18420.

-- 


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-28 15:46 -------
Since PR 18420 is fixed, I checking this one too.

-- 


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

[Bug rtl-optimization/18294] [4.0 Regression] ICE in rtl_verify_flow_info during bootstrap

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-28 15:53 -------
Fixed also by the patch which fixed PR18420.

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


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