/* Lexical analyzer for C and Objective C.
Copyright (C) 1987, 1988, 1989, 1992 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)
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, 675 Mass Ave, Cambridge, MA 02139, USA. */
/* The elements of `ridpointers' are identifier nodes
for the reserved type names and storage classes.
It is indexed by a RID_... value. */
tree ridpointers
[(int) RID_MAX
];
/* Cause the `yydebug' variable to be defined. */
/* the declaration found for the last IDENTIFIER token read in.
yylex must look this up to detect typedefs, which get token type TYPENAME,
so it is left around in case the identifier is not a typedef but is
used in a context which makes it a reference to a variable. */
/* Nonzero enables objc features. */
extern tree
lookup_interface ();
/* File used for outputting assembler code. */
extern FILE *asm_out_file
;
#define WCHAR_TYPE_SIZE INT_TYPE_SIZE
#define WCHAR_TYPE_SIZE BITS_PER_WORD
/* Number of bytes in a wide character. */
#define WCHAR_BYTES (WCHAR_TYPE_SIZE / BITS_PER_UNIT)
static int maxtoken
; /* Current nominal length of token buffer. */
char *token_buffer
; /* Pointer to token buffer.
Actual allocated length is maxtoken + 2.
This is not static because objc-parse.y uses it. */
/* Nonzero if end-of-file has been seen on input. */
/* Buffered-back input character; faster than using ungetc. */
static int nextchar
= -1;
/* Nonzero tells yylex to ignore \ in string constants. */
static int ignore_escape_flag
= 0;
/* C code produced by gperf version 2.5 (GNU C++ version) */
/* Command-line: gperf -p -j1 -i 1 -g -o -t -N is_reserved_word -k1,3,$ c-parse.gperf */
struct resword
{ char *name
; short token
; enum rid rid
; };
#define TOTAL_KEYWORDS 53
#define MIN_WORD_LENGTH 2
#define MAX_WORD_LENGTH 13
#define MAX_HASH_VALUE 102
/* maximum key range = 96, duplicates = 0 */
register int unsigned len
;
static unsigned char asso_values
[] =
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 103, 103, 103, 103, 103,
103, 103, 103, 103, 103, 1, 103, 2, 1, 24,
1, 5, 19, 39, 16, 13, 103, 1, 25, 1,
34, 34, 24, 103, 13, 12, 1, 45, 24, 7,
103, 103, 2, 103, 103, 103, 103, 103,
hval
+= asso_values
[str
[2]];
hval
+= asso_values
[str
[0]];
return hval
+ asso_values
[str
[len
- 1]];
is_reserved_word (str
, len
)
register unsigned int len
;
static struct resword wordlist
[] =
{"",}, {"",}, {"",}, {"",}, {"",}, {"",}, {"",},
{"asm", ASM_KEYWORD
, NORID
},
{"__asm", ASM_KEYWORD
, NORID
},
{"__asm__", ASM_KEYWORD
, NORID
},
{"__typeof__", TYPEOF
, NORID
},
{"__alignof__", ALIGNOF
, NORID
},
{"__attribute__", ATTRIBUTE
, NORID
},
{"int", TYPESPEC
, RID_INT
},
{"__attribute", ATTRIBUTE
, NORID
},
{"__extension__", EXTENSION
, NORID
},
{"__signed", TYPESPEC
, RID_SIGNED
},
{"__signed__", TYPESPEC
, RID_SIGNED
},
{"__inline__", SCSPEC
, RID_INLINE
},
{"__inline", SCSPEC
, RID_INLINE
},
{"default", DEFAULT
, NORID
},
{"__typeof", TYPEOF
, NORID
},
{"__alignof", ALIGNOF
, NORID
},
{"struct", STRUCT
, NORID
},
{"__const", TYPE_QUAL
, RID_CONST
},
{"__const__", TYPE_QUAL
, RID_CONST
},
{"__label__", LABEL
, NORID
},
{"__volatile__", TYPE_QUAL
, RID_VOLATILE
},
{"sizeof", SIZEOF
, NORID
},
{"__volatile", TYPE_QUAL
, RID_VOLATILE
},
{"auto", SCSPEC
, RID_AUTO
},
{"void", TYPESPEC
, RID_VOID
},
{"char", TYPESPEC
, RID_CHAR
},
{"static", SCSPEC
, RID_STATIC
},
{"extern", SCSPEC
, RID_EXTERN
},
{"switch", SWITCH
, NORID
},
{"inline", SCSPEC
, RID_INLINE
},
{"typeof", TYPEOF
, NORID
},
{"typedef", SCSPEC
, RID_TYPEDEF
},
{"short", TYPESPEC
, RID_SHORT
},
{"return", RETURN
, NORID
},
{"double", TYPESPEC
, RID_DOUBLE
},
{"signed", TYPESPEC
, RID_SIGNED
},
{"float", TYPESPEC
, RID_FLOAT
},
{"volatile", TYPE_QUAL
, RID_VOLATILE
},
{"const", TYPE_QUAL
, RID_CONST
},
{"unsigned", TYPESPEC
, RID_UNSIGNED
},
{"",}, {"",}, {"",}, {"",},
{"continue", CONTINUE
, NORID
},
{"register", SCSPEC
, RID_REGISTER
},
{"",}, {"",}, {"",}, {"",},
{"",}, {"",}, {"",}, {"",}, {"",}, {"",}, {"",}, {"",}, {"",},
{"",}, {"",}, {"",}, {"",}, {"",}, {"",}, {"",}, {"",}, {"",},
{"",}, {"",}, {"",}, {"",},
{"long", TYPESPEC
, RID_LONG
},
if (len
<= MAX_WORD_LENGTH
&& len
>= MIN_WORD_LENGTH
)
register int key
= hash (str
, len
);
if (key
<= MAX_HASH_VALUE
&& key
>= 0)
register char *s
= wordlist
[key
].name
;
if (*s
== *str
&& !strcmp (str
+ 1, s
+ 1))
/* Return something to represent absolute declarators containing a *.
TARGET is the absolute declarator that the * contains.
TYPE_QUALS is a list of modifiers such as const or volatile
to apply to the pointer type, represented as identifiers.
We return an INDIRECT_REF whose "contents" are TARGET
and whose type is the modifier list. */
make_pointer_declarator (type_quals
, target
)
return build1 (INDIRECT_REF
, type_quals
, target
);
/* Make identifier nodes long enough for the language-specific slots. */
set_identifier_size (sizeof (struct lang_identifier
));
/* Start it at 0, because check_newline is called at the very beginning
and will increment it to 1. */
/* Change to the native locale for multibyte conversions. */
setlocale (LC_CTYPE
, "");
token_buffer
= (char *) xmalloc (maxtoken
+ 2);
ridpointers
[(int) RID_INT
] = get_identifier ("int");
ridpointers
[(int) RID_CHAR
] = get_identifier ("char");
ridpointers
[(int) RID_VOID
] = get_identifier ("void");
ridpointers
[(int) RID_FLOAT
] = get_identifier ("float");
ridpointers
[(int) RID_DOUBLE
] = get_identifier ("double");
ridpointers
[(int) RID_SHORT
] = get_identifier ("short");
ridpointers
[(int) RID_LONG
] = get_identifier ("long");
ridpointers
[(int) RID_UNSIGNED
] = get_identifier ("unsigned");
ridpointers
[(int) RID_SIGNED
] = get_identifier ("signed");
ridpointers
[(int) RID_INLINE
] = get_identifier ("inline");
ridpointers
[(int) RID_CONST
] = get_identifier ("const");
ridpointers
[(int) RID_VOLATILE
] = get_identifier ("volatile");
ridpointers
[(int) RID_AUTO
] = get_identifier ("auto");
ridpointers
[(int) RID_STATIC
] = get_identifier ("static");
ridpointers
[(int) RID_EXTERN
] = get_identifier ("extern");
ridpointers
[(int) RID_TYPEDEF
] = get_identifier ("typedef");
ridpointers
[(int) RID_REGISTER
] = get_identifier ("register");
/* Some options inhibit certain reserved words.
Clear those words out of the hash table so they won't be recognized. */
#define UNSET_RESERVED_WORD(STRING) \
do { struct resword *s = is_reserved_word (STRING, sizeof (STRING) - 1); \
if (s) s->name = ""; } while (0)
UNSET_RESERVED_WORD ("const");
UNSET_RESERVED_WORD ("volatile");
UNSET_RESERVED_WORD ("typeof");
UNSET_RESERVED_WORD ("signed");
UNSET_RESERVED_WORD ("inline");
UNSET_RESERVED_WORD ("asm");
UNSET_RESERVED_WORD ("typeof");
UNSET_RESERVED_WORD ("inline");
reinit_parse_for_function ()
/* Function used when yydebug is set, to print a token in more detail. */
yyprint (file
, yychar
, yylval
)
if (IDENTIFIER_POINTER (t
))
fprintf (file
, " `%s'", IDENTIFIER_POINTER (t
));
if (TREE_CODE (t
) == INTEGER_CST
)
#if HOST_BITS_PER_WIDE_INT == 64
#if HOST_BITS_PER_WIDE_INT != HOST_BITS_PER_INT
#if HOST_BITS_PER_WIDE_INT != HOST_BITS_PER_INT
TREE_INT_CST_HIGH (t
), TREE_INT_CST_LOW (t
));
/* If C is not whitespace, return C.
Otherwise skip whitespace and return first nonwhite char read. */
static int newline_warning
= 0;
/* We don't recognize comments here, because
cpp output can include / and * consecutively as operators.
Also, there's no need, since cpp removes all comments. */
/* ANSI C says the effects of a carriage return in a source file
if (pedantic
&& !newline_warning
)
warning ("carriage return in source file");
warning ("(we only warn about the first carriage return)");
error ("stray '\\' in program");
/* Skips all of the white space at the current location in the input file.
Must use and reset nextchar if it has the next character. */
position_after_white_space ()
c
= nextchar
, nextchar
= -1;
ungetc (skip_white_space (c
), finput
);
/* Make the token buffer longer, preserving the data in it.
P should point to just beyond the last valid character in the old buffer.
The value we return is a pointer to the new buffer
at a place corresponding to P. */
int offset
= p
- token_buffer
;
maxtoken
= maxtoken
* 2 + 10;
token_buffer
= (char *) xrealloc (token_buffer
, maxtoken
+ 2);
return token_buffer
+ offset
;
/* At the beginning of a line, increment the line number
and process any #-directive on this line.
If the line is a #-directive, read the entire line and return a newline.
Otherwise, return the line's first non-whitespace character. */
/* Read first nonwhite char on the line. */
while (c
== ' ' || c
== '\t')
/* If not #, return it so caller will use it. */
/* Read first nonwhite char after the `#'. */
while (c
== ' ' || c
== '\t')
/* If a letter follows, then if the word here is `line', skip
it and ignore it; otherwise, ignore the line, with an error
if the word isn't `pragma', `ident', `define', or `undef'. */
if ((c
>= 'a' && c
<= 'z') || (c
>= 'A' && c
<= 'Z'))
&& ((c
= getc (finput
)) == ' ' || c
== '\t' || c
== '\n'))
#ifdef HANDLE_SYSV_PRAGMA
return handle_sysv_pragma (finput
, c
);
#endif /* HANDLE_SYSV_PRAGMA */
#endif /* HANDLE_PRAGMA */
&& ((c
= getc (finput
)) == ' ' || c
== '\t' || c
== '\n'))
#ifdef DWARF_DEBUGGING_INFO
if ((debug_info_level
== DINFO_LEVEL_VERBOSE
)
&& (write_symbols
== DWARF_DEBUG
))
dwarfout_define (lineno
, get_directive_line (finput
));
#endif /* DWARF_DEBUGGING_INFO */
&& ((c
= getc (finput
)) == ' ' || c
== '\t' || c
== '\n'))
#ifdef DWARF_DEBUGGING_INFO
if ((debug_info_level
== DINFO_LEVEL_VERBOSE
)
&& (write_symbols
== DWARF_DEBUG
))
dwarfout_undef (lineno
, get_directive_line (finput
));
#endif /* DWARF_DEBUGGING_INFO */
&& ((c
= getc (finput
)) == ' ' || c
== '\t'))
&& ((c
= getc (finput
)) == ' ' || c
== '\t'))
/* #ident. The pedantic warning is now in cccp.c. */
/* Here we have just seen `#ident '.
A string constant should follow. */
while (c
== ' ' || c
== '\t')
/* If no argument, ignore the line. */
|| TREE_CODE (yylval
.ttype
) != STRING_CST
)
error ("invalid #ident");
ASM_OUTPUT_IDENT (asm_out_file
, TREE_STRING_POINTER (yylval
.ttype
));
/* Skip the rest of this line. */
error ("undefined or invalid # directive");
/* Here we have either `#line' or `# <nonletter>'.
In either case, it should be a line number; a digit should follow. */
while (c
== ' ' || c
== '\t')
/* If the # is the only nonwhite char on the line,
just ignore it. Check the new newline. */
/* Something follows the #; read a token. */
&& TREE_CODE (yylval
.ttype
) == INTEGER_CST
)
/* subtract one, because it is the following line that
gets the specified number */
int l
= TREE_INT_CST_LOW (yylval
.ttype
) - 1;
/* Is this the last nonwhite stuff on the line? */
while (c
== ' ' || c
== '\t')
/* No more: store the line number and check following line. */
/* More follows: it must be a string constant (filename). */
/* Read the string constant, but don't treat \ as special. */
if (token
!= STRING
|| TREE_CODE (yylval
.ttype
) != STRING_CST
)
= (char *) permalloc (TREE_STRING_LENGTH (yylval
.ttype
) + 1);
strcpy (input_filename
, TREE_STRING_POINTER (yylval
.ttype
));
/* Each change of file name
reinitializes whether we are now in a system header. */
if (main_input_filename
== 0)
main_input_filename
= input_filename
;
/* Is this the last nonwhite stuff on the line? */
while (c
== ' ' || c
== '\t')
/* `1' after file name means entering new file.
`2' after file name means just left a file. */
&& TREE_CODE (yylval
.ttype
) == INTEGER_CST
)
if (TREE_INT_CST_LOW (yylval
.ttype
) == 1)
/* Pushing to a new file. */
= (struct file_stack
*) xmalloc (sizeof (struct file_stack
));
input_file_stack
->line
= old_lineno
;
p
->next
= input_file_stack
;
p
->name
= input_filename
;
#ifdef DWARF_DEBUGGING_INFO
if (debug_info_level
== DINFO_LEVEL_VERBOSE
&& write_symbols
== DWARF_DEBUG
)
dwarfout_start_new_source_file (input_filename
);
#endif /* DWARF_DEBUGGING_INFO */
else if (TREE_INT_CST_LOW (yylval
.ttype
) == 2)
/* Popping out of a file. */
if (input_file_stack
->next
)
struct file_stack
*p
= input_file_stack
;
input_file_stack
= p
->next
;
#ifdef DWARF_DEBUGGING_INFO
if (debug_info_level
== DINFO_LEVEL_VERBOSE
&& write_symbols
== DWARF_DEBUG
)
dwarfout_resume_previous_source_file (input_file_stack
->line
);
#endif /* DWARF_DEBUGGING_INFO */
error ("#-lines for entering and leaving files don't match");
/* If we have handled a `1' or a `2',
see if there is another number to read. */
/* Is this the last nonwhite stuff on the line? */
while (c
== ' ' || c
== '\t')
/* `3' after file name means this is a system header file. */
&& TREE_CODE (yylval
.ttype
) == INTEGER_CST
&& TREE_INT_CST_LOW (yylval
.ttype
) == 3)
error ("invalid #-line");
/* skip the rest of this line. */
while ((c
= getc (finput
)) != EOF
&& c
!= '\n');
#ifdef HANDLE_SYSV_PRAGMA
/* Handle a #pragma directive. INPUT is the current input stream,
and C is a character to reread. Processes the entire input line
and returns a character for the caller to reread: either \n or EOF. */
/* This function has to be in this file, in order to get at
handle_sysv_pragma (input
, c
)
while (c
== ' ' || c
== '\t')
if (c
== '\n' || c
== EOF
)
handle_pragma_token (0, 0);
handle_pragma_token (token_buffer
, yylval
.ttype
);
handle_pragma_token (token_buffer
, 0);
c
= nextchar
, nextchar
= -1;
#endif /* HANDLE_SYSV_PRAGMA */
#define isalnum(char) ((char >= 'a' && char <= 'z') || (char >= 'A' && char <= 'Z') || (char >= '0' && char <= '9'))
#define isdigit(char) (char >= '0' && char <= '9')
#define ENDFILE -1 /* token that represents end-of-file */
/* Read an escape sequence, returning its equivalent as a character,
or store 1 in *ignore_ptr if it is backslash-newline. */
register int c
= getc (finput
);
warning ("the meaning of `\\x' varies with -traditional");
if (!(c
>= 'a' && c
<= 'f')
&& !(c
>= 'A' && c
<= 'F')
&& !(c
>= '0' && c
<= '9'))
if (c
>= 'a' && c
<= 'f')
if (c
>= 'A' && c
<= 'F')
if (c
>= '0' && c
<= '9')
if (code
!= 0 || count
!= 0)
error ("\\x used with no following hex digits");
/* Digits are all 0's. Ok. */
else if ((count
- 1) * 4 >= TYPE_PRECISION (integer_type_node
)
&& ((1 << (TYPE_PRECISION (integer_type_node
) - (count
- 1) * 4))
pedwarn ("hex escape out of range");
case '0': case '1': case '2': case '3': case '4':
case '5': case '6': case '7':
while ((c
<= '7') && (c
>= '0') && (count
++ < 3))
code
= (code
* 8) + (c
- '0');
case '\\': case '\'': case '"':
warning ("the meaning of `\\a' varies with -traditional");
#if 0 /* Vertical tab is present in common usage compilers. */
pedwarn ("non-ANSI-standard escape sequence, `\\%c'", c
);
/* `\(', etc, are used at beginning of line to avoid confusing Emacs. */
pedwarn ("non-ANSI escape sequence `\\%c'", c
);
if (c
>= 040 && c
< 0177)
pedwarn ("unknown escape sequence `\\%c'", c
);
pedwarn ("unknown escape sequence: `\\' followed by char code 0x%x", c
);
/* We can't print string and character constants well
because the token_buffer contains the result of processing escapes. */
strcat (buf
, " at end of input");
else if (token_buffer
[0] == 0)
strcat (buf
, " at null character");
else if (token_buffer
[0] == '"')
strcat (buf
, " before string constant");
else if (token_buffer
[0] == '\'')
strcat (buf
, " before character constant");
else if (token_buffer
[0] < 040 || (unsigned char) token_buffer
[0] >= 0177)
sprintf (buf
+ strlen (buf
), " before character 0%o",
(unsigned char) token_buffer
[0]);
strcat (buf
, " before `%s'");
error (buf
, token_buffer
);
struct try_type type_sequence
[] =
{ &integer_type_node
, 0, 0, 0},
{ &unsigned_type_node
, 1, 0, 0},
{ &long_integer_type_node
, 0, 1, 0},
{ &long_unsigned_type_node
, 1, 1, 0},
{ &long_long_integer_type_node
, 0, 1, 1},
{ &long_long_unsigned_type_node
, 1, 1, 1}
c
= nextchar
, nextchar
= -1;
/* Effectively do c = skip_white_space (c)
but do it faster in the usual cases. */
/* Call skip_white_space so we can warn if appropriate. */
c
= skip_white_space (c
);
/* yylloc.first_line = lineno; */
/* Capital L may start a wide-string or wide-character constant. */
register int c
= getc (finput
);
while (isalnum (c
) || c
== '_')
if (p
>= token_buffer
+ maxtoken
)
p
= extend_token_buffer (p
);
value
= recognize_objc_keyword (token_buffer
+ 1);
error ("invalid Objective C keyword `%s'", token_buffer
);
/* Cause a syntax error--1 is not a valid token type. */
case 'A': case 'B': case 'C': case 'D': case 'E':
case 'F': case 'G': case 'H': case 'I': case 'J':
case 'K': case 'M': case 'N': case 'O':
case 'P': case 'Q': case 'R': case 'S': case 'T':
case 'U': case 'V': case 'W': case 'X': case 'Y':
case 'a': case 'b': case 'c': case 'd': case 'e':
case 'f': case 'g': case 'h': case 'i': case 'j':
case 'k': case 'l': case 'm': case 'n': case 'o':
case 'p': case 'q': case 'r': case 's': case 't':
case 'u': case 'v': case 'w': case 'x': case 'y':
while (isalnum (c
) || c
== '_' || c
== '$' || c
== '@')
if (p
>= token_buffer
+ maxtoken
)
p
= extend_token_buffer (p
);
if (c
== '$' && ! dollars_in_ident
)
/* Try to recognize a keyword. Uses minimum-perfect hash function */
register struct resword
*ptr
;
if (ptr
= is_reserved_word (token_buffer
, p
- token_buffer
))
yylval
.ttype
= ridpointers
[(int) ptr
->rid
];
value
= (int) ptr
->token
;
/* Even if we decided to recognize asm, still perhaps warn. */
&& (value
== ASM_KEYWORD
|| value
== TYPEOF
|| ptr
->rid
== RID_INLINE
)
&& token_buffer
[0] != '_')
pedwarn ("ANSI does not permit the keyword `%s'",
/* If we did not find a keyword, look for an identifier
yylval
.ttype
= get_identifier (token_buffer
);
lastiddecl
= lookup_name (yylval
.ttype
);
if (lastiddecl
!= 0 && TREE_CODE (lastiddecl
) == TYPE_DECL
)
/* A user-invisible read-only initialized variable
should be replaced by its value.
We handle only strings since that's the only case used in C. */
else if (lastiddecl
!= 0 && TREE_CODE (lastiddecl
) == VAR_DECL
&& DECL_IGNORED_P (lastiddecl
)
&& TREE_READONLY (lastiddecl
)
&& DECL_INITIAL (lastiddecl
) != 0
&& TREE_CODE (DECL_INITIAL (lastiddecl
)) == STRING_CST
)
yylval
.ttype
= DECL_INITIAL (lastiddecl
);
else if (doing_objc_thang
)
tree objc_interface_decl
= lookup_interface (yylval
.ttype
);
yylval
.ttype
= objc_interface_decl
;
case '0': case '1': case '2': case '3': case '4':
case '5': case '6': case '7': case '8': case '9':
/* for multi-precision arithmetic,
we actually store only HOST_BITS_PER_CHAR bits in each part.
The number of parts is chosen so as to be sufficient to hold
the enough bits to fit into the two HOST_WIDE_INTs that contain
the integer value (this is always at least as many bits as are
in a target `long long' value, but may be wider). */
#define TOTAL_PARTS ((HOST_BITS_PER_WIDE_INT / HOST_BITS_PER_CHAR) * 2 + 2)
enum anon1
{ NOT_FLOAT
, AFTER_POINT
, TOO_MANY_POINTS
} floatflag
for (count
= 0; count
< TOTAL_PARTS
; count
++)
*p
++ = (c
= getc (finput
));
if ((c
== 'x') || (c
== 'X'))
*p
++ = (c
= getc (finput
));
/* Leading 0 forces octal unless the 0 is the only digit. */
else if (c
>= '0' && c
<= '9')
/* Read all the digits-and-decimal-points. */
|| (isalnum (c
) && (c
!= 'l') && (c
!= 'L')
&& (c
!= 'u') && (c
!= 'U')
&& (floatflag
== NOT_FLOAT
|| ((c
!= 'f') && (c
!= 'F')))))
error ("floating constant may not be in radix 16");
if (floatflag
== AFTER_POINT
)
error ("malformed floating constant");
floatflag
= TOO_MANY_POINTS
;
*p
++ = c
= getc (finput
);
/* Accept '.' as the start of a floating-point number
only when it is followed by a digit.
Otherwise, unread the following non-digit
and use the '.' as a structural token. */
if (p
== token_buffer
+ 2 && !isdigit (c
))
error ("parse error at `..'");
/* It is not a decimal point.
It should be a digit (perhaps a hex digit). */
break; /* start of exponent */
error ("nondigits in number and not hexadecimal");
for (count
= 0; count
< TOTAL_PARTS
; count
++)
+= (parts
[count
-1] >> HOST_BITS_PER_CHAR
);
&= (1 << HOST_BITS_PER_CHAR
) - 1;
/* If the extra highest-order part ever gets anything in it,
the number is certainly too big. */
if (parts
[TOTAL_PARTS
- 1] != 0)
if (p
>= token_buffer
+ maxtoken
- 3)
p
= extend_token_buffer (p
);
*p
++ = (c
= getc (finput
));
error ("numeric constant with no digits");
if (largest_digit
>= base
)
error ("numeric constant contains digits beyond the radix");
/* Remove terminating char from the token buffer and delimit the string */
if (floatflag
!= NOT_FLOAT
)
tree type
= double_type_node
;
int garbage_chars
= 0, exceeds_double
= 0;
/* Read explicit exponent if any, and put it in tokenbuf. */
if ((c
== 'e') || (c
== 'E'))
if (p
>= token_buffer
+ maxtoken
- 3)
p
= extend_token_buffer (p
);
if ((c
== '+') || (c
== '-'))
error ("floating constant exponent has no digits");
if (p
>= token_buffer
+ maxtoken
- 3)
p
= extend_token_buffer (p
);
/* Convert string to a double, checking for overflow. */
error ("floating constant out of range");
set_float_handler (handler
);
value
= REAL_VALUE_ATOF (token_buffer
);
set_float_handler (NULL_PTR
);
if (errno
== ERANGE
&& !flag_traditional
&& pedantic
)
/* ERANGE is also reported for underflow,
so test the value to distinguish overflow from that. */
if (REAL_VALUES_LESS (dconst1
, value
)
|| REAL_VALUES_LESS (value
, dconstm1
))
pedwarn ("floating point number exceeds range of `double'");
/* Read the suffixes to choose a data type. */
value
= REAL_VALUE_TRUNCATE (TYPE_MODE (type
), value
);
if (REAL_VALUE_ISINF (value
) && ! exceeds_double
&& pedantic
)
pedwarn ("floating point number exceeds range of `float'");
type
= long_double_type_node
;
/* Note: garbage_chars is -1 if first char is *not* garbage. */
if (p
>= token_buffer
+ maxtoken
- 3)
p
= extend_token_buffer (p
);
error ("garbage at end of number");
/* Create a node with determined type and value. */
yylval
.ttype
= build_real (type
, value
);
tree traditional_type
, ansi_type
, type
;
if (c
== 'u' || c
== 'U')
error ("two `u's in integer constant");
else if (c
== 'l' || c
== 'L')
error ("three `l's in integer constant");
pedwarn ("ANSI C forbids long long integer constants");
error ("garbage at end of number");
if (p
>= token_buffer
+ maxtoken
- 3)
p
= extend_token_buffer (p
);
if (p
>= token_buffer
+ maxtoken
- 3)
p
= extend_token_buffer (p
);
/* If the constant is not long long and it won't fit in an
unsigned long, or if the constant is long long and won't fit
in an unsigned long long, then warn that the constant is out
/* ??? This assumes that long long and long integer types are
a multiple of 8 bits. This better than the original code
though which assumed that long was exactly 32 bits and long
long was exactly 64 bits. */
bytes
= TYPE_PRECISION (long_long_integer_type_node
) / 8;
bytes
= TYPE_PRECISION (long_integer_type_node
) / 8;
for (i
= bytes
; i
< TOTAL_PARTS
; i
++)
pedwarn ("integer constant out of range");
/* This is simplified by the fact that our constant
for (i
= 0; i
< HOST_BITS_PER_WIDE_INT
/ HOST_BITS_PER_CHAR
; i
++)
high
|= ((HOST_WIDE_INT
) parts
[i
+ (HOST_BITS_PER_WIDE_INT
<< (i
* HOST_BITS_PER_CHAR
));
low
|= (HOST_WIDE_INT
) parts
[i
] << (i
* HOST_BITS_PER_CHAR
);
yylval
.ttype
= build_int_2 (low
, high
);
TREE_TYPE (yylval
.ttype
) = long_long_unsigned_type_node
;
/* If warn_traditional, calculate both the ANSI type and the
traditional type, then see if they disagree.
Otherwise, calculate only the type for the dialect in use. */
if (warn_traditional
|| flag_traditional
)
/* Calculate the traditional type. */
/* Traditionally, any constant is signed;
but if unsigned is specified explicitly, obey that.
Use the smallest size with the right number of bits,
except for one special case with decimal constants. */
if (! spec_long
&& base
!= 10
&& int_fits_type_p (yylval
.ttype
, unsigned_type_node
))
traditional_type
= (spec_unsigned
? unsigned_type_node
/* A decimal constant must be long
if it does not fit in type int.
I think this is independent of whether
the constant is signed. */
else if (! spec_long
&& base
== 10
&& int_fits_type_p (yylval
.ttype
, integer_type_node
))
traditional_type
= (spec_unsigned
? unsigned_type_node
else if (! spec_long_long
)
traditional_type
= (spec_unsigned
? long_unsigned_type_node
: long_integer_type_node
);
traditional_type
= (spec_unsigned
? long_long_unsigned_type_node
: long_long_integer_type_node
);
if (warn_traditional
|| ! flag_traditional
)
/* Calculate the ANSI type. */
if (! spec_long
&& ! spec_unsigned
&& int_fits_type_p (yylval
.ttype
, integer_type_node
))
ansi_type
= integer_type_node
;
else if (! spec_long
&& (base
!= 10 || spec_unsigned
)
&& int_fits_type_p (yylval
.ttype
, unsigned_type_node
))
ansi_type
= unsigned_type_node
;
else if (! spec_unsigned
&& !spec_long_long
&& int_fits_type_p (yylval
.ttype
, long_integer_type_node
))
ansi_type
= long_integer_type_node
;
else if (! spec_long_long
)
ansi_type
= long_unsigned_type_node
;
/* Verify value does not overflow into sign bit. */
&& TREE_INT_CST_HIGH (yylval
.ttype
) >= 0
&& int_fits_type_p (yylval
.ttype
,
long_long_integer_type_node
))
ansi_type
= long_long_integer_type_node
;
ansi_type
= long_long_unsigned_type_node
;
type
= flag_traditional
? traditional_type
: ansi_type
;
if (warn_traditional
&& traditional_type
!= ansi_type
)
if (TYPE_PRECISION (traditional_type
)
!= TYPE_PRECISION (ansi_type
))
warning ("width of integer constant changes with -traditional");
else if (TREE_UNSIGNED (traditional_type
)
!= TREE_UNSIGNED (ansi_type
))
warning ("integer constant is unsigned in ANSI C, signed with -traditional");
warning ("width of integer constant may change on other systems with -traditional");
if (!flag_traditional
&& !int_fits_type_p (yylval
.ttype
, type
)
pedwarn ("integer constant out of range");
if (base
== 10 && ! spec_unsigned
&& TREE_UNSIGNED (type
))
warning ("integer constant is so large that it is unsigned");
if (flag_traditional
&& !int_fits_type_p (yylval
.ttype
, type
))
/* The traditional constant 0x80000000 is signed
but doesn't fit in the range of int.
This will change it to -0x80000000, which does fit. */
TREE_TYPE (yylval
.ttype
) = unsigned_type (type
);
yylval
.ttype
= convert (type
, yylval
.ttype
);
TREE_TYPE (yylval
.ttype
) = type
;
register int num_chars
= 0;
unsigned width
= TYPE_PRECISION (char_type_node
);
max_chars
= TYPE_PRECISION (integer_type_node
) / width
;
if (c
== '\'' || c
== EOF
)
c
= readescape (&ignore
);
if (width
< HOST_BITS_PER_INT
&& (unsigned) c
>= (1 << width
))
pedwarn ("escape sequence out of range for character");
pedwarn ("ANSI C forbids newline in character constant");
if (num_chars
> maxtoken
- 4)
extend_token_buffer (token_buffer
);
token_buffer
[num_chars
] = c
;
/* Merge character into result; ignore excess chars. */
if (num_chars
< max_chars
+ 1)
if (width
< HOST_BITS_PER_INT
)
result
= (result
<< width
) | (c
& ((1 << width
) - 1));
token_buffer
[num_chars
+ 1] = '\'';
token_buffer
[num_chars
+ 2] = 0;
error ("malformatted character constant");
error ("empty character constant");
else if (num_chars
> max_chars
)
error ("character constant too long");
else if (num_chars
!= 1 && ! flag_traditional
)
warning ("multi-character character constant");
/* If char type is signed, sign-extend the constant. */
int num_bits
= num_chars
* width
;
if (TREE_UNSIGNED (char_type_node
)
|| ((result
>> (num_bits
- 1)) & 1) == 0)
= build_int_2 (result
& ((unsigned HOST_WIDE_INT
) ~0
>> (HOST_BITS_PER_WIDE_INT
- num_bits
)),
= build_int_2 (result
| ~((unsigned HOST_WIDE_INT
) ~0
>> (HOST_BITS_PER_WIDE_INT
- num_bits
)),
/* Set the initial shift state and convert the next sequence. */
/* In all locales L'\0' is zero and mbtowc will return zero,
|| (num_chars
== 1 && token_buffer
[1] != '\0'))
(void) mbtowc (NULL_PTR
, NULL_PTR
, 0);
if (mbtowc (& wc
, token_buffer
+ 1, num_chars
) == num_chars
)
warning ("Ignoring invalid multibyte character");
yylval
.ttype
= build_int_2 (result
, 0);
TREE_TYPE (yylval
.ttype
) = integer_type_node
;
while (c
!= '"' && c
>= 0)
/* ignore_escape_flag is set for reading the filename in #line. */
if (!ignore_escape_flag
&& c
== '\\')
c
= readescape (&ignore
);
&& TYPE_PRECISION (char_type_node
) < HOST_BITS_PER_INT
&& c
>= (1 << TYPE_PRECISION (char_type_node
)))
pedwarn ("escape sequence out of range for character");
pedwarn ("ANSI C forbids newline in string constant");
if (p
== token_buffer
+ maxtoken
)
p
= extend_token_buffer (p
);
/* We have read the entire constant.
Construct a STRING_CST for the result. */
/* If this is a L"..." wide-string, convert the multibyte string
to a wide character string. */
char *widep
= (char *) alloca ((p
- token_buffer
) * WCHAR_BYTES
);
len
= mbstowcs ((wchar_t *) widep
, token_buffer
+ 1, p
- token_buffer
);
if ((unsigned) len
>= (p
- token_buffer
))
warning ("Ignoring invalid multibyte string");
bzero (widep
+ (len
* WCHAR_BYTES
), WCHAR_BYTES
);
union { long l
; char c
[sizeof (long)]; } u
;
/* Determine whether host is little or big endian. */
big_endian
= u
.c
[sizeof (long) - 1];
wp
= widep
+ (big_endian
? WCHAR_BYTES
- 1 : 0);
bzero (widep
, (p
- token_buffer
) * WCHAR_BYTES
);
for (cp
= token_buffer
+ 1; cp
< p
; cp
++)
*wp
= *cp
, wp
+= WCHAR_BYTES
;
len
= p
- token_buffer
- 1;
yylval
.ttype
= build_string ((len
+ 1) * WCHAR_BYTES
, widep
);
TREE_TYPE (yylval
.ttype
) = wchar_array_type_node
;
yylval
.ttype
= build_string (p
- token_buffer
, token_buffer
+ 1);
TREE_TYPE (yylval
.ttype
) = char_array_type_node
;
yylval
.code
= PLUS_EXPR
; break;
yylval
.code
= MINUS_EXPR
; break;
yylval
.code
= BIT_AND_EXPR
; break;
yylval
.code
= BIT_IOR_EXPR
; break;
yylval
.code
= MULT_EXPR
; break;
yylval
.code
= TRUNC_DIV_EXPR
; break;
yylval
.code
= TRUNC_MOD_EXPR
; break;
yylval
.code
= BIT_XOR_EXPR
; break;
yylval
.code
= LSHIFT_EXPR
; break;
yylval
.code
= RSHIFT_EXPR
; break;
yylval
.code
= LT_EXPR
; break;
yylval
.code
= GT_EXPR
; break;
token_buffer
[1] = c1
= getc (finput
);
value
= ARITHCOMPARE
; yylval
.code
= LE_EXPR
; goto done
;
value
= ARITHCOMPARE
; yylval
.code
= GE_EXPR
; goto done
;
value
= EQCOMPARE
; yylval
.code
= NE_EXPR
; goto done
;
value
= EQCOMPARE
; yylval
.code
= EQ_EXPR
; goto done
;
value
= ASSIGN
; goto done
;
value
= PLUSPLUS
; goto done
;
value
= MINUSMINUS
; goto done
;
value
= ANDAND
; goto done
;
else if ((c
== '-') && (c1
== '>'))
{ value
= POINTSAT
; goto done
; }
if ((c
== '<') || (c
== '>'))
/* Don't make yyparse think this is eof. */
/* yylloc.last_line = lineno; */
/* Sets the value of the 'yydebug' variable to VALUE.
This is a function so we don't have to have YYDEBUG defined
in order to build the compiler. */
warning ("YYDEBUG not defined.");