diff options
Diffstat (limited to 'gcc/cppinit.c')
| -rw-r--r-- | gcc/cppinit.c | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/gcc/cppinit.c b/gcc/cppinit.c index f1b6b24..5a38734 100644 --- a/gcc/cppinit.c +++ b/gcc/cppinit.c @@ -1010,12 +1010,13 @@ void cpp_finish (pfile) cpp_reader *pfile; { - if (CPP_BUFFER (pfile)) - { - cpp_ice (pfile, "buffers still stacked in cpp_finish"); - while (CPP_BUFFER (pfile)) - _cpp_pop_buffer (pfile); - } + /* cpplex.c leaves the final buffer on the stack. This it so that + it returns an unending stream of CPP_EOFs to the client. If we + popped the buffer, we'd derefence a NULL buffer pointer and + segfault. It's nice to allow the client to do worry-free excess + cpp_get_token calls. */ + while (pfile->buffer) + _cpp_pop_buffer (pfile); /* Don't write the deps file if preprocessing has failed. */ if (CPP_OPTION (pfile, print_deps) && pfile->errors == 0) |