[PATCH] Repair TYPE_REF_CAN_ALIAS_ALL machinery (take 2)

[Eric Botcazou]

> It was just illustration ;)  Make it two incoming parameters to a
> function, the assignment being in the caller.

Like this?

int foo(int *i, float *f)
{
  *i = 1;
  *f = 2;
  return *i;
}

Referenced variables in foo: 6

Variable: i, UID 1520, int *, symbol memory tag: SMT.4, default def: i_1

Variable: f, UID 1521, float *, symbol memory tag: SMT.5, default def: f_2

Variable: <retval>, UID 1523, int

Variable: D.1524, UID 1524, int

Variable: SMT.4, UID 1531, int, is addressable, is global, call clobbered

Variable: SMT.5, UID 1532, float, is addressable, is global, call clobbered

> At least it looks fragile to me.

As much as the tree alias machinery, I believe.

-- 
Eric Botcazou