Re: [PATCH] config: do not ungetc EOF
- From
Heiko Voigt <hvoigt@hvoigt.net>
- Date
- Feb 8, 2015, 21:13 UTC
- Message-ID
- <20150208211334.GA3796@book.hvoigt.net>
- In-Reply-To
- <20150205210024.GA30724@peff.net>
On Thu, Feb 05, 2015 at 04:00:24PM -0500, Jeff King wrote:
Show 14 quoted lines
> On Thu, Feb 05, 2015 at 01:53:27AM -0500, Jeff King wrote: > > > I also notice that config_buf_ungetc does not actually ungetc the > > character we give it; it just rewinds one character in the stream. This > > is fine, because we always feed the last-retrieved character. I dunno if > > it is worth fixing (it also would have fixed this infinite loop, but for > > the wrong reason; we would have stuck "-1" back into the stream, and > > retrieved it on the next fgetc rather than the same '\r' over and over). > > Here's a patch to deal with that. I'm not sure if it's worth doing or > not. > > -- >8 -- > Subject: [PATCH] config_buf_ungetc: warn when pushing back a random character
Thanks for noticing and fixing both. I think it is worth adding this assertion. If someone in the future comes along and uses our fake ungetc() wrong it might save some trouble figuring out whats wrong.
Cheers Heiko