http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43136
--- Comment #2 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2011-01-08 22:18:31 UTC --- We have to watch out for aliasing here; if foo changes the arguments, we have to have a copy. Compare PR 47065.