http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54150
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gdr at gcc dot gnu.org
Target Milestone|--- |4.8.0
--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-08-01
13:12:36 UTC ---
IMHO pp_base_flush should not output a newline ever and instead look like
/* Flush the content of BUFFER onto the attached stream. */
void
pp_base_flush (pretty_printer *pp)
{
pp_write_text_to_stream (pp);
pp_clear_state (pp);
fflush (pp->buffer->stream);
}
which co-incidentially does not need any documentation adjustments.
