https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87966
--- Comment #1 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
I had a leftover printf statement for debugging in the initial commit last
night which I fixed this morning.
Let me know if the problem persists. The line was:
printf("allow_std=%d\n", compile_options.warn_std);
Which would have generated some extraneous output to stdout during a read.
The patch does not touch any floating point operations.
