[Bug tree-optimization/14705] [tree-ssa] more alias analysis needed!?

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-05-07 15:03 
-------
FWIW, here is the last SSA form I get with vops.

foo (p)
{
  int D.1241;
  int global.0;
  int D.1239;

<bb 0>:
  #   VUSE <global_3>;
  D.1239_2 = p_1->c;
  if (D.1239_2 != 0) goto <L2>; else goto <L0>;

<L0>:;
  #   VUSE <global_3>;
  global.0_4 = global;
  D.1241_5 = global.0_4 + 1;
  #   global_6 = V_MUST_DEF <global_3>;
  global = D.1241_5;
  #   VUSE <global_6>;
  D.1239_7 = p_1->c;
  if (D.1239_7 == 0) goto <L1>; else goto <L2>;

<L1>:;
  #   global_8 = V_MAY_DEF <global_6>;
  bar () [tail call];

<L2>:;
  return;

}


-- 


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