diff options
author | neil <neil@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-08-22 20:37:20 +0000 |
---|---|---|
committer | neil <neil@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-08-22 20:37:20 +0000 |
commit | c808d0268bcba04615e10fcf39b670f81811d9bd (patch) | |
tree | 5d1c57d7edd200e5b5467bf355348a54e5238af3 /gcc/cpperror.c | |
parent | afe739a7ae845b6f7228350db57e0537547688fb (diff) | |
download | gcc-c808d0268bcba04615e10fcf39b670f81811d9bd.tar.gz |
* cpperror.c (print_location): Don't show _Pragma.
* cppfiles.c (_cpp_pop_file_buffer): Handle -include file pushing
and file change callback generation here.
(stack_include_file): Update use of cpp_push_buffer.
* cpphash.h (_cpp_pop_file_buffer): Update prototype.
(struct cpp_buffer): Remove type, pfile members.
* cppinit.c (cpp_handle_option): Use free_chain.
* cpplex.c (_cpp_lex_token): Don't do -include file pushing here.
(skip_escaped_newlines, get_effective_char, lex_percent): Take
a cpp_reader rather than a cpp_buffer.
(skip_escaped_newlines, get_effective_char, skip_block_comment,
skip_line_comment, parse_string, lex_percent, lex_dot,
_cpp_lex_token): Update accordingly.
* cpplib.c (_cpp_pop_buffer): Don't do file change callback
generation here.
(cpp_push_buffer): Update prototype.
(run_directive): Update use of cpp_push_buffer.
(_cpp_do__Pragma, cpp_define, cpp_define_builtin, cpp_undef,
handle_assertion): Update use of run_directive.
* cpplib.h (enum cpp_buffer_type): Remove.
(cpp_push_buffer): Update prototype.
* fix-header.c (read_scan_file): Update.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@45112 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cpperror.c')
-rw-r--r-- | gcc/cpperror.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/cpperror.c b/gcc/cpperror.c index 6b137abcd75..3dbf534affd 100644 --- a/gcc/cpperror.c +++ b/gcc/cpperror.c @@ -69,8 +69,6 @@ print_location (pfile, pos) else fprintf (stderr, "%s:%u:%u:", map->to_file, line, col); - if (buffer->type == BUF_PRAGMA) - fprintf (stderr, "_Pragma:"); fputc (' ', stderr); } } |