1 /* Lexical analyzer for C and Objective C.
2 Copyright (C) 1987, 88, 89, 92, 94-98, 1999 Free Software Foundation, Inc.
4 This file is part of GNU CC.
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
37 /* MULTIBYTE_CHARS support only works for native compilers.
38 ??? Ideally what we want is to model widechar support after
39 the current floating point support. */
41 #undef MULTIBYTE_CHARS
44 #ifdef MULTIBYTE_CHARS
47 #endif /* MULTIBYTE_CHARS */
48 #ifndef GET_ENVIRONMENT
49 #define GET_ENVIRONMENT(ENV_VALUE,ENV_NAME) ((ENV_VALUE) = getenv (ENV_NAME))
54 extern cpp_reader parse_in
;
55 extern cpp_options parse_options
;
57 /* Stream for reading from the input file. */
61 extern void yyprint
PROTO((FILE *, int, YYSTYPE
));
63 /* The elements of `ridpointers' are identifier nodes
64 for the reserved type names and storage classes.
65 It is indexed by a RID_... value. */
66 tree ridpointers
[(int) RID_MAX
];
68 /* Cause the `yydebug' variable to be defined. */
72 extern unsigned char *yy_cur
, *yy_lim
;
73 extern enum cpp_token cpp_token
;
75 extern int yy_get_token ();
77 #define GETC() (yy_cur < yy_lim ? *yy_cur++ : yy_get_token ())
78 #define UNGETC(c) ((c) == EOF ? 0 : yy_cur--)
80 #else /* ! USE_CPPLIB */
82 #define GETC() getch ()
83 #define UNGETC(c) put_back (c)
85 struct putback_buffer
{
91 static struct putback_buffer putback
= {NULL
, 0, -1};
93 static inline int getch
PROTO ((void));
98 if (putback
.index
!= -1)
100 int ch
= putback
.buffer
[putback
.index
];
104 return getc (finput
);
107 static inline void put_back
PROTO ((int));
115 if (putback
.index
== putback
.buffer_size
- 1)
117 putback
.buffer_size
+= 16;
118 putback
.buffer
= xrealloc (putback
.buffer
, putback
.buffer_size
);
120 putback
.buffer
[++putback
.index
] = ch
;
123 #endif /* ! USE_CPPLIB */
127 /* the declaration found for the last IDENTIFIER token read in.
128 yylex must look this up to detect typedefs, which get token type TYPENAME,
129 so it is left around in case the identifier is not a typedef but is
130 used in a context which makes it a reference to a variable. */
133 /* Nonzero enables objc features. */
135 int doing_objc_thang
;
139 /* File used for outputting assembler code. */
140 extern FILE *asm_out_file
;
142 #undef WCHAR_TYPE_SIZE
143 #define WCHAR_TYPE_SIZE TYPE_PRECISION (wchar_type_node)
145 /* Number of bytes in a wide character. */
146 #define WCHAR_BYTES (WCHAR_TYPE_SIZE / BITS_PER_UNIT)
148 static int maxtoken
; /* Current nominal length of token buffer. */
149 char *token_buffer
; /* Pointer to token buffer.
150 Actual allocated length is maxtoken + 2.
151 This is not static because objc-parse.y uses it. */
153 static int indent_level
; /* Number of { minus number of }. */
155 /* Nonzero tells yylex to ignore \ in string constants. */
156 static int ignore_escape_flag
;
158 /* Nonzero if end-of-file has been seen on input. */
159 static int end_of_file
;
161 #ifdef HANDLE_GENERIC_PRAGMAS
162 static int handle_generic_pragma
PROTO((int));
163 #endif /* HANDLE_GENERIC_PRAGMAS */
164 static int whitespace_cr
PROTO((int));
165 static int skip_white_space
PROTO((int));
166 static char *extend_token_buffer
PROTO((const char *));
167 static int readescape
PROTO((int *));
168 static void parse_float
PROTO((PTR
));
169 static void extend_token_buffer_to
PROTO((int));
170 static int read_line_number
PROTO((int *));
172 /* Do not insert generated code into the source, instead, include it.
173 This allows us to build gcc automatically even for targets that
174 need to add or modify the reserved keyword lists. */
177 /* Return something to represent absolute declarators containing a *.
178 TARGET is the absolute declarator that the * contains.
179 TYPE_QUALS is a list of modifiers such as const or volatile
180 to apply to the pointer type, represented as identifiers.
182 We return an INDIRECT_REF whose "contents" are TARGET
183 and whose type is the modifier list. */
186 make_pointer_declarator (type_quals
, target
)
187 tree type_quals
, target
;
189 return build1 (INDIRECT_REF
, type_quals
, target
);
193 forget_protocol_qualifiers ()
195 int i
, n
= sizeof wordlist
/ sizeof (struct resword
);
197 for (i
= 0; i
< n
; i
++)
198 if ((int) wordlist
[i
].rid
>= (int) RID_IN
199 && (int) wordlist
[i
].rid
<= (int) RID_ONEWAY
)
200 wordlist
[i
].name
= "";
204 remember_protocol_qualifiers ()
206 int i
, n
= sizeof wordlist
/ sizeof (struct resword
);
208 for (i
= 0; i
< n
; i
++)
209 if (wordlist
[i
].rid
== RID_IN
)
210 wordlist
[i
].name
= "in";
211 else if (wordlist
[i
].rid
== RID_OUT
)
212 wordlist
[i
].name
= "out";
213 else if (wordlist
[i
].rid
== RID_INOUT
)
214 wordlist
[i
].name
= "inout";
215 else if (wordlist
[i
].rid
== RID_BYCOPY
)
216 wordlist
[i
].name
= "bycopy";
217 else if (wordlist
[i
].rid
== RID_BYREF
)
218 wordlist
[i
].name
= "byref";
219 else if (wordlist
[i
].rid
== RID_ONEWAY
)
220 wordlist
[i
].name
= "oneway";
224 init_parse (filename
)
228 /* Open input file. */
229 if (filename
== 0 || !strcmp (filename
, "-"))
235 finput
= fopen (filename
, "r");
237 pfatal_with_name (filename
);
239 #ifdef IO_BUFFER_SIZE
240 setvbuf (finput
, (char *) xmalloc (IO_BUFFER_SIZE
), _IOFBF
, IO_BUFFER_SIZE
);
242 #else /* !USE_CPPLIB */
243 parse_in
.show_column
= 1;
244 if (! cpp_start_read (&parse_in
, filename
))
247 if (filename
== 0 || !strcmp (filename
, "-"))
250 /* cpp_start_read always puts at least one line directive into the
251 token buffer. We must arrange to read it out here. */
252 yy_cur
= parse_in
.token_buffer
;
253 yy_lim
= CPP_PWRITTEN (&parse_in
);
254 cpp_token
= CPP_DIRECTIVE
;
267 cpp_finish (&parse_in
);
268 errorcount
+= parse_in
.errors
;
277 /* Make identifier nodes long enough for the language-specific slots. */
278 set_identifier_size (sizeof (struct lang_identifier
));
280 /* Start it at 0, because check_newline is called at the very beginning
281 and will increment it to 1. */
284 #ifdef MULTIBYTE_CHARS
285 /* Change to the native locale for multibyte conversions. */
286 setlocale (LC_CTYPE
, "");
287 GET_ENVIRONMENT (literal_codeset
, "LANG");
291 token_buffer
= (char *) xmalloc (maxtoken
+ 2);
293 ridpointers
[(int) RID_INT
] = get_identifier ("int");
294 ridpointers
[(int) RID_CHAR
] = get_identifier ("char");
295 ridpointers
[(int) RID_VOID
] = get_identifier ("void");
296 ridpointers
[(int) RID_FLOAT
] = get_identifier ("float");
297 ridpointers
[(int) RID_DOUBLE
] = get_identifier ("double");
298 ridpointers
[(int) RID_SHORT
] = get_identifier ("short");
299 ridpointers
[(int) RID_LONG
] = get_identifier ("long");
300 ridpointers
[(int) RID_UNSIGNED
] = get_identifier ("unsigned");
301 ridpointers
[(int) RID_SIGNED
] = get_identifier ("signed");
302 ridpointers
[(int) RID_INLINE
] = get_identifier ("inline");
303 ridpointers
[(int) RID_CONST
] = get_identifier ("const");
304 ridpointers
[(int) RID_RESTRICT
] = get_identifier ("restrict");
305 ridpointers
[(int) RID_VOLATILE
] = get_identifier ("volatile");
306 ridpointers
[(int) RID_AUTO
] = get_identifier ("auto");
307 ridpointers
[(int) RID_STATIC
] = get_identifier ("static");
308 ridpointers
[(int) RID_EXTERN
] = get_identifier ("extern");
309 ridpointers
[(int) RID_TYPEDEF
] = get_identifier ("typedef");
310 ridpointers
[(int) RID_REGISTER
] = get_identifier ("register");
311 ridpointers
[(int) RID_ITERATOR
] = get_identifier ("iterator");
312 ridpointers
[(int) RID_COMPLEX
] = get_identifier ("complex");
313 ridpointers
[(int) RID_ID
] = get_identifier ("id");
314 ridpointers
[(int) RID_IN
] = get_identifier ("in");
315 ridpointers
[(int) RID_OUT
] = get_identifier ("out");
316 ridpointers
[(int) RID_INOUT
] = get_identifier ("inout");
317 ridpointers
[(int) RID_BYCOPY
] = get_identifier ("bycopy");
318 ridpointers
[(int) RID_BYREF
] = get_identifier ("byref");
319 ridpointers
[(int) RID_ONEWAY
] = get_identifier ("oneway");
320 forget_protocol_qualifiers();
322 /* Some options inhibit certain reserved words.
323 Clear those words out of the hash table so they won't be recognized. */
324 #define UNSET_RESERVED_WORD(STRING) \
325 do { struct resword *s = is_reserved_word (STRING, sizeof (STRING) - 1); \
326 if (s) s->name = ""; } while (0)
328 if (! doing_objc_thang
)
329 UNSET_RESERVED_WORD ("id");
331 if (flag_traditional
)
333 UNSET_RESERVED_WORD ("const");
334 UNSET_RESERVED_WORD ("restrict");
335 UNSET_RESERVED_WORD ("volatile");
336 UNSET_RESERVED_WORD ("typeof");
337 UNSET_RESERVED_WORD ("signed");
338 UNSET_RESERVED_WORD ("inline");
339 UNSET_RESERVED_WORD ("iterator");
340 UNSET_RESERVED_WORD ("complex");
342 else if (!flag_isoc9x
)
343 UNSET_RESERVED_WORD ("restrict");
347 UNSET_RESERVED_WORD ("asm");
348 UNSET_RESERVED_WORD ("typeof");
349 UNSET_RESERVED_WORD ("inline");
350 UNSET_RESERVED_WORD ("iterator");
351 UNSET_RESERVED_WORD ("complex");
356 reinit_parse_for_function ()
360 /* Function used when yydebug is set, to print a token in more detail. */
363 yyprint (file
, yychar
, yylval
)
375 if (IDENTIFIER_POINTER (t
))
376 fprintf (file
, " `%s'", IDENTIFIER_POINTER (t
));
381 if (TREE_CODE (t
) == INTEGER_CST
)
383 #if HOST_BITS_PER_WIDE_INT == 64
384 #if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT
387 #if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
394 #if HOST_BITS_PER_WIDE_INT != HOST_BITS_PER_INT
400 TREE_INT_CST_HIGH (t
), TREE_INT_CST_LOW (t
));
405 /* Iff C is a carriage return, warn about it - if appropriate -
406 and return nonzero. */
411 static int newline_warning
= 0;
415 /* ANSI C says the effects of a carriage return in a source file
417 if (pedantic
&& !newline_warning
)
419 warning ("carriage return in source file");
420 warning ("(we only warn about the first carriage return)");
428 /* If C is not whitespace, return C.
429 Otherwise skip whitespace and return first nonwhite char read. */
439 /* We don't recognize comments here, because
440 cpp output can include / and * consecutively as operators.
441 Also, there's no need, since cpp removes all comments. */
449 c
= check_newline ();
458 /* While processing a # directive we don't get CPP_HSPACE
459 tokens, so we also need to handle whitespace the normal way. */
460 if (cpp_token
== CPP_HSPACE
)
477 error ("stray '\\' in program");
487 /* Skips all of the white space at the current location in the input file. */
490 position_after_white_space ()
496 UNGETC (skip_white_space (c
));
499 /* Make the token buffer longer, preserving the data in it.
500 P should point to just beyond the last valid character in the old buffer.
501 The value we return is a pointer to the new buffer
502 at a place corresponding to P. */
505 extend_token_buffer_to (size
)
509 maxtoken
= maxtoken
* 2 + 10;
510 while (maxtoken
< size
);
511 token_buffer
= (char *) xrealloc (token_buffer
, maxtoken
+ 2);
515 extend_token_buffer (p
)
518 int offset
= p
- token_buffer
;
519 extend_token_buffer_to (offset
);
520 return token_buffer
+ offset
;
523 #if defined HANDLE_PRAGMA
524 /* Local versions of these macros, that can be passed as function pointers. */
540 read_line_number (num
)
543 register int token
= yylex ();
545 if (token
== CONSTANT
546 && TREE_CODE (yylval
.ttype
) == INTEGER_CST
)
548 *num
= TREE_INT_CST_LOW (yylval
.ttype
);
553 if (token
!= END_OF_LINE
)
554 error ("invalid #-line");
559 /* At the beginning of a line, increment the line number
560 and process any #-directive on this line.
561 If the line is a #-directive, read the entire line and return a newline.
562 Otherwise, return the line's first non-whitespace character.
564 Note that in the case of USE_CPPLIB, we get the whole line as one
565 CPP_DIRECTIVE token. */
573 enum { act_none
, act_push
, act_pop
} action
;
574 int old_lineno
, action_number
, l
;
577 /* Read first nonwhite char on the line. */
581 /* In some cases where we're leaving an include file, we can get multiple
582 CPP_HSPACE tokens in a row, so we need to loop. */
583 while (cpp_token
== CPP_HSPACE
)
588 while (c
== ' ' || c
== '\t');
595 /* Sequences of multiple newlines are very common; optimize them. */
599 /* If not #, return it so caller will use it. */
603 /* Don't read beyond this line. */
608 if (cpp_token
== CPP_VSPACE
)
610 /* Format is "<space> <line number> <filename> <newline>".
611 Only the line number is interesting, and even that
612 we can get more efficiently than scanning the line. */
614 lineno
= parse_in
.lineno
- 1;
621 if (token
== IDENTIFIER
)
623 /* If a letter follows, then if the word here is `line', skip
624 it and ignore it; otherwise, ignore the line, with an error
625 if the word isn't `pragma'. */
627 const char *name
= IDENTIFIER_POINTER (yylval
.ttype
);
629 if (!strcmp (name
, "pragma"))
632 if (token
!= IDENTIFIER
633 || TREE_CODE (yylval
.ttype
) != IDENTIFIER_NODE
)
637 /* We invoke HANDLE_PRAGMA before HANDLE_GENERIC_PRAGMAS
638 (if both are defined), in order to give the back
639 end a chance to override the interpretation of
640 SYSV style pragmas. */
641 if (HANDLE_PRAGMA (pragma_getc
, pragma_ungetc
,
642 IDENTIFIER_POINTER (yylval
.ttype
)))
644 #endif /* HANDLE_PRAGMA */
646 #ifdef HANDLE_GENERIC_PRAGMAS
647 if (handle_generic_pragma (token
))
649 #endif /* HANDLE_GENERIC_PRAGMAS */
651 /* Issue a warning message if we have been asked to do so.
652 Ignoring unknown pragmas in system header file unless
653 an explcit -Wunknown-pragmas has been given. */
654 if (warn_unknown_pragmas
> 1
655 || (warn_unknown_pragmas
&& ! in_system_header
))
656 warning ("ignoring pragma: %s", token_buffer
);
660 else if (!strcmp (name
, "define"))
662 debug_define (lineno
, GET_DIRECTIVE_LINE ());
665 else if (!strcmp (name
, "undef"))
667 debug_undef (lineno
, GET_DIRECTIVE_LINE ());
670 else if (!strcmp (name
, "line"))
676 else if (!strcmp (name
, "ident"))
678 /* #ident. The pedantic warning is now in cccp.c. */
680 /* Here we have just seen `#ident '.
681 A string constant should follow. */
684 if (token
== END_OF_LINE
)
687 || TREE_CODE (yylval
.ttype
) != STRING_CST
)
689 error ("invalid #ident");
695 #ifdef ASM_OUTPUT_IDENT
696 ASM_OUTPUT_IDENT (asm_out_file
,
697 TREE_STRING_POINTER (yylval
.ttype
));
701 /* Skip the rest of this line. */
705 error ("undefined or invalid # directive `%s'", name
);
709 /* If the # is the only nonwhite char on the line,
710 just ignore it. Check the new newline. */
711 if (token
== END_OF_LINE
)
715 /* Here we have either `#line' or `# <nonletter>'.
716 In either case, it should be a line number; a digit should follow. */
718 if (token
!= CONSTANT
719 || TREE_CODE (yylval
.ttype
) != INTEGER_CST
)
721 error ("invalid #-line");
725 /* subtract one, because it is the following line that
726 gets the specified number */
728 l
= TREE_INT_CST_LOW (yylval
.ttype
) - 1;
730 /* More follows: it must be a string constant (filename).
731 It would be neat to use cpplib to quickly process the string, but
732 (1) we don't have a handy tokenization of the string, and
733 (2) I don't know how well that would work in the presense
734 of filenames that contain wide characters. */
738 /* Don't treat \ as special if we are processing #line 1 "...".
739 If you want it to be treated specially, use # 1 "...". */
740 ignore_escape_flag
= 1;
743 /* Read the string constant. */
746 ignore_escape_flag
= 0;
748 if (token
== END_OF_LINE
)
750 /* No more: store the line number and check following line. */
755 if (token
!= STRING
|| TREE_CODE (yylval
.ttype
) != STRING_CST
)
757 error ("invalid #line");
761 if (! ggc_p
&& !TREE_PERMANENT (yylval
.ttype
))
764 = (char *) permalloc (TREE_STRING_LENGTH (yylval
.ttype
) + 1);
765 strcpy (input_filename
, TREE_STRING_POINTER (yylval
.ttype
));
768 input_filename
= TREE_STRING_POINTER (yylval
.ttype
);
770 if (main_input_filename
== 0)
771 main_input_filename
= input_filename
;
778 /* Each change of file name
779 reinitializes whether we are now in a system header. */
780 in_system_header
= 0;
782 if (!read_line_number (&action_number
))
784 /* Update the name in the top element of input_file_stack. */
785 if (input_file_stack
)
786 input_file_stack
->name
= input_filename
;
789 /* `1' after file name means entering new file.
790 `2' after file name means just left a file. */
792 if (action_number
== 1)
795 read_line_number (&action_number
);
797 else if (action_number
== 2)
800 read_line_number (&action_number
);
802 if (action_number
== 3)
804 /* `3' after file name means this is a system header file. */
805 in_system_header
= 1;
806 read_line_number (&action_number
);
809 /* Do the actions implied by the preceding numbers. */
811 if (action
== act_push
)
813 /* Pushing to a new file. */
815 = (struct file_stack
*) xmalloc (sizeof (struct file_stack
));
816 input_file_stack
->line
= old_lineno
;
817 p
->next
= input_file_stack
;
818 p
->name
= input_filename
;
819 p
->indent_level
= indent_level
;
820 input_file_stack
= p
;
821 input_file_stack_tick
++;
822 debug_start_source_file (input_filename
);
824 else if (action
== act_pop
)
826 /* Popping out of a file. */
827 if (input_file_stack
->next
)
829 struct file_stack
*p
= input_file_stack
;
830 if (indent_level
!= p
->indent_level
)
832 warning_with_file_and_line
833 (p
->name
, old_lineno
,
834 "This file contains more `%c's than `%c's.",
835 indent_level
> p
->indent_level
? '{' : '}',
836 indent_level
> p
->indent_level
? '}' : '{');
838 input_file_stack
= p
->next
;
840 input_file_stack_tick
++;
841 debug_end_source_file (input_file_stack
->line
);
844 error ("#-lines for entering and leaving files don't match");
847 /* Now that we've pushed or popped the input stack,
848 update the name in the top element. */
849 if (input_file_stack
)
850 input_file_stack
->name
= input_filename
;
852 /* skip the rest of this line. */
859 while (c
!= '\n' && c
!= EOF
);
863 #ifdef HANDLE_GENERIC_PRAGMAS
865 /* Handle a #pragma directive.
866 TOKEN is the token we read after `#pragma'. Processes the entire input
867 line and return non-zero iff the pragma has been successfully parsed. */
869 /* This function has to be in this file, in order to get at
873 handle_generic_pragma (token
)
884 handle_pragma_token (token_buffer
, yylval
.ttype
);
888 return handle_pragma_token (NULL_PTR
, NULL_TREE
);
891 handle_pragma_token (token_buffer
, NULL
);
898 #endif /* HANDLE_GENERIC_PRAGMAS */
900 #define ENDFILE -1 /* token that represents end-of-file */
902 /* Read an escape sequence, returning its equivalent as a character,
903 or store 1 in *ignore_ptr if it is backslash-newline. */
906 readescape (ignore_ptr
)
909 register int c
= GETC();
911 register unsigned count
;
912 unsigned firstdig
= 0;
918 if (warn_traditional
)
919 warning ("the meaning of `\\x' varies with -traditional");
921 if (flag_traditional
)
936 if (c
>= 'a' && c
<= 'f')
937 code
+= c
- 'a' + 10;
938 if (c
>= 'A' && c
<= 'F')
939 code
+= c
- 'A' + 10;
940 if (c
>= '0' && c
<= '9')
942 if (code
!= 0 || count
!= 0)
951 error ("\\x used with no following hex digits");
953 /* Digits are all 0's. Ok. */
955 else if ((count
- 1) * 4 >= TYPE_PRECISION (integer_type_node
)
958 << (TYPE_PRECISION (integer_type_node
)
961 pedwarn ("hex escape out of range");
964 case '0': case '1': case '2': case '3': case '4':
965 case '5': case '6': case '7':
968 while ((c
<= '7') && (c
>= '0') && (count
++ < 3))
970 code
= (code
* 8) + (c
- '0');
976 case '\\': case '\'': case '"':
985 return TARGET_NEWLINE
;
1000 if (warn_traditional
)
1001 warning ("the meaning of `\\a' varies with -traditional");
1003 if (flag_traditional
)
1008 #if 0 /* Vertical tab is present in common usage compilers. */
1009 if (flag_traditional
)
1017 pedwarn ("non-ANSI-standard escape sequence, `\\%c'", c
);
1023 /* `\(', etc, are used at beginning of line to avoid confusing Emacs. */
1027 /* `\%' is used to prevent SCCS from getting confused. */
1030 pedwarn ("unknown escape sequence `\\%c'", c
);
1034 pedwarn ("unknown escape sequence `\\%c'", c
);
1036 pedwarn ("unknown escape sequence: `\\' followed by char code 0x%x", c
);
1044 const char *string
= _(msgid
);
1046 /* We can't print string and character constants well
1047 because the token_buffer contains the result of processing escapes. */
1049 error ("%s at end of input", string
);
1050 else if (token_buffer
[0] == 0)
1051 error ("%s at null character", string
);
1052 else if (token_buffer
[0] == '"')
1053 error ("%s before string constant", string
);
1054 else if (token_buffer
[0] == '\'')
1055 error ("%s before character constant", string
);
1056 else if (!ISGRAPH(token_buffer
[0]))
1057 error ("%s before character 0%o", string
, (unsigned char) token_buffer
[0]);
1059 error ("%s before `%s'", string
, token_buffer
);
1069 char long_long_flag
;
1072 struct try_type type_sequence
[] =
1074 { &integer_type_node
, 0, 0, 0},
1075 { &unsigned_type_node
, 1, 0, 0},
1076 { &long_integer_type_node
, 0, 1, 0},
1077 { &long_unsigned_type_node
, 1, 1, 0},
1078 { &long_long_integer_type_node
, 0, 1, 1},
1079 { &long_long_unsigned_type_node
, 1, 1, 1}
1093 int conversion_errno
;
1094 REAL_VALUE_TYPE value
;
1101 struct pf_args
* args
= (struct pf_args
*) data
;
1102 int fflag
= 0, lflag
= 0;
1103 /* Copy token_buffer now, while it has just the number
1104 and not the suffixes; once we add `f' or `i',
1105 REAL_VALUE_ATOF may not work any more. */
1106 char *copy
= (char *) alloca (args
->p
- token_buffer
+ 1);
1107 bcopy (token_buffer
, copy
, args
->p
- token_buffer
+ 1);
1109 args
->conversion_errno
= 0;
1110 args
->type
= double_type_node
;
1116 /* Read the suffixes to choose a data type. */
1121 error ("more than one `f' in numeric constant");
1127 error ("more than one `l' in numeric constant");
1133 error ("more than one `i' or `j' in numeric constant");
1135 pedwarn ("ANSI C forbids imaginary numeric constants");
1146 if (args
->p
>= token_buffer
+ maxtoken
- 3)
1147 args
->p
= extend_token_buffer (args
->p
);
1148 *(args
->p
++) = args
->c
;
1153 /* The second argument, machine_mode, of REAL_VALUE_ATOF
1154 tells the desired precision of the binary result
1155 of decimal-to-binary conversion. */
1160 error ("both `f' and `l' in floating constant");
1162 args
->type
= float_type_node
;
1164 if (args
->base
== 16)
1165 args
->value
= REAL_VALUE_HTOF (copy
, TYPE_MODE (args
->type
));
1167 args
->value
= REAL_VALUE_ATOF (copy
, TYPE_MODE (args
->type
));
1168 args
->conversion_errno
= errno
;
1169 /* A diagnostic is required here by some ANSI C testsuites.
1170 This is not pedwarn, because some people don't want
1171 an error for this. */
1172 if (REAL_VALUE_ISINF (args
->value
) && pedantic
)
1173 warning ("floating point number exceeds range of `float'");
1177 args
->type
= long_double_type_node
;
1179 if (args
->base
== 16)
1180 args
->value
= REAL_VALUE_HTOF (copy
, TYPE_MODE (args
->type
));
1182 args
->value
= REAL_VALUE_ATOF (copy
, TYPE_MODE (args
->type
));
1183 args
->conversion_errno
= errno
;
1184 if (REAL_VALUE_ISINF (args
->value
) && pedantic
)
1185 warning ("floating point number exceeds range of `long double'");
1190 if (args
->base
== 16)
1191 args
->value
= REAL_VALUE_HTOF (copy
, TYPE_MODE (args
->type
));
1193 args
->value
= REAL_VALUE_ATOF (copy
, TYPE_MODE (args
->type
));
1194 args
->conversion_errno
= errno
;
1195 if (REAL_VALUE_ISINF (args
->value
) && pedantic
)
1196 warning ("floating point number exceeds range of `double'");
1200 /* Get the next character, staying within the current token if possible.
1201 If we're lexing a token, we don't want to look beyond the end of the
1202 token cpplib has prepared for us; otherwise, we end up reading in the
1203 next token, which screws up feed_input. So just return a null
1206 static inline int token_getch
PROTO ((void));
1212 if (yy_cur
== yy_lim
)
1218 static inline void token_put_back
PROTO ((int));
1231 /* Read a single token from the input stream, and assign it lexical
1245 /* Effectively do c = skip_white_space (c)
1246 but do it faster in the usual cases. */
1256 if (cpp_token
== CPP_HSPACE
)
1257 c
= yy_get_token ();
1264 /* Call skip_white_space so we can warn if appropriate. */
1269 c
= skip_white_space (c
);
1271 goto found_nonwhite
;
1275 token_buffer
[0] = c
;
1276 token_buffer
[1] = 0;
1278 /* yylloc.first_line = lineno; */
1284 token_buffer
[0] = 0;
1286 value
= END_OF_LINE
;
1293 if (cpp_token
== CPP_NAME
)
1296 /* Capital L may start a wide-string or wide-character constant. */
1298 register int c
= token_getch();
1307 goto string_constant
;
1314 if (!doing_objc_thang
)
1321 /* '@' may start a constant string object. */
1322 register int c
= token_getch ();
1326 goto string_constant
;
1329 /* Fall through to treat '@' as the start of an identifier. */
1332 case 'A': case 'B': case 'C': case 'D': case 'E':
1333 case 'F': case 'G': case 'H': case 'I': case 'J':
1334 case 'K': case 'M': case 'N': case 'O':
1335 case 'P': case 'Q': case 'R': case 'S': case 'T':
1336 case 'U': case 'V': case 'W': case 'X': case 'Y':
1338 case 'a': case 'b': case 'c': case 'd': case 'e':
1339 case 'f': case 'g': case 'h': case 'i': case 'j':
1340 case 'k': case 'l': case 'm': case 'n': case 'o':
1341 case 'p': case 'q': case 'r': case 's': case 't':
1342 case 'u': case 'v': case 'w': case 'x': case 'y':
1348 if (cpp_token
== CPP_NAME
)
1350 /* Note that one character has already been read from
1351 yy_cur into token_buffer. Also, cpplib complains about
1352 $ in identifiers, so we don't have to. */
1354 int len
= yy_lim
- yy_cur
+ 1;
1355 if (len
>= maxtoken
)
1356 extend_token_buffer_to (len
+ 1);
1357 memcpy (token_buffer
+ 1, yy_cur
, len
);
1358 p
= token_buffer
+ len
;
1365 while (ISALNUM (c
) || c
== '_' || c
== '$' || c
== '@')
1367 /* Make sure this char really belongs in an identifier. */
1370 if (! dollars_in_ident
)
1371 error ("`$' in identifier");
1373 pedwarn ("`$' in identifier");
1376 if (p
>= token_buffer
+ maxtoken
)
1377 p
= extend_token_buffer (p
);
1390 /* Try to recognize a keyword. Uses minimum-perfect hash function */
1393 register struct resword
*ptr
;
1395 if ((ptr
= is_reserved_word (token_buffer
, p
- token_buffer
)))
1398 yylval
.ttype
= ridpointers
[(int) ptr
->rid
];
1399 value
= (int) ptr
->token
;
1401 /* Only return OBJECTNAME if it is a typedef. */
1402 if (doing_objc_thang
&& value
== OBJECTNAME
)
1404 lastiddecl
= lookup_name(yylval
.ttype
);
1406 if (lastiddecl
== NULL_TREE
1407 || TREE_CODE (lastiddecl
) != TYPE_DECL
)
1411 /* Even if we decided to recognize asm, still perhaps warn. */
1413 && (value
== ASM_KEYWORD
|| value
== TYPEOF
1414 || ptr
->rid
== RID_INLINE
)
1415 && token_buffer
[0] != '_')
1416 pedwarn ("ANSI does not permit the keyword `%s'",
1421 /* If we did not find a keyword, look for an identifier
1424 if (value
== IDENTIFIER
)
1426 if (token_buffer
[0] == '@')
1427 error("invalid identifier `%s'", token_buffer
);
1429 yylval
.ttype
= get_identifier (token_buffer
);
1430 lastiddecl
= lookup_name (yylval
.ttype
);
1432 if (lastiddecl
!= 0 && TREE_CODE (lastiddecl
) == TYPE_DECL
)
1434 /* A user-invisible read-only initialized variable
1435 should be replaced by its value.
1436 We handle only strings since that's the only case used in C. */
1437 else if (lastiddecl
!= 0 && TREE_CODE (lastiddecl
) == VAR_DECL
1438 && DECL_IGNORED_P (lastiddecl
)
1439 && TREE_READONLY (lastiddecl
)
1440 && DECL_INITIAL (lastiddecl
) != 0
1441 && TREE_CODE (DECL_INITIAL (lastiddecl
)) == STRING_CST
)
1443 tree stringval
= DECL_INITIAL (lastiddecl
);
1445 /* Copy the string value so that we won't clobber anything
1446 if we put something in the TREE_CHAIN of this one. */
1447 yylval
.ttype
= build_string (TREE_STRING_LENGTH (stringval
),
1448 TREE_STRING_POINTER (stringval
));
1451 else if (doing_objc_thang
)
1453 tree objc_interface_decl
= is_class_name (yylval
.ttype
);
1455 if (objc_interface_decl
)
1458 yylval
.ttype
= objc_interface_decl
;
1467 if (yy_cur
< yy_lim
)
1470 /* It's hard to preserve tokenization on '.' because
1471 it could be a symbol by itself, or it could be the
1472 start of a floating point number and cpp won't tell us. */
1473 register int c1
= token_getch ();
1474 token_buffer
[1] = c1
;
1477 c1
= token_getch ();
1480 token_buffer
[2] = c1
;
1481 token_buffer
[3] = 0;
1485 error ("parse error at `..'");
1489 token_put_back (c1
);
1492 token_put_back (c1
);
1495 token_buffer
[1] = 0;
1499 /* Optimize for most frequent case. */
1504 cond
= (yy_cur
== yy_lim
);
1506 register int c1
= token_getch ();
1507 token_put_back (c1
);
1508 cond
= (! ISALNUM (c1
) && c1
!= '.');
1512 yylval
.ttype
= (c
== '0') ? integer_zero_node
: integer_one_node
;
1518 case '2': case '3': case '4':
1519 case '5': case '6': case '7': case '8': case '9':
1524 int largest_digit
= 0;
1528 /* We actually store only HOST_BITS_PER_CHAR bits in each part.
1529 The code below which fills the parts array assumes that a host
1530 int is at least twice as wide as a host char, and that
1531 HOST_BITS_PER_WIDE_INT is an even multiple of HOST_BITS_PER_CHAR.
1532 Two HOST_WIDE_INTs is the largest int literal we can store.
1533 In order to detect overflow below, the number of parts (TOTAL_PARTS)
1534 must be exactly the number of parts needed to hold the bits
1535 of two HOST_WIDE_INTs. */
1536 #define TOTAL_PARTS ((HOST_BITS_PER_WIDE_INT / HOST_BITS_PER_CHAR) * 2)
1537 unsigned int parts
[TOTAL_PARTS
];
1539 enum anon1
{ NOT_FLOAT
, AFTER_POINT
, TOO_MANY_POINTS
, AFTER_EXPON
}
1540 floatflag
= NOT_FLOAT
;
1542 for (count
= 0; count
< TOTAL_PARTS
; count
++)
1550 *p
++ = (c
= token_getch());
1551 if ((c
== 'x') || (c
== 'X'))
1554 *p
++ = (c
= token_getch());
1556 /* Leading 0 forces octal unless the 0 is the only digit. */
1557 else if (c
>= '0' && c
<= '9')
1566 /* Read all the digits-and-decimal-points. */
1569 || (ISALNUM (c
) && c
!= 'l' && c
!= 'L'
1570 && c
!= 'u' && c
!= 'U'
1571 && c
!= 'i' && c
!= 'I' && c
!= 'j' && c
!= 'J'
1572 && (floatflag
== NOT_FLOAT
1573 || ((base
!= 16) && (c
!= 'f') && (c
!= 'F'))
1578 if (base
== 16 && pedantic
)
1579 pedwarn ("floating constant may not be in radix 16");
1580 if (floatflag
== TOO_MANY_POINTS
)
1581 /* We have already emitted an error. Don't need another. */
1583 else if (floatflag
== AFTER_POINT
|| floatflag
== AFTER_EXPON
)
1585 error ("malformed floating constant");
1586 floatflag
= TOO_MANY_POINTS
;
1587 /* Avoid another error from atof by forcing all characters
1588 from here on to be ignored. */
1592 floatflag
= AFTER_POINT
;
1596 *p
++ = c
= token_getch();
1597 /* Accept '.' as the start of a floating-point number
1598 only when it is followed by a digit. */
1599 if (p
== token_buffer
+ 2 && !ISDIGIT (c
))
1604 /* It is not a decimal point.
1605 It should be a digit (perhaps a hex digit). */
1611 else if (base
<= 10)
1613 if (c
== 'e' || c
== 'E')
1616 floatflag
= AFTER_EXPON
;
1617 break; /* start of exponent */
1619 error ("nondigits in number and not hexadecimal");
1622 else if (base
== 16 && (c
== 'p' || c
== 'P'))
1624 floatflag
= AFTER_EXPON
;
1625 break; /* start of exponent */
1635 if (c
>= largest_digit
)
1639 for (count
= 0; count
< TOTAL_PARTS
; count
++)
1641 parts
[count
] *= base
;
1645 += (parts
[count
-1] >> HOST_BITS_PER_CHAR
);
1647 &= (1 << HOST_BITS_PER_CHAR
) - 1;
1653 /* If the highest-order part overflows (gets larger than
1654 a host char will hold) then the whole number has
1655 overflowed. Record this and truncate the highest-order
1657 if (parts
[TOTAL_PARTS
- 1] >> HOST_BITS_PER_CHAR
)
1660 parts
[TOTAL_PARTS
- 1] &= (1 << HOST_BITS_PER_CHAR
) - 1;
1663 if (p
>= token_buffer
+ maxtoken
- 3)
1664 p
= extend_token_buffer (p
);
1665 *p
++ = (c
= token_getch());
1669 /* This can happen on input like `int i = 0x;' */
1671 error ("numeric constant with no digits");
1673 if (largest_digit
>= base
)
1674 error ("numeric constant contains digits beyond the radix");
1676 /* Remove terminating char from the token buffer and delimit the
1680 if (floatflag
!= NOT_FLOAT
)
1683 int imag
, conversion_errno
;
1684 REAL_VALUE_TYPE value
;
1685 struct pf_args args
;
1687 /* Read explicit exponent if any, and put it in tokenbuf. */
1689 if ((base
== 10 && ((c
== 'e') || (c
== 'E')))
1690 || (base
== 16 && (c
== 'p' || c
== 'P')))
1692 if (p
>= token_buffer
+ maxtoken
- 3)
1693 p
= extend_token_buffer (p
);
1696 if ((c
== '+') || (c
== '-'))
1701 /* Exponent is decimal, even if string is a hex float. */
1703 error ("floating constant exponent has no digits");
1706 if (p
>= token_buffer
+ maxtoken
- 3)
1707 p
= extend_token_buffer (p
);
1712 if (base
== 16 && floatflag
!= AFTER_EXPON
)
1713 error ("hexadecimal floating constant has no exponent");
1717 /* Setup input for parse_float() */
1722 /* Convert string to a double, checking for overflow. */
1723 if (do_float_handler (parse_float
, (PTR
) &args
))
1725 /* Receive output from parse_float() */
1730 /* We got an exception from parse_float() */
1731 error ("floating constant out of range");
1735 /* Receive output from parse_float() */
1739 conversion_errno
= args
.conversion_errno
;
1742 /* ERANGE is also reported for underflow,
1743 so test the value to distinguish overflow from that. */
1744 if (conversion_errno
== ERANGE
&& !flag_traditional
&& pedantic
1745 && (REAL_VALUES_LESS (dconst1
, value
)
1746 || REAL_VALUES_LESS (value
, dconstm1
)))
1747 warning ("floating point number exceeds range of `double'");
1750 /* If the result is not a number, assume it must have been
1751 due to some error message above, so silently convert
1753 if (REAL_VALUE_ISNAN (value
))
1756 /* Create a node with determined type and value. */
1758 yylval
.ttype
= build_complex (NULL_TREE
,
1759 convert (type
, integer_zero_node
),
1760 build_real (type
, value
));
1762 yylval
.ttype
= build_real (type
, value
);
1766 tree traditional_type
, ansi_type
, type
;
1767 HOST_WIDE_INT high
, low
;
1768 int spec_unsigned
= 0;
1770 int spec_long_long
= 0;
1774 traditional_type
= ansi_type
= type
= NULL_TREE
;
1777 if (c
== 'u' || c
== 'U')
1780 error ("two `u's in integer constant");
1783 else if (c
== 'l' || c
== 'L')
1788 error ("three `l's in integer constant");
1789 else if (pedantic
&& ! in_system_header
&& warn_long_long
)
1790 pedwarn ("ANSI C forbids long long integer constants");
1795 else if (c
== 'i' || c
== 'j' || c
== 'I' || c
== 'J')
1798 error ("more than one `i' or `j' in numeric constant");
1800 pedwarn ("ANSI C forbids imaginary numeric constants");
1805 if (p
>= token_buffer
+ maxtoken
- 3)
1806 p
= extend_token_buffer (p
);
1811 /* If the literal overflowed, pedwarn about it now. */
1815 pedwarn ("integer constant is too large for this configuration of the compiler - truncated to %d bits", HOST_BITS_PER_WIDE_INT
* 2);
1818 /* This is simplified by the fact that our constant
1819 is always positive. */
1823 for (i
= 0; i
< HOST_BITS_PER_WIDE_INT
/ HOST_BITS_PER_CHAR
; i
++)
1825 high
|= ((HOST_WIDE_INT
) parts
[i
+ (HOST_BITS_PER_WIDE_INT
1826 / HOST_BITS_PER_CHAR
)]
1827 << (i
* HOST_BITS_PER_CHAR
));
1828 low
|= (HOST_WIDE_INT
) parts
[i
] << (i
* HOST_BITS_PER_CHAR
);
1831 yylval
.ttype
= build_int_2 (low
, high
);
1832 TREE_TYPE (yylval
.ttype
) = long_long_unsigned_type_node
;
1834 /* If warn_traditional, calculate both the ANSI type and the
1835 traditional type, then see if they disagree.
1836 Otherwise, calculate only the type for the dialect in use. */
1837 if (warn_traditional
|| flag_traditional
)
1839 /* Calculate the traditional type. */
1840 /* Traditionally, any constant is signed;
1841 but if unsigned is specified explicitly, obey that.
1842 Use the smallest size with the right number of bits,
1843 except for one special case with decimal constants. */
1844 if (! spec_long
&& base
!= 10
1845 && int_fits_type_p (yylval
.ttype
, unsigned_type_node
))
1846 traditional_type
= (spec_unsigned
? unsigned_type_node
1847 : integer_type_node
);
1848 /* A decimal constant must be long
1849 if it does not fit in type int.
1850 I think this is independent of whether
1851 the constant is signed. */
1852 else if (! spec_long
&& base
== 10
1853 && int_fits_type_p (yylval
.ttype
, integer_type_node
))
1854 traditional_type
= (spec_unsigned
? unsigned_type_node
1855 : integer_type_node
);
1856 else if (! spec_long_long
)
1857 traditional_type
= (spec_unsigned
? long_unsigned_type_node
1858 : long_integer_type_node
);
1859 else if (int_fits_type_p (yylval
.ttype
,
1861 ? long_long_unsigned_type_node
1862 : long_long_integer_type_node
))
1863 traditional_type
= (spec_unsigned
1864 ? long_long_unsigned_type_node
1865 : long_long_integer_type_node
);
1867 traditional_type
= (spec_unsigned
1868 ? widest_unsigned_literal_type_node
1869 : widest_integer_literal_type_node
);
1871 if (warn_traditional
|| ! flag_traditional
)
1873 /* Calculate the ANSI type. */
1874 if (! spec_long
&& ! spec_unsigned
1875 && int_fits_type_p (yylval
.ttype
, integer_type_node
))
1876 ansi_type
= integer_type_node
;
1877 else if (! spec_long
&& (base
!= 10 || spec_unsigned
)
1878 && int_fits_type_p (yylval
.ttype
, unsigned_type_node
))
1879 ansi_type
= unsigned_type_node
;
1880 else if (! spec_unsigned
&& !spec_long_long
1881 && int_fits_type_p (yylval
.ttype
, long_integer_type_node
))
1882 ansi_type
= long_integer_type_node
;
1883 else if (! spec_long_long
1884 && int_fits_type_p (yylval
.ttype
,
1885 long_unsigned_type_node
))
1886 ansi_type
= long_unsigned_type_node
;
1887 else if (! spec_unsigned
1888 && int_fits_type_p (yylval
.ttype
,
1889 long_long_integer_type_node
))
1890 ansi_type
= long_long_integer_type_node
;
1891 else if (int_fits_type_p (yylval
.ttype
,
1892 long_long_unsigned_type_node
))
1893 ansi_type
= long_long_unsigned_type_node
;
1894 else if (! spec_unsigned
1895 && int_fits_type_p (yylval
.ttype
,
1896 widest_integer_literal_type_node
))
1897 ansi_type
= widest_integer_literal_type_node
;
1899 ansi_type
= widest_unsigned_literal_type_node
;
1902 type
= flag_traditional
? traditional_type
: ansi_type
;
1904 /* We assume that constants specified in a non-decimal
1905 base are bit patterns, and that the programmer really
1906 meant what they wrote. */
1907 if (warn_traditional
&& base
== 10
1908 && traditional_type
!= ansi_type
)
1910 if (TYPE_PRECISION (traditional_type
)
1911 != TYPE_PRECISION (ansi_type
))
1912 warning ("width of integer constant changes with -traditional");
1913 else if (TREE_UNSIGNED (traditional_type
)
1914 != TREE_UNSIGNED (ansi_type
))
1915 warning ("integer constant is unsigned in ANSI C, signed with -traditional");
1917 warning ("width of integer constant may change on other systems with -traditional");
1920 if (pedantic
&& !flag_traditional
&& !spec_long_long
&& !warn
1921 && (TYPE_PRECISION (long_integer_type_node
)
1922 < TYPE_PRECISION (type
)))
1925 pedwarn ("integer constant larger than the maximum value of an unsigned long int");
1928 if (base
== 10 && ! spec_unsigned
&& TREE_UNSIGNED (type
))
1929 warning ("decimal constant is so large that it is unsigned");
1933 if (TYPE_PRECISION (type
)
1934 <= TYPE_PRECISION (integer_type_node
))
1936 = build_complex (NULL_TREE
, integer_zero_node
,
1937 convert (integer_type_node
,
1940 error ("complex integer constant is too wide for `complex int'");
1942 else if (flag_traditional
&& !int_fits_type_p (yylval
.ttype
, type
))
1943 /* The traditional constant 0x80000000 is signed
1944 but doesn't fit in the range of int.
1945 This will change it to -0x80000000, which does fit. */
1947 TREE_TYPE (yylval
.ttype
) = unsigned_type (type
);
1948 yylval
.ttype
= convert (type
, yylval
.ttype
);
1949 TREE_OVERFLOW (yylval
.ttype
)
1950 = TREE_CONSTANT_OVERFLOW (yylval
.ttype
) = 0;
1953 TREE_TYPE (yylval
.ttype
) = type
;
1956 /* If it's still an integer (not a complex), and it doesn't
1957 fit in the type we choose for it, then pedwarn. */
1960 && TREE_CODE (TREE_TYPE (yylval
.ttype
)) == INTEGER_TYPE
1961 && ! int_fits_type_p (yylval
.ttype
, TREE_TYPE (yylval
.ttype
)))
1962 pedwarn ("integer constant is larger than the maximum value for its type");
1968 if (ISALNUM (c
) || c
== '.' || c
== '_' || c
== '$'
1969 || (!flag_traditional
&& (c
== '-' || c
== '+')
1970 && (p
[-1] == 'e' || p
[-1] == 'E')))
1971 error ("missing white space after number `%s'", token_buffer
);
1973 value
= CONSTANT
; break;
1979 register int result
= 0;
1980 register int num_chars
= 0;
1982 unsigned width
= TYPE_PRECISION (char_type_node
);
1984 #ifdef MULTIBYTE_CHARS
1985 int longest_char
= local_mb_cur_max ();
1986 (void) local_mbtowc (NULL_PTR
, NULL_PTR
, 0);
1989 max_chars
= TYPE_PRECISION (integer_type_node
) / width
;
1991 width
= WCHAR_TYPE_SIZE
;
1998 if (c
== '\'' || c
== EOF
)
2005 c
= readescape (&ignore
);
2008 if (width
< HOST_BITS_PER_INT
2009 && (unsigned) c
>= ((unsigned)1 << width
))
2010 pedwarn ("escape sequence out of range for character");
2011 #ifdef MAP_CHARACTER
2013 c
= MAP_CHARACTER (c
);
2019 pedwarn ("ANSI C forbids newline in character constant");
2024 #ifdef MULTIBYTE_CHARS
2028 for (i
= 1; i
<= longest_char
; ++i
)
2030 if (i
> maxtoken
- 4)
2031 extend_token_buffer (token_buffer
);
2033 token_buffer
[i
] = c
;
2034 char_len
= local_mbtowc (& wc
,
2043 /* mbtowc sometimes needs an extra char before accepting */
2048 /* Merge character into result; ignore excess chars. */
2049 for (i
= 1; i
<= char_len
; ++i
)
2053 if (width
< HOST_BITS_PER_INT
)
2054 result
= (result
<< width
)
2056 & ((1 << width
) - 1));
2058 result
= token_buffer
[i
];
2060 num_chars
+= char_len
;
2069 warning ("Ignoring invalid multibyte character");
2070 /* Replace all but the first byte. */
2071 for (--i
; i
> 1; --i
)
2072 token_put_back (token_buffer
[i
]);
2073 wc
= token_buffer
[1];
2075 #ifdef MAP_CHARACTER
2076 c
= MAP_CHARACTER (wc
);
2081 #else /* ! MULTIBYTE_CHARS */
2082 #ifdef MAP_CHARACTER
2083 c
= MAP_CHARACTER (c
);
2085 #endif /* ! MULTIBYTE_CHARS */
2090 if (chars_seen
== 1) /* only keep the first one */
2095 /* Merge character into result; ignore excess chars. */
2096 num_chars
+= (width
/ TYPE_PRECISION (char_type_node
));
2097 if (num_chars
< max_chars
+ 1)
2099 if (width
< HOST_BITS_PER_INT
)
2100 result
= (result
<< width
) | (c
& ((1 << width
) - 1));
2107 error ("malformed character constant");
2108 else if (chars_seen
== 0)
2109 error ("empty character constant");
2110 else if (num_chars
> max_chars
)
2112 num_chars
= max_chars
;
2113 error ("character constant too long");
2115 else if (chars_seen
!= 1 && ! flag_traditional
&& warn_multichar
)
2116 warning ("multi-character character constant");
2118 /* If char type is signed, sign-extend the constant. */
2121 int num_bits
= num_chars
* width
;
2123 /* We already got an error; avoid invalid shift. */
2124 yylval
.ttype
= build_int_2 (0, 0);
2125 else if (TREE_UNSIGNED (char_type_node
)
2126 || ((result
>> (num_bits
- 1)) & 1) == 0)
2128 = build_int_2 (result
& (~(unsigned HOST_WIDE_INT
) 0
2129 >> (HOST_BITS_PER_WIDE_INT
- num_bits
)),
2133 = build_int_2 (result
| ~(~(unsigned HOST_WIDE_INT
) 0
2134 >> (HOST_BITS_PER_WIDE_INT
- num_bits
)),
2136 TREE_TYPE (yylval
.ttype
) = integer_type_node
;
2140 yylval
.ttype
= build_int_2 (result
, 0);
2141 TREE_TYPE (yylval
.ttype
) = wchar_type_node
;
2151 unsigned width
= wide_flag
? WCHAR_TYPE_SIZE
2152 : TYPE_PRECISION (char_type_node
);
2153 #ifdef MULTIBYTE_CHARS
2154 int longest_char
= local_mb_cur_max ();
2155 (void) local_mbtowc (NULL_PTR
, NULL_PTR
, 0);
2158 p
= token_buffer
+ 1;
2160 while (c
!= '"' && c
!= EOF
)
2162 /* ignore_escape_flag is set for reading the filename in #line. */
2163 if (!ignore_escape_flag
&& c
== '\\')
2166 c
= readescape (&ignore
);
2169 if (width
< HOST_BITS_PER_INT
2170 && (unsigned) c
>= ((unsigned)1 << width
))
2171 pedwarn ("escape sequence out of range for character");
2176 pedwarn ("ANSI C forbids newline in string constant");
2181 #ifdef MULTIBYTE_CHARS
2185 for (i
= 0; i
< longest_char
; ++i
)
2187 if (p
+ i
>= token_buffer
+ maxtoken
)
2188 p
= extend_token_buffer (p
);
2191 char_len
= local_mbtowc (& wc
, p
, i
+ 1);
2198 warning ("Ignoring invalid multibyte character");
2199 /* Replace all except the first byte. */
2201 for (--i
; i
> 0; --i
)
2202 token_put_back (p
[i
]);
2205 /* mbtowc sometimes needs an extra char before accepting */
2215 #endif /* MULTIBYTE_CHARS */
2218 /* Add this single character into the buffer either as a wchar_t
2219 or as a single byte. */
2222 unsigned width
= TYPE_PRECISION (char_type_node
);
2223 unsigned bytemask
= (1 << width
) - 1;
2226 if (p
+ WCHAR_BYTES
> token_buffer
+ maxtoken
)
2227 p
= extend_token_buffer (p
);
2229 for (byte
= 0; byte
< WCHAR_BYTES
; ++byte
)
2232 if (byte
>= (int) sizeof (c
))
2235 value
= (c
>> (byte
* width
)) & bytemask
;
2236 if (BYTES_BIG_ENDIAN
)
2237 p
[WCHAR_BYTES
- byte
- 1] = value
;
2245 if (p
>= token_buffer
+ maxtoken
)
2246 p
= extend_token_buffer (p
);
2254 /* Terminate the string value, either with a single byte zero
2255 or with a wide zero. */
2258 if (p
+ WCHAR_BYTES
> token_buffer
+ maxtoken
)
2259 p
= extend_token_buffer (p
);
2260 bzero (p
, WCHAR_BYTES
);
2265 if (p
>= token_buffer
+ maxtoken
)
2266 p
= extend_token_buffer (p
);
2271 error ("Unterminated string constant");
2273 /* We have read the entire constant.
2274 Construct a STRING_CST for the result. */
2278 yylval
.ttype
= build_string (p
- (token_buffer
+ 1),
2280 TREE_TYPE (yylval
.ttype
) = wchar_array_type_node
;
2285 /* Return an Objective-C @"..." constant string object. */
2286 yylval
.ttype
= build_objc_string (p
- (token_buffer
+ 1),
2288 TREE_TYPE (yylval
.ttype
) = char_array_type_node
;
2289 value
= OBJC_STRING
;
2293 yylval
.ttype
= build_string (p
- (token_buffer
+ 1),
2295 TREE_TYPE (yylval
.ttype
) = char_array_type_node
;
2323 yylval
.code
= PLUS_EXPR
; break;
2325 yylval
.code
= MINUS_EXPR
; break;
2327 yylval
.code
= BIT_AND_EXPR
; break;
2329 yylval
.code
= BIT_IOR_EXPR
; break;
2331 yylval
.code
= MULT_EXPR
; break;
2333 yylval
.code
= TRUNC_DIV_EXPR
; break;
2335 yylval
.code
= TRUNC_MOD_EXPR
; break;
2337 yylval
.code
= BIT_XOR_EXPR
; break;
2339 yylval
.code
= LSHIFT_EXPR
; break;
2341 yylval
.code
= RSHIFT_EXPR
; break;
2343 yylval
.code
= LT_EXPR
; break;
2345 yylval
.code
= GT_EXPR
; break;
2348 token_buffer
[1] = c1
= token_getch();
2349 token_buffer
[2] = 0;
2356 value
= ARITHCOMPARE
; yylval
.code
= LE_EXPR
; goto done
;
2358 value
= ARITHCOMPARE
; yylval
.code
= GE_EXPR
; goto done
;
2360 value
= EQCOMPARE
; yylval
.code
= NE_EXPR
; goto done
;
2362 value
= EQCOMPARE
; yylval
.code
= EQ_EXPR
; goto done
;
2364 value
= ASSIGN
; goto done
;
2370 value
= PLUSPLUS
; goto done
;
2372 value
= MINUSMINUS
; goto done
;
2374 value
= ANDAND
; goto done
;
2376 value
= OROR
; goto done
;
2389 { value
= POINTSAT
; goto done
; }
2395 { value
= ']'; goto done
; }
2399 { value
= '{'; indent_level
++; goto done
; }
2401 { value
= '['; goto done
; }
2405 { value
= '}'; indent_level
--; goto done
; }
2409 token_put_back (c1
);
2410 token_buffer
[1] = 0;
2412 if ((c
== '<') || (c
== '>'))
2413 value
= ARITHCOMPARE
;
2419 /* Don't make yyparse think this is eof. */
2438 /* yylloc.last_line = lineno; */
2443 /* Sets the value of the 'yydebug' variable to VALUE.
2444 This is a function so we don't have to have YYDEBUG defined
2445 in order to build the compiler. */
2454 warning ("YYDEBUG not defined.");