1 /* -*- indented-text -*- */
2 /* Process source files and output type information.
3 Copyright (C) 2002-2021 Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
20
21 %option noinput
22
23 %{
24 #ifdef HOST_GENERATOR_FILE
25 #include "config.h"
26 #define GENERATOR_FILE 1
27 #else
28 #include "bconfig.h"
29 #endif
30 #include "system.h"
31
32 #define malloc xmalloc
33 #define realloc xrealloc
34
35 #include "gengtype.h"
36
37 #define YY_DECL int yylex (const char **yylval)
38 #define yyterminate() return EOF_TOKEN
39
40 struct fileloc lexer_line;
41 int lexer_toplevel_done;
42
43 static void
update_lineno(const char * l,size_t len)44 update_lineno (const char *l, size_t len)
45 {
46 while (len-- > 0)
47 if (*l++ == '\n')
48 lexer_line.line++;
49 }
50
51 %}
52
53 CID [[:alpha:]_][[:alnum:]_]*
54 WS [[:space:]]+
55 HWS [ \t\r\v\f]*
56 IWORD short|long|(un)?signed|char|int|HOST_WIDE_INT|uint64_t|int64_t|bool|size_t|BOOL_BITFIELD|CPPCHAR_SIGNED_T|ino_t|dev_t|HARD_REG_SET
57 ITYPE {IWORD}({WS}{IWORD})*
58 /* Include '::' in identifiers to capture C++ scope qualifiers. */
59 ID {CID}({HWS}::{HWS}{CID})*
60 EOID [^[:alnum:]_]
61 CXX_KEYWORD inline|public:|private:|protected:|template|operator|friend|static|mutable
62
63 %x in_struct in_struct_comment in_comment
64 %option warn noyywrap nounput nodefault perf-report
65 %option 8bit never-interactive
66 %%
67 /* Do this on entry to yylex(): */
68 *yylval = 0;
69 if (lexer_toplevel_done)
70 {
71 BEGIN(INITIAL);
72 lexer_toplevel_done = 0;
73 }
74
75 /* Things we look for in skipping mode: */
76 <INITIAL>{
77 ^{HWS}typedef/{EOID} {
78 BEGIN(in_struct);
79 return TYPEDEF;
80 }
81 ^{HWS}struct/{EOID} {
82 BEGIN(in_struct);
83 return STRUCT;
84 }
85 ^{HWS}union/{EOID} {
86 BEGIN(in_struct);
87 return UNION;
88 }
89 ^{HWS}class/{EOID} {
90 BEGIN(in_struct);
91 return STRUCT;
92 }
93 ^{HWS}extern/{EOID} {
94 BEGIN(in_struct);
95 return EXTERN;
96 }
97 ^{HWS}static/{EOID} {
98 BEGIN(in_struct);
99 return STATIC;
100 }
101 }
102
103 /* Parsing inside a struct, union or class declaration. */
104 <in_struct>{
105 "/*" { BEGIN(in_struct_comment); }
106 "//".*\n { lexer_line.line++; }
107
108 {WS} { update_lineno (yytext, yyleng); }
109 \\\n { lexer_line.line++; }
110
111 "const"/{EOID} /* don't care */
112 {CXX_KEYWORD}/{EOID} |
113 "~" |
114 "^" |
115 "&" {
116 *yylval = XDUPVAR (const char, yytext, yyleng, yyleng + 1);
117 return IGNORABLE_CXX_KEYWORD;
118 }
119 "GTY"/{EOID} { return GTY_TOKEN; }
120 "union"/{EOID} { return UNION; }
121 "struct"/{EOID} { return STRUCT; }
122 "class"/{EOID} { return STRUCT; }
123 "typedef"/{EOID} { return TYPEDEF; }
124 "enum"/{EOID} { return ENUM; }
125 "ptr_alias"/{EOID} { return PTR_ALIAS; }
126 "nested_ptr"/{EOID} { return NESTED_PTR; }
127 "user"/{EOID} { return USER_GTY; }
128 [0-9]+ {
129 *yylval = XDUPVAR (const char, yytext, yyleng, yyleng+1);
130 return NUM;
131 }
132
133 {IWORD}({WS}{IWORD})*/{EOID} |
134 "ENUM_BITFIELD"{WS}?"("{WS}?{ID}{WS}?")" {
135 size_t len;
136
137 for (len = yyleng; ISSPACE (yytext[len-1]); len--)
138 ;
139
140 *yylval = XDUPVAR (const char, yytext, len, len+1);
141 update_lineno (yytext, yyleng);
142 return SCALAR;
143 }
144
145 {ID}/{EOID} {
146 *yylval = XDUPVAR (const char, yytext, yyleng, yyleng+1);
147 return ID;
148 }
149
150 \"([^"\\]|\\.)*\" {
151 *yylval = XDUPVAR (const char, yytext+1, yyleng-2, yyleng-1);
152 return STRING;
153 }
154 /* This "terminal" avoids having to parse integer constant expressions. */
155 "["[^\[\]]*"]" {
156 *yylval = XDUPVAR (const char, yytext+1, yyleng-2, yyleng-1);
157 return ARRAY;
158 }
159 "'"("\\".|[^\\])"'" {
160 *yylval = XDUPVAR (const char, yytext+1, yyleng-2, yyleng);
161 return CHAR;
162 }
163
164 "..." { return ELLIPSIS; }
165 [(){},*:<>;=%/|+\!\?\.-] { return yytext[0]; }
166
167 /* ignore pp-directives */
168 ^{HWS}"#"{HWS}[a-z_]+[^\n]*\n {lexer_line.line++;}
169
170 . {
171 error_at_line (&lexer_line, "unexpected character `%s'", yytext);
172 }
173 }
174
175 "/*" { BEGIN(in_comment); }
176 "//".*\n { lexer_line.line++; }
177 \n { lexer_line.line++; }
178 {ID} |
179 "'"("\\".|[^\\])"'" |
180 [^"/\n] /* do nothing */
181 \"([^"\\]|\\.|\\\n)*\" { update_lineno (yytext, yyleng); }
182 "/"/[^*] /* do nothing */
183
184 <in_comment,in_struct_comment>{
185 \n { lexer_line.line++; }
186 [^*\n]{16} |
187 [^*\n] /* do nothing */
188 "*"/[^/] /* do nothing */
189 }
190
191 <in_comment>"*/" { BEGIN(INITIAL); }
192 <in_struct_comment>"*/" { BEGIN(in_struct); }
193
194 ["/] |
195 <in_struct_comment,in_comment>"*" {
196 error_at_line (&lexer_line,
197 "unterminated comment or string; unexpected EOF");
198 }
199
200 ^{HWS}"#"{HWS}"define"{WS}"GTY(" /* do nothing */
201
202 %%
203
204 void
205 yybegin (const char *fname)
206 {
207 yyin = fopen (fname, "r");
208 if (yyin == NULL)
209 {
210 perror (fname);
211 exit (1);
212 }
213 lexer_line.file = input_file_by_name (fname);
214 lexer_line.line = 1;
215 }
216
217 void
218 yyend (void)
219 {
220 fclose (yyin);
221 }
222