http://gcc.gnu.org/bugzilla/show_bug.cgi?id=61049
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2014-05-04
Ever confirmed|0 |1
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Also confirmed it is r208629. Simple fix is to revert that patch and reopen
> the original bug which is related to CTRL-D on stdin, PR46800
I don't think there is any need to rush to revert.
