d4691e641b
non-i386, non-unix, and generatable files have been trimmed, but can easily be added in later if needed. gcc-2.7.2.1 will follow shortly, it's a very small delta to this and it's handy to have both available for reference for such little cost. The freebsd-specific changes will then be committed, and once the dust has settled, the bmakefiles will be committed to use this code.
253 lines
6.7 KiB
C
253 lines
6.7 KiB
C
/* scan-decls.c - Extracts declarations from cpp output.
|
|
Copyright (C) 1993, 1995 Free Software Foundation, Inc.
|
|
|
|
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.
|
|
|
|
Written by Per Bothner <bothner@cygnus.com>, July 1993. */
|
|
|
|
#include <stdio.h>
|
|
#include <ctype.h>
|
|
#include "hconfig.h"
|
|
#include "cpplib.h"
|
|
|
|
int brace_nesting = 0;
|
|
|
|
/* The first extern_C_braces_length elements of extern_C_braces
|
|
indicate the (brace nesting levels of) left braces that were
|
|
prefixed by extern "C". */
|
|
int extern_C_braces_length = 0;
|
|
char extern_C_braces[20];
|
|
#define in_extern_C_brace (extern_C_braces_length>0)
|
|
|
|
/* True if the function declaration currently being scanned is
|
|
prefixed by extern "C". */
|
|
int current_extern_C = 0;
|
|
|
|
static void
|
|
skip_to_closing_brace (pfile)
|
|
cpp_reader *pfile;
|
|
{
|
|
int nesting = 1;
|
|
for (;;)
|
|
{
|
|
enum cpp_token token = cpp_get_token (pfile);
|
|
if (token == CPP_EOF)
|
|
break;
|
|
if (token == CPP_LBRACE)
|
|
nesting++;
|
|
if (token == CPP_RBRACE && --nesting == 0)
|
|
break;
|
|
}
|
|
}
|
|
|
|
/* This function scans a C source file (actually, the output of cpp),
|
|
reading from FP. It looks for function declarations, and
|
|
external variable declarations.
|
|
|
|
The following grammar (as well as some extra stuff) is recognized:
|
|
|
|
declaration:
|
|
(decl-specifier)* declarator ("," declarator)* ";"
|
|
decl-specifier:
|
|
identifier
|
|
keyword
|
|
extern "C"
|
|
declarator:
|
|
(ptr-operator)* dname [ "(" argument-declaration-list ")" ]
|
|
ptr-operator:
|
|
("*" | "&") ("const" | "volatile")*
|
|
dname:
|
|
identifier
|
|
|
|
Here dname is the actual name being declared.
|
|
*/
|
|
|
|
int
|
|
scan_decls (pfile, argc, argv)
|
|
cpp_reader *pfile;
|
|
int argc;
|
|
char**argv;
|
|
{
|
|
int saw_extern, saw_inline;
|
|
int old_written;
|
|
/* If declarator_start is non-zero, it marks the start of the current
|
|
declarator. If it is zero, we are either still parsing the
|
|
decl-specs, or prev_id_start marks the start of the declarator. */
|
|
int declarator_start;
|
|
int prev_id_start, prev_id_end;
|
|
enum cpp_token token;
|
|
|
|
new_statement:
|
|
CPP_SET_WRITTEN (pfile, 0);
|
|
token = cpp_get_token (pfile);
|
|
|
|
handle_statement:
|
|
current_extern_C = 0;
|
|
saw_extern = 0;
|
|
saw_inline = 0;
|
|
if (token == CPP_RBRACE)
|
|
{
|
|
/* Pop an 'extern "C"' nesting level, if appropriate. */
|
|
if (extern_C_braces_length
|
|
&& extern_C_braces[extern_C_braces_length - 1] == brace_nesting)
|
|
extern_C_braces_length--;
|
|
brace_nesting--;
|
|
goto new_statement;
|
|
}
|
|
if (token == CPP_LBRACE)
|
|
{
|
|
brace_nesting++;
|
|
goto new_statement;
|
|
}
|
|
if (token == CPP_EOF)
|
|
return 0;
|
|
if (token == CPP_SEMICOLON)
|
|
goto new_statement;
|
|
if (token != CPP_NAME)
|
|
goto new_statement;
|
|
|
|
prev_id_start = 0;
|
|
declarator_start = 0;
|
|
for (;;)
|
|
{
|
|
int start_written = CPP_WRITTEN (pfile);
|
|
token = cpp_get_token (pfile);
|
|
handle_token:
|
|
switch (token)
|
|
{
|
|
case CPP_LPAREN:
|
|
/* Looks like this is the start of a formal parameter list. */
|
|
if (prev_id_start)
|
|
{
|
|
int nesting = 1;
|
|
int have_arg_list = 0;
|
|
cpp_buffer *fbuf = cpp_file_buffer (pfile);
|
|
long func_lineno;
|
|
cpp_buf_line_and_col (fbuf, &func_lineno, NULL);
|
|
for (;;)
|
|
{
|
|
token = cpp_get_token (pfile);
|
|
if (token == CPP_LPAREN)
|
|
nesting++;
|
|
else if (token == CPP_RPAREN)
|
|
{
|
|
nesting--;
|
|
if (nesting == 0)
|
|
break;
|
|
}
|
|
else if (token == CPP_EOF)
|
|
break;
|
|
else if (token == CPP_NAME || token == CPP_3DOTS)
|
|
have_arg_list = 1;
|
|
}
|
|
recognized_function (pfile->token_buffer + prev_id_start,
|
|
prev_id_end - prev_id_start,
|
|
(saw_inline ? 'I'
|
|
: in_extern_C_brace || current_extern_C
|
|
? 'F' : 'f'),
|
|
pfile->token_buffer, prev_id_start,
|
|
have_arg_list,
|
|
fbuf->nominal_fname, func_lineno);
|
|
token = cpp_get_non_space_token (pfile);
|
|
if (token == CPP_LBRACE)
|
|
{
|
|
/* skip body of (normally) inline function */
|
|
skip_to_closing_brace (pfile);
|
|
goto new_statement;
|
|
}
|
|
goto maybe_handle_comma;
|
|
}
|
|
break;
|
|
case CPP_OTHER:
|
|
if (CPP_WRITTEN (pfile) == start_written + 1
|
|
&& (CPP_PWRITTEN (pfile)[-1] == '*'
|
|
|| CPP_PWRITTEN (pfile)[-1] == '&'))
|
|
declarator_start = start_written;
|
|
else
|
|
goto handle_statement;
|
|
break;
|
|
case CPP_COMMA:
|
|
case CPP_SEMICOLON:
|
|
if (prev_id_start && saw_extern)
|
|
{
|
|
recognized_extern (pfile->token_buffer + prev_id_start,
|
|
prev_id_end - prev_id_start,
|
|
pfile->token_buffer,
|
|
prev_id_start);
|
|
}
|
|
/* ... fall through ... */
|
|
maybe_handle_comma:
|
|
if (token != CPP_COMMA)
|
|
goto new_statement;
|
|
handle_comma:
|
|
/* Handle multiple declarators in a single declaration,
|
|
as in: extern char *strcpy (), *strcat (), ... ; */
|
|
if (declarator_start == 0)
|
|
declarator_start = prev_id_start;
|
|
CPP_SET_WRITTEN (pfile, declarator_start);
|
|
break;
|
|
case CPP_NAME:
|
|
/* "inline" and "extern" are recognized but skipped */
|
|
if (strcmp (pfile->token_buffer, "inline") == 0)
|
|
{
|
|
saw_inline = 1;
|
|
CPP_SET_WRITTEN (pfile, start_written);
|
|
}
|
|
if (strcmp (pfile->token_buffer, "extern") == 0)
|
|
{
|
|
saw_extern = 1;
|
|
CPP_SET_WRITTEN (pfile, start_written);
|
|
token = cpp_get_non_space_token (pfile);
|
|
if (token == CPP_STRING
|
|
&& strcmp (pfile->token_buffer, "\"C\"") == 0)
|
|
{
|
|
CPP_SET_WRITTEN (pfile, start_written);
|
|
current_extern_C = 1;
|
|
token = cpp_get_non_space_token (pfile);
|
|
if (token == CPP_LBRACE)
|
|
{
|
|
brace_nesting++;
|
|
extern_C_braces[extern_C_braces_length++]
|
|
= brace_nesting;
|
|
goto new_statement;
|
|
}
|
|
}
|
|
else
|
|
goto handle_token;
|
|
break;
|
|
}
|
|
/* This may be the name of a variable or function. */
|
|
prev_id_start = start_written;
|
|
prev_id_end = CPP_WRITTEN (pfile);
|
|
break;
|
|
|
|
case CPP_EOF:
|
|
return; /* ??? FIXME */
|
|
|
|
case CPP_LBRACE: case CPP_RBRACE: case CPP_DIRECTIVE:
|
|
goto new_statement; /* handle_statement? */
|
|
|
|
case CPP_HSPACE: case CPP_VSPACE: case CPP_COMMENT: case CPP_POP:
|
|
/* Skip initial white space. */
|
|
if (start_written == 0)
|
|
CPP_SET_WRITTEN (pfile, 0);
|
|
break;
|
|
|
|
default:
|
|
prev_id_start = 0;
|
|
}
|
|
}
|
|
}
|