[Bug tree-optimization/24169] Address (full struct) escapes even though the called function does not cause it to escape

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-07-16 08:29 -------
IPA-PTA computes the required information (but we do not store sub-field
granular points-to or clobber sets):

h.clobber = { k.8+8 }
h.use = { }
f.clobber = { k.8+8 } same as f.arg0
f.use = { }
f.arg0 = { k.8+8 }
k.0+8 = { }
k.8+8 = { }

<bb 2>:
  k.i = 2;
  k.j = 2;
  # CLB = { k }
  f (&k.j);
  D.2724_1 = k.i;
  if (D.2724_1 != 2)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  # USE = nonlocal
  # CLB = nonlocal
  link_error ();

<bb 4>:
  return;


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2010-07-15 22:50:25         |2010-07-16 08:29:05
               date|                            |


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