[Bug tree-optimization/20963] [4.0/4.1 Regression] ICE tree check: expected value_handle, have addr_expr in value_exists_in_set_bitmap, at tree-ssa-pre.c:437

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-12 
09:06 -------
More reduced testcase:
char mem_readb(int pt);
struct sMCB
{
  int type, psp_segment;
};
int f();
void DOS_FreeProcessMemory(int pt)
{
  int addr1, addr;
  while (true)
  {
    if (f())
    {
      addr = (unsigned int)((char*)&(((sMCB*)0)->psp_segment)-(char*)0);
      mem_readb(addr);
    }
    addr1 = (unsigned int)((char*)&(((sMCB*)0)->type)-(char*)0);
    if (mem_readb(addr1))
      return;
  }
};


-- 


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