[Bug tree-optimization/19516] missed optimization (bool)

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen 
dot de  2005-01-23 11:13 -------
How comes, that if I change _Bool to int, after tree-optimizations we get

foo (flag)
{
  int D.1121;

<bb 0>:
  D.1121_2 = *flag_1;
  if (D.1121_2 != 0) goto <L0>; else goto <L3>;

<L0>:;
  bar ();
  D.1121_11 = *flag_1;
  if (D.1121_11 != 0) goto <L2>; else goto <L3>;

<L2>:;
  bar () [tail call];

<L3>:;
  return;

}

If your analysis were correct, this shouldn't be possible, no?

-- 


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