diff options
Diffstat (limited to 'gcc/cpplib.c')
-rwxr-xr-x | gcc/cpplib.c | 5902 |
1 files changed, 0 insertions, 5902 deletions
diff --git a/gcc/cpplib.c b/gcc/cpplib.c deleted file mode 100755 index bc51639..0000000 --- a/gcc/cpplib.c +++ /dev/null @@ -1,5902 +0,0 @@ -/* CPP Library. - Copyright (C) 1986, 87, 89, 92-98, 1999 Free Software Foundation, Inc. - Contributed by Per Bothner, 1994-95. - Based on CCCP program by Paul Rubin, June 1986 - Adapted to ANSI C, Richard Stallman, Jan 1987 - - This program is free software; you can redistribute it and/or modify it - under the terms of the GNU General Public License as published by the - Free Software Foundation; either version 2, or (at your option) any - later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software - Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ - -#include "config.h" -#include "system.h" - -#ifndef STDC_VALUE -#define STDC_VALUE 1 -#endif - -#include <signal.h> - -#ifdef HAVE_SYS_TIMES_H -#include <sys/times.h> -#endif - -#ifdef HAVE_SYS_RESOURCE_H -# include <sys/resource.h> -#endif - -#include "cpplib.h" -#include "cpphash.h" -#include "output.h" -#include "prefix.h" - -#ifndef GET_ENV_PATH_LIST -#define GET_ENV_PATH_LIST(VAR,NAME) do { (VAR) = getenv(NAME); } while (0) -#endif - -/* By default, colon separates directories in a path. */ -#ifndef PATH_SEPARATOR -#define PATH_SEPARATOR ':' -#endif - -#ifndef STANDARD_INCLUDE_DIR -#define STANDARD_INCLUDE_DIR "/usr/include" -#endif - -/* Symbols to predefine. */ - -#ifdef CPP_PREDEFINES -static char *predefs = CPP_PREDEFINES; -#else -static char *predefs = ""; -#endif - -/* We let tm.h override the types used here, to handle trivial differences - such as the choice of unsigned int or long unsigned int for size_t. - When machines start needing nontrivial differences in the size type, - it would be best to do something here to figure out automatically - from other information what type to use. */ - -/* The string value for __SIZE_TYPE__. */ - -#ifndef SIZE_TYPE -#define SIZE_TYPE "long unsigned int" -#endif - -/* The string value for __PTRDIFF_TYPE__. */ - -#ifndef PTRDIFF_TYPE -#define PTRDIFF_TYPE "long int" -#endif - -/* The string value for __WCHAR_TYPE__. */ - -/* CYGNUS LOCAL vmakarov */ -#ifndef NO_BUILTIN_WCHAR_TYPE -/* END CYGNUS LOCAL */ -#ifndef WCHAR_TYPE -#define WCHAR_TYPE "int" -#endif -#define CPP_WCHAR_TYPE(PFILE) \ - (CPP_OPTIONS(PFILE)->cplusplus ? "__wchar_t" : WCHAR_TYPE) -/* CYGNUS LOCAL vmakarov */ -#endif -/* END CYGNUS LOCAL */ - -/* The string value for __REGISTER_PREFIX__ */ - -#ifndef REGISTER_PREFIX -#define REGISTER_PREFIX "" -#endif - -#define SKIP_WHITE_SPACE(p) do { while (is_hor_space[*p]) p++; } while (0) -#define SKIP_ALL_WHITE_SPACE(p) do { while (is_space[*p]) p++; } while (0) - -#define PEEKN(N) (CPP_BUFFER(pfile)->rlimit - CPP_BUFFER(pfile)->cur >= (N) ? CPP_BUFFER(pfile)->cur[N] : EOF) -#define FORWARD(N) CPP_FORWARD(CPP_BUFFER(pfile), (N)) -#define GETC() CPP_BUF_GET(CPP_BUFFER(pfile)) -#define PEEKC() CPP_BUF_PEEK(CPP_BUFFER(pfile)) -/* CPP_IS_MACRO_BUFFER is true if the buffer contains macro expansion. - (Note that it is false while we're expanding marco *arguments*.) */ -#define CPP_IS_MACRO_BUFFER(PBUF) ((PBUF)->cleanup == macro_cleanup) - -/* Move all backslash-newline pairs out of embarrassing places. - Exchange all such pairs following BP - with any potentially-embarrassing characters that follow them. - Potentially-embarrassing characters are / and * - (because a backslash-newline inside a comment delimiter - would cause it not to be recognized). */ - -#define NEWLINE_FIX \ - do {while (PEEKC() == '\\' && PEEKN(1) == '\n') FORWARD(2); } while(0) - -/* Same, but assume we've already read the potential '\\' into C. */ -#define NEWLINE_FIX1(C) do { \ - while ((C) == '\\' && PEEKC() == '\n') { FORWARD(1); (C) = GETC(); } \ -} while(0) - -struct cpp_pending { - struct cpp_pending *next; - char *cmd; - char *arg; -}; - -/* Forward declarations. */ - -extern void cpp_hash_cleanup (cpp_reader *); - -static char *my_strerror (int); -static void path_include (cpp_reader *, char *); -static void initialize_builtins (cpp_reader *); -static void initialize_char_syntax (void); -#if 0 -static void trigraph_pcp (); -#endif -static void validate_else (cpp_reader *, char *); -static int comp_def_part (int, U_CHAR *, int, U_CHAR *, - int, int); -#ifdef abort -extern void fancy_abort (); -#endif -/* CYGNUS LOCAL - obscured headers */ -static int open_include_file_name (cpp_reader*, char *); -/* END CYGNUS LOCAL - obscured headers */ -static int check_macro_name (cpp_reader *, U_CHAR *, char *); -static int compare_defs (cpp_reader *, - DEFINITION *, DEFINITION *); -static HOST_WIDE_INT eval_if_expression (cpp_reader *); -static int change_newlines (U_CHAR *, int); -static void push_macro_expansion (cpp_reader *, - U_CHAR *, int, HASHNODE *); -static struct cpp_pending *nreverse_pending (struct cpp_pending *); - -static void conditional_skip (cpp_reader *, int, - enum node_type, U_CHAR *); -static void skip_if_group (cpp_reader *); -static int parse_name (cpp_reader *, int); -static void print_help (void); - -/* Last arg to output_line_command. */ -enum file_change_code {same_file, enter_file, leave_file}; - -/* External declarations. */ - -extern HOST_WIDE_INT cpp_parse_expr (cpp_reader *); - -extern char *version_string; -extern struct tm *localtime (); - - -/* #include "file" looks in source file dir, then stack. */ -/* #include <file> just looks in the stack. */ -/* -I directories are added to the end, then the defaults are added. */ -/* The */ -static struct default_include { - char *fname; /* The name of the directory. */ - char *component; /* The component containing the directory */ - int cplusplus; /* Only look here if we're compiling C++. */ - int cxx_aware; /* Includes in this directory don't need to - be wrapped in extern "C" when compiling - C++. */ -} include_defaults_array[] -#ifdef INCLUDE_DEFAULTS - = INCLUDE_DEFAULTS; -#else - = { - /* Pick up GNU C++ specific include files. */ - { GPLUSPLUS_INCLUDE_DIR, "G++", 1, 1 }, -#ifdef CROSS_COMPILE - /* This is the dir for fixincludes. Put it just before - the files that we fix. */ - { GCC_INCLUDE_DIR, "GCC", 0, 0 }, - /* For cross-compilation, this dir name is generated - automatically in Makefile.in. */ - { CROSS_INCLUDE_DIR, "GCC",0, 0 }, -#ifdef TOOL_INCLUDE_DIR - /* This is another place that the target system's headers might be. */ - { TOOL_INCLUDE_DIR, "BINUTILS", 0, 1 }, -#endif -#else /* not CROSS_COMPILE */ -#ifdef LOCAL_INCLUDE_DIR - /* This should be /usr/local/include and should come before - the fixincludes-fixed header files. */ - { LOCAL_INCLUDE_DIR, 0, 0, 1 }, -#endif -#ifdef TOOL_INCLUDE_DIR - /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here. - Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */ - { TOOL_INCLUDE_DIR, "BINUTILS", 0, 1 }, -#endif - /* This is the dir for fixincludes. Put it just before - the files that we fix. */ - { GCC_INCLUDE_DIR, "GCC", 0, 0 }, - /* Some systems have an extra dir of include files. */ -#ifdef SYSTEM_INCLUDE_DIR - { SYSTEM_INCLUDE_DIR, 0, 0, 0 }, -#endif -#ifndef STANDARD_INCLUDE_COMPONENT -#define STANDARD_INCLUDE_COMPONENT 0 -#endif - { STANDARD_INCLUDE_DIR, STANDARD_INCLUDE_COMPONENT, 0, 0 }, -#endif /* not CROSS_COMPILE */ - { 0, 0, 0, 0 } - }; -#endif /* no INCLUDE_DEFAULTS */ - -/* `struct directive' defines one #-directive, including how to handle it. */ - -struct directive { - int length; /* Length of name */ - int (*func) /* Function to handle directive */ - (cpp_reader *, struct directive *); - char *name; /* Name of directive */ - enum node_type type; /* Code which describes which directive. */ -}; - -/* These functions are declared to return int instead of void since they - are going to be placed in a table and some old compilers have trouble with - pointers to functions returning void. */ - -static int do_define (cpp_reader *, struct directive *); -static int do_line (cpp_reader *, struct directive *); -static int do_include (cpp_reader *, struct directive *); -static int do_undef (cpp_reader *, struct directive *); -static int do_error (cpp_reader *, struct directive *); -static int do_pragma (cpp_reader *, struct directive *); -static int do_ident (cpp_reader *, struct directive *); -static int do_if (cpp_reader *, struct directive *); -static int do_xifdef (cpp_reader *, struct directive *); -static int do_else (cpp_reader *, struct directive *); -static int do_elif (cpp_reader *, struct directive *); -static int do_endif (cpp_reader *, struct directive *); -static int do_warning (cpp_reader *, struct directive *); - -#define IS_INCLUDE_DIRECTIVE_TYPE(t) \ - ((int) T_INCLUDE <= (int) (t) && (int) (t) <= (int) T_IMPORT) - -/* Here is the actual list of #-directives, most-often-used first. - The initialize_builtins function assumes #define is the very first. */ - -static struct directive directive_table[] = { - { 6, do_define, "define", T_DEFINE }, - { 5, do_xifdef, "ifdef", T_IFDEF }, - { 6, do_xifdef, "ifndef", T_IFNDEF }, - { 7, do_include, "include", T_INCLUDE }, - { 12, do_include, "include_next", T_INCLUDE_NEXT }, - { 6, do_include, "import", T_IMPORT }, - { 5, do_endif, "endif", T_ENDIF }, - { 4, do_else, "else", T_ELSE }, - { 2, do_if, "if", T_IF }, - { 4, do_elif, "elif", T_ELIF }, - { 5, do_undef, "undef", T_UNDEF }, - { 5, do_error, "error", T_ERROR }, - { 7, do_warning, "warning", T_WARNING }, - { 6, do_pragma, "pragma", T_PRAGMA }, - { 4, do_line, "line", T_LINE }, - { 5, do_ident, "ident", T_IDENT }, - { -1, 0, "", T_UNUSED } -}; - -/* table to tell if char can be part of a C identifier. */ -U_CHAR is_idchar[256] = { 0 }; -/* table to tell if char can be first char of a c identifier. */ -U_CHAR is_idstart[256] = { 0 }; -/* table to tell if c is horizontal space. */ -U_CHAR is_hor_space[256] = { 0 }; -/* table to tell if c is horizontal or vertical space. */ -U_CHAR is_space[256] = { 0 }; - -/* Initialize syntactic classifications of characters. */ -static void -initialize_char_syntax() -{ - register int i; - - /* - * Set up is_idchar and is_idstart tables. These should be - * faster than saying (is_alpha (c) || c == '_'), etc. - * Set up these things before calling any routines tthat - * refer to them. - * XXX We should setlocale(LC_CTYPE, "C") here for safety. - */ - for (i = 0; i < 256; i++) - { - is_idchar[i] = ISALNUM(i); - is_idstart[i] = ISALPHA(i); - } - - is_idchar['_'] = 1; - is_idstart['_'] = 1; - - /* These will be reset later if -$ is in effect. */ - is_idchar['$'] = 1; - is_idstart['$'] = 1; - - /* horizontal space table */ - is_hor_space[' '] = 1; - is_hor_space['\t'] = 1; - is_hor_space['\v'] = 1; - is_hor_space['\f'] = 1; - is_hor_space['\r'] = 1; - - is_space[' '] = 1; - is_space['\t'] = 1; - is_space['\v'] = 1; - is_space['\f'] = 1; - is_space['\n'] = 1; - is_space['\r'] = 1; -} - - -/* Place into PFILE a quoted string representing the string SRC. - Caller must reserve enough space in pfile->token_buffer. */ - -static void -quote_string(cpp_reader *pfile, char *src) -{ - U_CHAR c; - - CPP_PUTC_Q(pfile, '\"'); - for (;; ) - switch ((c = *src++)) - { - default: - if (ISPRINT(c)) - CPP_PUTC_Q(pfile, c); - else - { - sprintf((char *)CPP_PWRITTEN(pfile), "\\%03o", c); - CPP_ADJUST_WRITTEN(pfile, 4); - } - break; - - case '\"': - case '\\': - CPP_PUTC_Q(pfile, '\\'); - CPP_PUTC_Q(pfile, c); - break; - - case '\0': - CPP_PUTC_Q(pfile, '\"'); - CPP_NUL_TERMINATE_Q(pfile); - return; - } -} - -/* Re-allocates PFILE->token_buffer so it will hold at least N more chars. */ - -void -cpp_grow_buffer(cpp_reader *pfile, long n) -{ - long old_written = CPP_WRITTEN(pfile); - pfile->token_buffer_size = n + 2 * pfile->token_buffer_size; - pfile->token_buffer = (U_CHAR *) - xrealloc(pfile->token_buffer, pfile->token_buffer_size); - CPP_SET_WRITTEN(pfile, old_written); -} - - -/* - * process a given definition string, for initialization - * If STR is just an identifier, define it with value 1. - * If STR has anything after the identifier, then it should - * be identifier=definition. - */ - -void -cpp_define(cpp_reader *pfile, U_CHAR *str) -{ - U_CHAR *buf, *p; - - buf = str; - p = str; - if (!is_idstart[*p]) - { - cpp_error(pfile, "malformed option `-D %s'", str); - return; - } - while (is_idchar[*++p]) - ; - if (*p == '(') { - while (is_idchar[*++p] || *p == ',' || is_hor_space[*p]) - ; - if (*p++ != ')') - p = (U_CHAR *) str; /* Error */ - } - if (*p == 0) - { - buf = (U_CHAR *) alloca(p - buf + 4); - strcpy((char *)buf, str); - strcat((char *)buf, " 1"); - } - else if (*p != '=') - { - cpp_error(pfile, "malformed option `-D %s'", str); - return; - } - else - { - U_CHAR *q; - /* Copy the entire option so we can modify it. */ - buf = (U_CHAR *) alloca(2 * strlen(str) + 1); - strncpy(buf, str, p - str); - /* Change the = to a space. */ - buf[p - str] = ' '; - /* Scan for any backslash-newline and remove it. */ - p++; - q = &buf[p - str]; - while (*p) - { - if (*p == '\\' && p[1] == '\n') - p += 2; - else - *q++ = *p++; - } - *q = 0; - } - - if (cpp_push_buffer(pfile, buf, strlen(buf)) != NULL) - { - do_define(pfile, NULL); - cpp_pop_buffer(pfile); - } -} - -/* Given a colon-separated list of file names PATH, - add all the names to the search path for include files. */ - -static void -path_include(cpp_reader *pfile, char *path) -{ - char *p; - - p = path; - - if (*p) - while (1) { - char *q = p; - char *name; - - /* Find the end of this name. */ - while (*q != 0 && *q != PATH_SEPARATOR) q++; - if (p == q) { - /* An empty name in the path stands for the current directory. */ - name = (char *) xmalloc(2); - name[0] = '.'; - name[1] = 0; - } else { - /* Otherwise use the directory that is named. */ - name = (char *) xmalloc(q - p + 1); - copy_memory(p, name, q - p); - name[q - p] = 0; - } - - append_include_chain(pfile, - &(CPP_OPTIONS(pfile)->bracket_include), name, 0); - - /* Advance past this name. */ - p = q; - if (*p == 0) - break; - /* Skip the colon. */ - p++; - } -} - -void -cpp_options_init(cpp_options *opts) -{ - zero_memory((char *) opts, sizeof *opts); - opts->in_fname = NULL; - opts->out_fname = NULL; - - opts->dollars_in_ident = 1; - initialize_char_syntax(); - - opts->no_line_commands = 0; - opts->no_trigraphs = 1; - opts->put_out_comments = 0; - opts->print_include_names = 0; - opts->dump_macros = dump_none; - opts->no_output = 0; - opts->remap = 0; - opts->cplusplus = 0; - opts->cplusplus_comments = 1; - - opts->verbose = 0; - opts->objc = 0; - opts->lang_asm = 0; - opts->for_lint = 0; - opts->chill = 0; - opts->pedantic_errors = 0; - opts->inhibit_warnings = 0; - opts->warn_comments = 0; - opts->warn_import = 1; - opts->warnings_are_errors = 0; -} - -enum cpp_token -null_underflow(cpp_reader *pfile ATTRIBUTE_UNUSED) -{ - return CPP_EOF; -} - -int -null_cleanup(cpp_buffer *pbuf ATTRIBUTE_UNUSED, cpp_reader *pfile ATTRIBUTE_UNUSED) -{ - return 0; -} - -int -macro_cleanup(cpp_buffer *pbuf, cpp_reader *pfile ATTRIBUTE_UNUSED) -{ - HASHNODE *macro = (HASHNODE *) pbuf->data; - if (macro->type == T_DISABLED) - macro->type = T_MACRO; - if (macro->type != T_MACRO || pbuf->buf != macro->value.defn->expansion) - free(pbuf->buf); - return 0; -} - -/* Assuming we have read '/'. - If this is the start of a comment (followed by '*' or '/'), - skip to the end of the comment, and return ' '. - Return EOF if we reached the end of file before the end of the comment. - If not the start of a comment, return '/'. */ - -static int -skip_comment(cpp_reader *pfile, long *linep) -{ - int c = 0; - while (PEEKC() == '\\' && PEEKN(1) == '\n') - { - if (linep) - (*linep)++; - FORWARD(2); - } - if (PEEKC() == '*') - { - FORWARD(1); - for (;; ) - { - int prev_c = c; - c = GETC(); - if (c == EOF) - return EOF; - while (c == '\\' && PEEKC() == '\n') - { - if (linep) - (*linep)++; - FORWARD(1), c = GETC(); - } - if (prev_c == '*' && c == '/') - return ' '; - if (c == '\n' && linep) - (*linep)++; - } - } - else if (PEEKC() == '/' && CPP_OPTIONS(pfile)->cplusplus_comments) - { - FORWARD(1); - for (;; ) - { - c = GETC(); - if (c == EOF) - return ' '; /* Allow // to be terminated by EOF. */ - while (c == '\\' && PEEKC() == '\n') - { - FORWARD(1); - c = GETC(); - if (linep) - (*linep)++; - } - if (c == '\n') - { - /* Don't consider final '\n' to be part of comment. */ - FORWARD(-1); - return ' '; - } - } - } - else - return '/'; -} - -/* Skip whitespace \-newline and comments. Does not macro-expand. */ - -void -cpp_skip_hspace(cpp_reader *pfile) -{ - while (1) - { - int c = PEEKC(); - if (c == EOF) - return; /* FIXME */ - if (is_hor_space[c]) - { - if ((c == '\f' || c == '\v') && CPP_PEDANTIC(pfile)) - cpp_pedwarn(pfile, "%s in preprocessing directive", - c == '\f' ? "formfeed" : "vertical tab"); - FORWARD(1); - } - else if (c == '/') - { - FORWARD(1); - c = skip_comment(pfile, NULL); - if (c == '/') - FORWARD(-1); - if (c == EOF || c == '/') - return; - } - else if (c == '\\' && PEEKN(1) == '\n') { - FORWARD(2); - } - else if (c == '@' && CPP_BUFFER(pfile)->has_escapes - && is_hor_space[PEEKN(1)]) - FORWARD(2); - else return; - } -} - -/* Read the rest of the current line. - The line is appended to PFILE's output buffer. */ - -static void -copy_rest_of_line(cpp_reader *pfile) -{ - struct cpp_options *opts = CPP_OPTIONS(pfile); - for (;; ) - { - int c = GETC(); - int nextc; - switch (c) - { - case EOF: - goto end_directive; - case '\\': - if (PEEKC() == '\n') - { - FORWARD(1); - continue; - } - case '\'': - case '\"': - goto scan_directive_token; - break; - case '/': - nextc = PEEKC(); - if (nextc == '*' || (opts->cplusplus_comments && nextc == '/')) - goto scan_directive_token; - break; - case '\f': - case '\v': - if (CPP_PEDANTIC(pfile)) - cpp_pedwarn(pfile, "%s in preprocessing directive", - c == '\f' ? "formfeed" : "vertical tab"); - break; - - case '\n': - FORWARD(-1); - goto end_directive; -scan_directive_token: - FORWARD(-1); - cpp_get_token(pfile); - continue; - } - CPP_PUTC(pfile, c); - } -end_directive:; - CPP_NUL_TERMINATE(pfile); -} - -void -skip_rest_of_line(cpp_reader *pfile) -{ - long old = CPP_WRITTEN(pfile); - copy_rest_of_line(pfile); - CPP_SET_WRITTEN(pfile, old); -} - -/* Handle a possible # directive. - '#' has already been read. */ - -int -handle_directive(cpp_reader *pfile) -{ int c; - register struct directive *kt; - int ident_length; - U_CHAR *ident; - long old_written = CPP_WRITTEN(pfile); - - cpp_skip_hspace(pfile); - - c = PEEKC(); - if (c >= '0' && c <= '9') - { - /* Handle # followed by a line number. */ - if (CPP_PEDANTIC(pfile)) - cpp_pedwarn(pfile, "`#' followed by integer"); - do_line(pfile, NULL); - goto done_a_directive; - } - - /* Now find the directive name. */ - CPP_PUTC(pfile, '#'); - parse_name(pfile, GETC()); - ident = pfile->token_buffer + old_written + 1; - ident_length = CPP_PWRITTEN(pfile) - ident; - if (ident_length == 0 && PEEKC() == '\n') - { - /* A line of just `#' becomes blank. */ - goto done_a_directive; - } - -#if 0 - if (ident_length == 0 || !is_idstart[*ident]) { - U_CHAR *p = ident; - while (is_idchar[*p]) { - if (*p < '0' || *p > '9') - break; - p++; - } - /* Avoid error for `###' and similar cases unless -pedantic. */ - if (p == ident) { - while (*p == '#' || is_hor_space[*p]) p++; - if (*p == '\n') { - if (pedantic && !lang_asm) - cpp_warning(pfile, "invalid preprocessor directive"); - return 0; - } - } - - if (!lang_asm) - cpp_error(pfile, "invalid preprocessor directive name"); - - return 0; - } -#endif - /* - * Decode the keyword and call the appropriate expansion - * routine, after moving the input pointer up to the next line. - */ - for (kt = directive_table;; kt++) { - if (kt->length <= 0) - goto not_a_directive; - if (kt->length == ident_length - && !strncmp(kt->name, ident, ident_length)) - break; - } - - /* We may want to pass through #define, #pragma, and #include. - Other directives may create output, but we don't want the directive - itself out, so we pop it now. For example conditionals may emit - #failed ... #endfailed stuff. */ - - if (!(kt->type == T_DEFINE - || kt->type == T_PRAGMA - || (IS_INCLUDE_DIRECTIVE_TYPE(kt->type) - && CPP_OPTIONS(pfile)->dump_includes))) - CPP_SET_WRITTEN(pfile, old_written); - - (*kt->func)(pfile, kt); - - if (kt->type == T_DEFINE) - { - if (CPP_OPTIONS(pfile)->dump_macros == dump_names) - { - /* Skip "#define". */ - U_CHAR *p = pfile->token_buffer + old_written + 7; - - SKIP_WHITE_SPACE(p); - while (is_idchar[*p]) p++; - pfile->limit = p; - CPP_PUTC(pfile, '\n'); - } - else if (CPP_OPTIONS(pfile)->dump_macros != dump_definitions) - CPP_SET_WRITTEN(pfile, old_written); - } - -done_a_directive: - return 1; - -not_a_directive: - return 0; } - -/* Pass a directive through to the output file. - BUF points to the contents of the directive, as a contiguous string. - m LIMIT points to the first character past the end of the directive. - KEYWORD is the keyword-table entry for the directive. */ - -static void -pass_thru_directive(U_CHAR *buf, U_CHAR *limit, cpp_reader *pfile, struct directive *keyword) -{ - register unsigned keyword_length = keyword->length; - - CPP_RESERVE(pfile, 1 + keyword_length + (limit - buf)); - CPP_PUTC_Q(pfile, '#'); - CPP_PUTS_Q(pfile, keyword->name, keyword_length); - if (limit != buf && buf[0] != ' ') - CPP_PUTC_Q(pfile, ' '); - CPP_PUTS_Q(pfile, buf, limit - buf); -#if 0 - CPP_PUTS_Q(pfile, '\n'); - /* Count the line we have just made in the output, - to get in sync properly. */ - pfile->lineno++; -#endif -} - -/* The arglist structure is built by do_define to tell - collect_definition where the argument names begin. That - is, for a define like "#define f(x,y,z) foo+x-bar*y", the arglist - would contain pointers to the strings x, y, and z. - Collect_definition would then build a DEFINITION node, - with reflist nodes pointing to the places x, y, and z had - appeared. So the arglist is just convenience data passed - between these two routines. It is not kept around after - the current #define has been processed and entered into the - hash table. */ - -struct arglist { - struct arglist *next; - U_CHAR *name; - int length; - int argno; - char rest_args; -}; - -/* Read a replacement list for a macro with parameters. - Build the DEFINITION structure. - Reads characters of text starting at BUF until END. - ARGLIST specifies the formal parameters to look for - in the text of the definition; NARGS is the number of args - in that list, or -1 for a macro name that wants no argument list. - MACRONAME is the macro name itself (so we can avoid recursive expansion) - and NAMELEN is its length in characters. - - Note that comments, backslash-newlines, and leading white space - have already been deleted from the argument. */ - -static DEFINITION * -collect_expansion(cpp_reader *pfile, U_CHAR *buf, U_CHAR *limit, int nargs, struct arglist *arglist) -{ - DEFINITION *defn; - register U_CHAR *p, *lastp, *exp_p; - struct reflist *endpat = NULL; - /* Pointer to first nonspace after last ## seen. */ - U_CHAR *concat = 0; - /* Pointer to first nonspace after last single-# seen. */ - U_CHAR *stringify = 0; - int maxsize; - int expected_delimiter = '\0'; - - /* Scan thru the replacement list, ignoring comments and quoted - strings, picking up on the macro calls. It does a linear search - thru the arg list on every potential symbol. Profiling might say - that something smarter should happen. */ - - if (limit < buf) - abort(); - - /* Find the beginning of the trailing whitespace. */ - p = buf; - while (p < limit && is_space[limit[-1]]) limit--; - - /* Allocate space for the text in the macro definition. - Leading and trailing whitespace chars need 2 bytes each. - Each other input char may or may not need 1 byte, - so this is an upper bound. The extra 5 are for invented - leading and trailing newline-marker and final null. */ - maxsize = (sizeof (DEFINITION) - + (limit - p) + 5); - /* Occurrences of '@' get doubled, so allocate extra space for them. */ - while (p < limit) - if (*p++ == '@') - maxsize++; - defn = (DEFINITION *) xcalloc(1, maxsize); - - defn->nargs = nargs; - exp_p = defn->expansion = (U_CHAR *) defn + sizeof (DEFINITION); - lastp = exp_p; - - p = buf; - - /* Add one initial space escape-marker to prevent accidental - token-pasting (often removed by macroexpand). */ - *exp_p++ = '@'; - *exp_p++ = ' '; - - if (limit - p >= 2 && p[0] == '#' && p[1] == '#') { - cpp_error(pfile, "`##' at start of macro definition"); - p += 2; - } - - /* Process the main body of the definition. */ - while (p < limit) { - int skipped_arg = 0; - register U_CHAR c = *p++; - - *exp_p++ = c; - - if (!CPP_TRADITIONAL(pfile)) { - switch (c) { - case '\'': - case '\"': - if (expected_delimiter != '\0') { - if (c == expected_delimiter) - expected_delimiter = '\0'; - } else - expected_delimiter = c; - break; - - case '\\': - if (p < limit && expected_delimiter) { - /* In a string, backslash goes through - and makes next char ordinary. */ - *exp_p++ = *p++; - } - break; - - case '@': - /* An '@' in a string or character constant stands for itself, - and does not need to be escaped. */ - if (!expected_delimiter) - *exp_p++ = c; - break; - - case '#': - /* # is ordinary inside a string. */ - if (expected_delimiter) - break; - if (p < limit && *p == '#') { - /* ##: concatenate preceding and following tokens. */ - /* Take out the first #, discard preceding whitespace. */ - exp_p--; - while (exp_p > lastp && is_hor_space[exp_p[-1]]) - --exp_p; - /* Skip the second #. */ - p++; - /* Discard following whitespace. */ - SKIP_WHITE_SPACE(p); - concat = p; - if (p == limit) - cpp_error(pfile, "`##' at end of macro definition"); - } else if (nargs >= 0) { - /* Single #: stringify following argument ref. - Don't leave the # in the expansion. */ - exp_p--; - SKIP_WHITE_SPACE(p); - if (p == limit || !is_idstart[*p] - || (*p == 'L' && p + 1 < limit && (p[1] == '\'' || p[1] == '"'))) - cpp_error(pfile, - "`#' operator is not followed by a macro argument name"); - else - stringify = p; - } - break; - } - } else { - /* In -traditional mode, recognize arguments inside strings and - character constants, and ignore special properties of #. - Arguments inside strings are considered "stringified", but no - extra quote marks are supplied. */ - switch (c) { - case '\'': - case '\"': - if (expected_delimiter != '\0') { - if (c == expected_delimiter) - expected_delimiter = '\0'; - } else - expected_delimiter = c; - break; - - case '\\': - /* Backslash quotes delimiters and itself, but not macro args. */ - if (expected_delimiter != 0 && p < limit - && (*p == expected_delimiter || *p == '\\')) { - *exp_p++ = *p++; - continue; - } - break; - - case '/': - if (expected_delimiter != '\0') /* No comments inside strings. */ - break; - if (*p == '*') { - /* If we find a comment that wasn't removed by handle_directive, - this must be -traditional. So replace the comment with - nothing at all. */ - exp_p--; - p += 1; - while (p < limit && !(p[-2] == '*' && p[-1] == '/')) - p++; -#if 0 - /* Mark this as a concatenation-point, as if it had been ##. */ - concat = p; -#endif - } - break; - } - } - - /* Handle the start of a symbol. */ - if (is_idchar[c] && nargs > 0) { - U_CHAR *id_beg = p - 1; - int id_len; - - --exp_p; - while (p != limit && is_idchar[*p]) p++; - id_len = p - id_beg; - - if (is_idstart[c] - && !(id_len == 1 && c == 'L' && (*p == '\'' || *p == '"'))) { - register struct arglist *arg; - - for (arg = arglist; arg != NULL; arg = arg->next) { - struct reflist *tpat; - - if (arg->name[0] == c - && arg->length == id_len - && strncmp(arg->name, id_beg, id_len) == 0) { - if (expected_delimiter && CPP_OPTIONS(pfile)->warn_stringify) { - if (CPP_TRADITIONAL(pfile)) { - cpp_warning(pfile, "macro argument `%.*s' is stringified.", - id_len, arg->name); - } else { - cpp_warning(pfile, - "macro arg `%.*s' would be stringified with -traditional.", - id_len, arg->name); - } - } - /* If ANSI, don't actually substitute inside a string. */ - if (!CPP_TRADITIONAL(pfile) && expected_delimiter) - break; - /* make a pat node for this arg and append it to the end of - the pat list */ - tpat = (struct reflist *) xmalloc(sizeof (struct reflist)); - tpat->next = NULL; - tpat->raw_before = concat == id_beg; - tpat->raw_after = 0; - tpat->rest_args = arg->rest_args; - tpat->stringify = (CPP_TRADITIONAL(pfile) - ? expected_delimiter != '\0' - : stringify == id_beg); - - if (endpat == NULL) - defn->pattern = tpat; - else - endpat->next = tpat; - endpat = tpat; - - tpat->argno = arg->argno; - tpat->nchars = exp_p - lastp; - { - register U_CHAR *p1 = p; - SKIP_WHITE_SPACE(p1); - if (p1 + 2 <= limit && p1[0] == '#' && p1[1] == '#') - tpat->raw_after = 1; - } - lastp = exp_p; /* place to start copying from next time */ - skipped_arg = 1; - break; - } - } - } - - /* If this was not a macro arg, copy it into the expansion. */ - if (!skipped_arg) { - register U_CHAR *lim1 = p; - p = id_beg; - while (p != lim1) - *exp_p++ = *p++; - if (stringify == id_beg) - cpp_error(pfile, - "`#' operator should be followed by a macro argument name"); - } - } - } - - if (!CPP_TRADITIONAL(pfile) && expected_delimiter == 0) - { - /* If ANSI, put in a "@ " marker to prevent token pasting. - But not if "inside a string" (which in ANSI mode - happens only for -D option). */ - *exp_p++ = '@'; - *exp_p++ = ' '; - } - - *exp_p = '\0'; - - defn->length = exp_p - defn->expansion; - - /* Crash now if we overrun the allocated size. */ - if (defn->length + 1 > maxsize) - abort(); - -#if 0 -/* This isn't worth the time it takes. */ -/* give back excess storage */ - defn->expansion = (U_CHAR *) xrealloc(defn->expansion, defn->length + 1); -#endif - - return defn; -} - -/* - * special extension string that can be added to the last macro argument to - * allow it to absorb the "rest" of the arguments when expanded. Ex: - * #define wow(a, b...) process (b, a, b) - * { wow (1, 2, 3); } -> { process (2, 3, 1, 2, 3); } - * { wow (one, two); } -> { process (two, one, two); } - * if this "rest_arg" is used with the concat token '##' and if it is not - * supplied then the token attached to with ## will not be outputted. Ex: - * #define wow (a, b...) process (b ## , a, ## b) - * { wow (1, 2); } -> { process (2, 1, 2); } - * { wow (one); } -> { process (one); { - */ -static char rest_extension[] = "..."; -#define REST_EXTENSION_LENGTH (sizeof (rest_extension) - 1) - -/* Create a DEFINITION node from a #define directive. Arguments are - as for do_define. */ - -static MACRODEF -create_definition(U_CHAR *buf, U_CHAR *limit, cpp_reader *pfile, int predefinition) -{ - U_CHAR *bp; /* temp ptr into input buffer */ - U_CHAR *symname; /* remember where symbol name starts */ - int sym_length; /* and how long it is */ - int rest_args = 0; - long line, col; - char *file = CPP_BUFFER(pfile) ? CPP_BUFFER(pfile)->nominal_fname : ""; - DEFINITION *defn; - int arglengths = 0; /* Accumulate lengths of arg names - plus number of args. */ - MACRODEF mdef; - cpp_buf_line_and_col(CPP_BUFFER(pfile), &line, &col); - - bp = buf; - - while (is_hor_space[*bp]) - bp++; - - symname = bp; /* remember where it starts */ - - sym_length = check_macro_name(pfile, bp, "macro"); - bp += sym_length; - - /* Lossage will occur if identifiers or control keywords are broken - across lines using backslash. This is not the right place to take - care of that. */ - - if (*bp == '(') { - struct arglist *arg_ptrs = NULL; - int argno = 0; - - bp++; /* skip '(' */ - SKIP_WHITE_SPACE(bp); - - /* Loop over macro argument names. */ - while (*bp != ')') { - struct arglist *temp; - - temp = (struct arglist *) alloca(sizeof (struct arglist)); - temp->name = bp; - temp->next = arg_ptrs; - temp->argno = argno++; - temp->rest_args = 0; - arg_ptrs = temp; - - if (rest_args) - cpp_pedwarn(pfile, "another parameter follows `%s'", rest_extension); - - if (!is_idstart[*bp]) - cpp_pedwarn(pfile, "invalid character in macro parameter name"); - - /* Find the end of the arg name. */ - while (is_idchar[*bp]) { - bp++; - /* do we have a "special" rest-args extension here? */ - if ((size_t)(limit - bp) > REST_EXTENSION_LENGTH - && strncmp(rest_extension, bp, REST_EXTENSION_LENGTH) == 0) { - rest_args = 1; - temp->rest_args = 1; - break; - } - } - temp->length = bp - temp->name; - if (rest_args == 1) - bp += REST_EXTENSION_LENGTH; - arglengths += temp->length + 2; - SKIP_WHITE_SPACE(bp); - if (temp->length == 0 || (*bp != ',' && *bp != ')')) { - cpp_error(pfile, "badly punctuated parameter list in `#define'"); - goto nope; - } - if (*bp == ',') { - bp++; - SKIP_WHITE_SPACE(bp); - } - if (bp >= limit) { - cpp_error(pfile, "unterminated parameter list in `#define'"); - goto nope; - } - { - struct arglist *otemp; - - for (otemp = temp->next; otemp != NULL; otemp = otemp->next) - if (temp->length == otemp->length - && strncmp(temp->name, otemp->name, temp->length) == 0) { - U_CHAR *name; - - name = (U_CHAR *) alloca(temp->length + 1); - (void) strncpy(name, temp->name, temp->length); - name[temp->length] = '\0'; - cpp_error(pfile, - "duplicate argument name `%s' in `#define'", name); - goto nope; - } - } - } - - ++bp; /* skip paren */ - SKIP_WHITE_SPACE(bp); - /* now everything from bp before limit is the definition. */ - defn = collect_expansion(pfile, bp, limit, argno, arg_ptrs); - defn->rest_args = rest_args; - - /* Now set defn->args.argnames to the result of concatenating - the argument names in reverse order - with comma-space between them. */ - defn->args.argnames = (U_CHAR *) xmalloc(arglengths + 1); - { - struct arglist *temp; - int i = 0; - for (temp = arg_ptrs; temp; temp = temp->next) { - copy_memory(temp->name, &defn->args.argnames[i], temp->length); - i += temp->length; - if (temp->next != 0) { - defn->args.argnames[i++] = ','; - defn->args.argnames[i++] = ' '; - } - } - defn->args.argnames[i] = 0; - } - } else { - /* Simple expansion or empty definition. */ - - if (bp < limit) - { - if (is_hor_space[*bp]) { - bp++; - SKIP_WHITE_SPACE(bp); - } else { - switch (*bp) { - case '!': case '"': case '#': case '%': case '&': case '\'': - case ')': case '*': case '+': case ',': case '-': case '.': - case '/': case ':': case ';': case '<': case '=': case '>': - case '?': case '[': case '\\': case ']': case '^': case '{': - case '|': case '}': case '~': - cpp_warning(pfile, "missing white space after `#define %.*s'", - sym_length, symname); - break; - - default: - cpp_pedwarn(pfile, "missing white space after `#define %.*s'", - sym_length, symname); - break; - } - } - } - /* now everything from bp before limit is the definition. */ - defn = collect_expansion(pfile, bp, limit, -1, NULL); - defn->args.argnames = (U_CHAR *) ""; - } - - defn->line = line; - defn->file = file; - - /* OP is null if this is a predefinition */ - defn->predefined = predefinition; - mdef.defn = defn; - mdef.symnam = symname; - mdef.symlen = sym_length; - - return mdef; - -nope: - mdef.defn = 0; - return mdef; -} - -/* Check a purported macro name SYMNAME, and yield its length. - USAGE is the kind of name this is intended for. */ - -static int -check_macro_name(cpp_reader *pfile, U_CHAR *symname, char *usage) -{ - U_CHAR *p; - int sym_length; - - for (p = symname; is_idchar[*p]; p++) - ; - sym_length = p - symname; - if (sym_length == 0 - || (sym_length == 1 && *symname == 'L' && (*p == '\'' || *p == '"'))) - cpp_error(pfile, "invalid %s name", usage); - else if (!is_idstart[*symname]) { - U_CHAR *msg; /* what pain... */ - msg = (U_CHAR *) alloca(sym_length + 1); - copy_memory(symname, msg, sym_length); - msg[sym_length] = 0; - cpp_error(pfile, "invalid %s name `%s'", usage, msg); - } else { - if (!strncmp(symname, "defined", 7) && sym_length == 7) - cpp_error(pfile, "invalid %s name `defined'", usage); - } - return sym_length; -} - -/* Return zero if two DEFINITIONs are isomorphic. */ - -static int -compare_defs(cpp_reader *pfile, DEFINITION *d1, DEFINITION *d2) -{ - register struct reflist *a1, *a2; - register U_CHAR *p1 = d1->expansion; - register U_CHAR *p2 = d2->expansion; - int first = 1; - - if (d1->nargs != d2->nargs) - return 1; - if (CPP_PEDANTIC(pfile) - && strcmp((char *)d1->args.argnames, (char *)d2->args.argnames)) - return 1; - for (a1 = d1->pattern, a2 = d2->pattern; a1 && a2; - a1 = a1->next, a2 = a2->next) { - if (!((a1->nchars == a2->nchars && !strncmp(p1, p2, a1->nchars)) - || !comp_def_part(first, p1, a1->nchars, p2, a2->nchars, 0)) - || a1->argno != a2->argno - || a1->stringify != a2->stringify - || a1->raw_before != a2->raw_before - || a1->raw_after != a2->raw_after) - return 1; - first = 0; - p1 += a1->nchars; - p2 += a2->nchars; - } - if (a1 != a2) - return 1; - if (comp_def_part(first, p1, d1->length - (p1 - d1->expansion), - p2, d2->length - (p2 - d2->expansion), 1)) - return 1; - return 0; -} - -/* Return 1 if two parts of two macro definitions are effectively different. - One of the parts starts at BEG1 and has LEN1 chars; - the other has LEN2 chars at BEG2. - Any sequence of whitespace matches any other sequence of whitespace. - FIRST means these parts are the first of a macro definition; - so ignore leading whitespace entirely. - LAST means these parts are the last of a macro definition; - so ignore trailing whitespace entirely. */ - -static int -comp_def_part(int first, U_CHAR *beg1, int len1, U_CHAR *beg2, int len2, int last) -{ - register U_CHAR *end1 = beg1 + len1; - register U_CHAR *end2 = beg2 + len2; - if (first) { - while (beg1 != end1 && is_space[*beg1]) beg1++; - while (beg2 != end2 && is_space[*beg2]) beg2++; - } - if (last) { - while (beg1 != end1 && is_space[end1[-1]]) end1--; - while (beg2 != end2 && is_space[end2[-1]]) end2--; - } - while (beg1 != end1 && beg2 != end2) { - if (is_space[*beg1] && is_space[*beg2]) { - while (beg1 != end1 && is_space[*beg1]) beg1++; - while (beg2 != end2 && is_space[*beg2]) beg2++; - } else if (*beg1 == *beg2) { - beg1++; beg2++; - } else break; - } - return (beg1 != end1) || (beg2 != end2); -} - -/* Process a #define command. - KEYWORD is the keyword-table entry for #define, - or NULL for a "predefined" macro. */ - -static int -do_define(cpp_reader *pfile, struct directive *keyword) -{ - int hashcode; - MACRODEF mdef; - HASHNODE *hp; - int save_put_out_comments; - long here; - U_CHAR *macro, *buf, *end; - - here = CPP_WRITTEN(pfile); - - save_put_out_comments = CPP_OPTIONS(pfile)->put_out_comments; - CPP_OPTIONS(pfile)->put_out_comments = CPP_TRADITIONAL(pfile); - copy_rest_of_line(pfile); - CPP_OPTIONS(pfile)->put_out_comments = save_put_out_comments; - - /* Copy out the line so we can pop the token buffer. */ - buf = pfile->token_buffer + here; - end = CPP_PWRITTEN(pfile); - macro = alloca(end - buf + 1); - copy_memory(buf, macro, end - buf + 1); - end = macro + (end - buf); - - CPP_SET_WRITTEN(pfile, here); - -#if 0 - /* If this is a precompiler run (with -pcp) pass thru #define commands. */ - if (pcp_outfile && keyword) - pass_thru_directive(macro, end, pfile, keyword); -#endif - - mdef = create_definition(macro, end, pfile, keyword == NULL); - if (mdef.defn == 0) - goto nope; - - hashcode = hashf(mdef.symnam, mdef.symlen, HASHSIZE); - - if ((hp = cpp_lookup(pfile, mdef.symnam, mdef.symlen, hashcode)) != NULL) - { - int ok = 0; - /* Redefining a precompiled key is ok. */ - if (hp->type == T_PCSTRING) - ok = 1; - /* Redefining a macro is ok if the definitions are the same. */ - else if (hp->type == T_MACRO) - ok = !compare_defs(pfile, mdef.defn, hp->value.defn); - /* Redefining a constant is ok with -D. */ - else if (hp->type == T_CONST) - ok = !CPP_OPTIONS(pfile)->done_initializing; - /* Print the warning if it's not ok. */ - if (!ok) - { - U_CHAR *msg; /* what pain... */ - - /* If we are passing through #define and #undef directives, do - that for this re-definition now. */ - if (CPP_OPTIONS(pfile)->debug_output && keyword) - pass_thru_directive(macro, end, pfile, keyword); - - msg = (U_CHAR *) alloca(mdef.symlen + 22); - *msg = '`'; - copy_memory(mdef.symnam, msg + 1, mdef.symlen); - strcpy((char *) (msg + mdef.symlen + 1), "' redefined"); - cpp_pedwarn(pfile, msg); - if (hp->type == T_MACRO) - cpp_pedwarn_with_file_and_line(pfile, hp->value.defn->file, hp->value.defn->line, - "this is the location of the previous definition"); - } - /* Replace the old definition. */ - hp->type = T_MACRO; - hp->value.defn = mdef.defn; - } - else - { - /* If we are passing through #define and #undef directives, do - that for this new definition now. */ - if (CPP_OPTIONS(pfile)->debug_output && keyword) - pass_thru_directive(macro, end, pfile, keyword); - install(mdef.symnam, mdef.symlen, T_MACRO, 0, - (char *) mdef.defn, hashcode); - } - - return 0; - -nope: - - return 1; -} - -/* This structure represents one parsed argument in a macro call. - `raw' points to the argument text as written (`raw_length' is its length). - `expanded' points to the argument's macro-expansion - (its length is `expand_length'). - `stringified_length' is the length the argument would have - if stringified. - `use_count' is the number of times this macro arg is substituted - into the macro. If the actual use count exceeds 10, - the value stored is 10. */ - -/* raw and expanded are relative to ARG_BASE */ -#define ARG_BASE ((pfile)->token_buffer) - -struct argdata { - /* Strings relative to pfile->token_buffer */ - long raw, expanded, stringified; - int raw_length, expand_length; - int stringified_length; - char newlines; - char use_count; -}; - -/* Allocate a new cpp_buffer for PFILE, and push it on the input buffer stack. - If BUFFER != NULL, then use the LENGTH characters in BUFFER - as the new input buffer. - Return the new buffer, or NULL on failure. */ - -cpp_buffer * -cpp_push_buffer(cpp_reader *pfile, U_CHAR *buffer, long length) -{ - register cpp_buffer *buf = CPP_BUFFER(pfile); - if (buf == pfile->buffer_stack) - { - cpp_fatal(pfile, "%s: macro or `#include' recursion too deep", - buf->fname); - return NULL; - } - buf--; - zero_memory((char *) buf, sizeof (cpp_buffer)); - CPP_BUFFER(pfile) = buf; - buf->if_stack = pfile->if_stack; - buf->cleanup = null_cleanup; - buf->underflow = null_underflow; - buf->buf = buf->cur = buffer; - buf->alimit = buf->rlimit = buffer + length; - - return buf; -} - -cpp_buffer * -cpp_pop_buffer(cpp_reader *pfile) -{ - cpp_buffer *buf = CPP_BUFFER(pfile); - (*buf->cleanup)(buf, pfile); - return ++CPP_BUFFER(pfile); -} - -/* Scan until CPP_BUFFER (PFILE) is exhausted into PFILE->token_buffer. - Pop the buffer when done. */ - -void -cpp_scan_buffer(cpp_reader *pfile) -{ - cpp_buffer *buffer = CPP_BUFFER(pfile); - for (;; ) - { - enum cpp_token token = cpp_get_token(pfile); - if (token == CPP_EOF) /* Should not happen ... */ - break; - if (token == CPP_POP && CPP_BUFFER(pfile) == buffer) - { - cpp_pop_buffer(pfile); - break; - } - } -} - -/* - * Rescan a string (which may have escape marks) into pfile's buffer. - * Place the result in pfile->token_buffer. - * - * The input is copied before it is scanned, so it is safe to pass - * it something from the token_buffer that will get overwritten - * (because it follows CPP_WRITTEN). This is used by do_include. - */ - -static void -cpp_expand_to_buffer(cpp_reader *pfile, U_CHAR *buf, int length) -{ - register cpp_buffer *ip; -#if 0 - cpp_buffer obuf; -#endif - U_CHAR *limit = buf + length; - U_CHAR *buf1; -#if 0 - int odepth = indepth; -#endif - - if (length < 0) - abort(); - - /* Set up the input on the input stack. */ - - buf1 = (U_CHAR *) alloca(length + 1); - { - register U_CHAR *p1 = buf; - register U_CHAR *p2 = buf1; - - while (p1 != limit) - *p2++ = *p1++; - } - buf1[length] = 0; - - ip = cpp_push_buffer(pfile, buf1, length); - if (ip == NULL) - return; - ip->has_escapes = 1; -#if 0 - ip->lineno = obuf.lineno = 1; -#endif - - /* Scan the input, create the output. */ - cpp_scan_buffer(pfile); - -#if 0 - if (indepth != odepth) - abort(); -#endif - - CPP_NUL_TERMINATE(pfile); -} - - -static void -adjust_position(U_CHAR *buf, U_CHAR *limit, long *linep, long *colp) -{ - while (buf < limit) - { - U_CHAR ch = *buf++; - if (ch == '\n') - (*linep)++, (*colp) = 1; - else - (*colp)++; - } -} - -/* Move line_base forward, updating lineno and colno. */ - -static void -update_position(register cpp_buffer *pbuf) -{ - unsigned char *old_pos = pbuf->buf + pbuf->line_base; - unsigned char *new_pos = pbuf->cur; - register struct parse_marker *mark; - for (mark = pbuf->marks; mark != NULL; mark = mark->next) - { - if (pbuf->buf + mark->position < new_pos) - new_pos = pbuf->buf + mark->position; - } - pbuf->line_base += new_pos - old_pos; - adjust_position(old_pos, new_pos, &pbuf->lineno, &pbuf->colno); -} - -void -cpp_buf_line_and_col(register cpp_buffer *pbuf, long *linep, long *colp) -{ - long dummy; - if (colp == NULL) - colp = &dummy; - if (pbuf) - { - *linep = pbuf->lineno; - *colp = pbuf->colno; - adjust_position(pbuf->buf + pbuf->line_base, pbuf->cur, linep, colp); - } - else - { - *linep = 0; - *colp = 0; - } -} - -/* Return the cpp_buffer that corresponds to a file (not a macro). */ - -cpp_buffer * -cpp_file_buffer(cpp_reader *pfile) -{ - cpp_buffer *ip = CPP_BUFFER(pfile); - - for (; ip != CPP_NULL_BUFFER(pfile); ip = CPP_PREV_BUFFER(ip)) - if (ip->fname != NULL) - return ip; - return NULL; -} - -static long -count_newlines(register U_CHAR *buf, register U_CHAR *limit) -{ - register long count = 0; - while (buf < limit) - { - U_CHAR ch = *buf++; - if (ch == '\n') - count++; - } - return count; -} - -/* - * write out a #line command, for instance, after an #include file. - * If CONDITIONAL is nonzero, we can omit the #line if it would - * appear to be a no-op, and we can output a few newlines instead - * if we want to increase the line number by a small amount. - * FILE_CHANGE says whether we are entering a file, leaving, or neither. - */ - -static void -output_line_command(cpp_reader *pfile, int conditional, enum file_change_code file_change) -{ - long line, col; - cpp_buffer *ip = CPP_BUFFER(pfile); - - if (ip->fname == NULL) - return; - - update_position(ip); - - if (CPP_OPTIONS(pfile)->no_line_commands - || CPP_OPTIONS(pfile)->no_output) - return; - - line = CPP_BUFFER(pfile)->lineno; - col = CPP_BUFFER(pfile)->colno; - adjust_position(CPP_LINE_BASE(ip), ip->cur, &line, &col); - - if (CPP_OPTIONS(pfile)->no_line_commands) - return; - - if (conditional) { - if (line == pfile->lineno) - return; - - /* If the inherited line number is a little too small, - output some newlines instead of a #line command. */ - if (line > pfile->lineno && line < pfile->lineno + 8) { - CPP_RESERVE(pfile, 20); - while (line > pfile->lineno) { - CPP_PUTC_Q(pfile, '\n'); - pfile->lineno++; - } - return; - } - } - -#if 0 - /* Don't output a line number of 0 if we can help it. */ - if (ip->lineno == 0 && ip->bufp - ip->buf < ip->length - && *ip->bufp == '\n') { - ip->lineno++; - ip->bufp++; - } -#endif - - CPP_RESERVE(pfile, 4 * strlen(ip->nominal_fname) + 50); - { -#ifdef OUTPUT_LINE_COMMANDS - static char sharp_line[] = "#line "; -#else - static char sharp_line[] = "# "; -#endif - CPP_PUTS_Q(pfile, sharp_line, sizeof(sharp_line)-1); - } - - sprintf((char *) CPP_PWRITTEN(pfile), "%ld ", line); - CPP_ADJUST_WRITTEN(pfile, strlen(CPP_PWRITTEN(pfile))); - - quote_string(pfile, ip->nominal_fname); - if (file_change != same_file) { - CPP_PUTC_Q(pfile, ' '); - CPP_PUTC_Q(pfile, file_change == enter_file ? '1' : '2'); - } - /* Tell cc1 if following text comes from a system header file. */ - if (ip->system_header_p) { - CPP_PUTC_Q(pfile, ' '); - CPP_PUTC_Q(pfile, '3'); - } -#ifndef NO_IMPLICIT_EXTERN_C - /* Tell cc1plus if following text should be treated as C. */ - if (ip->system_header_p == 2 && CPP_OPTIONS(pfile)->cplusplus) { - CPP_PUTC_Q(pfile, ' '); - CPP_PUTC_Q(pfile, '4'); - } -#endif - CPP_PUTC_Q(pfile, '\n'); - pfile->lineno = line; -} - -/* - * Parse a macro argument and append the info on PFILE's token_buffer. - * REST_ARGS means to absorb the rest of the args. - * Return nonzero to indicate a syntax error. - */ - -static enum cpp_token -macarg(cpp_reader *pfile, int rest_args) -{ - int paren = 0; - enum cpp_token token; - char save_put_out_comments = CPP_OPTIONS(pfile)->put_out_comments; - CPP_OPTIONS(pfile)->put_out_comments = 0; - - /* Try to parse as much of the argument as exists at this - input stack level. */ - pfile->no_macro_expand++; - for (;; ) - { - token = cpp_get_token(pfile); - switch (token) - { - case CPP_EOF: - goto done; - case CPP_POP: - /* If we've hit end of file, it's an error (reported by caller). - Ditto if it's the end of cpp_expand_to_buffer text. - If we've hit end of macro, just continue. */ - if (!CPP_IS_MACRO_BUFFER(CPP_BUFFER(pfile))) - goto done; - break; - case CPP_LPAREN: - paren++; - break; - case CPP_RPAREN: - if (--paren < 0) - goto found; - break; - case CPP_COMMA: - /* if we've returned to lowest level and - we aren't absorbing all args */ - if (paren == 0 && rest_args == 0) - goto found; - break; -found: - /* Remove ',' or ')' from argument buffer. */ - CPP_ADJUST_WRITTEN(pfile, -1); - goto done; - default:; - } - } - -done: - CPP_OPTIONS(pfile)->put_out_comments = save_put_out_comments; - pfile->no_macro_expand--; - - return token; -} - -/* Turn newlines to spaces in the string of length LENGTH at START, - except inside of string constants. - The string is copied into itself with its beginning staying fixed. */ - -static int -change_newlines(U_CHAR *start, int length) -{ - register U_CHAR *ibp; - register U_CHAR *obp; - register U_CHAR *limit; - register int c; - - ibp = start; - limit = start + length; - obp = start; - - while (ibp < limit) { - *obp++ = c = *ibp++; - switch (c) { - - case '\'': - case '\"': - /* Notice and skip strings, so that we don't delete newlines in them. */ - { - int quotec = c; - while (ibp < limit) { - *obp++ = c = *ibp++; - if (c == quotec) - break; - if (c == '\n' && quotec == '\'') - break; - } - } - break; - } - } - - return obp - start; -} - - -static struct tm * -timestamp(cpp_reader *pfile) -{ - if (!pfile->timebuf) { - time_t t = time((time_t *) 0); - pfile->timebuf = localtime(&t); - } - return pfile->timebuf; -} - -static char *monthnames[] = {"Jan", "Feb", "Mar", "Apr", "May", "Jun", - "Jul", "Aug", "Sep", "Oct", "Nov", "Dec",}; - -/* - * expand things like __FILE__. Place the expansion into the output - * buffer *without* rescanning. - */ - -static void -special_symbol(HASHNODE *hp, cpp_reader *pfile) -{ - char *buf; - int len; - int true_indepth; - cpp_buffer *ip = NULL; - struct tm *timebuf; - - int paren = 0; /* For special `defined' keyword */ - -#if 0 - if (pcp_outfile && pcp_inside_if - && hp->type != T_SPEC_DEFINED && hp->type != T_CONST) - cpp_error(pfile, - "Predefined macro `%s' used inside `#if' during precompilation", - hp->name); -#endif - - for (ip = CPP_BUFFER(pfile);; ip = CPP_PREV_BUFFER(ip)) - { - if (ip == CPP_NULL_BUFFER(pfile)) - { - cpp_error(pfile, "cccp error: not in any file?!"); - return; /* the show must go on */ - } - if (ip->fname != NULL) - break; - } - - switch (hp->type) - { - case T_FILE: - case T_BASE_FILE: - { - char *string; - if (hp->type == T_BASE_FILE) - { - while (CPP_PREV_BUFFER(ip) != CPP_NULL_BUFFER(pfile)) - ip = CPP_PREV_BUFFER(ip); - } - string = ip->nominal_fname; - - if (!string) - string = ""; - CPP_RESERVE(pfile, 3 + 4 * strlen(string)); - quote_string(pfile, string); - return; - } - - case T_INCLUDE_LEVEL: - true_indepth = 0; - ip = CPP_BUFFER(pfile); - for (; ip != CPP_NULL_BUFFER(pfile); ip = CPP_PREV_BUFFER(ip)) - if (ip->fname != NULL) - true_indepth++; - - buf = (char *) alloca(8); /* Eight bytes ought to be more than enough */ - sprintf(buf, "%d", true_indepth - 1); - break; - - case T_VERSION: - buf = (char *) alloca(3 + strlen(version_string)); - sprintf(buf, "\"%s\"", version_string); - break; - -#ifndef NO_BUILTIN_SIZE_TYPE - case T_SIZE_TYPE: - buf = SIZE_TYPE; - break; -#endif - -#ifndef NO_BUILTIN_PTRDIFF_TYPE - case T_PTRDIFF_TYPE: - buf = PTRDIFF_TYPE; - break; -#endif - -/* CYGNUS LOCAL vmakarov */ -#ifndef NO_BUILTIN_WCHAR_TYPE -/* END CYGNUS LOCAL */ - case T_WCHAR_TYPE: - buf = CPP_WCHAR_TYPE(pfile); - break; -/* CYGNUS LOCAL vmakarov */ -#endif -/* END CYGNUS LOCAL */ - - case T_REGISTER_PREFIX_TYPE: - buf = REGISTER_PREFIX; - break; - - case T_CONST: - buf = (char *) alloca(4 * sizeof (int)); - sprintf(buf, "%d", hp->value.ival); -#ifdef STDC_0_IN_SYSTEM_HEADERS - if (ip->system_header_p - && hp->length == 8 && memcmp(hp->name, "__STDC__", 8) == 0 - && !cpp_lookup(pfile, (U_CHAR *) "__STRICT_ANSI__", -1, -1)) - strcpy(buf, "0"); -#endif -#if 0 - if (pcp_inside_if && pcp_outfile) - /* Output a precondition for this macro use */ - fprintf(pcp_outfile, "#define %s %d\n", hp->name, hp->value.ival); -#endif - break; - - case T_SPECLINE: - { - long line = ip->lineno; - long col = ip->colno; - adjust_position(CPP_LINE_BASE(ip), ip->cur, &line, &col); - - buf = (char *) alloca(10); - sprintf(buf, "%ld", line); - } - break; - - case T_DATE: - case T_TIME: - buf = (char *) alloca(20); - timebuf = timestamp(pfile); - if (hp->type == T_DATE) - sprintf(buf, "\"%s %2d %4d\"", monthnames[timebuf->tm_mon], - timebuf->tm_mday, timebuf->tm_year + 1900); - else - sprintf(buf, "\"%02d:%02d:%02d\"", timebuf->tm_hour, timebuf->tm_min, - timebuf->tm_sec); - break; - - case T_SPEC_DEFINED: - buf = " 0 "; /* Assume symbol is not defined */ - ip = CPP_BUFFER(pfile); - SKIP_WHITE_SPACE(ip->cur); - if (*ip->cur == '(') - { - paren++; - ip->cur++; /* Skip over the paren */ - SKIP_WHITE_SPACE(ip->cur); - } - - if (!is_idstart[*ip->cur]) - goto oops; - if (ip->cur[0] == 'L' && (ip->cur[1] == '\'' || ip->cur[1] == '"')) - goto oops; - if ((hp = cpp_lookup(pfile, ip->cur, -1, -1))) - { -#if 0 - if (pcp_outfile && pcp_inside_if - && (hp->type == T_CONST - || (hp->type == T_MACRO && hp->value.defn->predefined))) - /* Output a precondition for this macro use. */ - fprintf(pcp_outfile, "#define %s\n", hp->name); -#endif - buf = " 1 "; - } -#if 0 - else - if (pcp_outfile && pcp_inside_if) - { - /* Output a precondition for this macro use */ - U_CHAR *cp = ip->bufp; - fprintf(pcp_outfile, "#undef "); - while (is_idchar[*cp]) /* Ick! */ - fputc(*cp++, pcp_outfile); - putc('\n', pcp_outfile); - } -#endif - while (is_idchar[*ip->cur]) - ++ip->cur; - SKIP_WHITE_SPACE(ip->cur); - if (paren) - { - if (*ip->cur != ')') - goto oops; - ++ip->cur; - } - break; - -oops: - - cpp_error(pfile, "`defined' without an identifier"); - break; - - default: - cpp_error(pfile, "cccp error: invalid special hash type"); /* time for gdb */ - abort(); - } - len = strlen(buf); - CPP_RESERVE(pfile, len + 1); - CPP_PUTS_Q(pfile, buf, len); - CPP_NUL_TERMINATE_Q(pfile); - - return; -} - -/* Write out a #define command for the special named MACRO_NAME - to PFILE's token_buffer. */ - -static void -dump_special_to_buffer(cpp_reader *pfile, char *macro_name) -{ - static char define_directive[] = "#define "; - int macro_name_length = strlen(macro_name); - output_line_command(pfile, 0, same_file); - CPP_RESERVE(pfile, sizeof(define_directive) + macro_name_length); - CPP_PUTS_Q(pfile, define_directive, sizeof(define_directive)-1); - CPP_PUTS_Q(pfile, macro_name, macro_name_length); - CPP_PUTC_Q(pfile, ' '); - cpp_expand_to_buffer(pfile, macro_name, macro_name_length); - CPP_PUTC(pfile, '\n'); -} - -/* Initialize the built-in macros. */ - -static void -initialize_builtins(cpp_reader *pfile) -{ - install((U_CHAR *)"__LINE__", -1, T_SPECLINE, 0, 0, -1); - install((U_CHAR *)"__DATE__", -1, T_DATE, 0, 0, -1); - install((U_CHAR *)"__FILE__", -1, T_FILE, 0, 0, -1); - install((U_CHAR *)"__BASE_FILE__", -1, T_BASE_FILE, 0, 0, -1); - install((U_CHAR *)"__INCLUDE_LEVEL__", -1, T_INCLUDE_LEVEL, 0, 0, -1); - install((U_CHAR *)"__VERSION__", -1, T_VERSION, 0, 0, -1); -#ifndef NO_BUILTIN_SIZE_TYPE - install((U_CHAR *)"__SIZE_TYPE__", -1, T_SIZE_TYPE, 0, 0, -1); -#endif -#ifndef NO_BUILTIN_PTRDIFF_TYPE - install((U_CHAR *)"__PTRDIFF_TYPE__ ", -1, T_PTRDIFF_TYPE, 0, 0, -1); -#endif -/* CYGNUS LOCAL vmakarov */ -#ifndef NO_BUILTIN_WCHAR_TYPE -/* END CYGNUS LOCAL */ - install((U_CHAR *)"__WCHAR_TYPE__", -1, T_WCHAR_TYPE, 0, 0, -1); -/* CYGNUS LOCAL vmakarov */ -#endif -/* END CYGNUS LOCAL */ - install((U_CHAR *)"__REGISTER_PREFIX__", -1, T_REGISTER_PREFIX_TYPE, 0, 0, -1); - install((U_CHAR *)"__TIME__", -1, T_TIME, 0, 0, -1); - if (!CPP_TRADITIONAL(pfile)) - install((U_CHAR *)"__STDC__", -1, T_CONST, STDC_VALUE, 0, -1); - if (CPP_OPTIONS(pfile)->objc) - install((U_CHAR *)"__OBJC__", -1, T_CONST, 1, 0, -1); -/* This is supplied using a -D by the compiler driver - so that it is present only when truly compiling with GNU C. */ -/* install ("__GNUC__", -1, T_CONST, 2, 0, -1); */ - - if (CPP_OPTIONS(pfile)->debug_output) - { - dump_special_to_buffer(pfile, "__BASE_FILE__"); - dump_special_to_buffer(pfile, "__VERSION__"); -#ifndef NO_BUILTIN_SIZE_TYPE - dump_special_to_buffer(pfile, "__SIZE_TYPE__"); -#endif -#ifndef NO_BUILTIN_PTRDIFF_TYPE - dump_special_to_buffer(pfile, "__PTRDIFF_TYPE__"); -#endif -/* CYGNUS LOCAL vmakarov */ -#ifndef NO_BUILTIN_WCHAR_TYPE -/* END CYGNUS LOCAL */ - dump_special_to_buffer(pfile, "__WCHAR_TYPE__"); -/* CYGNUS LOCAL vmakarov */ -#endif -/* END CYGNUS LOCAL */ - dump_special_to_buffer(pfile, "__DATE__"); - dump_special_to_buffer(pfile, "__TIME__"); - if (!CPP_TRADITIONAL(pfile)) - dump_special_to_buffer(pfile, "__STDC__"); - if (CPP_OPTIONS(pfile)->objc) - dump_special_to_buffer(pfile, "__OBJC__"); - } -} - -/* Return 1 iff a token ending in C1 followed directly by a token C2 - could cause mis-tokenization. */ - -static int -unsafe_chars(int c1, int c2) -{ - switch (c1) - { - case '+': case '-': - if (c2 == c1 || c2 == '=') - return 1; - goto letter; - case '.': - case '0': case '1': case '2': case '3': case '4': - case '5': case '6': case '7': case '8': case '9': - case 'e': case 'E': case 'p': case 'P': - if (c2 == '-' || c2 == '+') - return 1; /* could extend a pre-processing number */ - goto letter; - case 'L': - if (c2 == '\'' || c2 == '\"') - return 1; /* Could turn into L"xxx" or L'xxx'. */ - goto letter; -letter: - case '_': - case 'a': case 'b': case 'c': case 'd': case 'f': - case 'g': case 'h': case 'i': case 'j': case 'k': case 'l': - case 'm': case 'n': case 'o': case 'q': case 'r': - case 's': case 't': case 'u': case 'v': case 'w': case 'x': - case 'y': case 'z': - case 'A': case 'B': case 'C': case 'D': case 'F': - case 'G': case 'H': case 'I': case 'J': case 'K': - case 'M': case 'N': case 'O': case 'Q': case 'R': - case 'S': case 'T': case 'U': case 'V': case 'W': case 'X': - case 'Y': case 'Z': - /* We're in the middle of either a name or a pre-processing number. */ - return (is_idchar[c2] || c2 == '.'); - case '<': case '>': case '!': case '%': case '#': case ':': - case '^': case '&': case '|': case '*': case '/': case '=': - return (c2 == c1 || c2 == '='); - } - return 0; -} - -/* Expand a macro call. - HP points to the symbol that is the macro being called. - Put the result of expansion onto the input stack - so that subsequent input by our caller will use it. - - If macro wants arguments, caller has already verified that - an argument list follows; arguments come from the input stack. */ - -static void -macroexpand(cpp_reader *pfile, HASHNODE *hp) -{ - int nargs; - DEFINITION *defn = hp->value.defn; - register U_CHAR *xbuf; - long start_line, start_column; - int xbuf_len; - struct argdata *args; - long old_written = CPP_WRITTEN(pfile); -#if 0 - int start_line = instack[indepth].lineno; -#endif - int rest_args, rest_zero; - register int i; - -#if 0 - CHECK_DEPTH(return; ); -#endif - -#if 0 - /* This macro is being used inside a #if, which means it must be */ - /* recorded as a precondition. */ - if (pcp_inside_if && pcp_outfile && defn->predefined) - dump_single_macro(hp, pcp_outfile); -#endif - - pfile->output_escapes++; - cpp_buf_line_and_col(cpp_file_buffer(pfile), &start_line, &start_column); - - nargs = defn->nargs; - - if (nargs >= 0) - { - enum cpp_token token; - - args = (struct argdata *) alloca((nargs + 1) * sizeof (struct argdata)); - - for (i = 0; i < nargs; i++) - { - args[i].raw = args[i].expanded = 0; - args[i].raw_length = 0; - args[i].expand_length = args[i].stringified_length = -1; - args[i].use_count = 0; - } - - /* Parse all the macro args that are supplied. I counts them. - The first NARGS args are stored in ARGS. - The rest are discarded. If rest_args is set then we assume - macarg absorbed the rest of the args. */ - i = 0; - rest_args = 0; - rest_args = 0; - FORWARD(1); /* Discard the open-parenthesis before the first arg. */ - do - { - if (rest_args) - continue; - if (i < nargs || (nargs == 0 && i == 0)) - { - /* if we are working on last arg which absorbs rest of args... */ - if (i == nargs - 1 && defn->rest_args) - rest_args = 1; - args[i].raw = CPP_WRITTEN(pfile); - token = macarg(pfile, rest_args); - args[i].raw_length = CPP_WRITTEN(pfile) - args[i].raw; - args[i].newlines = 0; /* FIXME */ - } - else - token = macarg(pfile, 0); - if (token == CPP_EOF || token == CPP_POP) - { - cpp_error_with_line(pfile, start_line, start_column, - "unterminated macro call"); - return; - } - i++; - } while (token == CPP_COMMA); - - /* If we got one arg but it was just whitespace, call that 0 args. */ - if (i == 1) - { - register U_CHAR *bp = ARG_BASE + args[0].raw; - register U_CHAR *lim = bp + args[0].raw_length; - /* cpp.texi says for foo ( ) we provide one argument. - However, if foo wants just 0 arguments, treat this as 0. */ - if (nargs == 0) - while (bp != lim && is_space[*bp]) bp++; - if (bp == lim) - i = 0; - } - - /* Don't output an error message if we have already output one for - a parse error above. */ - rest_zero = 0; - if (nargs == 0 && i > 0) - { - cpp_error(pfile, "arguments given to macro `%s'", hp->name); - } - else if (i < nargs) - { - /* traditional C allows foo() if foo wants one argument. */ - if (nargs == 1 && i == 0 && CPP_TRADITIONAL(pfile)) - ; - /* the rest args token is allowed to absorb 0 tokens */ - else if (i == nargs - 1 && defn->rest_args) - rest_zero = 1; - else if (i == 0) - cpp_error(pfile, "macro `%s' used without args", hp->name); - else if (i == 1) - cpp_error(pfile, "macro `%s' used with just one arg", hp->name); - else - cpp_error(pfile, "macro `%s' used with only %d args", - hp->name, i); - } - else if (i > nargs) - { - cpp_error(pfile, - "macro `%s' used with too many (%d) args", hp->name, i); - } - } - - /* If macro wants zero args, we parsed the arglist for checking only. - Read directly from the macro definition. */ - if (nargs <= 0) - { - xbuf = defn->expansion; - xbuf_len = defn->length; - } - else - { - register U_CHAR *exp = defn->expansion; - register int offset; /* offset in expansion, - copied a piece at a time */ - register int totlen; /* total amount of exp buffer filled so far */ - - register struct reflist *ap, *last_ap; - - /* Macro really takes args. Compute the expansion of this call. */ - - /* Compute length in characters of the macro's expansion. - Also count number of times each arg is used. */ - xbuf_len = defn->length; - for (ap = defn->pattern; ap != NULL; ap = ap->next) - { - if (ap->stringify) - { - register struct argdata *arg = &args[ap->argno]; - /* Stringify if it hasn't already been */ - if (arg->stringified_length < 0) - { - int arglen = arg->raw_length; - int escaped = 0; - int in_string = 0; - int c; - /* Initially need_space is -1. Otherwise, 1 means the - previous character was a space, but we suppressed it; - 0 means the previous character was a non-space. */ - int need_space = -1; - i = 0; - arg->stringified = CPP_WRITTEN(pfile); - if (!CPP_TRADITIONAL(pfile)) - CPP_PUTC(pfile, '\"'); /* insert beginning quote */ - for (; i < arglen; i++) - { - c = (ARG_BASE + arg->raw)[i]; - - if (!in_string) - { - /* Internal sequences of whitespace are replaced by - one space except within an string or char token.*/ - if (is_space[c]) - { - if (CPP_WRITTEN(pfile) > (unsigned)arg->stringified - && (CPP_PWRITTEN(pfile))[-1] == '@') - { - /* "@ " escape markers are removed */ - CPP_ADJUST_WRITTEN(pfile, -1); - continue; - } - if (need_space == 0) - need_space = 1; - continue; - } - else if (need_space > 0) - CPP_PUTC(pfile, ' '); - need_space = 0; - } - - if (escaped) - escaped = 0; - else - { - if (c == '\\') - escaped = 1; - if (in_string) - { - if (c == in_string) - in_string = 0; - } - else if (c == '\"' || c == '\'') - in_string = c; - } - - /* Escape these chars */ - if (c == '\"' || (in_string && c == '\\')) - CPP_PUTC(pfile, '\\'); - if (ISPRINT(c)) - CPP_PUTC(pfile, c); - else - { - CPP_RESERVE(pfile, 4); - sprintf((char *)CPP_PWRITTEN(pfile), "\\%03o", - (unsigned int) c); - CPP_ADJUST_WRITTEN(pfile, 4); - } - } - if (!CPP_TRADITIONAL(pfile)) - CPP_PUTC(pfile, '\"'); /* insert ending quote */ - arg->stringified_length - = CPP_WRITTEN(pfile) - arg->stringified; - } - xbuf_len += args[ap->argno].stringified_length; - } - else if (ap->raw_before || ap->raw_after || CPP_TRADITIONAL(pfile)) - /* Add 4 for two newline-space markers to prevent - token concatenation. */ - xbuf_len += args[ap->argno].raw_length + 4; - else - { - /* We have an ordinary (expanded) occurrence of the arg. - So compute its expansion, if we have not already. */ - if (args[ap->argno].expand_length < 0) - { - args[ap->argno].expanded = CPP_WRITTEN(pfile); - cpp_expand_to_buffer(pfile, - ARG_BASE + args[ap->argno].raw, - args[ap->argno].raw_length); - - args[ap->argno].expand_length - = CPP_WRITTEN(pfile) - args[ap->argno].expanded; - } - - /* Add 4 for two newline-space markers to prevent - token concatenation. */ - xbuf_len += args[ap->argno].expand_length + 4; - } - if (args[ap->argno].use_count < 10) - args[ap->argno].use_count++; - } - - xbuf = (U_CHAR *) xmalloc(xbuf_len + 1); - - /* Generate in XBUF the complete expansion - with arguments substituted in. - TOTLEN is the total size generated so far. - OFFSET is the index in the definition - of where we are copying from. */ - offset = totlen = 0; - for (last_ap = NULL, ap = defn->pattern; ap != NULL; - last_ap = ap, ap = ap->next) - { - register struct argdata *arg = &args[ap->argno]; - int count_before = totlen; - - /* Add chars to XBUF. */ - for (i = 0; i < ap->nchars; i++, offset++) - xbuf[totlen++] = exp[offset]; - - /* If followed by an empty rest arg with concatenation, - delete the last run of nonwhite chars. */ - if (rest_zero && totlen > count_before - && ((ap->rest_args && ap->raw_before) - || (last_ap != NULL && last_ap->rest_args - && last_ap->raw_after))) - { - /* Delete final whitespace. */ - while (totlen > count_before && is_space[xbuf[totlen - 1]]) - totlen--; - - /* Delete the nonwhites before them. */ - while (totlen > count_before && !is_space[xbuf[totlen - 1]]) - totlen--; - } - - if (ap->stringify != 0) - { - copy_memory(ARG_BASE + arg->stringified, - xbuf + totlen, arg->stringified_length); - totlen += arg->stringified_length; - } - else if (ap->raw_before || ap->raw_after || CPP_TRADITIONAL(pfile)) - { - U_CHAR *p1 = ARG_BASE + arg->raw; - U_CHAR *l1 = p1 + arg->raw_length; - if (ap->raw_before) - { - while (p1 != l1 && is_space[*p1]) p1++; - while (p1 != l1 && is_idchar[*p1]) - xbuf[totlen++] = *p1++; - } - if (ap->raw_after) - { - /* Arg is concatenated after: delete trailing whitespace, - whitespace markers, and no-reexpansion markers. */ - while (p1 != l1) - { - if (is_space[l1[-1]]) l1--; - else if (l1[-1] == '@') - { - U_CHAR *p2 = l1 - 1; - /* If whitespace is preceded by an odd number - of `@' signs, the last `@' was a whitespace - marker; drop it too. */ - while (p2 != p1 && p2[0] == '@') p2--; - if ((l1 - p2) & 1) - l1--; - break; - } - else if (l1[-1] == '-') - { - U_CHAR *p2 = l1 - 1; - /* If a `-' is preceded by an odd number of - `@' signs then it and the last `@' are - a no-reexpansion marker. */ - while (p2 != p1 && p2[0] == '@') p2--; - if ((l1 - p2) & 1) - l1 -= 2; - else - break; - } - else break; - } - } - - /* Delete any no-reexpansion marker that precedes - an identifier at the beginning of the argument. */ - if (p1[0] == '@' && p1[1] == '-') - p1 += 2; - - copy_memory(p1, xbuf + totlen, l1 - p1); - totlen += l1 - p1; - } - else - { - U_CHAR *expanded = ARG_BASE + arg->expanded; - if (!ap->raw_before && totlen > 0 && arg->expand_length - && !CPP_TRADITIONAL(pfile) - && unsafe_chars(xbuf[totlen-1], expanded[0])) - { - xbuf[totlen++] = '@'; - xbuf[totlen++] = ' '; - } - - copy_memory(expanded, xbuf + totlen, arg->expand_length); - totlen += arg->expand_length; - - if (!ap->raw_after && totlen > 0 && offset < defn->length - && !CPP_TRADITIONAL(pfile) - && unsafe_chars(xbuf[totlen-1], exp[offset])) - { - xbuf[totlen++] = '@'; - xbuf[totlen++] = ' '; - } - - /* If a macro argument with newlines is used multiple times, - then only expand the newlines once. This avoids creating - output lines which don't correspond to any input line, - which confuses gdb and gcov. */ - if (arg->use_count > 1 && arg->newlines > 0) - { - /* Don't bother doing change_newlines for subsequent - uses of arg. */ - arg->use_count = 1; - arg->expand_length - = change_newlines(expanded, arg->expand_length); - } - } - - if (totlen > xbuf_len) - abort(); - } - - /* if there is anything left of the definition - after handling the arg list, copy that in too. */ - - for (i = offset; i < defn->length; i++) - { - /* if we've reached the end of the macro */ - if (exp[i] == ')') - rest_zero = 0; - if (!(rest_zero && last_ap != NULL && last_ap->rest_args - && last_ap->raw_after)) - xbuf[totlen++] = exp[i]; - } - - xbuf[totlen] = 0; - xbuf_len = totlen; - - } - - pfile->output_escapes--; - - /* Now put the expansion on the input stack - so our caller will commence reading from it. */ - push_macro_expansion(pfile, xbuf, xbuf_len, hp); - CPP_BUFFER(pfile)->has_escapes = 1; - - /* Pop the space we've used in the token_buffer for argument expansion. */ - CPP_SET_WRITTEN(pfile, old_written); - - /* Recursive macro use sometimes works traditionally. - #define foo(x,y) bar (x (y,0), y) - foo (foo, baz) */ - - if (!CPP_TRADITIONAL(pfile)) - hp->type = T_DISABLED; -} - -static void -push_macro_expansion(cpp_reader *pfile, register U_CHAR *xbuf, int xbuf_len, HASHNODE *hp) -{ - register cpp_buffer *mbuf = cpp_push_buffer(pfile, xbuf, xbuf_len); - if (mbuf == NULL) - return; - mbuf->cleanup = macro_cleanup; - mbuf->data = hp; - - /* The first chars of the expansion should be a "@ " added by - collect_expansion. This is to prevent accidental token-pasting - between the text preceding the macro invocation, and the macro - expansion text. - - We would like to avoid adding unneeded spaces (for the sake of - tools that use cpp, such as imake). In some common cases we can - tell that it is safe to omit the space. - - The character before the macro invocation cannot have been an - idchar (or else it would have been pasted with the idchars of - the macro name). Therefore, if the first non-space character - of the expansion is an idchar, we do not need the extra space - to prevent token pasting. - - Also, we don't need the extra space if the first char is '(', - or some other (less common) characters. */ - - if (xbuf[0] == '@' && xbuf[1] == ' ' - && (is_idchar[xbuf[2]] || xbuf[2] == '(' || xbuf[2] == '\'' - || xbuf[2] == '\"')) - mbuf->cur += 2; -} - -/* Like cpp_get_token, except that it does not read past end-of-line. - Also, horizontal space is skipped, and macros are popped. */ - -static enum cpp_token -get_directive_token(cpp_reader *pfile) -{ - for (;; ) - { - long old_written = CPP_WRITTEN(pfile); - enum cpp_token token; - cpp_skip_hspace(pfile); - if (PEEKC() == '\n') - return CPP_VSPACE; - token = cpp_get_token(pfile); - switch (token) - { - case CPP_POP: - if (!CPP_IS_MACRO_BUFFER(CPP_BUFFER(pfile))) - return token; - /* ... else fall though ... */ - case CPP_HSPACE: case CPP_COMMENT: - CPP_SET_WRITTEN(pfile, old_written); - break; - default: - return token; - } - } -} - -/* Handle #include and #import. - This function expects to see "fname" or <fname> on the input. - - The input is normally in part of the output_buffer following - CPP_WRITTEN, and will get overwritten by output_line_command. - I.e. in input file specification has been popped by handle_directive. - This is safe. */ - -static int -do_include(cpp_reader *pfile, struct directive *keyword) -{ - int importing = (keyword->type == T_IMPORT); - int skip_dirs = (keyword->type == T_INCLUDE_NEXT); - int angle_brackets = 0; /* 0 for "...", 1 for <...> */ - int before; /* included before? */ - long flen; - char *fbeg, *fend; - cpp_buffer *fp; - - enum cpp_token token; - - /* Chain of dirs to search */ - struct include_hash *ihash; - struct file_name_list *search_start; - - long old_written = CPP_WRITTEN(pfile); - - int fd; - - if (CPP_PEDANTIC(pfile) && !CPP_BUFFER(pfile)->system_header_p) - { - if (importing) - cpp_pedwarn(pfile, "ANSI C does not allow `#import'"); - if (skip_dirs) - cpp_pedwarn(pfile, "ANSI C does not allow `#include_next'"); - } - - if (importing && CPP_OPTIONS(pfile)->warn_import - && !CPP_OPTIONS(pfile)->inhibit_warnings - && !CPP_BUFFER(pfile)->system_header_p && !pfile->import_warning) - { - pfile->import_warning = 1; - cpp_warning(pfile, "`#import' is obsolete, use an #ifdef wrapper in the header file"); - } - - pfile->parsing_include_directive++; - token = get_directive_token(pfile); - pfile->parsing_include_directive--; - - if (token == CPP_STRING) - { - fbeg = pfile->token_buffer + old_written + 1; - fend = CPP_PWRITTEN(pfile) - 1; - *fend = '\0'; - if (fbeg[-1] == '<') - angle_brackets = 1; - } - else - { - cpp_error(pfile, - "`#%s' expects \"FILENAME\" or <FILENAME>", keyword->name); - CPP_SET_WRITTEN(pfile, old_written); - skip_rest_of_line(pfile); - return 0; - } - - token = get_directive_token(pfile); - if (token != CPP_VSPACE) - { - cpp_error(pfile, "junk at end of `#include'"); - skip_rest_of_line(pfile); - } - - CPP_SET_WRITTEN(pfile, old_written); - - flen = fend - fbeg; - - if (flen == 0) - { - cpp_error(pfile, "empty file name in `#%s'", keyword->name); - return 0; - } - - search_start = 0; - - for (fp = CPP_BUFFER(pfile); - fp != CPP_NULL_BUFFER(pfile); - fp = CPP_PREV_BUFFER(fp)) - if (fp->fname != NULL) - break; - - if (fp == CPP_NULL_BUFFER(pfile)) - { - cpp_fatal(pfile, "cpp internal error: fp == NULL_BUFFER in do_include"); - return 1; - } - - /* For #include_next, skip in the search path past the dir in which the - containing file was found. Treat files specified using an absolute path - as if there are no more directories to search. Treat the primary source - file like any other included source, but generate a warning. */ - if (skip_dirs && CPP_PREV_BUFFER(fp) != CPP_NULL_BUFFER(pfile)) - { - if (fp->ihash->foundhere != ABSOLUTE_PATH) - search_start = fp->ihash->foundhere->next; - } - else - { - if (skip_dirs) - cpp_warning(pfile, "#include_next in primary source file"); - - if (angle_brackets) - search_start = CPP_OPTIONS(pfile)->bracket_include; - else - { - if (!CPP_OPTIONS(pfile)->ignore_srcdir) - { - if (fp) - search_start = fp->actual_dir; - } - else - search_start = CPP_OPTIONS(pfile)->quote_include; - } - } - - if (!search_start) - { - cpp_error(pfile, "No include path in which to find %s", fbeg); - return 0; - } - - fd = find_include_file(pfile, fbeg, search_start, &ihash, &before); - - if (fd == -2) - return 0; - - if (fd == -1) - { - if (CPP_OPTIONS(pfile)->print_deps_missing_files - && CPP_PRINT_DEPS(pfile) > (angle_brackets || - (pfile->system_include_depth > 0))) - { - if (!angle_brackets) - deps_output(pfile, fbeg, ' '); - else - { - char *p; - struct file_name_list *ptr; - /* If requested as a system header, assume it belongs in - the first system header directory. */ - if (CPP_OPTIONS(pfile)->bracket_include) - ptr = CPP_OPTIONS(pfile)->bracket_include; - else - ptr = CPP_OPTIONS(pfile)->quote_include; - - p = (char *) alloca(strlen(ptr->name) - + strlen(fbeg) + 2); - if (*ptr->name != '\0') - { - strcpy(p, ptr->name); - strcat(p, "/"); - } - strcat(p, fbeg); - deps_output(pfile, p, ' '); - } - } - /* If -M was specified, and this header file won't be added to - the dependency list, then don't count this as an error, - because we can still produce correct output. Otherwise, we - can't produce correct output, because there may be - dependencies we need inside the missing file, and we don't - know what directory this missing file exists in. */ - else if (CPP_PRINT_DEPS(pfile) - && (CPP_PRINT_DEPS(pfile) - <= (angle_brackets || (pfile->system_include_depth > 0)))) - cpp_warning(pfile, "No include path in which to find %s", fbeg); - else - cpp_error_from_errno(pfile, fbeg); - - return 0; - } - - /* For -M, add the file to the dependencies on its first inclusion. */ - if (!before && (CPP_PRINT_DEPS(pfile) - > (angle_brackets || (pfile->system_include_depth > 0)))) - deps_output(pfile, ihash->name, ' '); - - /* Handle -H option. */ - if (CPP_OPTIONS(pfile)->print_include_names) - { - fp = CPP_BUFFER(pfile); - while ((fp = CPP_PREV_BUFFER(fp)) != CPP_NULL_BUFFER(pfile)) - putc('.', stderr); - fprintf(stderr, " %s\n", ihash->name); - } - - /* Actually process the file */ - - if (importing) - ihash->control_macro = ""; - - if (cpp_push_buffer(pfile, NULL, 0) == NULL) - { - close(fd); - return 0; - } - - if (angle_brackets) - pfile->system_include_depth++; /* Decremented in file_cleanup. */ - - if (finclude(pfile, fd, ihash)) - { - output_line_command(pfile, 0, enter_file); - pfile->only_seen_white = 2; - } - - return 0; -} - - -/* Convert a character string literal into a nul-terminated string. - The input string is [IN ... LIMIT). - The result is placed in RESULT. RESULT can be the same as IN. - The value returned in the end of the string written to RESULT, - or NULL on error. */ - -static U_CHAR * -convert_string(cpp_reader *pfile, register U_CHAR *result, register U_CHAR *in, register U_CHAR *limit, int handle_escapes) -{ - U_CHAR c; - c = *in++; - if (c != '\"') - return NULL; - while (in < limit) - { - U_CHAR c = *in++; - switch (c) - { - case '\0': - return NULL; - case '\"': - limit = in; - break; - case '\\': - if (handle_escapes) - { - char *bpc = (char *) in; - int i = (U_CHAR) cpp_parse_escape(pfile, &bpc, 0x00ff); - in = (U_CHAR *) bpc; - if (i >= 0) - *result++ = (U_CHAR)c; - break; - } - /* else fall through */ - default: - *result++ = c; - } - } - *result = 0; - return result; -} - -/* - * interpret #line command. Remembers previously seen fnames - * in its very own hash table. - */ -#define FNAME_HASHSIZE 37 - -static int -do_line(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - cpp_buffer *ip = CPP_BUFFER(pfile); - int new_lineno; - long old_written = CPP_WRITTEN(pfile); - enum file_change_code file_change = same_file; - enum cpp_token token; - - token = get_directive_token(pfile); - - if (token != CPP_NUMBER - || !ISDIGIT(pfile->token_buffer[old_written])) - { - cpp_error(pfile, "invalid format `#line' command"); - goto bad_line_directive; - } - - /* The Newline at the end of this line remains to be processed. - To put the next line at the specified line number, - we must store a line number now that is one less. */ - new_lineno = atoi((char *)(pfile->token_buffer + old_written)) - 1; - CPP_SET_WRITTEN(pfile, old_written); - - /* NEW_LINENO is one less than the actual line number here. */ - if (CPP_PEDANTIC(pfile) && new_lineno < 0) - cpp_pedwarn(pfile, "line number out of range in `#line' command"); - -#if 0 /* #line 10"foo.c" is supposed to be allowed. */ - if (PEEKC() && !is_space[PEEKC()]) { - cpp_error(pfile, "invalid format `#line' command"); - goto bad_line_directive; - } -#endif - - token = get_directive_token(pfile); - - if (token == CPP_STRING) { - U_CHAR *fname = pfile->token_buffer + old_written; - U_CHAR *end_name; - static HASHNODE *fname_table[FNAME_HASHSIZE]; - HASHNODE *hp, **hash_bucket; - U_CHAR *p; - long num_start; - int fname_length; - - /* Turn the file name, which is a character string literal, - into a null-terminated string. Do this in place. */ - end_name = convert_string(pfile, fname, fname, CPP_PWRITTEN(pfile), 1); - if (end_name == NULL) - { - cpp_error(pfile, "invalid format `#line' command"); - goto bad_line_directive; - } - - fname_length = end_name - fname; - - num_start = CPP_WRITTEN(pfile); - token = get_directive_token(pfile); - if (token != CPP_VSPACE && token != CPP_EOF && token != CPP_POP) { - p = pfile->token_buffer + num_start; - if (CPP_PEDANTIC(pfile)) - cpp_pedwarn(pfile, "garbage at end of `#line' command"); - - if (token != CPP_NUMBER || *p < '0' || *p > '4' || p[1] != '\0') - { - cpp_error(pfile, "invalid format `#line' command"); - goto bad_line_directive; - } - if (*p == '1') - file_change = enter_file; - else if (*p == '2') - file_change = leave_file; - else if (*p == '3') - ip->system_header_p = 1; - else /* if (*p == '4') */ - ip->system_header_p = 2; - - CPP_SET_WRITTEN(pfile, num_start); - token = get_directive_token(pfile); - p = pfile->token_buffer + num_start; - if (token == CPP_NUMBER && p[1] == '\0' && (*p == '3' || *p== '4')) { - ip->system_header_p = *p == '3' ? 1 : 2; - token = get_directive_token(pfile); - } - if (token != CPP_VSPACE) { - cpp_error(pfile, "invalid format `#line' command"); - goto bad_line_directive; - } - } - - hash_bucket = &fname_table[hashf(fname, fname_length, FNAME_HASHSIZE)]; - for (hp = *hash_bucket; hp != NULL; hp = hp->next) - if (hp->length == fname_length - && strncmp(hp->value.cpval, fname, fname_length) == 0) { - ip->nominal_fname = hp->value.cpval; - break; - } - if (hp == 0) { - /* Didn't find it; cons up a new one. */ - hp = (HASHNODE *) xcalloc(1, sizeof (HASHNODE) + fname_length + 1); - hp->next = *hash_bucket; - *hash_bucket = hp; - - hp->length = fname_length; - ip->nominal_fname = hp->value.cpval = ((char *) hp) + sizeof (HASHNODE); - copy_memory(fname, hp->value.cpval, fname_length); - } - } - else if (token != CPP_VSPACE && token != CPP_EOF) { - cpp_error(pfile, "invalid format `#line' command"); - goto bad_line_directive; - } - - ip->lineno = new_lineno; -bad_line_directive: - skip_rest_of_line(pfile); - CPP_SET_WRITTEN(pfile, old_written); - output_line_command(pfile, 0, file_change); - return 0; -} - -/* - * remove the definition of a symbol from the symbol table. - * according to un*x /lib/cpp, it is not an error to undef - * something that has no definitions, so it isn't one here either. - */ - -static int -do_undef(cpp_reader *pfile, struct directive *keyword) -{ - int sym_length; - HASHNODE *hp; - U_CHAR *buf, *name, *limit; - int c; - long here = CPP_WRITTEN(pfile); - enum cpp_token token; - - cpp_skip_hspace(pfile); - c = GETC(); - if (!is_idstart[c]) - { - cpp_error(pfile, "token after #undef is not an identifier"); - skip_rest_of_line(pfile); - return 1; - } - - parse_name(pfile, c); - buf = pfile->token_buffer + here; - limit = CPP_PWRITTEN(pfile); - - /* Copy out the token so we can pop the token buffer. */ - name = alloca(limit - buf + 1); - copy_memory(buf, name, limit - buf); - name[limit - buf] = '\0'; - - token = get_directive_token(pfile); - if (token != CPP_VSPACE && token != CPP_POP) - { - cpp_pedwarn(pfile, "junk on line after #undef"); - skip_rest_of_line(pfile); - } - - CPP_SET_WRITTEN(pfile, here); - -#if 0 - /* If this is a precompiler run (with -pcp) pass thru #undef commands. */ - if (pcp_outfile && keyword) - pass_thru_directive(buf, limit, pfile, keyword); -#endif - - sym_length = check_macro_name(pfile, name, "macro"); - - while ((hp = cpp_lookup(pfile, name, sym_length, -1)) != NULL) - { - /* If we are generating additional info for debugging (with -g) we - need to pass through all effective #undef commands. */ - if (CPP_OPTIONS(pfile)->debug_output && keyword) - pass_thru_directive(name, name+sym_length, pfile, keyword); - if (hp->type != T_MACRO) - cpp_warning(pfile, "undefining `%s'", hp->name); - delete_macro(hp); - } - - return 0; -} - -/* Wrap do_undef for -U processing. */ -static void -cpp_undef(cpp_reader *pfile, U_CHAR *macro) -{ - if (cpp_push_buffer(pfile, macro, strlen(macro))) - { - do_undef(pfile, NULL); - cpp_pop_buffer(pfile); - } -} - - -/* - * Report an error detected by the program we are processing. - * Use the text of the line in the error message. - * (We use error because it prints the filename & line#.) - */ - -static int -do_error(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - long here = CPP_WRITTEN(pfile); - U_CHAR *text; - copy_rest_of_line(pfile); - text = pfile->token_buffer + here; - SKIP_WHITE_SPACE(text); - - cpp_error(pfile, "#error %s", text); - CPP_SET_WRITTEN(pfile, here); - return 0; -} - -/* - * Report a warning detected by the program we are processing. - * Use the text of the line in the warning message, then continue. - */ - -static int -do_warning(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - U_CHAR *text; - long here = CPP_WRITTEN(pfile); - copy_rest_of_line(pfile); - text = pfile->token_buffer + here; - SKIP_WHITE_SPACE(text); - - if (CPP_PEDANTIC(pfile) && !CPP_BUFFER(pfile)->system_header_p) - cpp_pedwarn(pfile, "ANSI C does not allow `#warning'"); - - /* Use `pedwarn' not `warning', because #warning isn't in the C Standard; - if -pedantic-errors is given, #warning should cause an error. */ - cpp_pedwarn(pfile, "#warning %s", text); - CPP_SET_WRITTEN(pfile, here); - return 0; -} - -/* Report program identification. */ - -static int -do_ident(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - /* Allow #ident in system headers, since that's not user's fault. */ - if (CPP_PEDANTIC(pfile) && !CPP_BUFFER(pfile)->system_header_p) - cpp_pedwarn(pfile, "ANSI C does not allow `#ident'"); - - skip_rest_of_line(pfile); /* Correct? Appears to match cccp. */ - - return 0; -} - -/* Just check for some recognized pragmas that need validation here, - and leave the text in the token buffer to be output. */ - -static int -do_pragma(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - long here = CPP_WRITTEN(pfile); - U_CHAR *buf; - - copy_rest_of_line(pfile); - buf = pfile->token_buffer + here; - SKIP_WHITE_SPACE(buf); - - if (!strncmp(buf, "once", 4)) - { - cpp_buffer *ip = NULL; - - /* Allow #pragma once in system headers, since that's not the user's - fault. */ - if (!CPP_BUFFER(pfile)->system_header_p) - cpp_warning(pfile, "`#pragma once' is obsolete"); - - for (ip = CPP_BUFFER(pfile);; ip = CPP_PREV_BUFFER(ip)) - { - if (ip == CPP_NULL_BUFFER(pfile)) - return 0; - if (ip->fname != NULL) - break; - } - - if (CPP_PREV_BUFFER(ip) == CPP_NULL_BUFFER(pfile)) - cpp_warning(pfile, "`#pragma once' outside include file"); - else - ip->ihash->control_macro = ""; /* never repeat */ - } - - if (!strncmp(buf, "implementation", 14)) - { - /* Be quiet about `#pragma implementation' for a file only if it hasn't - been included yet. */ - struct include_hash *ptr; - U_CHAR *p = buf + 14, *fname, *fcopy; - SKIP_WHITE_SPACE(p); - if (*p == '\n' || *p != '\"') - return 0; - - fname = p + 1; - p = (U_CHAR *) strchr(fname, '\"'); - - fcopy = alloca(p - fname + 1); - copy_memory(fname, fcopy, p - fname); - fcopy[p-fname] = '\0'; - - ptr = include_hash(pfile, fcopy, 0); - if (ptr) - cpp_warning(pfile, - "`#pragma implementation' for `%s' appears after file is included", - fcopy); - } - - return 0; -} - - -/* - * handle #if command by - * 1) inserting special `defined' keyword into the hash table - * that gets turned into 0 or 1 by special_symbol (thus, - * if the luser has a symbol called `defined' already, it won't - * work inside the #if command) - * 2) rescan the input into a temporary output buffer - * 3) pass the output buffer to the yacc parser and collect a value - * 4) clean up the mess left from steps 1 and 2. - * 5) call conditional_skip to skip til the next #endif (etc.), - * or not, depending on the value from step 3. - */ - -static int -do_if(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - HOST_WIDE_INT value = eval_if_expression(pfile); - conditional_skip(pfile, value == 0, T_IF, NULL); - return 0; -} - -/* - * handle a #elif directive by not changing if_stack either. - * see the comment above do_else. - */ - -static int -do_elif(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - if (pfile->if_stack == CPP_BUFFER(pfile)->if_stack) { - cpp_error(pfile, "`#elif' not within a conditional"); - return 0; - } else { - if (pfile->if_stack->type != T_IF && pfile->if_stack->type != T_ELIF) { - cpp_error(pfile, "`#elif' after `#else'"); -#if 0 - fprintf(stderr, " (matches line %d", pfile->if_stack->lineno); -#endif - if (pfile->if_stack->fname != NULL && CPP_BUFFER(pfile)->fname != NULL - && strcmp(pfile->if_stack->fname, - CPP_BUFFER(pfile)->nominal_fname) != 0) - fprintf(stderr, ", file %s", pfile->if_stack->fname); - fprintf(stderr, ")\n"); - } - pfile->if_stack->type = T_ELIF; - } - - if (pfile->if_stack->if_succeeded) - skip_if_group(pfile); - else { - HOST_WIDE_INT value = eval_if_expression(pfile); - if (value == 0) - skip_if_group(pfile); - else { - ++pfile->if_stack->if_succeeded; /* continue processing input */ - output_line_command(pfile, 1, same_file); - } - } - return 0; -} - -/* - * evaluate a #if expression in BUF, of length LENGTH, - * then parse the result as a C expression and return the value as an int. - */ - -static HOST_WIDE_INT -eval_if_expression(cpp_reader *pfile) -{ - HASHNODE *save_defined; - HOST_WIDE_INT value; - long old_written = CPP_WRITTEN(pfile); - - save_defined = install((U_CHAR *)"defined", -1, T_SPEC_DEFINED, 0, 0, -1); - pfile->pcp_inside_if = 1; - - value = cpp_parse_expr(pfile); - pfile->pcp_inside_if = 0; - delete_macro(save_defined); /* clean up special symbol */ - - CPP_SET_WRITTEN(pfile, old_written); /* Pop */ - - return value; -} - -/* - * routine to handle ifdef/ifndef. Try to look up the symbol, - * then do or don't skip to the #endif/#else/#elif depending - * on what directive is actually being processed. - */ - -static int -do_xifdef(cpp_reader *pfile, struct directive *keyword) -{ - int skip; - cpp_buffer *ip = CPP_BUFFER(pfile); - U_CHAR *ident; - int ident_length; - enum cpp_token token; - int start_of_file = 0; - U_CHAR *control_macro = 0; - int old_written = CPP_WRITTEN(pfile); - - /* Detect a #ifndef at start of file (not counting comments). */ - if (ip->fname != 0 && keyword->type == T_IFNDEF) - start_of_file = pfile->only_seen_white == 2; - - pfile->no_macro_expand++; - token = get_directive_token(pfile); - pfile->no_macro_expand--; - - ident = pfile->token_buffer + old_written; - ident_length = CPP_WRITTEN(pfile) - old_written; - CPP_SET_WRITTEN(pfile, old_written); /* Pop */ - - if (token == CPP_VSPACE || token == CPP_POP || token == CPP_EOF) - { - skip = (keyword->type == T_IFDEF); - if (!CPP_TRADITIONAL(pfile)) - cpp_pedwarn(pfile, "`#%s' with no argument", keyword->name); - } - else if (token == CPP_NAME) - { - HASHNODE *hp = cpp_lookup(pfile, ident, ident_length, -1); - skip = (hp == NULL) ^ (keyword->type == T_IFNDEF); - if (start_of_file && !skip) - { - control_macro = (U_CHAR *) xmalloc(ident_length + 1); - copy_memory(ident, control_macro, ident_length + 1); - } - } - else - { - skip = (keyword->type == T_IFDEF); - if (!CPP_TRADITIONAL(pfile)) - cpp_error(pfile, "`#%s' with invalid argument", keyword->name); - } - - if (!CPP_TRADITIONAL(pfile)) - { int c; - cpp_skip_hspace(pfile); - c = PEEKC(); - if (c != EOF && c != '\n') - cpp_pedwarn(pfile, "garbage at end of `#%s' argument", keyword->name); } - skip_rest_of_line(pfile); - -#if 0 - if (pcp_outfile) { - /* Output a precondition for this macro. */ - if (hp && hp->value.defn->predefined) - fprintf(pcp_outfile, "#define %s\n", hp->name); - else { - U_CHAR *cp = buf; - fprintf(pcp_outfile, "#undef "); - while (is_idchar[*cp]) /* Ick! */ - fputc(*cp++, pcp_outfile); - putc('\n', pcp_outfile); - } -#endif - - conditional_skip(pfile, skip, T_IF, control_macro); - return 0; -} - -/* Push TYPE on stack; then, if SKIP is nonzero, skip ahead. - If this is a #ifndef starting at the beginning of a file, - CONTROL_MACRO is the macro name tested by the #ifndef. - Otherwise, CONTROL_MACRO is 0. */ - -static void -conditional_skip(cpp_reader *pfile, int skip, enum node_type type, U_CHAR *control_macro) -{ - IF_STACK_FRAME *temp; - - temp = (IF_STACK_FRAME *) xcalloc(1, sizeof (IF_STACK_FRAME)); - temp->fname = CPP_BUFFER(pfile)->nominal_fname; -#if 0 - temp->lineno = CPP_BUFFER(pfile)->lineno; -#endif - temp->next = pfile->if_stack; - temp->control_macro = control_macro; - pfile->if_stack = temp; - - pfile->if_stack->type = type; - - if (skip != 0) { - skip_if_group(pfile); - return; - } else { - ++pfile->if_stack->if_succeeded; - output_line_command(pfile, 1, same_file); - } -} - -/* Subroutine of skip_if_group. Examine one preprocessing directive and - return 0 if skipping should continue, 1 if it should halt. Also - adjusts the if_stack as appropriate. - The `#' has been read, but not the identifier. */ - -static int -consider_directive_while_skipping(cpp_reader *pfile, IF_STACK_FRAME *stack) -{ - long ident_len, ident; - struct directive *kt; - IF_STACK_FRAME *temp; - - cpp_skip_hspace(pfile); - - ident = CPP_WRITTEN(pfile); - parse_name(pfile, GETC()); - ident_len = CPP_WRITTEN(pfile) - ident; - - CPP_SET_WRITTEN(pfile, ident); - - for (kt = directive_table; kt->length >= 0; kt++) - if (kt->length == ident_len - && strncmp(pfile->token_buffer + ident, kt->name, kt->length) == 0) - switch (kt->type) - { - case T_IF: - case T_IFDEF: - case T_IFNDEF: - temp = (IF_STACK_FRAME *) xmalloc(sizeof (IF_STACK_FRAME)); - temp->next = pfile->if_stack; - pfile->if_stack = temp; - temp->fname = CPP_BUFFER(pfile)->nominal_fname; - temp->type = kt->type; - return 0; - - case T_ELSE: - if (CPP_PEDANTIC(pfile) && pfile->if_stack != stack) - validate_else(pfile, "#else"); - /* fall through */ - case T_ELIF: - if (pfile->if_stack->type == T_ELSE) - cpp_error(pfile, "`%s' after `#else'", kt->name); - - if (pfile->if_stack == stack) - return 1; - else - { - pfile->if_stack->type = kt->type; - return 0; - } - - case T_ENDIF: - if (CPP_PEDANTIC(pfile) && pfile->if_stack != stack) - validate_else(pfile, "#endif"); - - if (pfile->if_stack == stack) - return 1; - - temp = pfile->if_stack; - pfile->if_stack = temp->next; - free(temp); - return 0; - - default: - return 0; - } - - /* Don't let erroneous code go by. */ - if (!CPP_OPTIONS(pfile)->lang_asm && CPP_PEDANTIC(pfile)) - cpp_pedwarn(pfile, "invalid preprocessor directive name"); - return 0; -} - -/* skip to #endif, #else, or #elif. adjust line numbers, etc. - * leaves input ptr at the sharp sign found. - */ -static void -skip_if_group(cpp_reader *pfile) -{ - int c; - IF_STACK_FRAME *save_if_stack = pfile->if_stack; /* don't pop past here */ - U_CHAR *beg_of_line; - long old_written; - - if (CPP_OPTIONS(pfile)->output_conditionals) - { - CPP_PUTS(pfile, "#failed\n", 8); - pfile->lineno++; - output_line_command(pfile, 1, same_file); - } - - old_written = CPP_WRITTEN(pfile); - - for (;; ) - { - beg_of_line = CPP_BUFFER(pfile)->cur; - - if (!CPP_TRADITIONAL(pfile)) - cpp_skip_hspace(pfile); - c = GETC(); - if (c == '\n') - { - if (CPP_OPTIONS(pfile)->output_conditionals) - CPP_PUTC(pfile, c); - continue; - } - else if (c == '#') - { - if (consider_directive_while_skipping(pfile, save_if_stack)) - break; - } - else if (c == EOF) - return; /* Caller will issue error. */ - - FORWARD(-1); - if (CPP_OPTIONS(pfile)->output_conditionals) - { - CPP_PUTS(pfile, beg_of_line, CPP_BUFFER(pfile)->cur - beg_of_line); - copy_rest_of_line(pfile); - } - else - { - copy_rest_of_line(pfile); - CPP_SET_WRITTEN(pfile, old_written); /* discard it */ - } - - c = GETC(); - if (c == EOF) - return; /* Caller will issue error. */ - else - { - /* \n */ - if (CPP_OPTIONS(pfile)->output_conditionals) - CPP_PUTC(pfile, c); - } - } - - /* Back up to the beginning of this line. Caller will process the - directive. */ - CPP_BUFFER(pfile)->cur = beg_of_line; - pfile->only_seen_white = 1; - if (CPP_OPTIONS(pfile)->output_conditionals) - { - CPP_PUTS(pfile, "#endfailed\n", 11); - pfile->lineno++; - } -} - -/* - * handle a #else directive. Do this by just continuing processing - * without changing if_stack ; this is so that the error message - * for missing #endif's etc. will point to the original #if. It - * is possible that something different would be better. - */ - -static int -do_else(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - cpp_buffer *ip = CPP_BUFFER(pfile); - - if (CPP_PEDANTIC(pfile)) - validate_else(pfile, "#else"); - skip_rest_of_line(pfile); - - if (pfile->if_stack == CPP_BUFFER(pfile)->if_stack) { - cpp_error(pfile, "`#else' not within a conditional"); - return 0; - } else { - /* #ifndef can't have its special treatment for containing the whole file - if it has a #else clause. */ - pfile->if_stack->control_macro = 0; - - if (pfile->if_stack->type != T_IF && pfile->if_stack->type != T_ELIF) { - cpp_error(pfile, "`#else' after `#else'"); - fprintf(stderr, " (matches line %d", pfile->if_stack->lineno); - if (strcmp(pfile->if_stack->fname, ip->nominal_fname) != 0) - fprintf(stderr, ", file %s", pfile->if_stack->fname); - fprintf(stderr, ")\n"); - } - pfile->if_stack->type = T_ELSE; - } - - if (pfile->if_stack->if_succeeded) - skip_if_group(pfile); - else { - ++pfile->if_stack->if_succeeded; /* continue processing input */ - output_line_command(pfile, 1, same_file); - } - return 0; -} - -/* - * unstack after #endif command - */ - -static int -do_endif(cpp_reader *pfile, struct directive *keyword ATTRIBUTE_UNUSED) -{ - if (CPP_PEDANTIC(pfile)) - validate_else(pfile, "#endif"); - skip_rest_of_line(pfile); - - if (pfile->if_stack == CPP_BUFFER(pfile)->if_stack) - cpp_error(pfile, "unbalanced `#endif'"); - else - { - IF_STACK_FRAME *temp = pfile->if_stack; - pfile->if_stack = temp->next; - if (temp->control_macro != 0) - { - /* This #endif matched a #ifndef at the start of the file. - See if it is at the end of the file. */ - struct parse_marker start_mark; - int c; - - parse_set_mark(&start_mark, pfile); - - for (;; ) - { - cpp_skip_hspace(pfile); - c = GETC(); - if (c != '\n') - break; - } - parse_goto_mark(&start_mark, pfile); - parse_clear_mark(&start_mark); - - if (c == EOF) - { - /* This #endif ends a #ifndef - that contains all of the file (aside from whitespace). - Arrange not to include the file again - if the macro that was tested is defined. */ - struct cpp_buffer *ip; - for (ip = CPP_BUFFER(pfile);; ip = CPP_PREV_BUFFER(ip)) - if (ip->fname != NULL) - break; - ip->ihash->control_macro = temp->control_macro; - } - } - free(temp); - output_line_command(pfile, 1, same_file); - } - return 0; -} - -/* When an #else or #endif is found while skipping failed conditional, - if -pedantic was specified, this is called to warn about text after - the command name. P points to the first char after the command name. */ - -static void -validate_else(cpp_reader *pfile, char *directive) -{ - int c; - cpp_skip_hspace(pfile); - c = PEEKC(); - if (c != EOF && c != '\n') - cpp_pedwarn(pfile, - "text following `%s' violates ANSI standard", directive); -} - -/* Get the next token, and add it to the text in pfile->token_buffer. - Return the kind of token we got. */ - -enum cpp_token -cpp_get_token(cpp_reader *pfile) -{ - register int c, c2, c3; - long old_written; - long start_line, start_column; - enum cpp_token token; - struct cpp_options *opts = CPP_OPTIONS(pfile); - CPP_BUFFER(pfile)->prev = CPP_BUFFER(pfile)->cur; -get_next: - c = GETC(); - if (c == EOF) - { -handle_eof: - if (CPP_BUFFER(pfile)->seen_eof) - { - if (cpp_pop_buffer(pfile) != CPP_NULL_BUFFER(pfile)) - goto get_next; - else - return CPP_EOF; - } - else - { - cpp_buffer *next_buf - = CPP_PREV_BUFFER(CPP_BUFFER(pfile)); - CPP_BUFFER(pfile)->seen_eof = 1; - if (CPP_BUFFER(pfile)->nominal_fname - && next_buf != CPP_NULL_BUFFER(pfile)) - { - /* We're about to return from an #include file. - Emit #line information now (as part of the CPP_POP) result. - But the #line refers to the file we will pop to. */ - cpp_buffer *cur_buffer = CPP_BUFFER(pfile); - CPP_BUFFER(pfile) = next_buf; - pfile->input_stack_listing_current = 0; - output_line_command(pfile, 0, leave_file); - CPP_BUFFER(pfile) = cur_buffer; - } - return CPP_POP; - } - } - else - { - switch (c) - { - long newlines; - struct parse_marker start_mark; - case '/': - if (PEEKC() == '=') - goto op2; - if (opts->put_out_comments) - parse_set_mark(&start_mark, pfile); - newlines = 0; - cpp_buf_line_and_col(cpp_file_buffer(pfile), - &start_line, &start_column); - c = skip_comment(pfile, &newlines); - if (opts->put_out_comments && (c == '/' || c == EOF)) - parse_clear_mark(&start_mark); - if (c == '/') - goto randomchar; - if (c == EOF) - { - cpp_error_with_line(pfile, start_line, start_column, - "unterminated comment"); - goto handle_eof; - } - c = '/'; /* Initial letter of comment. */ -return_comment: - /* Comments are equivalent to spaces. - For -traditional, a comment is equivalent to nothing. */ - if (opts->put_out_comments) - { - cpp_buffer *pbuf = CPP_BUFFER(pfile); - U_CHAR *start = pbuf->buf + start_mark.position; - int len = pbuf->cur - start; - CPP_RESERVE(pfile, 1 + len); - CPP_PUTC_Q(pfile, c); - CPP_PUTS_Q(pfile, start, len); - pfile->lineno += newlines; - parse_clear_mark(&start_mark); - return CPP_COMMENT; - } - else if (CPP_TRADITIONAL(pfile)) - { - return CPP_COMMENT; - } - else - { -#if 0 - /* This may not work if cpp_get_token is called recursively, - since many places look for horizontal space. */ - if (newlines) - { - /* Copy the newlines into the output buffer, in order to - avoid the pain of a #line every time a multiline comment - is seen. */ - CPP_RESERVE(pfile, newlines); - while (--newlines >= 0) - { - CPP_PUTC_Q(pfile, '\n'); - pfile->lineno++; - } - return CPP_VSPACE; - } -#endif - CPP_RESERVE(pfile, 1); - CPP_PUTC_Q(pfile, ' '); - return CPP_HSPACE; - } -#if 0 - if (opts->for_lint) { - U_CHAR *argbp; - int cmdlen, arglen; - char *lintcmd = get_lintcmd(ibp, limit, &argbp, &arglen, &cmdlen); - - if (lintcmd != NULL) { - /* I believe it is always safe to emit this newline: */ - obp[-1] = '\n'; - copy_memory("#pragma lint ", (char *) obp, 13); - obp += 13; - copy_memory(lintcmd, (char *) obp, cmdlen); - obp += cmdlen; - - if (arglen != 0) { - *(obp++) = ' '; - copy_memory(argbp, (char *) obp, arglen); - obp += arglen; - } - - /* OK, now bring us back to the state we were in before we entered - this branch. We need #line because the newline for the pragma - could mess things up. */ - output_line_command(pfile, 0, same_file); - *(obp++) = ' '; /* just in case, if comments are copied thru */ - *(obp++) = '/'; - } - } -#endif - - case '#': -#if 0 - /* If this is expanding a macro definition, don't recognize - preprocessor directives. */ - if (ip->macro != 0) - goto randomchar; - /* If this is expand_into_temp_buffer, recognize them - only after an actual newline at this level, - not at the beginning of the input level. */ - if (ip->fname == 0 && beg_of_line == ip->buf) - goto randomchar; - if (ident_length) - goto specialchar; -#endif - - if (!pfile->only_seen_white) - goto randomchar; - if (handle_directive(pfile)) - return CPP_DIRECTIVE; - pfile->only_seen_white = 0; - return CPP_OTHER; - - case '\"': - case '\'': - /* A single quoted string is treated like a double -- some - programs (e.g., troff) are perverse this way */ - cpp_buf_line_and_col(cpp_file_buffer(pfile), - &start_line, &start_column); - old_written = CPP_WRITTEN(pfile); -string: - CPP_PUTC(pfile, c); - while (1) - { - int cc = GETC(); - if (cc == EOF) - { - if (CPP_IS_MACRO_BUFFER(CPP_BUFFER(pfile))) - { - /* try harder: this string crosses a macro expansion - boundary. This can happen naturally if -traditional. - Otherwise, only -D can make a macro with an unmatched - quote. */ - cpp_buffer *next_buf - = CPP_PREV_BUFFER(CPP_BUFFER(pfile)); - (*CPP_BUFFER(pfile)->cleanup) - (CPP_BUFFER(pfile), pfile); - CPP_BUFFER(pfile) = next_buf; - continue; - } - if (!CPP_TRADITIONAL(pfile)) - { - cpp_error_with_line(pfile, start_line, start_column, - "unterminated string or character constant"); - if (pfile->multiline_string_line != start_line - && pfile->multiline_string_line != 0) - cpp_error_with_line(pfile, - pfile->multiline_string_line, -1, - "possible real start of unterminated constant"); - pfile->multiline_string_line = 0; - } - break; - } - CPP_PUTC(pfile, cc); - switch (cc) - { - case '\n': - /* Traditionally, end of line ends a string constant with - no error. So exit the loop and record the new line. */ - if (CPP_TRADITIONAL(pfile)) - goto while2end; - if (c == '\'') - { - cpp_error_with_line(pfile, start_line, start_column, - "unterminated character constant"); - goto while2end; - } - if (CPP_PEDANTIC(pfile) - && pfile->multiline_string_line == 0) - { - cpp_pedwarn_with_line(pfile, start_line, start_column, - "string constant runs past end of line"); - } - if (pfile->multiline_string_line == 0) - pfile->multiline_string_line = start_line; - break; - - case '\\': - cc = GETC(); - if (cc == '\n') - { - /* Backslash newline is replaced by nothing at all. */ - CPP_ADJUST_WRITTEN(pfile, -1); - pfile->lineno++; - } - else - { - /* ANSI stupidly requires that in \\ the second \ - is *not* prevented from combining with a newline. */ - NEWLINE_FIX1(cc); - if (cc != EOF) - CPP_PUTC(pfile, cc); - } - break; - - case '\"': - case '\'': - if (cc == c) - goto while2end; - break; - } - } -while2end: - pfile->lineno += count_newlines(pfile->token_buffer + old_written, - CPP_PWRITTEN(pfile)); - pfile->only_seen_white = 0; - return c == '\'' ? CPP_CHAR : CPP_STRING; - - case '$': - if (!opts->dollars_in_ident) - goto randomchar; - goto letter; - - case ':': - if (opts->cplusplus && PEEKC() == ':') - goto op2; - goto randomchar; - - case '&': - case '+': - case '|': - NEWLINE_FIX; - c2 = PEEKC(); - if (c2 == c || c2 == '=') - goto op2; - goto randomchar; - - case '*': - case '!': - case '%': - case '=': - case '^': - NEWLINE_FIX; - if (PEEKC() == '=') - goto op2; - goto randomchar; - - case '-': - NEWLINE_FIX; - c2 = PEEKC(); - if (c2 == '-' && opts->chill) - { - /* Chill style comment */ - if (opts->put_out_comments) - parse_set_mark(&start_mark, pfile); - FORWARD(1); /* Skip second '-'. */ - for (;; ) - { - c = GETC(); - if (c == EOF) - break; - if (c == '\n') - { - /* Don't consider final '\n' to be part of comment. */ - FORWARD(-1); - break; - } - } - c = '-'; - goto return_comment; - } - if (c2 == '-' || c2 == '=' || c2 == '>') - goto op2; - goto randomchar; - - case '<': - if (pfile->parsing_include_directive) - { - for (;; ) - { - CPP_PUTC(pfile, c); - if (c == '>') - break; - c = GETC(); - NEWLINE_FIX1(c); - if (c == '\n' || c == EOF) - { - cpp_error(pfile, - "missing '>' in `#include <FILENAME>'"); - break; - } - } - return CPP_STRING; - } - /* else fall through */ - case '>': - NEWLINE_FIX; - c2 = PEEKC(); - if (c2 == '=') - goto op2; - if (c2 != c) - goto randomchar; - FORWARD(1); - CPP_RESERVE(pfile, 4); - CPP_PUTC(pfile, c); - CPP_PUTC(pfile, c2); - NEWLINE_FIX; - c3 = PEEKC(); - if (c3 == '=') - CPP_PUTC_Q(pfile, GETC()); - CPP_NUL_TERMINATE_Q(pfile); - pfile->only_seen_white = 0; - return CPP_OTHER; - - case '@': - if (CPP_BUFFER(pfile)->has_escapes) - { - c = GETC(); - if (c == '-') - { - if (pfile->output_escapes) - CPP_PUTS(pfile, "@-", 2); - parse_name(pfile, GETC()); - return CPP_NAME; - } - else if (is_space [c]) - { - CPP_RESERVE(pfile, 2); - if (pfile->output_escapes) - CPP_PUTC_Q(pfile, '@'); - CPP_PUTC_Q(pfile, c); - return CPP_HSPACE; - } - } - if (pfile->output_escapes) - { - CPP_PUTS(pfile, "@@", 2); - return CPP_OTHER; - } - goto randomchar; - - case '.': - NEWLINE_FIX; - c2 = PEEKC(); - if (ISDIGIT(c2)) - { - CPP_RESERVE(pfile, 2); - CPP_PUTC_Q(pfile, '.'); - c = GETC(); - goto number; - } - /* FIXME - misses the case "..\\\n." */ - if (c2 == '.' && PEEKN(1) == '.') - { - CPP_RESERVE(pfile, 4); - CPP_PUTC_Q(pfile, '.'); - CPP_PUTC_Q(pfile, '.'); - CPP_PUTC_Q(pfile, '.'); - FORWARD(2); - CPP_NUL_TERMINATE_Q(pfile); - pfile->only_seen_white = 0; - return CPP_3DOTS; - } - goto randomchar; - -op2: - token = CPP_OTHER; - pfile->only_seen_white = 0; -op2any: - CPP_RESERVE(pfile, 3); - CPP_PUTC_Q(pfile, c); - CPP_PUTC_Q(pfile, GETC()); - CPP_NUL_TERMINATE_Q(pfile); - return token; - - case 'L': - NEWLINE_FIX; - c2 = PEEKC(); - if ((c2 == '\'' || c2 == '\"') && !CPP_TRADITIONAL(pfile)) - { - CPP_PUTC(pfile, c); - c = GETC(); - goto string; - } - goto letter; - - case '0': case '1': case '2': case '3': case '4': - case '5': case '6': case '7': case '8': case '9': -number: - c2 = '.'; - for (;; ) - { - CPP_RESERVE(pfile, 2); - CPP_PUTC_Q(pfile, c); - NEWLINE_FIX; - c = PEEKC(); - if (c == EOF) - break; - if (!is_idchar[c] && c != '.' - && ((c2 != 'e' && c2 != 'E' - && ((c2 != 'p' && c2 != 'P') || CPP_C89(pfile))) - || (c != '+' && c != '-'))) - break; - FORWARD(1); - c2= c; - } - CPP_NUL_TERMINATE_Q(pfile); - pfile->only_seen_white = 0; - return CPP_NUMBER; - case 'b': case 'c': case 'd': case 'h': case 'o': - case 'B': case 'C': case 'D': case 'H': case 'O': - if (opts->chill && PEEKC() == '\'') - { - pfile->only_seen_white = 0; - CPP_RESERVE(pfile, 2); - CPP_PUTC_Q(pfile, c); - CPP_PUTC_Q(pfile, '\''); - FORWARD(1); - for (;; ) - { - c = GETC(); - if (c == EOF) - goto chill_number_eof; - if (!is_idchar[c]) - { - if (c == '\\' && PEEKC() == '\n') - { - FORWARD(2); - continue; - } - break; - } - CPP_PUTC(pfile, c); - } - if (c == '\'') - { - CPP_RESERVE(pfile, 2); - CPP_PUTC_Q(pfile, c); - CPP_NUL_TERMINATE_Q(pfile); - return CPP_STRING; - } - else - { - FORWARD(-1); -chill_number_eof: - CPP_NUL_TERMINATE(pfile); - return CPP_NUMBER; - } - } - else - goto letter; - case '_': - case 'a': case 'e': case 'f': case 'g': case 'i': case 'j': - case 'k': case 'l': case 'm': case 'n': case 'p': case 'q': - case 'r': case 's': case 't': case 'u': case 'v': case 'w': - case 'x': case 'y': case 'z': - case 'A': case 'E': case 'F': case 'G': case 'I': case 'J': - case 'K': case 'M': case 'N': case 'P': case 'Q': case 'R': - case 'S': case 'T': case 'U': case 'V': case 'W': case 'X': - case 'Y': case 'Z': -letter: - { - HASHNODE *hp; - unsigned char *ident; - int before_name_written = CPP_WRITTEN(pfile); - int ident_len; - parse_name(pfile, c); - pfile->only_seen_white = 0; - if (pfile->no_macro_expand) - return CPP_NAME; - ident = pfile->token_buffer + before_name_written; - ident_len = CPP_PWRITTEN(pfile) - ident; - hp = cpp_lookup(pfile, ident, ident_len, -1); - if (!hp) - return CPP_NAME; - if (hp->type == T_DISABLED) - { - if (pfile->output_escapes) - { /* Return "@-IDENT", followed by '\0'. */ - int i; - CPP_RESERVE(pfile, 3); - ident = pfile->token_buffer + before_name_written; - CPP_ADJUST_WRITTEN(pfile, 2); - for (i = ident_len; i >= 0; i--) ident[i+2] = ident[i]; - ident[0] = '@'; - ident[1] = '-'; - } - return CPP_NAME; - } - - /* If macro wants an arglist, verify that a '(' follows. - first skip all whitespace, copying it to the output - after the macro name. Then, if there is no '(', - decide this is not a macro call and leave things that way. */ - if (hp->type == T_MACRO && hp->value.defn->nargs >= 0) - { - struct parse_marker macro_mark; - int is_macro_call, macbuf_whitespace = 0; - - parse_set_mark(¯o_mark, pfile); - for (;; ) - { - cpp_skip_hspace(pfile); - c = PEEKC(); - is_macro_call = c == '('; - if (c != EOF) - { - if (c != '\n') - break; - FORWARD(1); - } - else - { - if (CPP_IS_MACRO_BUFFER(CPP_BUFFER(pfile))) - { - if (macro_mark.position != - (CPP_BUFFER(pfile)->cur - - CPP_BUFFER(pfile)->buf)) - macbuf_whitespace = 1; - - parse_clear_mark(¯o_mark); - cpp_pop_buffer(pfile); - parse_set_mark(¯o_mark, pfile); - } - else - break; - } - } - if (!is_macro_call) - { - parse_goto_mark(¯o_mark, pfile); - if (macbuf_whitespace) - CPP_PUTC(pfile, ' '); - } - parse_clear_mark(¯o_mark); - if (!is_macro_call) - return CPP_NAME; - } - /* This is now known to be a macro call. */ - - /* it might not actually be a macro. */ - if (hp->type != T_MACRO) { - int xbuf_len; U_CHAR *xbuf; - CPP_SET_WRITTEN(pfile, before_name_written); - special_symbol(hp, pfile); - xbuf_len = CPP_WRITTEN(pfile) - before_name_written; - xbuf = (U_CHAR *) xmalloc(xbuf_len + 1); - CPP_SET_WRITTEN(pfile, before_name_written); - copy_memory(CPP_PWRITTEN(pfile), xbuf, xbuf_len + 1); - push_macro_expansion(pfile, xbuf, xbuf_len, hp); - } - else - { - /* Expand the macro, reading arguments as needed, - and push the expansion on the input stack. */ - macroexpand(pfile, hp); - CPP_SET_WRITTEN(pfile, before_name_written); - } - - /* An extra "@ " is added to the end of a macro expansion - to prevent accidental token pasting. We prefer to avoid - unneeded extra spaces (for the sake of cpp-using tools like - imake). Here we remove the space if it is safe to do so. */ - if (pfile->buffer->rlimit - pfile->buffer->cur >= 3 - && pfile->buffer->rlimit[-2] == '@' - && pfile->buffer->rlimit[-1] == ' ') - { - int c1 = pfile->buffer->rlimit[-3]; - int c2 = CPP_BUF_PEEK(CPP_PREV_BUFFER(CPP_BUFFER(pfile))); - if (c2 == EOF || !unsafe_chars(c1, c2)) - pfile->buffer->rlimit -= 2; - } - } - goto get_next; - - case ' ': case '\t': case '\v': case '\r': - for (;; ) - { - CPP_PUTC(pfile, c); - c = PEEKC(); - if (c == EOF || !is_hor_space[c]) - break; - FORWARD(1); - } - return CPP_HSPACE; - - case '\\': - c2 = PEEKC(); - if (c2 != '\n') - goto randomchar; - token = CPP_HSPACE; - goto op2any; - - case '\n': - CPP_PUTC(pfile, c); - if (pfile->only_seen_white == 0) - pfile->only_seen_white = 1; - pfile->lineno++; - output_line_command(pfile, 1, same_file); - return CPP_VSPACE; - - case '(': token = CPP_LPAREN; goto char1; - case ')': token = CPP_RPAREN; goto char1; - case '{': token = CPP_LBRACE; goto char1; - case '}': token = CPP_RBRACE; goto char1; - case ',': token = CPP_COMMA; goto char1; - case ';': token = CPP_SEMICOLON; goto char1; - -randomchar: - default: - token = CPP_OTHER; -char1: - pfile->only_seen_white = 0; - CPP_PUTC(pfile, c); - return token; - } - } -} - -/* Like cpp_get_token, but skip spaces and comments. */ - -enum cpp_token -cpp_get_non_space_token(cpp_reader *pfile) -{ - int old_written = CPP_WRITTEN(pfile); - for (;; ) - { - enum cpp_token token = cpp_get_token(pfile); - if (token != CPP_COMMENT && token != CPP_POP - && token != CPP_HSPACE && token != CPP_VSPACE) - return token; - CPP_SET_WRITTEN(pfile, old_written); - } -} - -/* Parse an identifier starting with C. */ - -static int -parse_name(cpp_reader *pfile, int c) -{ - for (;; ) - { - if (!is_idchar[c]) - { - if (c == '\\' && PEEKC() == '\n') - { - FORWARD(2); - continue; - } - FORWARD(-1); - break; - } - - if (c == '$' && CPP_PEDANTIC(pfile)) - cpp_pedwarn(pfile, "`$' in identifier"); - - CPP_RESERVE(pfile, 2); /* One more for final NUL. */ - CPP_PUTC_Q(pfile, c); - c = GETC(); - if (c == EOF) - break; - } - CPP_NUL_TERMINATE_Q(pfile); - return 1; -} - -/* This is called after options have been processed. - * Check options for consistency, and setup for processing input - * from the file named FNAME. (Use standard input if FNAME==NULL.) - * Return 1 on success, 0 on failure. - */ - -int -cpp_start_read(cpp_reader *pfile, char *fname) -{ - struct cpp_options *opts = CPP_OPTIONS(pfile); - struct cpp_pending *pend; - char *p; - int f; - cpp_buffer *fp; - struct include_hash *ih_fake; - - /* The code looks at the defaults through this pointer, rather than through - the constant structure above. This pointer gets changed if an environment - variable specifies other defaults. */ - struct default_include *include_defaults = include_defaults_array; - - /* Now that we know dollars_in_ident for real, - reset is_idchar/is_idstart. */ - is_idchar['$'] = opts->dollars_in_ident; - is_idstart['$'] = opts->dollars_in_ident; - - /* Add dirs from CPATH after dirs from -I. */ - /* There seems to be confusion about what CPATH should do, - so for the moment it is not documented. */ - /* Some people say that CPATH should replace the standard include dirs, - but that seems pointless: it comes before them, so it overrides them - anyway. */ - GET_ENV_PATH_LIST(p, "CPATH"); - if (p != 0 && !opts->no_standard_includes) - path_include(pfile, p); - - /* Do partial setup of input buffer for the sake of generating - early #line directives (when -g is in effect). */ - fp = cpp_push_buffer(pfile, NULL, 0); - if (!fp) - return 0; - if (opts->in_fname == NULL || *opts->in_fname == 0) - { - opts->in_fname = fname; - if (opts->in_fname == NULL) - opts->in_fname = ""; - } - fp->nominal_fname = fp->fname = opts->in_fname; - fp->lineno = 0; - - /* Install __LINE__, etc. Must follow initialize_char_syntax - and option processing. */ - initialize_builtins(pfile); - - /* Do standard #defines that identify system and machine type. */ - - if (!opts->inhibit_predefs) - { - char *p = (char *) alloca(strlen(predefs) + 1); - strcpy(p, predefs); - while (*p) - { - char *q; - while (*p == ' ' || *p == '\t') - p++; - /* Handle -D options. */ - if (p[0] == '-' && p[1] == 'D') - { - q = &p[2]; - while (*p && *p != ' ' && *p != '\t') - p++; - if (*p != 0) - *p++= 0; - if (opts->debug_output) - output_line_command(pfile, 0, same_file); - cpp_define(pfile, q); - while (*p == ' ' || *p == '\t') - p++; - } - else - { - abort(); - } - } - } - - /* Now handle the command line options. */ - - /* Do -U's, -D's and -A's in the order they were seen. */ - /* First reverse the list. */ - opts->pending = nreverse_pending(opts->pending); - - for (pend = opts->pending; pend; pend = pend->next) - { - if (pend->cmd != NULL && pend->cmd[0] == '-') - { - switch (pend->cmd[1]) - { - case 'U': - if (opts->debug_output) - output_line_command(pfile, 0, same_file); - cpp_undef(pfile, pend->arg); - break; - case 'D': - if (opts->debug_output) - output_line_command(pfile, 0, same_file); - cpp_define(pfile, pend->arg); - break; - } - } - } - - opts->done_initializing = 1; - - { /* Read the appropriate environment variable and if it exists - replace include_defaults with the listed path. */ - char *epath = 0; - switch ((opts->objc << 1) + opts->cplusplus) - { - case 0: - GET_ENV_PATH_LIST(epath, "C_INCLUDE_PATH"); - break; - case 1: - GET_ENV_PATH_LIST(epath, "CPLUS_INCLUDE_PATH"); - break; - case 2: - GET_ENV_PATH_LIST(epath, "OBJC_INCLUDE_PATH"); - break; - case 3: - GET_ENV_PATH_LIST(epath, "OBJCPLUS_INCLUDE_PATH"); - break; - } - /* If the environment var for this language is set, - add to the default list of include directories. */ - if (epath) { - char *nstore = (char *) alloca(strlen(epath) + 2); - int num_dirs; - char *startp, *endp; - - for (num_dirs = 1, startp = epath; *startp; startp++) - if (*startp == PATH_SEPARATOR) - num_dirs++; - include_defaults - = (struct default_include *) xmalloc((num_dirs - * sizeof (struct default_include)) - + sizeof (include_defaults_array)); - startp = endp = epath; - num_dirs = 0; - while (1) { - /* Handle cases like c:/usr/lib:d:/gcc/lib */ - if ((*endp == PATH_SEPARATOR) - || *endp == 0) { - strncpy(nstore, startp, endp-startp); - if (endp == startp) - strcpy(nstore, "."); - else - nstore[endp-startp] = '\0'; - - include_defaults[num_dirs].fname = xstrdup(nstore); - include_defaults[num_dirs].component = 0; - include_defaults[num_dirs].cplusplus = opts->cplusplus; - include_defaults[num_dirs].cxx_aware = 1; - num_dirs++; - if (*endp == '\0') - break; - endp = startp = endp + 1; - } else - endp++; - } - /* Put the usual defaults back in at the end. */ - copy_memory((char *) include_defaults_array, - (char *) &include_defaults[num_dirs], - sizeof (include_defaults_array)); - } - } - - /* Unless -fnostdinc, - tack on the standard include file dirs to the specified list */ - if (!opts->no_standard_includes) { - struct default_include *p = include_defaults; - char *specd_prefix = opts->include_prefix; - char *default_prefix = xstrdup(GCC_INCLUDE_DIR); - int default_len = 0; - /* Remove the `include' from /usr/local/lib/gcc.../include. */ - if (!strcmp(default_prefix + strlen(default_prefix) - 8, "/include")) { - default_len = strlen(default_prefix) - 7; - default_prefix[default_len] = 0; - } - /* Search "translated" versions of GNU directories. - These have /usr/local/lib/gcc... replaced by specd_prefix. */ - if (specd_prefix != 0 && default_len != 0) - for (p = include_defaults; p->fname; p++) { - /* Some standard dirs are only for C++. */ - if (!p->cplusplus - || (opts->cplusplus && !opts->no_standard_cplusplus_includes)) { - /* Does this dir start with the prefix? */ - if (!strncmp(p->fname, default_prefix, default_len)) { - /* Yes; change prefix and add to search list. */ - int this_len = strlen(specd_prefix) - + strlen(p->fname) - default_len; - char *str = (char *) xmalloc(this_len + 1); - strcpy(str, specd_prefix); - strcat(str, p->fname + default_len); - - append_include_chain(pfile, &opts->system_include, - str, !p->cxx_aware); - } - } - } - /* Search ordinary names for GNU include directories. */ - for (p = include_defaults; p->fname; p++) { - /* Some standard dirs are only for C++. */ - if (!p->cplusplus - || (opts->cplusplus && !opts->no_standard_cplusplus_includes)) { - const char *str = update_path(p->fname, p->component); - append_include_chain(pfile, &opts->system_include, - str, !p->cxx_aware); - } - } - } - - merge_include_chains(opts); - - /* With -v, print the list of dirs to search. */ - if (opts->verbose) { - struct file_name_list *p; - fprintf(stderr, "#include \"...\" search starts here:\n"); - for (p = opts->quote_include; p; p = p->next) { - if (p == opts->bracket_include) - fprintf(stderr, "#include <...> search starts here:\n"); - fprintf(stderr, " %s\n", p->name); - } - fprintf(stderr, "End of search list.\n"); - } - - /* Copy the entire contents of the main input file into - the stacked input buffer previously allocated for it. */ - if (fname == NULL || *fname == 0) { - fname = ""; - f = 0; - } else if ((f = open(fname, O_RDONLY, 0666)) < 0) - cpp_pfatal_with_name(pfile, fname); - - /* -MG doesn't select the form of output and must be specified with one of - -M or -MM. -MG doesn't make sense with -MD or -MMD since they don't - inhibit compilation. */ - if (opts->print_deps_missing_files - && (opts->print_deps == 0 || !opts->no_output)) - { - cpp_fatal(pfile, "-MG must be specified with one of -M or -MM"); - return 0; - } - - /* Either of two environment variables can specify output of deps. - Its value is either "OUTPUT_FILE" or "OUTPUT_FILE DEPS_TARGET", - where OUTPUT_FILE is the file to write deps info to - and DEPS_TARGET is the target to mention in the deps. */ - - if (opts->print_deps == 0 - && (getenv("SUNPRO_DEPENDENCIES") != 0 - || getenv("DEPENDENCIES_OUTPUT") != 0)) { - char *spec = getenv("DEPENDENCIES_OUTPUT"); - char *s; - char *output_file; - - if (spec == 0) - { - spec = getenv("SUNPRO_DEPENDENCIES"); - opts->print_deps = 2; - } - else - opts->print_deps = 1; - - s = spec; - /* Find the space before the DEPS_TARGET, if there is one. */ - /* This should use index. (mrs) */ - while (*s != 0 && *s != ' ') s++; - if (*s != 0) - { - opts->deps_target = s + 1; - output_file = (char *) xmalloc(s - spec + 1); - copy_memory(spec, output_file, s - spec); - output_file[s - spec] = 0; - } - else - { - opts->deps_target = 0; - output_file = spec; - } - - opts->deps_file = output_file; - opts->print_deps_append = 1; - } - - /* For -M, print the expected object file name - as the target of this Make-rule. */ - if (opts->print_deps) - { - pfile->deps_allocated_size = 200; - pfile->deps_buffer = (char *) xmalloc(pfile->deps_allocated_size); - pfile->deps_buffer[0] = 0; - pfile->deps_size = 0; - pfile->deps_column = 0; - - if (opts->deps_target) - deps_output(pfile, opts->deps_target, ':'); - else if (*opts->in_fname == 0) - deps_output(pfile, "-", ':'); - else - { - char *p, *q, *r; - int len, x; - static char *known_suffixes[] = { ".c", ".C", ".s", ".S", ".m", - ".cc", ".cxx", ".cpp", ".cp", - ".c++", 0}; - - /* Discard all directory prefixes from filename. */ - if ((q = strrchr(opts->in_fname, '/')) != NULL -#ifdef DIR_SEPARATOR - && (q = strrchr(opts->in_fname, DIR_SEPARATOR)) != NULL -#endif - ) - ++q; - else - q = opts->in_fname; - - /* Copy remainder to mungable area. */ - p = (char *) alloca(strlen(q) + 8); - strcpy(p, q); - - /* Output P, but remove known suffixes. */ - len = strlen(p); - q = p + len; - /* Point to the filename suffix. */ - r = strrchr(p, '.'); - /* Compare against the known suffixes. */ - x = 0; - while (known_suffixes[x] != 0) - { - if (strncmp(known_suffixes[x], r, q - r) == 0) - { - /* Make q point to the bit we're going to overwrite - with an object suffix. */ - q = r; - break; - } - x++; - } - - /* Supply our own suffix. */ - strcpy(q, ".o"); - - deps_output(pfile, p, ':'); - deps_output(pfile, opts->in_fname, ' '); - } - } - -#if 0 - /* Make sure data ends with a newline. And put a null after it. */ - - if ((fp->length > 0 && fp->buf[fp->length - 1] != '\n') - /* Backslash-newline at end is not good enough. */ - || (fp->length > 1 && fp->buf[fp->length - 2] == '\\')) { - fp->buf[fp->length++] = '\n'; - missing_newline = 1; - } - fp->buf[fp->length] = '\0'; - - /* Unless inhibited, convert trigraphs in the input. */ - - if (!no_trigraphs) - trigraph_pcp(fp); -#endif - - /* Must call finclude() on the main input before processing - -include switches; otherwise the -included text winds up - after the main input. */ - ih_fake = (struct include_hash *) xmalloc(sizeof (struct include_hash)); - ih_fake->next = 0; - ih_fake->next_this_file = 0; - ih_fake->foundhere = ABSOLUTE_PATH; /* well sort of ... */ - ih_fake->name = fname; - ih_fake->control_macro = 0; - ih_fake->buf = (char *)-1; - ih_fake->limit = 0; - if (!finclude(pfile, f, ih_fake)) - return 0; - output_line_command(pfile, 0, same_file); - pfile->only_seen_white = 2; - - /* The -imacros files can be scanned now, but the -include files - have to be pushed onto the include stack and processed later, - in the main loop calling cpp_get_token. That means the -include - files have to be processed in reverse order of the pending list, - which means the pending list has to be reversed again, which - means the -imacros files have to be done separately and first. */ - - pfile->no_record_file++; - opts->no_output++; - for (pend = opts->pending; pend; pend = pend->next) - { - if (pend->cmd != NULL) - { - if (strcmp(pend->cmd, "-imacros") == 0) - { - int fd = open(pend->arg, O_RDONLY, 0666); - if (fd < 0) - { - cpp_perror_with_name(pfile, pend->arg); - return 0; - } - if (!cpp_push_buffer(pfile, NULL, 0)) - return 0; - - ih_fake = (struct include_hash *) - xmalloc(sizeof (struct include_hash)); - ih_fake->next = 0; - ih_fake->next_this_file = 0; - ih_fake->foundhere = ABSOLUTE_PATH; /* well sort of ... */ - ih_fake->name = pend->arg; - ih_fake->control_macro = 0; - ih_fake->buf = (char *)-1; - ih_fake->limit = 0; - if (!finclude(pfile, fd, ih_fake)) - cpp_scan_buffer(pfile); - free(ih_fake); - } - } - } - opts->no_output--; - opts->pending = nreverse_pending(opts->pending); - for (pend = opts->pending; pend; pend = pend->next) - { - if (pend->cmd != NULL) - { - if (strcmp(pend->cmd, "-include") == 0) - { - int fd = open(pend->arg, O_RDONLY, 0666); - if (fd < 0) - { - cpp_perror_with_name(pfile, pend->arg); - return 0; - } - if (!cpp_push_buffer(pfile, NULL, 0)) - return 0; - - ih_fake = (struct include_hash *) - xmalloc(sizeof (struct include_hash)); - ih_fake->next = 0; - ih_fake->next_this_file = 0; - ih_fake->foundhere = ABSOLUTE_PATH; /* well sort of ... */ - ih_fake->name = pend->arg; - ih_fake->control_macro = 0; - ih_fake->buf = (char *)-1; - ih_fake->limit = 0; - if (finclude(pfile, fd, ih_fake)) - output_line_command(pfile, 0, enter_file); - } - } - } - pfile->no_record_file--; - - /* Free the pending list. */ - for (pend = opts->pending; pend; ) - { - struct cpp_pending *next = pend->next; - free(pend); - pend = next; - } - opts->pending = NULL; - - - return 1; -} - -void -cpp_reader_init(cpp_reader *pfile) -{ - zero_memory((char *) pfile, sizeof (cpp_reader)); - pfile->get_token = cpp_get_token; - - pfile->token_buffer_size = 200; - pfile->token_buffer = (U_CHAR *) xmalloc(pfile->token_buffer_size); - CPP_SET_WRITTEN(pfile, 0); - - pfile->timebuf = NULL; - pfile->only_seen_white = 1; - pfile->buffer = CPP_NULL_BUFFER(pfile); - pfile->actual_dirs = NULL; -} - -static struct cpp_pending * -nreverse_pending(struct cpp_pending *list) -{ - register struct cpp_pending *prev = 0, *next, *pend; - for (pend = list; pend; pend = next) - { - next = pend->next; - pend->next = prev; - prev = pend; - } - return prev; -} - -static void -push_pending(cpp_reader *pfile, char *cmd, char *arg) -{ - struct cpp_pending *pend - = (struct cpp_pending *) xmalloc(sizeof (struct cpp_pending)); - pend->cmd = cmd; - pend->arg = arg; - pend->next = CPP_OPTIONS(pfile)->pending; - CPP_OPTIONS(pfile)->pending = pend; -} - - -static void -print_help() -{ - printf("Usage: %s [switches] input output\n", progname); - printf("Switches:\n"); - printf(" -include <file> Include the contents of <file> before other files\n"); - printf(" -imacros <file> Accept definition of marcos in <file>\n"); - printf(" -iprefix <path> Specify <path> as a prefix for next two options\n"); - printf(" -iwithprefix <dir> Add <dir> to the end of the system include paths\n"); - printf(" -iwithprefixbefore <dir> Add <dir> to the end of the main include paths\n"); - printf(" -isystem <dir> Add <dir> to the start of the system include paths\n"); - printf(" -idirafter <dir> Add <dir> to the end of the system include paths\n"); - printf(" -I <dir> Add <dir> to the end of the main include paths\n"); - printf(" -nostdinc Do not search the system include directories\n"); - printf(" -nostdinc++ Do not search the system include directories for C++\n"); - printf(" -o <file> Put output into <file>\n"); - printf(" -pedantic Issue all warnings demanded by strict ANSI C\n"); - printf(" -traditional Follow K&R pre-processor behaviour\n"); - printf(" -trigraphs Support ANSI C trigraphs\n"); - printf(" -lang-c Assume that the input sources are in C\n"); - printf(" -lang-c89 Assume that the input sources are in C89\n"); - printf(" -lang-c++ Assume that the input sources are in C++\n"); - printf(" -lang-objc Assume that the input sources are in ObjectiveC\n"); - printf(" -lang-objc++ Assume that the input sources are in ObjectiveC++\n"); - printf(" -lang-asm Assume that the input sources are in assembler\n"); - printf(" -lang-chill Assume that the input sources are in Chill\n"); - printf(" -+ Allow parsing of C++ style features\n"); - printf(" -w Inhibit warning messages\n"); - printf(" -Wtrigraphs Warn if trigraphs are encountered\n"); - printf(" -Wno-trigraphs Do not warn about trigraphs\n"); - printf(" -Wcomment{s} Warn if one comment starts inside another\n"); - printf(" -Wno-comment{s} Do not warn about comments\n"); - printf(" -Wtraditional Warn if a macro argument is/would be turned into\n"); - printf(" a string if -tradtional is specified\n"); - printf(" -Wno-traditional Do not warn about stringification\n"); - printf(" -Wundef Warn if an undefined macro is used by #if\n"); - printf(" -Wno-undef Do not warn about testing udefined macros\n"); - printf(" -Wimport Warn about the use of the #import directive\n"); - printf(" -Wno-import Do not warn about the use of #import\n"); - printf(" -Werror Treat all warnings as errors\n"); - printf(" -Wno-error Do not treat warnings as errors\n"); - printf(" -Wall Enable all preprocessor warnings\n"); - printf(" -M Generate make dependencies\n"); - printf(" -MM As -M, but ignore system header files\n"); - printf(" -MD As -M, but put output in a .d file\n"); - printf(" -MMD As -MD, but ignore system header files\n"); - printf(" -MG Treat missing header file as generated files\n"); - printf(" -g Include #define and #undef directives in the output\n"); - printf(" -D<macro> Define a <macro> with string '1' as its value\n"); - printf(" -D<macro>=<val> Define a <macro> with <val> as its value\n"); - printf(" -U<macro> Undefine <macro> \n"); - printf(" -u or -undef Do not predefine any macros\n"); - printf(" -v Display the version number\n"); - printf(" -H Print the name of header files as they are used\n"); - printf(" -C Do not discard comments\n"); - printf(" -dM Display a list of macro definitions active at end\n"); - printf(" -dD Preserve macro definitions in output\n"); - printf(" -dN As -dD except that only the names are preserved\n"); - printf(" -dI Include #include directives in the output\n"); - printf(" -ifoutput Describe skipped code blocks in output \n"); - printf(" -P Do not generate #line directives\n"); - printf(" -$ Do not include '$' in identifiers\n"); - printf(" -remap Remap file names when including files.\n"); - printf(" -h or --help Display this information\n"); -} - - -/* Handle one command-line option in (argc, argv). - Can be called multiple times, to handle multiple sets of options. - Returns number of strings consumed. */ -int -cpp_handle_option(cpp_reader *pfile, int argc, char **argv) -{ - struct cpp_options *opts = CPP_OPTIONS(pfile); - int i = 0; - - if (argv[i][0] != '-') { - if (opts->out_fname != NULL) - { - print_help(); - cpp_fatal(pfile, "Too many arguments"); - } - else if (opts->in_fname != NULL) - opts->out_fname = argv[i]; - else - opts->in_fname = argv[i]; - } else { - switch (argv[i][1]) { - -missing_filename: - cpp_fatal(pfile, "Filename missing after `%s' option", argv[i]); - return argc; -missing_dirname: - cpp_fatal(pfile, "Directory name missing after `%s' option", argv[i]); - return argc; - - case 'I': /* Add directory to path for includes. */ - if (!strcmp(argv[i] + 2, "-")) - { - if (!opts->ignore_srcdir) - { - opts->ignore_srcdir = 1; - /* Don't use any preceding -I directories for #include <...>. */ - opts->quote_include = opts->bracket_include; - opts->bracket_include = 0; - } - } - else - { - char *fname; - if (argv[i][2] != 0) - fname = argv[i] + 2; - else if (i + 1 == argc) - goto missing_dirname; - else - fname = argv[++i]; - append_include_chain(pfile, &opts->bracket_include, fname, 0); - } - break; - - case 'i': - /* Add directory to beginning of system include path, as a system - include directory. */ - if (!strcmp(argv[i], "-isystem")) - { - if (i + 1 == argc) - goto missing_filename; - append_include_chain(pfile, &opts->system_include, argv[++i], 1); - } - /* Add directory to end of path for includes, - with the default prefix at the front of its name. */ - else if (!strcmp(argv[i], "-iwithprefix")) - { - char *fname; - if (i + 1 == argc) - goto missing_dirname; - ++i; - - if (opts->include_prefix != 0) - { - fname = xmalloc(strlen(opts->include_prefix) - + strlen(argv[i]) + 1); - strcpy(fname, opts->include_prefix); - strcat(fname, argv[i]); - } - else - { - fname = xmalloc(strlen(GCC_INCLUDE_DIR) - + strlen(argv[i]) + 1); - strcpy(fname, GCC_INCLUDE_DIR); - /* Remove the `include' from /usr/local/lib/gcc.../include. */ - if (!strcmp(fname + strlen(fname) - 8, "/include")) - fname[strlen(fname) - 7] = 0; - strcat(fname, argv[i]); - } - - append_include_chain(pfile, &opts->system_include, fname, 0); - } - /* Add directory to main path for includes, - with the default prefix at the front of its name. */ - else if (!strcmp(argv[i], "-iwithprefix")) - { - char *fname; - if (i + 1 == argc) - goto missing_dirname; - ++i; - - if (opts->include_prefix != 0) - { - fname = xmalloc(strlen(opts->include_prefix) - + strlen(argv[i]) + 1); - strcpy(fname, opts->include_prefix); - strcat(fname, argv[i]); - } - else - { - fname = xmalloc(strlen(GCC_INCLUDE_DIR) - + strlen(argv[i]) + 1); - strcpy(fname, GCC_INCLUDE_DIR); - /* Remove the `include' from /usr/local/lib/gcc.../include. */ - if (!strcmp(fname + strlen(fname) - 8, "/include")) - fname[strlen(fname) - 7] = 0; - strcat(fname, argv[i]); - } - - append_include_chain(pfile, &opts->bracket_include, fname, 0); - } - /* Add directory to end of path for includes. */ - else if (!strcmp(argv[i], "-idirafter")) - { - if (i + 1 == argc) - goto missing_dirname; - append_include_chain(pfile, &opts->after_include, argv[++i], 0); - } - else if (!strcmp(argv[i], "-include") || !strcmp(argv[i], "-imacros")) - { - if (i + 1 == argc) - goto missing_filename; - else - push_pending(pfile, argv[i], argv[i+1]), i++; - } - else if (!strcmp(argv[i], "-iprefix")) - { - if (i + 1 == argc) - goto missing_filename; - else - opts->include_prefix = argv[++i]; - } - else if (!strcmp(argv[i], "-ifoutput")) - opts->output_conditionals = 1; - - break; - - case 'o': - if (opts->out_fname != NULL) - { - cpp_fatal(pfile, "Output filename specified twice"); - return argc; - } - if (i + 1 == argc) - goto missing_filename; - opts->out_fname = argv[++i]; - if (!strcmp(opts->out_fname, "-")) - opts->out_fname = ""; - break; - - case 'p': - if (!strcmp(argv[i], "-pedantic")) - CPP_PEDANTIC(pfile) = 1; - else if (!strcmp(argv[i], "-pedantic-errors")) { - CPP_PEDANTIC(pfile) = 1; - opts->pedantic_errors = 1; - } -#if 0 - else if (!strcmp(argv[i], "-pcp")) { - char *pcp_fname = argv[++i]; - pcp_outfile = ((pcp_fname[0] != '-' || pcp_fname[1] != '\0') - ? fopen(pcp_fname, "w") - : fdopen(dup(fileno(stdout)), "w")); - if (pcp_outfile == 0) - cpp_pfatal_with_name(pfile, pcp_fname); - no_precomp = 1; - } -#endif - break; - - case 't': - if (!strcmp(argv[i], "-traditional")) { - opts->traditional = 1; - opts->cplusplus_comments = 0; - } else if (!strcmp(argv[i], "-trigraphs")) { - if (!opts->chill) - opts->no_trigraphs = 0; - } - break; - - case 'l': - if (!strcmp(argv[i], "-lang-c")) - opts->cplusplus = 0, opts->cplusplus_comments = 1, opts->c89 = 0, - opts->objc = 0; - if (!strcmp(argv[i], "-lang-c89")) - opts->cplusplus = 0, opts->cplusplus_comments = 0, opts->c89 = 1, - opts->objc = 0; - if (!strcmp(argv[i], "-lang-c++")) - opts->cplusplus = 1, opts->cplusplus_comments = 1, opts->c89 = 0, - opts->objc = 0; - if (!strcmp(argv[i], "-lang-objc")) - opts->cplusplus = 0, opts->cplusplus_comments = 1, opts->c89 = 0, - opts->objc = 1; - if (!strcmp(argv[i], "-lang-objc++")) - opts->cplusplus = 1, opts->cplusplus_comments = 1, opts->c89 = 0, - opts->objc = 1; - if (!strcmp(argv[i], "-lang-asm")) - opts->lang_asm = 1; - if (!strcmp(argv[i], "-lint")) - opts->for_lint = 1; - if (!strcmp(argv[i], "-lang-chill")) - opts->objc = 0, opts->cplusplus = 0, opts->chill = 1, - opts->traditional = 1, opts->no_trigraphs = 1, - opts->traditional = 1, opts->cplusplus_comments = 0; - break; - - case '+': - opts->cplusplus = 1, opts->cplusplus_comments = 1; - break; - - case 'w': - opts->inhibit_warnings = 1; - break; - - case 'W': - if (!strcmp(argv[i], "-Wtrigraphs")) - opts->warn_trigraphs = 1; - else if (!strcmp(argv[i], "-Wno-trigraphs")) - opts->warn_trigraphs = 0; - else if (!strcmp(argv[i], "-Wcomment")) - opts->warn_comments = 1; - else if (!strcmp(argv[i], "-Wno-comment")) - opts->warn_comments = 0; - else if (!strcmp(argv[i], "-Wcomments")) - opts->warn_comments = 1; - else if (!strcmp(argv[i], "-Wno-comments")) - opts->warn_comments = 0; - else if (!strcmp(argv[i], "-Wtraditional")) - opts->warn_stringify = 1; - else if (!strcmp(argv[i], "-Wno-traditional")) - opts->warn_stringify = 0; - else if (!strcmp(argv[i], "-Wundef")) - opts->warn_undef = 1; - else if (!strcmp(argv[i], "-Wno-undef")) - opts->warn_undef = 0; - else if (!strcmp(argv[i], "-Wimport")) - opts->warn_import = 1; - else if (!strcmp(argv[i], "-Wno-import")) - opts->warn_import = 0; - else if (!strcmp(argv[i], "-Werror")) - opts->warnings_are_errors = 1; - else if (!strcmp(argv[i], "-Wno-error")) - opts->warnings_are_errors = 0; - else if (!strcmp(argv[i], "-Wall")) - { - opts->warn_trigraphs = 1; - opts->warn_comments = 1; - } - break; - - case 'M': - /* The style of the choices here is a bit mixed. - The chosen scheme is a hybrid of keeping all options in one string - and specifying each option in a separate argument: - -M|-MM|-MD file|-MMD file [-MG]. An alternative is: - -M|-MM|-MD file|-MMD file|-MG|-MMG; or more concisely: - -M[M][G][D file]. This is awkward to handle in specs, and is not - as extensible. */ - /* ??? -MG must be specified in addition to one of -M or -MM. - This can be relaxed in the future without breaking anything. - The converse isn't true. */ - - /* -MG isn't valid with -MD or -MMD. This is checked for later. */ - if (!strcmp(argv[i], "-MG")) - { - opts->print_deps_missing_files = 1; - break; - } - if (!strcmp(argv[i], "-M")) - opts->print_deps = 2; - else if (!strcmp(argv[i], "-MM")) - opts->print_deps = 1; - else if (!strcmp(argv[i], "-MD")) - opts->print_deps = 2; - else if (!strcmp(argv[i], "-MMD")) - opts->print_deps = 1; - /* For -MD and -MMD options, write deps on file named by next arg. */ - if (!strcmp(argv[i], "-MD") || !strcmp(argv[i], "-MMD")) - { - if (i+1 == argc) - goto missing_filename; - opts->deps_file = argv[++i]; - } - else - { - /* For -M and -MM, write deps on standard output - and suppress the usual output. */ - opts->no_output = 1; - } - break; - - case 'd': - { - char *p = argv[i] + 2; - char c; - while ((c = *p++) != 0) { - /* Arg to -d specifies what parts of macros to dump */ - switch (c) { - case 'M': - opts->dump_macros = dump_only; - opts->no_output = 1; - break; - case 'N': - opts->dump_macros = dump_names; - break; - case 'D': - opts->dump_macros = dump_definitions; - break; - case 'I': - opts->dump_includes = 1; - break; - } - } - } - break; - - case 'g': - if (argv[i][2] == '3') - opts->debug_output = 1; - break; - - case '-': - if (strcmp(argv[i], "--help") != 0) - return i; - print_help(); - break; - - case 'v': - fprintf(stderr, "GNU CPP version %s", version_string); -#ifdef TARGET_VERSION - TARGET_VERSION; -#endif - fprintf(stderr, "\n"); - opts->verbose = 1; - break; - - case 'H': - opts->print_include_names = 1; - break; - - case 'D': - if (argv[i][2] != 0) - push_pending(pfile, "-D", argv[i] + 2); - else if (i + 1 == argc) - { - cpp_fatal(pfile, "Macro name missing after -D option"); - return argc; - } - else - i++, push_pending(pfile, "-D", argv[i]); - break; - - case 'U': /* JF #undef something */ - if (argv[i][2] != 0) - push_pending(pfile, "-U", argv[i] + 2); - else if (i + 1 == argc) - { - cpp_fatal(pfile, "Macro name missing after -U option"); - return argc; - } - else - push_pending(pfile, "-U", argv[i+1]), i++; - break; - - case 'C': - opts->put_out_comments = 1; - break; - - case 'E': /* -E comes from cc -E; ignore it. */ - break; - - case 'P': - opts->no_line_commands = 1; - break; - - case '$': /* Don't include $ in identifiers. */ - opts->dollars_in_ident = 0; - break; - - case 'n': - if (!strcmp(argv[i], "-nostdinc")) - /* -nostdinc causes no default include directories. - You must specify all include-file directories with -I. */ - opts->no_standard_includes = 1; - else if (!strcmp(argv[i], "-nostdinc++")) - /* -nostdinc++ causes no default C++-specific include directories. */ - opts->no_standard_cplusplus_includes = 1; -#if 0 - else if (!strcmp(argv[i], "-noprecomp")) - no_precomp = 1; -#endif - break; - - case 'r': - if (!strcmp(argv[i], "-remap")) - opts->remap = 1; - break; - - case 'u': - /* Sun compiler passes undocumented switch "-undef". - Let's assume it means to inhibit the predefined symbols. */ - opts->inhibit_predefs = 1; - break; - - case '\0': /* JF handle '-' as file name meaning stdin or stdout */ - if (opts->in_fname == NULL) { - opts->in_fname = ""; - break; - } else if (opts->out_fname == NULL) { - opts->out_fname = ""; - break; - } /* else fall through into error */ - - default: - return i; - } - } - - return i + 1; -} - -/* Handle command-line options in (argc, argv). - Can be called multiple times, to handle multiple sets of options. - Returns if an unrecognized option is seen. - Returns number of strings consumed. */ - -int -cpp_handle_options(cpp_reader *pfile, int argc, char **argv) -{ - int i; - int strings_processed; - for (i = 0; i < argc; i += strings_processed) - { - strings_processed = cpp_handle_option(pfile, argc - i, argv + i); - if (strings_processed == 0) - break; - } - return i; -} - -void -cpp_finish(cpp_reader *pfile) -{ - struct cpp_options *opts = CPP_OPTIONS(pfile); - - if (opts->print_deps) - { - /* Stream on which to print the dependency information. */ - FILE *deps_stream; - - /* Don't actually write the deps file if compilation has failed. */ - if (pfile->errors == 0) - { - char *deps_mode = opts->print_deps_append ? "a" : "w"; - if (opts->deps_file == 0) - deps_stream = stdout; - else if ((deps_stream = fopen(opts->deps_file, deps_mode)) == 0) - cpp_pfatal_with_name(pfile, opts->deps_file); - fputs(pfile->deps_buffer, deps_stream); - putc('\n', deps_stream); - if (opts->deps_file) - { - if (ferror(deps_stream) || fclose(deps_stream) != 0) - cpp_fatal(pfile, "I/O error on output"); - } - } - } - -#if 0 - /* Debugging: dump statistics on the include hash table. */ - { - struct include_hash *x; - int i, j; - - for(i = 0; i < ALL_INCLUDE_HASHSIZE; i++) - { - x = pfile->all_include_files[i]; - j = 0; - while(x) - { - j++; - x = x->next; - } - fprintf(stderr, "%d/%d ", i, j); - } - fputc('\n', stderr); - } -#endif - -} - -/* Free resources used by PFILE. - This is the cpp_reader 'finalizer' or 'destructor' (in C++ terminology). */ - -void -cpp_cleanup(cpp_reader *pfile) -{ - int i; - while ( CPP_BUFFER(pfile) != CPP_NULL_BUFFER(pfile)) - cpp_pop_buffer(pfile); - - if (pfile->token_buffer) - { - free(pfile->token_buffer); - pfile->token_buffer = NULL; - } - - if (pfile->deps_buffer) - { - free(pfile->deps_buffer); - pfile->deps_buffer = NULL; - pfile->deps_allocated_size = 0; - } - - while (pfile->if_stack) - { - IF_STACK_FRAME *temp = pfile->if_stack; - pfile->if_stack = temp->next; - free(temp); - } - - for (i = ALL_INCLUDE_HASHSIZE; --i >= 0; ) - { - struct include_hash *imp = pfile->all_include_files[i]; - while (imp) - { - struct include_hash *next = imp->next; -#if 0 - /* This gets freed elsewhere - I think. */ - free(imp->name); -#endif - free(imp); - imp = next; - } - pfile->all_include_files[i] = 0; - } - - cpp_hash_cleanup(pfile); -} - -/* Initialize PMARK to remember the current position of PFILE. */ - -void -parse_set_mark(struct parse_marker *pmark, cpp_reader *pfile) -{ - cpp_buffer *pbuf = CPP_BUFFER(pfile); - pmark->next = pbuf->marks; - pbuf->marks = pmark; - pmark->buf = pbuf; - pmark->position = pbuf->cur - pbuf->buf; -} - -/* Cleanup PMARK - we no longer need it. */ - -void -parse_clear_mark(struct parse_marker *pmark) -{ - struct parse_marker **pp = &pmark->buf->marks; - for (;; pp = &(*pp)->next) { - if (*pp == NULL) abort(); - if (*pp == pmark) break; - } - *pp = pmark->next; -} - -/* Backup the current position of PFILE to that saved in PMARK. */ - -void -parse_goto_mark(struct parse_marker *pmark, cpp_reader *pfile) -{ - cpp_buffer *pbuf = CPP_BUFFER(pfile); - if (pbuf != pmark->buf) - cpp_fatal(pfile, "internal error %s", "parse_goto_mark"); - pbuf->cur = pbuf->buf + pmark->position; -} - -/* Reset PMARK to point to the current position of PFILE. (Same - as parse_clear_mark (PMARK), parse_set_mark (PMARK, PFILE) but faster. */ - -void -parse_move_mark(struct parse_marker *pmark, cpp_reader *pfile) -{ - cpp_buffer *pbuf = CPP_BUFFER(pfile); - if (pbuf != pmark->buf) - cpp_fatal(pfile, "internal error %s", "parse_move_mark"); - pmark->position = pbuf->cur - pbuf->buf; -} - - -void -cpp_print_file_and_line(cpp_reader *pfile) -{ - cpp_buffer *ip = cpp_file_buffer(pfile); - - if (ip != NULL) - { - long line, col; - cpp_buf_line_and_col(ip, &line, &col); - cpp_file_line_for_message(pfile, ip->nominal_fname, - line, pfile->show_column ? col : -1); - } -} - -static void -v_cpp_error(cpp_reader *pfile, const char *msg, va_list ap) -{ - cpp_print_containing_files(pfile); - cpp_print_file_and_line(pfile); - v_cpp_message(pfile, 1, msg, ap); -} - -void -cpp_error(cpp_reader * pfile, const char *msg, ...) -{ - va_list ap; - - va_start(ap, msg); - - - v_cpp_error(pfile, msg, ap); - va_end(ap); -} - -/* Print error message but don't count it. */ - -static void -v_cpp_warning(cpp_reader *pfile, const char *msg, va_list ap) -{ - if (CPP_OPTIONS(pfile)->inhibit_warnings) - return; - - if (CPP_OPTIONS(pfile)->warnings_are_errors) - pfile->errors++; - - cpp_print_containing_files(pfile); - cpp_print_file_and_line(pfile); - v_cpp_message(pfile, 0, msg, ap); -} - -void -cpp_warning(cpp_reader * pfile, const char *msg, ...) -{ - va_list ap; - - va_start(ap, msg); - - - v_cpp_warning(pfile, msg, ap); - va_end(ap); -} - -/* Print an error message and maybe count it. */ - -void -cpp_pedwarn(cpp_reader * pfile, const char *msg, ...) -{ - va_list ap; - - va_start(ap, msg); - - - if (CPP_OPTIONS(pfile)->pedantic_errors) - v_cpp_error(pfile, msg, ap); - else - v_cpp_warning(pfile, msg, ap); - va_end(ap); -} - -static void -v_cpp_error_with_line(cpp_reader *pfile, int line, int column, const char *msg, va_list ap) -{ - cpp_buffer *ip = cpp_file_buffer(pfile); - - cpp_print_containing_files(pfile); - - if (ip != NULL) - cpp_file_line_for_message(pfile, ip->nominal_fname, line, column); - - v_cpp_message(pfile, 1, msg, ap); -} - -void -cpp_error_with_line(cpp_reader * pfile, int line, int column, const char *msg, ...) -{ - va_list ap; - - va_start(ap, msg); - - - v_cpp_error_with_line(pfile, line, column, msg, ap); - va_end(ap); -} - -static void -v_cpp_warning_with_line(cpp_reader *pfile, int line, int column, const char *msg, va_list ap) -{ - cpp_buffer *ip; - - if (CPP_OPTIONS(pfile)->inhibit_warnings) - return; - - if (CPP_OPTIONS(pfile)->warnings_are_errors) - pfile->errors++; - - cpp_print_containing_files(pfile); - - ip = cpp_file_buffer(pfile); - - if (ip != NULL) - cpp_file_line_for_message(pfile, ip->nominal_fname, line, column); - - v_cpp_message(pfile, 0, msg, ap); -} - -#if 0 -static void -cpp_warning_with_line(cpp_reader * pfile, int line, int column, const char *msg, ...) -{ - va_list ap; - - va_start(ap, msg); - - - v_cpp_warning_with_line(pfile, line, column, msg, ap); - va_end(ap); -} -#endif - -void -cpp_pedwarn_with_line(cpp_reader * pfile, int line, int column, const char *msg, ...) -{ - va_list ap; - - va_start(ap, msg); - - - if (CPP_OPTIONS(pfile)->pedantic_errors) - v_cpp_error_with_line(pfile, column, line, msg, ap); - else - v_cpp_warning_with_line(pfile, line, column, msg, ap); - va_end(ap); -} - -/* Report a warning (or an error if pedantic_errors) - giving specified file name and line number, not current. */ - -void -cpp_pedwarn_with_file_and_line(cpp_reader *pfile, char *file, int line, const char *msg, ...) -{ - va_list ap; - - va_start(ap, msg); - - - if (!CPP_OPTIONS(pfile)->pedantic_errors - && CPP_OPTIONS(pfile)->inhibit_warnings) - return; - if (file != NULL) - cpp_file_line_for_message(pfile, file, line, -1); - v_cpp_message(pfile, CPP_OPTIONS(pfile)->pedantic_errors, msg, ap); - va_end(ap); -} - -/* my_strerror - return the descriptive text associated with an - `errno' code. */ - -static char * -my_strerror(int errnum) -{ - char *result; - -#ifndef HAVE_STRERROR - result = (char *) ((errnum < sys_nerr) ? sys_errlist[errnum] : 0); -#else - result = strerror(errnum); -#endif - - if (!result) - result = "undocumented I/O error"; - - return result; -} - -/* Error including a message from `errno'. */ - -void -cpp_error_from_errno(cpp_reader *pfile, const char *name) -{ - cpp_message_from_errno(pfile, 1, name); -} - -void -cpp_message_from_errno(cpp_reader *pfile, int is_error, const char *name) -{ - int e = errno; - cpp_buffer *ip = cpp_file_buffer(pfile); - - cpp_print_containing_files(pfile); - - if (ip != NULL) - cpp_file_line_for_message(pfile, ip->nominal_fname, ip->lineno, -1); - - cpp_message(pfile, is_error, "%s: %s", name, my_strerror(e)); -} - -void -cpp_perror_with_name(cpp_reader *pfile, const char *name) -{ - cpp_message(pfile, 1, "%s: %s: %s", progname, name, my_strerror(errno)); -} - -/* TODO: - * No pre-compiled header file support. - * - * Possibly different enum token codes for each C/C++ token. - * - * Find and cleanup remaining uses of static variables, - * - * Support for trigraphs. - * - * Support -dM flag (dump_all_macros). - * - * Support for_lint flag. - */ |