Re: [PATCH, PR50763] Fix for ICE in verify_gimple

2011-10-21 Thread Richard Guenther
On Thu, Oct 20, 2011 at 3:48 PM, Tom de Vries wrote: > Richard, > > I have a fix for PR50763. > > The second example from the PR looks like this: > ... > int bar (int i); > > void > foo (int c, int d) > { >  if (bar (c)) >    bar (c); >  d = 33; >  while (c == d); > } > ... > > When compiled with

[PATCH, PR50763] Fix for ICE in verify_gimple

2011-10-20 Thread Tom de Vries
Richard, I have a fix for PR50763. The second example from the PR looks like this: ... int bar (int i); void foo (int c, int d) { if (bar (c)) bar (c); d = 33; while (c == d); } ... When compiled with -O2 -fno-dominator-opt, the gimple representation before ftree-tail-merge looks like