http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59711
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- *R.4 = pr59711.f (); [return slot optimization] ah, so we don't require a WITH_SIZE_EXPR on a RSO call. Obviously. So it should be fixable either by the gimplifier or by the frontends (as Ada does it).