[Bug tree-optimization/49243] attribute((returns_twice)) doesn't work

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-01 10:30:42 UTC ---
Looks good.  Can you test the patch and post it to gcc-patches?