------- Comment #9 from jvdelisle at gcc dot gnu dot org 2008-03-19 19:37 ------- I agree and plan to look at l_push_char. We just should never read a "\0" character. We may be ungetting it because we use "\0" to indicate that the line_buffer is empty and to not read from it, but maybe unget_char is not quite right.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35627
