------- Comment #2 from rguenth at gcc dot gnu dot org 2008-05-29 15:23 ------- First we miss the constraint
f = &ANYTHING from f = bar (&b); but then we also do not handle at all the case of escaping pointers through by-value passed structures foo (f); and thus we end up not clobbering b for that call. The first part is easy to fix. I have to think about the second one ... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36373