0e5921e8a0
top level: * Makefile.in: Remove all references to c-parse.gperf, c-gperf.h, and c-parse.h. Remove -d from yacc command line generating c-parse.c. Update dependencies. * c-parse.gperf, c-gperf.h: Delete. * c-common.c: Don't define parse_options, cpp_token, yy_cur, yy_lim, or yy_get_token. Don't define get_directive_line if USE_CPPLIB. * c-common.h: Add multiple include guard. Define RID values for every keyword in C, C++, and Objective C. Put all the modifiers first. (struct c_fileinfo, get_fileinfo, dump_time_statistics): New. * c-decl.c (c_decode_option): Handle -lang-objc here. (print_lang_identifier): Handle C_IS_RESERVED_WORD case. (grokdeclarator): Adjust for new RID scheme. (extract_interface_info): New stub. * c-lang.c: Don't declare yy_cur or parse_options. (lang_init_options): Call cpp_init. Don't call cpp_options_init. (lang_init): Don't call check_newline if USE_CPPLIB. * c-lex.c: Don't include c-parse.h. Do include timevar.h. Elide lots of unnecessary code if USE_CPPLIB. Delete code rendered unnecessary by new architecture. Move routines not shared with C++ to c-parse.in. Maintain a local idea of the line number. Handle C++ as well as C. [USE_CPPLIB]: Declare and register callbacks for #ident and for entering/leaving files. (init_c_lex, c_lex): Are now the entry points to this file. (check_newline): Break out directive handling to process_directive. (read_ucs, is_extended_char, utf8_extend_token): Moved here from C++ front end. (readescape, parse_float): Overhaul. (lex_number, lex_string, lex_charconst): Break out of c_lex (n'ee yylex). (get_fileinfo, update_header_times, dump_one_header, dump_time_statistics): New and/or moved here from C++. Support per-file data needed by C++ and per-header timing statistics (C++ only, at the moment). * c-lex.h: Update prototypes. Add multiple include guard. * c-tree.h (struct lang_identifier): Add rid_code field. (C_IS_RESERVED_WORD, C_RID_CODE): New. * c-parse.in: Include c-pragma.h. Remove unnecesary calls to reinit_parse_for_function and/or position_after_white_space. (save_filename, save_lineno): Look ahead before saving. (label -> identifier ':'): Save file and line before shifting ':'. (reservedwords): No need to call get_identifier. (init_parse, finish_parse, yyerror, yylex, yyprint, make_pointer_declarator): Are now here for C/ObjC. (rid_to_yy): Conversion table from RID constants to Yacc codes. * c-pragma.c: Rewrite parsing logic to fit with cpplib's #pragma registry. Provide dummy implementation of that interface if !USE_CPPLIB. * c-pragma.h: Update to match. * flags.h: Add multiple include guard. (flag_detailed_statistics): Moved here from C++. * toplev.c: Define flag_detailed_statistics. * gcc.c (C specs): Use %(trad_capable_cpp) for -E|-M|-MM case #if USE_CPPLIB. * timevar.def (TV_CPP, TV_LEX): New. * timevar.h: Add multiple include guard. * objc/lang-specs.h: Use %(trad_capable_cpp) for -E|-M|-MM case #if USE_CPPLIB. * objc/objc-act.c: Don't mention yy_cur or parse_options. Initialize cpplib properly. Force lineno to 0 after first call to check_newline. Don't handle -lang-objc here. Move forget_protocol_qualifiers and remember_protocol_qualifiers here. cp: * Make-lang.in, Makefile.in: Remove all references to input.c, gxx.gperf, and hash.h. Add ../c-lex.o to C_OBJS. * gxx.gperf, hash.h, input.c: Delete. * lang-specs.h: Pass -lang-c++ to cc1plus so cpplib is initialized properly. * class.c (fixup_pending_inline): Take a tree, not a struct pending_inline *. All callers changed. (init_class_processing): Set RID_PUBLIC, RID_PRIVATE, RID_PROTECTED entries in ridpointers[] array here. * decl.c (duplicate_decls): Do not refer to struct pending_inline. (record_builtin_type, init_decl_processing): Use RID_MAX not CP_RID_MAX. (grokdeclarator): Use C_IS_RESERVED_WORD. * decl2.c (lang_decode_option): Ignore -lang-c++ for sake of cpplib. (grok_x_components): Do not inspect pending_inlines chain. * cp-tree.h (struct lang_identifier): Add rid_code entry. (C_IS_RESERVED_WORD, C_RID_CODE, C_RID_YYCODE): New. (flag_no_gnu_keywords, flag_operator_names, rid_to_yy): Declare. (DEFARG_LENGTH, struct pending_inline, TIME_IDENTIFIER_TIME, TIME_IDENTIFIER_FILEINFO): Kill. Update prototypes. * lex.h: Expunge cp_rid. Rewrite RIDBIT macros to use just a single 32-bit word. * parse.y: Call do_pending_inlines unconditionally. reinit_parse_for_method is now snarf_method. fn.defpen is no longer necessary. Remove unnecessary <itype> annotation on SCOPE. Do not refer to end_of_file or struct pending_inline. * semantics.c (begin_inline_definitions): Call do_pending_inlines unconditionally. * lex.c: Remove all code now shared with C front end. Initialize cpplib properly if USE_CPPLIB. Put reserved words into the get_identifier table. Rewrite pragma handling to work with the registry. Move code to save tokens for later processing to spew.c. * spew.c: Rewrite everything in terms of token streams instead of text. Move routines here from lex.c / input.c as appropriate. GC-mark trees hanging off the pending inlines chain. testsuite: * g++.old-deja/g++.benjamin/13478.C: Put meaningful tags on ERROR markers. * g++.old-deja/g++.brendan/crash8.C: Move ERROR marker up one line. * gcc.dg/c99-array-nonobj-1.c: Don't expect func[] cases to fail. * gcc.dg/wtr-label-1.c: Don't use unconstrained .* in error regexps. * gcc.dg/wtr-suffix-1.c: Correct error regexps. * gcc.dg/cpp/unc1.c, gcc.dg/cpp/unc2.c, gcc.dg/cpp/unc3.c: Preprocess only. * gcc.dg/cpp/unc4.c: Adjust line number in dg-error line. * gcc.dg/noncompile/const-ll-1.c: Generalize error regexp. From-SVN: r36216
277 lines
6.0 KiB
C
277 lines
6.0 KiB
C
/* Language-specific hook definitions for C front end.
|
|
Copyright (C) 1991, 1995, 1997, 1998,
|
|
1999, 2000 Free Software Foundation, Inc.
|
|
|
|
This file is part of GNU CC.
|
|
|
|
GNU CC 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.
|
|
|
|
GNU CC 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 GNU CC; see the file COPYING. If not, write to
|
|
the Free Software Foundation, 59 Temple Place - Suite 330,
|
|
Boston, MA 02111-1307, USA. */
|
|
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "tree.h"
|
|
#include "function.h"
|
|
#include "input.h"
|
|
#include "c-tree.h"
|
|
#include "c-lex.h"
|
|
#include "toplev.h"
|
|
#include "diagnostic.h"
|
|
#include "output.h"
|
|
#include "flags.h"
|
|
#include "ggc.h"
|
|
|
|
static int c_tree_printer PARAMS ((output_buffer *));
|
|
|
|
#if USE_CPPLIB
|
|
#include "cpplib.h"
|
|
extern cpp_reader parse_in;
|
|
#endif
|
|
|
|
/* Each of the functions defined here
|
|
is an alternative to a function in objc-actions.c. */
|
|
|
|
int
|
|
lang_decode_option (argc, argv)
|
|
int argc;
|
|
char **argv;
|
|
{
|
|
return c_decode_option (argc, argv);
|
|
}
|
|
|
|
void
|
|
lang_init_options ()
|
|
{
|
|
#if USE_CPPLIB
|
|
cpp_init ();
|
|
cpp_reader_init (&parse_in);
|
|
#endif
|
|
/* Mark as "unspecified". */
|
|
flag_bounds_check = -1;
|
|
}
|
|
|
|
void
|
|
lang_init ()
|
|
{
|
|
/* If still "unspecified", make it match -fbounded-pointers. */
|
|
if (flag_bounds_check < 0)
|
|
flag_bounds_check = flag_bounded_pointers;
|
|
|
|
/* If still unspecified, make it match pedantic && -std=c99. */
|
|
if (mesg_implicit_function_declaration < 0)
|
|
{
|
|
if (pedantic && flag_isoc99)
|
|
mesg_implicit_function_declaration = flag_pedantic_errors ? 2 : 1;
|
|
else
|
|
mesg_implicit_function_declaration = 0;
|
|
}
|
|
|
|
/* the beginning of the file is a new line; check for # */
|
|
/* With luck, we discover the real source file's name from that
|
|
and put it in input_filename. */
|
|
#if !USE_CPPLIB
|
|
ungetc (check_newline (), finput);
|
|
#endif
|
|
|
|
save_lang_status = &push_c_function_context;
|
|
restore_lang_status = &pop_c_function_context;
|
|
mark_lang_status = &mark_c_function_context;
|
|
|
|
lang_printer = c_tree_printer;
|
|
|
|
c_parse_init ();
|
|
}
|
|
|
|
void
|
|
lang_finish ()
|
|
{
|
|
}
|
|
|
|
const char *
|
|
lang_identify ()
|
|
{
|
|
return "c";
|
|
}
|
|
|
|
void
|
|
print_lang_statistics ()
|
|
{
|
|
}
|
|
|
|
/* used by print-tree.c */
|
|
|
|
void
|
|
lang_print_xnode (file, node, indent)
|
|
FILE *file ATTRIBUTE_UNUSED;
|
|
tree node ATTRIBUTE_UNUSED;
|
|
int indent ATTRIBUTE_UNUSED;
|
|
{
|
|
}
|
|
|
|
/* Used by c-lex.c, but only for objc. */
|
|
|
|
tree
|
|
lookup_interface (arg)
|
|
tree arg ATTRIBUTE_UNUSED;
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
tree
|
|
is_class_name (arg)
|
|
tree arg ATTRIBUTE_UNUSED;
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
void
|
|
maybe_objc_check_decl (decl)
|
|
tree decl ATTRIBUTE_UNUSED;
|
|
{
|
|
}
|
|
|
|
int
|
|
maybe_objc_comptypes (lhs, rhs, reflexive)
|
|
tree lhs ATTRIBUTE_UNUSED;
|
|
tree rhs ATTRIBUTE_UNUSED;
|
|
int reflexive ATTRIBUTE_UNUSED;
|
|
{
|
|
return -1;
|
|
}
|
|
|
|
tree
|
|
maybe_objc_method_name (decl)
|
|
tree decl ATTRIBUTE_UNUSED;
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
tree
|
|
maybe_building_objc_message_expr ()
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
int
|
|
recognize_objc_keyword ()
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
/* Used by c-typeck.c (build_external_ref), but only for objc. */
|
|
|
|
tree
|
|
lookup_objc_ivar (id)
|
|
tree id ATTRIBUTE_UNUSED;
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
/* Called at end of parsing, but before end-of-file processing. */
|
|
|
|
void
|
|
finish_file ()
|
|
{
|
|
#ifndef ASM_OUTPUT_CONSTRUCTOR
|
|
extern tree static_ctors;
|
|
#endif
|
|
#ifndef ASM_OUTPUT_DESTRUCTOR
|
|
extern tree static_dtors;
|
|
#endif
|
|
extern tree build_function_call PARAMS ((tree, tree));
|
|
#if !defined(ASM_OUTPUT_CONSTRUCTOR) || !defined(ASM_OUTPUT_DESTRUCTOR)
|
|
tree void_list_node_1 = build_tree_list (NULL_TREE, void_type_node);
|
|
#endif
|
|
#ifndef ASM_OUTPUT_CONSTRUCTOR
|
|
if (static_ctors)
|
|
{
|
|
tree fnname = get_file_function_name ('I');
|
|
start_function (void_list_node_1,
|
|
build_parse_node (CALL_EXPR, fnname,
|
|
tree_cons (NULL_TREE, NULL_TREE,
|
|
void_list_node_1),
|
|
NULL_TREE),
|
|
NULL_TREE, NULL_TREE);
|
|
fnname = DECL_ASSEMBLER_NAME (current_function_decl);
|
|
store_parm_decls ();
|
|
|
|
for (; static_ctors; static_ctors = TREE_CHAIN (static_ctors))
|
|
expand_expr_stmt (build_function_call (TREE_VALUE (static_ctors),
|
|
NULL_TREE));
|
|
|
|
finish_function (0);
|
|
|
|
assemble_constructor (IDENTIFIER_POINTER (fnname));
|
|
}
|
|
#endif
|
|
#ifndef ASM_OUTPUT_DESTRUCTOR
|
|
if (static_dtors)
|
|
{
|
|
tree fnname = get_file_function_name ('D');
|
|
start_function (void_list_node_1,
|
|
build_parse_node (CALL_EXPR, fnname,
|
|
tree_cons (NULL_TREE, NULL_TREE,
|
|
void_list_node_1),
|
|
NULL_TREE),
|
|
NULL_TREE, NULL_TREE);
|
|
fnname = DECL_ASSEMBLER_NAME (current_function_decl);
|
|
store_parm_decls ();
|
|
|
|
for (; static_dtors; static_dtors = TREE_CHAIN (static_dtors))
|
|
expand_expr_stmt (build_function_call (TREE_VALUE (static_dtors),
|
|
NULL_TREE));
|
|
|
|
finish_function (0);
|
|
|
|
assemble_destructor (IDENTIFIER_POINTER (fnname));
|
|
}
|
|
#endif
|
|
}
|
|
|
|
/* Called during diagnostic message formatting process to print a
|
|
source-level entity onto BUFFER. The meaning of the format specifiers
|
|
is as follows:
|
|
%D: a general decl,
|
|
%F: a function declaration,
|
|
%T: a type.
|
|
|
|
These format specifiers form a subset of the format specifiers set used
|
|
by the C++ front-end.
|
|
Please notice when called, the `%' part was already skipped by the
|
|
diagnostic machinery. */
|
|
static int
|
|
c_tree_printer (buffer)
|
|
output_buffer *buffer;
|
|
{
|
|
tree t = va_arg (output_buffer_format_args (buffer), tree);
|
|
|
|
switch (*output_buffer_text_cursor (buffer))
|
|
{
|
|
case 'D':
|
|
case 'F':
|
|
case 'T':
|
|
{
|
|
const char *n = DECL_NAME (t)
|
|
? (*decl_printable_name) (t, 2)
|
|
: "({anonymous})";
|
|
output_add_string (buffer, n);
|
|
}
|
|
return 1;
|
|
|
|
default:
|
|
return 0;
|
|
}
|
|
}
|