Bug Summary

File:src/usr.sbin/unbound/obj/conftest.c
Warning:line 780, column 19
Array subscript is undefined

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name conftest.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -pic-is-pie -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/usr.sbin/unbound/obj -resource-dir /usr/local/lib/clang/13.0.0 -I /usr/src/usr.sbin/unbound -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/usr.sbin/unbound/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c conftest.c
1/* confdefs.h */
2#define PACKAGE_NAME"unbound" "unbound"
3#define PACKAGE_TARNAME"unbound" "unbound"
4#define PACKAGE_VERSION"1.13.2" "1.13.2"
5#define PACKAGE_STRING"unbound 1.13.2" "unbound 1.13.2"
6#define PACKAGE_BUGREPORT"unbound-bugs@nlnetlabs.nl or https://github.com/NLnetLabs/unbound/issues" "unbound-bugs@nlnetlabs.nl or https://github.com/NLnetLabs/unbound/issues"
7#define PACKAGE_URL"" ""
8#define CONFCMDLINE"--enable-allsymbols --with-ssl=/usr --with-libevent=/usr --with-libexpat=/usr --without-pythonmodule --with-chroot-dir=/var/unbound --with-pidfile= --with-rootkey-file=/var/unbound/db/root.key --with-conf-file=/var/unbound/etc/unbound.conf --with-username=_unbound --disable-shared --disable-explicit-port-randomisation --without-pthreads" "--enable-allsymbols --with-ssl=/usr --with-libevent=/usr --with-libexpat=/usr --without-pythonmodule --with-chroot-dir=/var/unbound --with-pidfile= --with-rootkey-file=/var/unbound/db/root.key --with-conf-file=/var/unbound/etc/unbound.conf --with-username=_unbound --disable-shared --disable-explicit-port-randomisation --without-pthreads"
9#define HAVE_STDIO_H1 1
10#define HAVE_STDLIB_H1 1
11#define HAVE_STRING_H1 1
12#define HAVE_INTTYPES_H1 1
13#define HAVE_STDINT_H1 1
14#define HAVE_STRINGS_H1 1
15#define HAVE_SYS_STAT_H1 1
16#define HAVE_SYS_TYPES_H1 1
17#define HAVE_UNISTD_H1 1
18#define HAVE_WCHAR_H1 1
19#define STDC_HEADERS1 1
20#define _ALL_SOURCE1 1
21#define _DARWIN_C_SOURCE1 1
22#define _GNU_SOURCE1 1
23#define _HPUX_ALT_XOPEN_SOCKET_API1 1
24#define _NETBSD_SOURCE1 1
25#define _OPENBSD_SOURCE1 1
26#define _POSIX_PTHREAD_SEMANTICS1 1
27#define __STDC_WANT_IEC_60559_ATTRIBS_EXT__1 1
28#define __STDC_WANT_IEC_60559_BFP_EXT__1 1
29#define __STDC_WANT_IEC_60559_DFP_EXT__1 1
30#define __STDC_WANT_IEC_60559_FUNCS_EXT__1 1
31#define __STDC_WANT_IEC_60559_TYPES_EXT__1 1
32#define __STDC_WANT_LIB_EXT2__1 1
33#define __STDC_WANT_MATH_SPEC_FUNCS__1 1
34#define _TANDEM_SOURCE1 1
35#define __EXTENSIONS__1 1
36#define CONFIGFILE"/var/unbound/etc/unbound.conf" "/var/unbound/etc/unbound.conf"
37#define RUN_DIR"/var/unbound/etc" "/var/unbound/etc"
38#define CHROOT_DIR"/var/unbound" "/var/unbound"
39#define SHARE_DIR"/var/unbound/etc" "/var/unbound/etc"
40#define PIDFILE"" ""
41#define ROOT_ANCHOR_FILE"/var/unbound/db/root.key" "/var/unbound/db/root.key"
42#define ROOT_CERT_FILE"/var/unbound/etc/icannbundle.pem" "/var/unbound/etc/icannbundle.pem"
43#define UB_USERNAME"_unbound" "_unbound"
44#define WINVER0x0502 0x0502
45#define RSRC_PACKAGE_VERSION1,13,2,0 1,13,2,0
46#define HAVE_GETOPT_H1 1
47#define HAVE_TIME_H1 1
48#define HAVE_ATTR_FORMAT1 1
49#define HAVE_ATTR_UNUSED1 1
50#define HAVE_ATTR_WEAK1 1
51#define ATTR_WEAK__attribute__((weak)) __attribute__((weak))
52#define HAVE_ATTR_NORETURN1 1
53#define ATTR_NORETURN__attribute__((__noreturn__)) __attribute__((__noreturn__))
54/* end confdefs.h. */
55
56#line 3 "lex.yy.c"
57
58#define YY_INT_ALIGNEDshort int short int
59
60/* $OpenBSD: flex.skl,v 1.18 2021/11/30 15:50:06 millert Exp $ */
61
62/* A lexical scanner generated by flex */
63
64#define FLEX_SCANNER
65#define YY_FLEX_MAJOR_VERSION2 2
66#define YY_FLEX_MINOR_VERSION5 5
67#define YY_FLEX_SUBMINOR_VERSION39 39
68#if YY_FLEX_SUBMINOR_VERSION39 > 0
69#define FLEX_BETA
70#endif
71
72/* First, we deal with platform-specific or compiler-specific issues. */
73
74/* begin standard C headers. */
75#include <stdio.h>
76#include <string.h>
77#include <errno(*__errno()).h>
78#include <stdlib.h>
79
80/* end standard C headers. */
81
82/* $OpenBSD: flexint.h,v 1.1 2015/11/19 19:43:40 tedu Exp $ */
83
84/* flex integer type definitions */
85
86#ifndef FLEXINT_H
87#define FLEXINT_H
88
89/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
90
91#if defined (__STDC_VERSION__201710L) && __STDC_VERSION__201710L >= 199901L
92
93/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
94 * if you want the limit (max/min) macros for int types.
95 */
96#ifndef __STDC_LIMIT_MACROS1
97#define __STDC_LIMIT_MACROS1 1
98#endif
99
100#include <inttypes.h>
101typedef int8_t flex_int8_t;
102typedef uint8_t flex_uint8_t;
103typedef int16_t flex_int16_t;
104typedef uint16_t flex_uint16_t;
105typedef int32_t flex_int32_t;
106typedef uint32_t flex_uint32_t;
107#else
108typedef signed char flex_int8_t;
109typedef short int flex_int16_t;
110typedef int flex_int32_t;
111typedef unsigned char flex_uint8_t;
112typedef unsigned short int flex_uint16_t;
113typedef unsigned int flex_uint32_t;
114
115/* Limits of integral types. */
116#ifndef INT8_MIN(-0x7f - 1)
117#define INT8_MIN(-0x7f - 1) (-128)
118#endif
119#ifndef INT16_MIN(-0x7fff - 1)
120#define INT16_MIN(-0x7fff - 1) (-32767-1)
121#endif
122#ifndef INT32_MIN(-0x7fffffff - 1)
123#define INT32_MIN(-0x7fffffff - 1) (-2147483647-1)
124#endif
125#ifndef INT8_MAX0x7f
126#define INT8_MAX0x7f (127)
127#endif
128#ifndef INT16_MAX0x7fff
129#define INT16_MAX0x7fff (32767)
130#endif
131#ifndef INT32_MAX0x7fffffff
132#define INT32_MAX0x7fffffff (2147483647)
133#endif
134#ifndef UINT8_MAX0xff
135#define UINT8_MAX0xff (255U)
136#endif
137#ifndef UINT16_MAX0xffff
138#define UINT16_MAX0xffff (65535U)
139#endif
140#ifndef UINT32_MAX0xffffffffU
141#define UINT32_MAX0xffffffffU (4294967295U)
142#endif
143
144#endif /* ! C99 */
145
146#endif /* ! FLEXINT_H */
147
148#ifdef __cplusplus
149
150/* The "const" storage-class-modifier is valid. */
151#define YY_USE_CONST
152
153#else /* ! __cplusplus */
154
155/* C99 requires __STDC__ to be defined as 1. */
156#if defined (__STDC__1)
157
158#define YY_USE_CONST
159
160#endif /* defined (__STDC__) */
161#endif /* ! __cplusplus */
162
163#ifdef YY_USE_CONST
164#define yyconstconst const
165#else
166#define yyconstconst
167#endif
168
169/* Returned upon end-of-file. */
170#define YY_NULL0 0
171
172/* Promotes a possibly negative, possibly signed char to an unsigned
173 * integer for use as an array index. If the signed char is negative,
174 * we want to instead treat it as an 8-bit unsigned char, hence the
175 * double cast.
176 */
177#define YY_SC_TO_UI(c)((unsigned int) (unsigned char) c) ((unsigned int) (unsigned char) c)
178
179/* Enter a start condition. This macro really ought to take a parameter,
180 * but we do it the disgusting crufty way forced on us by the ()-less
181 * definition of BEGIN.
182 */
183#define BEGIN(yy_start) = 1 + 2 * (yy_start) = 1 + 2 *
184
185/* Translate the current start state into a value that can be later handed
186 * to BEGIN to return to the state. The YYSTATE alias is for lex
187 * compatibility.
188 */
189#define YY_START(((yy_start) - 1) / 2) (((yy_start) - 1) / 2)
190#define YYSTATE(((yy_start) - 1) / 2) YY_START(((yy_start) - 1) / 2)
191
192/* Action number for EOF rule of a given start state. */
193#define YY_STATE_EOF(state)(9 + state + 1) (YY_END_OF_BUFFER9 + state + 1)
194
195/* Special action meaning "start processing a new file". */
196#define YY_NEW_FILEyyrestart(yyin ) yyrestart(yyin )
197
198#define YY_END_OF_BUFFER_CHAR0 0
199
200/* Size of default input buffer. */
201#ifndef YY_BUF_SIZE16384
202#define YY_BUF_SIZE16384 16384
203#endif
204
205/* The state buf must be large enough to hold one state per character in the main buffer.
206 */
207#define YY_STATE_BUF_SIZE((16384 + 2) * sizeof(yy_state_type)) ((YY_BUF_SIZE16384 + 2) * sizeof(yy_state_type))
208
209#ifndef YY_TYPEDEF_YY_BUFFER_STATE
210#define YY_TYPEDEF_YY_BUFFER_STATE
211typedef struct yy_buffer_state *YY_BUFFER_STATE;
212#endif
213
214#ifndef YY_TYPEDEF_YY_SIZE_T
215#define YY_TYPEDEF_YY_SIZE_T
216typedef size_t yy_size_t;
217#endif
218
219extern yy_size_t yyleng;
220
221extern FILE *yyin, *yyout;
222
223#define EOB_ACT_CONTINUE_SCAN0 0
224#define EOB_ACT_END_OF_FILE1 1
225#define EOB_ACT_LAST_MATCH2 2
226
227 #define YY_LESS_LINENO(n)
228 #define YY_LINENO_REWIND_TO(ptr)
229
230/* Return all but the first "n" matched characters back to the input stream. */
231#define yyless(n)do { int yyless_macro_arg = (n); ; yytext[yyleng] = (yy_hold_char
); (yy_c_buf_p) = yytext + yyless_macro_arg; (yy_hold_char) =
*(yy_c_buf_p); *(yy_c_buf_p) = '\0'; yyleng = yyless_macro_arg
; } while ( 0 ) \
232 do \
233 { \
234 /* Undo effects of setting up yytext. */ \
235 int yyless_macro_arg = (n); \
236 YY_LESS_LINENO(yyless_macro_arg);\
237 *yy_cp = (yy_hold_char); \
238 YY_RESTORE_YY_MORE_OFFSET \
239 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ(yy_more_len); \
240 YY_DO_BEFORE_ACTION(yytext) = yy_bp; (yytext) -= (yy_more_len); yyleng = (size_t
) (yy_cp - (yytext)); (yy_hold_char) = *yy_cp; *yy_cp = '\0';
(yy_c_buf_p) = yy_cp;; /* set up yytext again */ \
241 } \
242 while ( 0 )
243
244#define unput(c)yyunput( c, (yytext) ) yyunput( c, (yytext_ptryytext) )
245
246#ifndef YY_STRUCT_YY_BUFFER_STATE
247#define YY_STRUCT_YY_BUFFER_STATE
248struct yy_buffer_state
249 {
250 FILE *yy_input_file;
251
252 char *yy_ch_buf; /* input buffer */
253 char *yy_buf_pos; /* current position in input buffer */
254
255 /* Size of input buffer in bytes, not including room for EOB
256 * characters.
257 */
258 yy_size_t yy_buf_size;
259
260 /* Number of characters read into yy_ch_buf, not including EOB
261 * characters.
262 */
263 yy_size_t yy_n_chars;
264
265 /* Whether we "own" the buffer - i.e., we know we created it,
266 * and can realloc() it to grow it, and should free() it to
267 * delete it.
268 */
269 int yy_is_our_buffer;
270
271 /* Whether this is an "interactive" input source; if so, and
272 * if we're using stdio for input, then we want to use getc()
273 * instead of fread(), to make sure we stop fetching input after
274 * each newline.
275 */
276 int yy_is_interactive;
277
278 /* Whether we're considered to be at the beginning of a line.
279 * If so, '^' rules will be active on the next match, otherwise
280 * not.
281 */
282 int yy_at_bol;
283
284 int yy_bs_lineno; /**< The line count. */
285 int yy_bs_column; /**< The column count. */
286
287 /* Whether to try to fill the input buffer when we reach the
288 * end of it.
289 */
290 int yy_fill_buffer;
291
292 int yy_buffer_status;
293
294#define YY_BUFFER_NEW0 0
295#define YY_BUFFER_NORMAL1 1
296 /* When an EOF's been seen but there's still some text to process
297 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
298 * shouldn't try reading from the input source any more. We might
299 * still have a bunch of tokens to match, though, because of
300 * possible backing-up.
301 *
302 * When we actually see the EOF, we change the status to "new"
303 * (via yyrestart()), so that the user can continue scanning by
304 * just pointing yyin at a new input file.
305 */
306#define YY_BUFFER_EOF_PENDING2 2
307
308 };
309#endif /* !YY_STRUCT_YY_BUFFER_STATE */
310
311/* Stack of input buffers. */
312static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
313static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
314static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
315
316/* We provide macros for accessing buffer states in case in the
317 * future we want to put the buffer states in a more general
318 * "scanner state".
319 *
320 * Returns the top of the stack, or NULL.
321 */
322#define YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) ( (yy_buffer_stack) \
323 ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
324 : NULL((void *)0))
325
326/* Same as previous macro, but useful when we know that the buffer stack is not
327 * NULL or when we need an lvalue. For internal use only.
328 */
329#define YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] (yy_buffer_stack)[(yy_buffer_stack_top)]
330
331/* yy_hold_char holds the character lost when yytext is formed. */
332static char yy_hold_char;
333static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */
334yy_size_t yyleng;
335
336/* Points to current character in buffer. */
337static char *yy_c_buf_p = (char *) 0;
338static int yy_init = 0; /* whether we need to initialize */
339static int yy_start = 0; /* start state number */
340
341/* Flag which is used to allow yywrap()'s to do buffer switches
342 * instead of setting up a fresh yyin. A bit of a hack ...
343 */
344static int yy_did_buffer_switch_on_eof;
345
346void yyrestart (FILE *input_file );
347void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer );
348YY_BUFFER_STATE yy_create_buffer (FILE *file,int size );
349void yy_delete_buffer (YY_BUFFER_STATE b );
350void yy_flush_buffer (YY_BUFFER_STATE b );
351void yypush_buffer_state (YY_BUFFER_STATE new_buffer );
352void yypop_buffer_state (void );
353
354static void yyensure_buffer_stack (void );
355static void yy_load_buffer_state (void );
356static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file );
357
358#define YY_FLUSH_BUFFERyy_flush_buffer(( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top
)] : ((void *)0)) ) yy_flush_buffer(YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) )
359
360YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size );
361YY_BUFFER_STATE yy_scan_string (yyconstconst char *yy_str );
362YY_BUFFER_STATE yy_scan_bytes (yyconstconst char *bytes,yy_size_t len );
363
364void *yyalloc (yy_size_t );
365void *yyrealloc (void *,yy_size_t );
366void yyfree (void * );
367
368#define yy_new_bufferyy_create_buffer yy_create_buffer
369
370#define yy_set_interactive(is_interactive){ if ( ! ( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top
)] : ((void *)0)) ){ yyensure_buffer_stack (); (yy_buffer_stack
)[(yy_buffer_stack_top)] = yy_create_buffer(yyin,16384 ); } (
yy_buffer_stack)[(yy_buffer_stack_top)]->yy_is_interactive
= is_interactive; } \
371 { \
372 if ( ! YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) ){ \
373 yyensure_buffer_stack (); \
374 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] = \
375 yy_create_buffer(yyin,YY_BUF_SIZE16384 ); \
376 } \
377 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_is_interactive = is_interactive; \
378 }
379
380#define yy_set_bol(at_bol){ if ( ! ( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top
)] : ((void *)0)) ){ yyensure_buffer_stack (); (yy_buffer_stack
)[(yy_buffer_stack_top)] = yy_create_buffer(yyin,16384 ); } (
yy_buffer_stack)[(yy_buffer_stack_top)]->yy_at_bol = at_bol
; } \
381 { \
382 if ( ! YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) ){\
383 yyensure_buffer_stack (); \
384 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] = \
385 yy_create_buffer(yyin,YY_BUF_SIZE16384 ); \
386 } \
387 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_at_bol = at_bol; \
388 }
389
390#define YY_AT_BOL()((yy_buffer_stack)[(yy_buffer_stack_top)]->yy_at_bol) (YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_at_bol)
391
392/* Begin user sect3 */
393
394typedef unsigned char YY_CHAR;
395
396FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
397
398typedef int yy_state_type;
399
400extern int yylineno;
401
402int yylineno = 1;
403
404extern char *yytext;
405#define yytext_ptryytext yytext
406
407static yy_state_type yy_get_previous_state (void );
408static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
409static int yy_get_next_buffer (void );
410static void yy_fatal_error (yyconstconst char msg[] );
411
412/* Done after the current pattern has been matched and before the
413 * corresponding action - sets up yytext.
414 */
415#define YY_DO_BEFORE_ACTION(yytext) = yy_bp; (yytext) -= (yy_more_len); yyleng = (size_t
) (yy_cp - (yytext)); (yy_hold_char) = *yy_cp; *yy_cp = '\0';
(yy_c_buf_p) = yy_cp; \
416 (yytext_ptryytext) = yy_bp; \
417 (yytext_ptryytext) -= (yy_more_len); \
418 yyleng = (size_t) (yy_cp - (yytext_ptryytext)); \
419 (yy_hold_char) = *yy_cp; \
420 *yy_cp = '\0'; \
421 (yy_c_buf_p) = yy_cp;
422
423#define YY_NUM_RULES8 8
424#define YY_END_OF_BUFFER9 9
425/* This struct is not used in this scanner,
426 but its presence is necessary. */
427struct yy_trans_info
428 {
429 flex_int32_t yy_verify;
430 flex_int32_t yy_nxt;
431 };
432static yyconstconst flex_int16_t yy_acclist[23] =
433 { 0,
434 9, 7, 8, 8, 1, 7, 8, 2, 7, 8,
435 3, 7, 8, 4, 7, 8, 5, 7, 8, 6,
436 7, 8
437 } ;
438
439static yyconstconst flex_int16_t yy_accept[14] =
440 { 0,
441 1, 1, 1, 2, 4, 5, 8, 11, 14, 17,
442 20, 23, 23
443 } ;
444
445static yyconstconst flex_int32_t yy_ec[256] =
446 { 0,
447 1, 1, 1, 1, 1, 1, 1, 1, 1, 2,
448 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
449 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
450 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
451 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
452 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
453 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
454 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
455 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
456 1, 1, 1, 1, 1, 1, 3, 4, 5, 6,
457
458 7, 8, 1, 1, 1, 1, 1, 1, 1, 1,
459 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
460 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
461 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
462 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
463 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
464 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
465 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
466 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
467 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
468
469 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
470 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
471 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
472 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
473 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
474 1, 1, 1, 1, 1
475 } ;
476
477static yyconstconst flex_int32_t yy_meta[9] =
478 { 0,
479 1, 1, 1, 1, 1, 1, 1, 1
480 } ;
481
482static yyconstconst flex_int16_t yy_base[13] =
483 { 0,
484 0, 0, 9, 10, 10, 10, 10, 10, 10, 10,
485 10, 10
486 } ;
487
488static yyconstconst flex_int16_t yy_def[13] =
489 { 0,
490 12, 1, 12, 12, 12, 12, 12, 12, 12, 12,
491 12, 0
492 } ;
493
494static yyconstconst flex_int16_t yy_nxt[19] =
495 { 0,
496 4, 5, 6, 7, 8, 9, 10, 11, 12, 3,
497 12, 12, 12, 12, 12, 12, 12, 12
498 } ;
499
500static yyconstconst flex_int16_t yy_chk[19] =
501 { 0,
502 1, 1, 1, 1, 1, 1, 1, 1, 3, 12,
503 12, 12, 12, 12, 12, 12, 12, 12
504 } ;
505
506extern int yy_flex_debug;
507int yy_flex_debug = 0;
508
509static yy_state_type *yy_state_buf=0, *yy_state_ptr=0;
510static char *yy_full_match;
511static int yy_lp;
512#define REJECT{ *yy_cp = (yy_hold_char); yy_cp = (yy_full_match); ++(yy_lp)
; goto find_rule; } \
513{ \
514*yy_cp = (yy_hold_char); /* undo effects of setting up yytext */ \
515yy_cp = (yy_full_match); /* restore poss. backed-over text */ \
516++(yy_lp); \
517goto find_rule; \
518}
519
520static int yy_more_flag = 0;
521static int yy_more_len = 0;
522#define yymore()((yy_more_flag) = 1) ((yy_more_flag) = 1)
523#define YY_MORE_ADJ(yy_more_len) (yy_more_len)
524#define YY_RESTORE_YY_MORE_OFFSET
525char *yytext;
526#line 1 "conftest.l"
527#line 2 "conftest.l"
528#ifdef __cplusplus
529extern "C"
530#endif
531int yywrap(void);
532#line 479 "lex.yy.c"
533
534#define INITIAL0 0
535
536#ifndef YY_NO_UNISTD_H
537/* Special case for "unistd.h", since it is non-ANSI. We include it way
538 * down here because we want the user's section 1 to have been scanned first.
539 * The user has a chance to override it with an option.
540 */
541#include <unistd.h>
542#endif
543
544#ifndef YY_EXTRA_TYPEvoid *
545#define YY_EXTRA_TYPEvoid * void *
546#endif
547
548static int yy_init_globals (void );
549
550/* Accessor methods to globals.
551 These are made visible to non-reentrant scanners for convenience. */
552
553int yylex_destroy (void );
554
555int yyget_debug (void );
556
557void yyset_debug (int debug_flag );
558
559YY_EXTRA_TYPEvoid * yyget_extra (void );
560
561void yyset_extra (YY_EXTRA_TYPEvoid * user_defined );
562
563FILE *yyget_in (void );
564
565void yyset_in (FILE * in_str );
566
567FILE *yyget_out (void );
568
569void yyset_out (FILE * out_str );
570
571yy_size_t yyget_leng (void );
572
573char *yyget_text (void );
574
575int yyget_lineno (void );
576
577void yyset_lineno (int line_number );
578
579/* Macros after this point can all be overridden by user definitions in
580 * section 1.
581 */
582
583#ifndef YY_SKIP_YYWRAP
584#ifdef __cplusplus
585extern "C" int yywrap (void );
586#else
587extern int yywrap (void );
588#endif
589#endif
590
591 static void yyunput (int c,char *buf_ptr );
592
593#ifndef yytext_ptryytext
594static void yy_flex_strncpy (char *,yyconstconst char *,int );
595#endif
596
597#ifdef YY_NEED_STRLEN
598static int yy_flex_strlen (yyconstconst char * );
599#endif
600
601#ifndef YY_NO_INPUT
602
603#ifdef __cplusplus
604static int yyinput (void );
605#else
606static int input (void );
607#endif
608
609#endif
610
611/* Amount of stuff to slurp up with each read. */
612#ifndef YY_READ_BUF_SIZE8192
613#define YY_READ_BUF_SIZE8192 8192
614#endif
615
616/* Copy whatever the last rule matched to the standard output. */
617#ifndef ECHOdo { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
618/* This used to be an fputs(), but since the string might contain NUL's,
619 * we now use fwrite().
620 */
621#define ECHOdo { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0) do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
622#endif
623
624/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
625 * is returned in "result".
626 */
627#ifndef YY_INPUT
628#define YY_INPUT(buf,result,max_size)if ( (yy_buffer_stack)[(yy_buffer_stack_top)]->yy_is_interactive
) { int c = '*'; size_t n; for ( n = 0; n < max_size &&
(c = (!__isthreaded ? (--(yyin)->_r < 0 ? __srget(yyin
) : (int)(*(yyin)->_p++)) : (getc)(yyin))) != (-1) &&
c != '\n'; ++n ) buf[n] = (char) c; if ( c == '\n' ) buf[n++
] = (char) c; if ( c == (-1) && (!__isthreaded ? (((yyin
)->_flags & 0x0040) != 0) : (ferror)(yyin)) ) yy_fatal_error
( "input in flex scanner failed" ); result = n; } else { (*__errno
())=0; while ( (result = fread(buf, 1, max_size, yyin))==0 &&
(!__isthreaded ? (((yyin)->_flags & 0x0040) != 0) : (
ferror)(yyin))) { if( (*__errno()) != 4) { yy_fatal_error( "input in flex scanner failed"
); break; } (*__errno())=0; (!__isthreaded ? ((void)((yyin)->
_flags &= ~(0x0040|0x0020))) : (clearerr)(yyin)); } } \
629 if ( YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_is_interactive ) \
630 { \
631 int c = '*'; \
632 size_t n; \
633 for ( n = 0; n < max_size && \
634 (c = getc( yyin )(!__isthreaded ? (--(yyin)->_r < 0 ? __srget(yyin) : (int
)(*(yyin)->_p++)) : (getc)(yyin))) != EOF(-1) && c != '\n'; ++n ) \
635 buf[n] = (char) c; \
636 if ( c == '\n' ) \
637 buf[n++] = (char) c; \
638 if ( c == EOF(-1) && ferror( yyin )(!__isthreaded ? (((yyin)->_flags & 0x0040) != 0) : (ferror
)(yyin)) ) \
639 YY_FATAL_ERROR( "input in flex scanner failed" )yy_fatal_error( "input in flex scanner failed" ); \
640 result = n; \
641 } \
642 else \
643 { \
644 errno(*__errno())=0; \
645 while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)(!__isthreaded ? (((yyin)->_flags & 0x0040) != 0) : (ferror
)(yyin))) \
646 { \
647 if( errno(*__errno()) != EINTR4) \
648 { \
649 YY_FATAL_ERROR( "input in flex scanner failed" )yy_fatal_error( "input in flex scanner failed" ); \
650 break; \
651 } \
652 errno(*__errno())=0; \
653 clearerr(yyin)(!__isthreaded ? ((void)((yyin)->_flags &= ~(0x0040|0x0020
))) : (clearerr)(yyin)); \
654 } \
655 }\
656\
657
658#endif
659
660/* No semi-colon after return; correct usage is to write "yyterminate();" -
661 * we don't want an extra ';' after the "return" because that will cause
662 * some compilers to complain about unreachable statements.
663 */
664#ifndef yyterminate
665#define yyterminate()return 0 return YY_NULL0
666#endif
667
668/* Number of entries by which start-condition stack grows. */
669#ifndef YY_START_STACK_INCR25
670#define YY_START_STACK_INCR25 25
671#endif
672
673/* Report a fatal error. */
674#ifndef YY_FATAL_ERROR
675#define YY_FATAL_ERROR(msg)yy_fatal_error( msg ) yy_fatal_error( msg )
676#endif
677
678/* end tables serialization structures and prototypes */
679
680/* Default declaration of generated scanner - a define so the user can
681 * easily add parameters.
682 */
683#ifndef YY_DECLint yylex (void)
684#define YY_DECL_IS_OURS1 1
685
686extern int yylex (void);
687
688#define YY_DECLint yylex (void) int yylex (void)
689#endif /* !YY_DECL */
690
691/* Code executed at the beginning of each rule, after yytext and yyleng
692 * have been set up.
693 */
694#ifndef YY_USER_ACTION
695#define YY_USER_ACTION
696#endif
697
698/* Code executed at the end of each rule. */
699#ifndef YY_BREAKbreak;
700#define YY_BREAKbreak; break;
701#endif
702
703#define YY_RULE_SETUP \
704 YY_USER_ACTION
705
706/** The main scanner function which does all the work.
707 */
708YY_DECLint yylex (void)
709{
710 yy_state_type yy_current_state;
711 char *yy_cp, *yy_bp;
712 int yy_act;
713
714 if ( !(yy_init
1.1
'yy_init' is 0
) )
2
←
Taking true branch
→
715 {
716 (yy_init) = 1;
717
718#ifdef YY_USER_INIT
719 YY_USER_INIT;
720#endif
721
722 /* Create the reject buffer large enough to save one state per allowed character. */
723 if ( ! (yy_state_buf
2.1
'yy_state_buf' is null
) )
3
←
Taking true branch
→
724 (yy_state_buf) = (yy_state_type *)
725 yyalloc(YY_STATE_BUF_SIZE((16384 + 2) * sizeof(yy_state_type)) );
726 if ( ! (yy_state_buf) )
4
←
Assuming 'yy_state_buf' is non-null
→
5
←
Taking false branch
→
727 YY_FATAL_ERROR( "out of dynamic memory in yylex()" )yy_fatal_error( "out of dynamic memory in yylex()" );
728
729 if ( ! (yy_start) )
6
←
Assuming 'yy_start' is not equal to 0
→
7
←
Taking false branch
→
730 (yy_start) = 1; /* first start state */
731
732 if ( ! yyin ) {
8
←
Assuming 'yyin' is non-null
→
9
←
Taking false branch
→
733 yyin = stdin(&__sF[0]);
734 }
735
736 if ( ! yyout ) {
10
←
Assuming 'yyout' is non-null
→
11
←
Taking false branch
→
737 yyout = stdout(&__sF[1]);
738 }
739
740 if ( ! YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) ) {
12
←
Assuming 'yy_buffer_stack' is null
→
13
←
'?' condition is false
→
14
←
Taking true branch
→
741 yyensure_buffer_stack ();
742 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] =
743 yy_create_buffer(yyin,YY_BUF_SIZE16384 );
15
←
Calling 'yy_create_buffer'
→
23
←
Returning from 'yy_create_buffer'
→
744 }
745
746 yy_load_buffer_state( );
747 }
748
749 {
750#line 7 "conftest.l"
751
752#line 699 "lex.yy.c"
753
754 while ( 1 ) /* loops until end-of-file is reached */
24
←
Loop condition is true. Entering loop body
→
755 {
756 (yy_more_len) = 0;
757 if ( (yy_more_flag) )
25
←
Assuming 'yy_more_flag' is 0
→
26
←
Taking false branch
→
758 {
759 (yy_more_len) = (yy_c_buf_p) - (yytext_ptryytext);
760 (yy_more_flag) = 0;
761 }
762 yy_cp = (yy_c_buf_p);
763
764 /* Support of yytext. */
765 *yy_cp = (yy_hold_char);
766
767 /* yy_bp points to the position in yy_ch_buf of the start of
768 * the current run.
769 */
770 yy_bp = yy_cp;
771
772 yy_current_state = (yy_start);
773
774 (yy_state_ptr) = (yy_state_buf);
775 *(yy_state_ptr)++ = yy_current_state;
776
777yy_match:
778 do
28
←
Loop condition is true. Execution continues on line 780
→
30
←
Loop condition is true. Execution continues on line 780
→
779 {
780 YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)((unsigned int) (unsigned char) *yy_cp)] ;
31
←
Array subscript is undefined
781 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
27
←
Loop condition is false. Execution continues on line 787
→
29
←
Loop condition is false. Execution continues on line 787
→
782 {
783 yy_current_state = (int) yy_def[yy_current_state];
784 if ( yy_current_state >= 13 )
785 yy_c = yy_meta[(unsigned int) yy_c];
786 }
787 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
788 *(yy_state_ptr)++ = yy_current_state;
789 ++yy_cp;
790 }
791 while ( yy_base[yy_current_state] != 10 );
792
793yy_find_action:
794 yy_current_state = *--(yy_state_ptr);
795 (yy_lp) = yy_accept[yy_current_state];
796find_rule: /* we branch to this label when backing up */
797 for ( ; ; ) /* until we find what rule we matched */
798 {
799 if ( (yy_lp) && (yy_lp) < yy_accept[yy_current_state + 1] )
800 {
801 yy_act = yy_acclist[(yy_lp)];
802 {
803 (yy_full_match) = yy_cp;
804 break;
805 }
806 }
807 --yy_cp;
808 yy_current_state = *--(yy_state_ptr);
809 (yy_lp) = yy_accept[yy_current_state];
810 }
811
812 YY_DO_BEFORE_ACTION(yytext) = yy_bp; (yytext) -= (yy_more_len); yyleng = (size_t
) (yy_cp - (yytext)); (yy_hold_char) = *yy_cp; *yy_cp = '\0';
(yy_c_buf_p) = yy_cp;;
813
814do_action: /* This label is used only to access EOF actions. */
815
816 switch ( yy_act )
817 { /* beginning of action switch */
818case 1:
819YY_RULE_SETUP
820#line 8 "conftest.l"
821{ ECHOdo { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0); }
822 YY_BREAKbreak;
823case 2:
824YY_RULE_SETUP
825#line 9 "conftest.l"
826{ REJECT{ *yy_cp = (yy_hold_char); yy_cp = (yy_full_match); ++(yy_lp)
; goto find_rule; }; }
827 YY_BREAKbreak;
828case 3:
829YY_RULE_SETUP
830#line 10 "conftest.l"
831{ yymore ()((yy_more_flag) = 1); }
832 YY_BREAKbreak;
833case 4:
834YY_RULE_SETUP
835#line 11 "conftest.l"
836{ yyless (1)do { int yyless_macro_arg = (1); ; yytext[yyleng] = (yy_hold_char
); (yy_c_buf_p) = yytext + yyless_macro_arg; (yy_hold_char) =
*(yy_c_buf_p); *(yy_c_buf_p) = '\0'; yyleng = yyless_macro_arg
; } while ( 0 ); }
837 YY_BREAKbreak;
838case 5:
839YY_RULE_SETUP
840#line 12 "conftest.l"
841{ /* IRIX 6.5 flex 2.5.4 underquotes its yyless argument. */
842#ifdef __cplusplus
843 yyless ((yyinput () != 0))do { int yyless_macro_arg = ((yyinput () != 0)); ; yytext[yyleng
] = (yy_hold_char); (yy_c_buf_p) = yytext + yyless_macro_arg;
(yy_hold_char) = *(yy_c_buf_p); *(yy_c_buf_p) = '\0'; yyleng
= yyless_macro_arg; } while ( 0 );
844#else
845 yyless ((input () != 0))do { int yyless_macro_arg = ((input () != 0)); ; yytext[yyleng
] = (yy_hold_char); (yy_c_buf_p) = yytext + yyless_macro_arg;
(yy_hold_char) = *(yy_c_buf_p); *(yy_c_buf_p) = '\0'; yyleng
= yyless_macro_arg; } while ( 0 );
846#endif
847 }
848 YY_BREAKbreak;
849case 6:
850YY_RULE_SETUP
851#line 19 "conftest.l"
852{ unput (yytext[0])yyunput( yytext[0], (yytext) ); }
853 YY_BREAKbreak;
854case 7:
855YY_RULE_SETUP
856#line 20 "conftest.l"
857{ BEGIN(yy_start) = 1 + 2 * INITIAL0; }
858 YY_BREAKbreak;
859case 8:
860YY_RULE_SETUP
861#line 21 "conftest.l"
862ECHOdo { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0);
863 YY_BREAKbreak;
864#line 811 "lex.yy.c"
865 case YY_STATE_EOF(INITIAL)(9 + 0 + 1):
866 yyterminate()return 0;
867
868 case YY_END_OF_BUFFER9:
869 {
870 /* Amount of text matched not including the EOB char. */
871 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptryytext)) - 1;
872
873 /* Undo the effects of YY_DO_BEFORE_ACTION. */
874 *yy_cp = (yy_hold_char);
875 YY_RESTORE_YY_MORE_OFFSET
876
877 if ( YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buffer_status == YY_BUFFER_NEW0 )
878 {
879 /* We're scanning a new file or input source. It's
880 * possible that this happened because the user
881 * just pointed yyin at a new source and called
882 * yylex(). If so, then we have to assure
883 * consistency between YY_CURRENT_BUFFER and our
884 * globals. Here is the right place to do so, because
885 * this is the first action (other than possibly a
886 * back-up) that will match for the new input source.
887 */
888 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_n_chars;
889 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_input_file = yyin;
890 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buffer_status = YY_BUFFER_NORMAL1;
891 }
892
893 /* Note that here we test for yy_c_buf_p "<=" to the position
894 * of the first EOB in the buffer, since yy_c_buf_p will
895 * already have been incremented past the NUL character
896 * (since all states make transitions on EOB to the
897 * end-of-buffer state). Contrast this with the test
898 * in input().
899 */
900 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[(yy_n_chars)] )
901 { /* This was really a NUL. */
902 yy_state_type yy_next_state;
903
904 (yy_c_buf_p) = (yytext_ptryytext) + yy_amount_of_matched_text;
905
906 yy_current_state = yy_get_previous_state( );
907
908 /* Okay, we're now positioned to make the NUL
909 * transition. We couldn't have
910 * yy_get_previous_state() go ahead and do it
911 * for us because it doesn't know how to deal
912 * with the possibility of jamming (and we don't
913 * want to build jamming into it because then it
914 * will run more slowly).
915 */
916
917 yy_next_state = yy_try_NUL_trans( yy_current_state );
918
919 yy_bp = (yytext_ptryytext) + YY_MORE_ADJ(yy_more_len);
920
921 if ( yy_next_state )
922 {
923 /* Consume the NUL. */
924 yy_cp = ++(yy_c_buf_p);
925 yy_current_state = yy_next_state;
926 goto yy_match;
927 }
928
929 else
930 {
931 yy_cp = (yy_c_buf_p);
932 goto yy_find_action;
933 }
934 }
935
936 else switch ( yy_get_next_buffer( ) )
937 {
938 case EOB_ACT_END_OF_FILE1:
939 {
940 (yy_did_buffer_switch_on_eof) = 0;
941
942 if ( yywrap( ) )
943 {
944 /* Note: because we've taken care in
945 * yy_get_next_buffer() to have set up
946 * yytext, we can now set up
947 * yy_c_buf_p so that if some total
948 * hoser (like flex itself) wants to
949 * call the scanner after we return the
950 * YY_NULL, it'll still work - another
951 * YY_NULL will get returned.
952 */
953 (yy_c_buf_p) = (yytext_ptryytext) + YY_MORE_ADJ(yy_more_len);
954
955 yy_act = YY_STATE_EOF(YY_START)(9 + (((yy_start) - 1) / 2) + 1);
956 goto do_action;
957 }
958
959 else
960 {
961 if ( ! (yy_did_buffer_switch_on_eof) )
962 YY_NEW_FILEyyrestart(yyin );
963 }
964 break;
965 }
966
967 case EOB_ACT_CONTINUE_SCAN0:
968 (yy_c_buf_p) =
969 (yytext_ptryytext) + yy_amount_of_matched_text;
970
971 yy_current_state = yy_get_previous_state( );
972
973 yy_cp = (yy_c_buf_p);
974 yy_bp = (yytext_ptryytext) + YY_MORE_ADJ(yy_more_len);
975 goto yy_match;
976
977 case EOB_ACT_LAST_MATCH2:
978 (yy_c_buf_p) =
979 &YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[(yy_n_chars)];
980
981 yy_current_state = yy_get_previous_state( );
982
983 yy_cp = (yy_c_buf_p);
984 yy_bp = (yytext_ptryytext) + YY_MORE_ADJ(yy_more_len);
985 goto yy_find_action;
986 }
987 break;
988 }
989
990 default:
991 YY_FATAL_ERROR(yy_fatal_error( "fatal flex scanner internal error--no action found"
)
992 "fatal flex scanner internal error--no action found" )yy_fatal_error( "fatal flex scanner internal error--no action found"
);
993 } /* end of action switch */
994 } /* end of scanning one token */
995 } /* end of user's declarations */
996} /* end of yylex */
997
998/* yy_get_next_buffer - try to read in a new buffer
999 *
1000 * Returns a code representing an action:
1001 * EOB_ACT_LAST_MATCH -
1002 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1003 * EOB_ACT_END_OF_FILE - end of file
1004 */
1005static int yy_get_next_buffer (void)
1006{
1007 char *dest = YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf;
1008 char *source = (yytext_ptryytext);
1009 int number_to_move, i;
1010 int ret_val;
1011
1012 if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[(yy_n_chars) + 1] )
1013 YY_FATAL_ERROR(yy_fatal_error( "fatal flex scanner internal error--end of buffer missed"
)
1014 "fatal flex scanner internal error--end of buffer missed" )yy_fatal_error( "fatal flex scanner internal error--end of buffer missed"
);
1015
1016 if ( YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_fill_buffer == 0 )
1017 { /* Don't try to fill the buffer, so this is an EOF. */
1018 if ( (yy_c_buf_p) - (yytext_ptryytext) - YY_MORE_ADJ(yy_more_len) == 1 )
1019 {
1020 /* We matched a single character, the EOB, so
1021 * treat this as a final EOF.
1022 */
1023 return EOB_ACT_END_OF_FILE1;
1024 }
1025
1026 else
1027 {
1028 /* We matched some text prior to the EOB, first
1029 * process it.
1030 */
1031 return EOB_ACT_LAST_MATCH2;
1032 }
1033 }
1034
1035 /* Try to read more data. */
1036
1037 /* First move last chars to start of buffer. */
1038 number_to_move = (int) ((yy_c_buf_p) - (yytext_ptryytext)) - 1;
1039
1040 for ( i = 0; i < number_to_move; ++i )
1041 *(dest++) = *(source++);
1042
1043 if ( YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buffer_status == YY_BUFFER_EOF_PENDING2 )
1044 /* don't do the read, it's not guaranteed to return an EOF,
1045 * just force an EOF
1046 */
1047 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_n_chars = (yy_n_chars) = 0;
1048
1049 else
1050 {
1051 yy_size_t num_to_read =
1052 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_size - number_to_move - 1;
1053
1054 while ( num_to_read <= 0 )
1055 { /* Not enough room in the buffer - grow it. */
1056
1057 YY_FATAL_ERROR(yy_fatal_error( "input buffer overflow, can't enlarge buffer because scanner uses REJECT"
)
1058"input buffer overflow, can't enlarge buffer because scanner uses REJECT" )yy_fatal_error( "input buffer overflow, can't enlarge buffer because scanner uses REJECT"
);
1059
1060 }
1061
1062 if ( num_to_read > YY_READ_BUF_SIZE8192 )
1063 num_to_read = YY_READ_BUF_SIZE8192;
1064
1065 /* Read in more data. */
1066 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),if ( (yy_buffer_stack)[(yy_buffer_stack_top)]->yy_is_interactive
) { int c = '*'; size_t n; for ( n = 0; n < num_to_read &&
(c = (!__isthreaded ? (--(yyin)->_r < 0 ? __srget(yyin
) : (int)(*(yyin)->_p++)) : (getc)(yyin))) != (-1) &&
c != '\n'; ++n ) (&(yy_buffer_stack)[(yy_buffer_stack_top
)]->yy_ch_buf[number_to_move])[n] = (char) c; if ( c == '\n'
) (&(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf
[number_to_move])[n++] = (char) c; if ( c == (-1) && (
!__isthreaded ? (((yyin)->_flags & 0x0040) != 0) : (ferror
)(yyin)) ) yy_fatal_error( "input in flex scanner failed" ); (
yy_n_chars) = n; } else { (*__errno())=0; while ( ((yy_n_chars
) = fread((&(yy_buffer_stack)[(yy_buffer_stack_top)]->
yy_ch_buf[number_to_move]), 1, num_to_read, yyin))==0 &&
(!__isthreaded ? (((yyin)->_flags & 0x0040) != 0) : (
ferror)(yyin))) { if( (*__errno()) != 4) { yy_fatal_error( "input in flex scanner failed"
); break; } (*__errno())=0; (!__isthreaded ? ((void)((yyin)->
_flags &= ~(0x0040|0x0020))) : (clearerr)(yyin)); } }
1067 (yy_n_chars), num_to_read )if ( (yy_buffer_stack)[(yy_buffer_stack_top)]->yy_is_interactive
) { int c = '*'; size_t n; for ( n = 0; n < num_to_read &&
(c = (!__isthreaded ? (--(yyin)->_r < 0 ? __srget(yyin
) : (int)(*(yyin)->_p++)) : (getc)(yyin))) != (-1) &&
c != '\n'; ++n ) (&(yy_buffer_stack)[(yy_buffer_stack_top
)]->yy_ch_buf[number_to_move])[n] = (char) c; if ( c == '\n'
) (&(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf
[number_to_move])[n++] = (char) c; if ( c == (-1) && (
!__isthreaded ? (((yyin)->_flags & 0x0040) != 0) : (ferror
)(yyin)) ) yy_fatal_error( "input in flex scanner failed" ); (
yy_n_chars) = n; } else { (*__errno())=0; while ( ((yy_n_chars
) = fread((&(yy_buffer_stack)[(yy_buffer_stack_top)]->
yy_ch_buf[number_to_move]), 1, num_to_read, yyin))==0 &&
(!__isthreaded ? (((yyin)->_flags & 0x0040) != 0) : (
ferror)(yyin))) { if( (*__errno()) != 4) { yy_fatal_error( "input in flex scanner failed"
); break; } (*__errno())=0; (!__isthreaded ? ((void)((yyin)->
_flags &= ~(0x0040|0x0020))) : (clearerr)(yyin)); } };
1068
1069 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_n_chars = (yy_n_chars);
1070 }
1071
1072 if ( (yy_n_chars) == 0 )
1073 {
1074 if ( number_to_move == YY_MORE_ADJ(yy_more_len) )
1075 {
1076 ret_val = EOB_ACT_END_OF_FILE1;
1077 yyrestart(yyin );
1078 }
1079
1080 else
1081 {
1082 ret_val = EOB_ACT_LAST_MATCH2;
1083 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buffer_status =
1084 YY_BUFFER_EOF_PENDING2;
1085 }
1086 }
1087
1088 else
1089 ret_val = EOB_ACT_CONTINUE_SCAN0;
1090
1091 if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_size) {
1092 /* Extend the array by 50%, plus the number we really need. */
1093 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1094 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf,new_size );
1095 if ( ! YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf )
1096 YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" )yy_fatal_error( "out of dynamic memory in yy_get_next_buffer()"
);
1097 /* "- 2" to take care of EOB's */
1098 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_size = (int) (new_size - 2);
1099 }
1100
1101 (yy_n_chars) += number_to_move;
1102 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR0;
1103 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR0;
1104
1105 (yytext_ptryytext) = &YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[0];
1106
1107 return ret_val;
1108}
1109
1110/* yy_get_previous_state - get the state just before the EOB char was reached */
1111
1112 static yy_state_type yy_get_previous_state (void)
1113{
1114 yy_state_type yy_current_state;
1115 char *yy_cp;
1116
1117 yy_current_state = (yy_start);
1118
1119 (yy_state_ptr) = (yy_state_buf);
1120 *(yy_state_ptr)++ = yy_current_state;
1121
1122 for ( yy_cp = (yytext_ptryytext) + YY_MORE_ADJ(yy_more_len); yy_cp < (yy_c_buf_p); ++yy_cp )
1123 {
1124 YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)((unsigned int) (unsigned char) *yy_cp)] : 1);
1125 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1126 {
1127 yy_current_state = (int) yy_def[yy_current_state];
1128 if ( yy_current_state >= 13 )
1129 yy_c = yy_meta[(unsigned int) yy_c];
1130 }
1131 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1132 *(yy_state_ptr)++ = yy_current_state;
1133 }
1134
1135 return yy_current_state;
1136}
1137
1138/* yy_try_NUL_trans - try to make a transition on the NUL character
1139 *
1140 * synopsis
1141 * next_state = yy_try_NUL_trans( current_state );
1142 */
1143 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
1144{
1145 int yy_is_jam;
1146
1147 YY_CHAR yy_c = 1;
1148 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1149 {
1150 yy_current_state = (int) yy_def[yy_current_state];
1151 if ( yy_current_state >= 13 )
1152 yy_c = yy_meta[(unsigned int) yy_c];
1153 }
1154 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1155 yy_is_jam = (yy_current_state == 12);
1156 if ( ! yy_is_jam )
1157 *(yy_state_ptr)++ = yy_current_state;
1158
1159 return yy_is_jam ? 0 : yy_current_state;
1160}
1161
1162 static void yyunput (int c, char * yy_bp )
1163{
1164 char *yy_cp;
1165
1166 yy_cp = (yy_c_buf_p);
1167
1168 /* undo effects of setting up yytext */
1169 *yy_cp = (yy_hold_char);
1170
1171 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf + 2 )
1172 { /* need to shift things up to make room */
1173 /* +2 for EOB chars. */
1174 yy_size_t number_to_move = (yy_n_chars) + 2;
1175 char *dest = &YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[
1176 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_size + 2];
1177 char *source =
1178 &YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[number_to_move];
1179
1180 while ( source > YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf )
1181 *--dest = *--source;
1182
1183 yy_cp += (int) (dest - source);
1184 yy_bp += (int) (dest - source);
1185 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_n_chars =
1186 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_size;
1187
1188 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf + 2 )
1189 YY_FATAL_ERROR( "flex scanner push-back overflow" )yy_fatal_error( "flex scanner push-back overflow" );
1190 }
1191
1192 *--yy_cp = (char) c;
1193
1194 (yytext_ptryytext) = yy_bp;
1195 (yy_hold_char) = *yy_cp;
1196 (yy_c_buf_p) = yy_cp;
1197}
1198
1199#ifndef YY_NO_INPUT
1200#ifdef __cplusplus
1201 static int yyinput (void)
1202#else
1203 static int input (void)
1204#endif
1205
1206{
1207 int c;
1208
1209 *(yy_c_buf_p) = (yy_hold_char);
1210
1211 if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR0 )
1212 {
1213 /* yy_c_buf_p now points to the character we want to return.
1214 * If this occurs *before* the EOB characters, then it's a
1215 * valid NUL; if not, then we've hit the end of the buffer.
1216 */
1217 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_ch_buf[(yy_n_chars)] )
1218 /* This was really a NUL. */
1219 *(yy_c_buf_p) = '\0';
1220
1221 else
1222 { /* need more input */
1223 yy_size_t offset = (yy_c_buf_p) - (yytext_ptryytext);
1224 ++(yy_c_buf_p);
1225
1226 switch ( yy_get_next_buffer( ) )
1227 {
1228 case EOB_ACT_LAST_MATCH2:
1229 /* This happens because yy_g_n_b()
1230 * sees that we've accumulated a
1231 * token and flags that we need to
1232 * try matching the token before
1233 * proceeding. But for input(),
1234 * there's no matching to consider.
1235 * So convert the EOB_ACT_LAST_MATCH
1236 * to EOB_ACT_END_OF_FILE.
1237 */
1238
1239 /* Reset buffer status. */
1240 yyrestart(yyin );
1241
1242 /*FALLTHROUGH*/
1243
1244 case EOB_ACT_END_OF_FILE1:
1245 {
1246 if ( yywrap( ) )
1247 return EOF(-1);
1248
1249 if ( ! (yy_did_buffer_switch_on_eof) )
1250 YY_NEW_FILEyyrestart(yyin );
1251#ifdef __cplusplus
1252 return yyinput();
1253#else
1254 return input();
1255#endif
1256 }
1257
1258 case EOB_ACT_CONTINUE_SCAN0:
1259 (yy_c_buf_p) = (yytext_ptryytext) + offset;
1260 break;
1261 }
1262 }
1263 }
1264
1265 c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
1266 *(yy_c_buf_p) = '\0'; /* preserve yytext */
1267 (yy_hold_char) = *++(yy_c_buf_p);
1268
1269 return c;
1270}
1271#endif /* ifndef YY_NO_INPUT */
1272
1273/** Immediately switch to a different input stream.
1274 * @param input_file A readable stream.
1275 *
1276 * @note This function does not reset the start condition to @c INITIAL .
1277 */
1278 void yyrestart (FILE * input_file )
1279{
1280
1281 if ( ! YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) ){
1282 yyensure_buffer_stack ();
1283 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] =
1284 yy_create_buffer(yyin,YY_BUF_SIZE16384 );
1285 }
1286
1287 yy_init_buffer(YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)),input_file );
1288 yy_load_buffer_state( );
1289}
1290
1291/** Switch to a different input buffer.
1292 * @param new_buffer The new input buffer.
1293 *
1294 */
1295 void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer )
1296{
1297
1298 /* TODO. We should be able to replace this entire function body
1299 * with
1300 * yypop_buffer_state();
1301 * yypush_buffer_state(new_buffer);
1302 */
1303 yyensure_buffer_stack ();
1304 if ( YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) == new_buffer )
1305 return;
1306
1307 if ( YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) )
1308 {
1309 /* Flush out information for old buffer. */
1310 *(yy_c_buf_p) = (yy_hold_char);
1311 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_pos = (yy_c_buf_p);
1312 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_n_chars = (yy_n_chars);
1313 }
1314
1315 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] = new_buffer;
1316 yy_load_buffer_state( );
1317
1318 /* We don't actually know whether we did this switch during
1319 * EOF (yywrap()) processing, but the only time this flag
1320 * is looked at is after yywrap() is called, so it's safe
1321 * to go ahead and always set it.
1322 */
1323 (yy_did_buffer_switch_on_eof) = 1;
1324}
1325
1326static void yy_load_buffer_state (void)
1327{
1328 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_n_chars;
1329 (yytext_ptryytext) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_pos;
1330 yyin = YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_input_file;
1331 (yy_hold_char) = *(yy_c_buf_p);
1332}
1333
1334/** Allocate and initialize an input buffer state.
1335 * @param file A readable stream.
1336 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1337 *
1338 * @return the allocated buffer state.
1339 */
1340 YY_BUFFER_STATE yy_create_buffer (FILE * file, int size )
1341{
1342 YY_BUFFER_STATE b;
1343
1344 b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) );
1345 if ( ! b )
16
←
Assuming 'b' is non-null
→
17
←
Taking false branch
→
1346 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" )yy_fatal_error( "out of dynamic memory in yy_create_buffer()"
);
1347
1348 b->yy_buf_size = size;
1349
1350 /* yy_ch_buf has to be 2 characters longer than the size given because
1351 * we need to put in 2 end-of-buffer characters.
1352 */
1353 b->yy_ch_buf = (char *) yyalloc(b->yy_buf_size + 2 );
18
←
Calling 'yyalloc'
→
20
←
Returning from 'yyalloc'
→
1354 if ( ! b->yy_ch_buf )
21
←
Assuming field 'yy_ch_buf' is non-null
→
22
←
Taking false branch
→
1355 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" )yy_fatal_error( "out of dynamic memory in yy_create_buffer()"
);
1356
1357 b->yy_is_our_buffer = 1;
1358
1359 yy_init_buffer(b,file );
1360
1361 return b;
1362}
1363
1364/** Destroy the buffer.
1365 * @param b a buffer created with yy_create_buffer()
1366 *
1367 */
1368 void yy_delete_buffer (YY_BUFFER_STATE b )
1369{
1370
1371 if ( ! b )
1372 return;
1373
1374 if ( b == YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) ) /* Not sure if we should pop here. */
1375 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] = (YY_BUFFER_STATE) 0;
1376
1377 if ( b->yy_is_our_buffer )
1378 yyfree((void *) b->yy_ch_buf );
1379
1380 yyfree((void *) b );
1381}
1382
1383/* Initializes or reinitializes a buffer.
1384 * This function is sometimes called more than once on the same buffer,
1385 * such as during a yyrestart() or at EOF.
1386 */
1387 static void yy_init_buffer (YY_BUFFER_STATE b, FILE * file )
1388
1389{
1390 int oerrno = errno(*__errno());
1391
1392 yy_flush_buffer(b );
1393
1394 b->yy_input_file = file;
1395 b->yy_fill_buffer = 1;
1396
1397 /* If b is the current buffer, then yy_init_buffer was _probably_
1398 * called from yyrestart() or through yy_get_next_buffer.
1399 * In that case, we don't want to reset the lineno or column.
1400 */
1401 if (b != YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0))){
1402 b->yy_bs_lineno = 1;
1403 b->yy_bs_column = 0;
1404 }
1405
1406 b->yy_is_interactive = file ? (isatty( fileno(file)(!__isthreaded ? ((file)->_file) : (fileno)(file)) ) > 0) : 0;
1407
1408 errno(*__errno()) = oerrno;
1409}
1410
1411/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1412 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1413 *
1414 */
1415 void yy_flush_buffer (YY_BUFFER_STATE b )
1416{
1417 if ( ! b )
1418 return;
1419
1420 b->yy_n_chars = 0;
1421
1422 /* We always need two end-of-buffer characters. The first causes
1423 * a transition to the end-of-buffer state. The second causes
1424 * a jam in that state.
1425 */
1426 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR0;
1427 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR0;
1428
1429 b->yy_buf_pos = &b->yy_ch_buf[0];
1430
1431 b->yy_at_bol = 1;
1432 b->yy_buffer_status = YY_BUFFER_NEW0;
1433
1434 if ( b == YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) )
1435 yy_load_buffer_state( );
1436}
1437
1438/** Pushes the new state onto the stack. The new state becomes
1439 * the current state. This function will allocate the stack
1440 * if necessary.
1441 * @param new_buffer The new state.
1442 *
1443 */
1444void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
1445{
1446 if (new_buffer == NULL((void *)0))
1447 return;
1448
1449 yyensure_buffer_stack();
1450
1451 /* This block is copied from yy_switch_to_buffer. */
1452 if ( YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) )
1453 {
1454 /* Flush out information for old buffer. */
1455 *(yy_c_buf_p) = (yy_hold_char);
1456 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_buf_pos = (yy_c_buf_p);
1457 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)]->yy_n_chars = (yy_n_chars);
1458 }
1459
1460 /* Only push if top exists. Otherwise, replace top. */
1461 if (YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)))
1462 (yy_buffer_stack_top)++;
1463 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] = new_buffer;
1464
1465 /* copied from yy_switch_to_buffer. */
1466 yy_load_buffer_state( );
1467 (yy_did_buffer_switch_on_eof) = 1;
1468}
1469
1470/** Removes and deletes the top of the stack, if present.
1471 * The next element becomes the new top.
1472 *
1473 */
1474void yypop_buffer_state (void)
1475{
1476 if (!YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)))
1477 return;
1478
1479 yy_delete_buffer(YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) );
1480 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] = NULL((void *)0);
1481 if ((yy_buffer_stack_top) > 0)
1482 --(yy_buffer_stack_top);
1483
1484 if (YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0))) {
1485 yy_load_buffer_state( );
1486 (yy_did_buffer_switch_on_eof) = 1;
1487 }
1488}
1489
1490/* Allocates the stack if it does not exist.
1491 * Guarantees space for at least one push.
1492 */
1493static void yyensure_buffer_stack (void)
1494{
1495 yy_size_t num_to_alloc;
1496
1497 if (!(yy_buffer_stack)) {
1498
1499 /* First allocation is just for 2 elements, since we don't know if this
1500 * scanner will even need a stack. We use 2 instead of 1 to avoid an
1501 * immediate realloc on the next call.
1502 */
1503 num_to_alloc = 1;
1504 (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc
1505 (num_to_alloc * sizeof(struct yy_buffer_state*)
1506 );
1507 if ( ! (yy_buffer_stack) )
1508 YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" )yy_fatal_error( "out of dynamic memory in yyensure_buffer_stack()"
);
1509
1510 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1511
1512 (yy_buffer_stack_max) = num_to_alloc;
1513 (yy_buffer_stack_top) = 0;
1514 return;
1515 }
1516
1517 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1518
1519 /* Increase the buffer to prepare for a possible push. */
1520 int grow_size = 8 /* arbitrary grow size */;
1521
1522 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1523 (yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc
1524 ((yy_buffer_stack),
1525 num_to_alloc * sizeof(struct yy_buffer_state*)
1526 );
1527 if ( ! (yy_buffer_stack) )
1528 YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" )yy_fatal_error( "out of dynamic memory in yyensure_buffer_stack()"
);
1529
1530 /* zero only the new slots.*/
1531 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1532 (yy_buffer_stack_max) = num_to_alloc;
1533 }
1534}
1535
1536/** Setup the input buffer state to scan directly from a user-specified character buffer.
1537 * @param base the character buffer
1538 * @param size the size in bytes of the character buffer
1539 *
1540 * @return the newly allocated buffer state object.
1541 */
1542YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size )
1543{
1544 YY_BUFFER_STATE b;
1545
1546 if ( size < 2 ||
1547 base[size-2] != YY_END_OF_BUFFER_CHAR0 ||
1548 base[size-1] != YY_END_OF_BUFFER_CHAR0 )
1549 /* They forgot to leave room for the EOB's. */
1550 return 0;
1551
1552 b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) );
1553 if ( ! b )
1554 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" )yy_fatal_error( "out of dynamic memory in yy_scan_buffer()" );
1555
1556 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
1557 b->yy_buf_pos = b->yy_ch_buf = base;
1558 b->yy_is_our_buffer = 0;
1559 b->yy_input_file = 0;
1560 b->yy_n_chars = b->yy_buf_size;
1561 b->yy_is_interactive = 0;
1562 b->yy_at_bol = 1;
1563 b->yy_fill_buffer = 0;
1564 b->yy_buffer_status = YY_BUFFER_NEW0;
1565
1566 yy_switch_to_buffer(b );
1567
1568 return b;
1569}
1570
1571/** Setup the input buffer state to scan a string. The next call to yylex() will
1572 * scan from a @e copy of @a str.
1573 * @param yystr a NUL-terminated string to scan
1574 *
1575 * @return the newly allocated buffer state object.
1576 * @note If you want to scan bytes that may contain NUL values, then use
1577 * yy_scan_bytes() instead.
1578 */
1579YY_BUFFER_STATE yy_scan_string (yyconstconst char * yystr )
1580{
1581
1582 return yy_scan_bytes(yystr,strlen(yystr) );
1583}
1584
1585/** Setup the input buffer state to scan the given bytes. The next call to yylex() will
1586 * scan from a @e copy of @a bytes.
1587 * @param yybytes the byte buffer to scan
1588 * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1589 *
1590 * @return the newly allocated buffer state object.
1591 */
1592YY_BUFFER_STATE yy_scan_bytes (yyconstconst char * yybytes, yy_size_t _yybytes_len )
1593{
1594 YY_BUFFER_STATE b;
1595 char *buf;
1596 yy_size_t n;
1597 yy_size_t i;
1598
1599 /* Get memory for full buffer, including space for trailing EOB's. */
1600 n = _yybytes_len + 2;
1601 buf = (char *) yyalloc(n );
1602 if ( ! buf )
1603 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" )yy_fatal_error( "out of dynamic memory in yy_scan_bytes()" );
1604
1605 for ( i = 0; i < _yybytes_len; ++i )
1606 buf[i] = yybytes[i];
1607
1608 buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR0;
1609
1610 b = yy_scan_buffer(buf,n );
1611 if ( ! b )
1612 YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" )yy_fatal_error( "bad buffer in yy_scan_bytes()" );
1613
1614 /* It's okay to grow etc. this buffer, and we should throw it
1615 * away when we're done.
1616 */
1617 b->yy_is_our_buffer = 1;
1618
1619 return b;
1620}
1621
1622#ifndef YY_EXIT_FAILURE2
1623#define YY_EXIT_FAILURE2 2
1624#endif
1625
1626static void yy_fatal_error (yyconstconst char* msg )
1627{
1628 (void) fprintf( stderr(&__sF[2]), "%s\n", msg );
1629 exit( YY_EXIT_FAILURE2 );
1630}
1631
1632/* Redefine yyless() so it works in section 3 code. */
1633
1634#undef yyless
1635#define yyless(n)do { int yyless_macro_arg = (n); ; yytext[yyleng] = (yy_hold_char
); (yy_c_buf_p) = yytext + yyless_macro_arg; (yy_hold_char) =
*(yy_c_buf_p); *(yy_c_buf_p) = '\0'; yyleng = yyless_macro_arg
; } while ( 0 ) \
1636 do \
1637 { \
1638 /* Undo effects of setting up yytext. */ \
1639 int yyless_macro_arg = (n); \
1640 YY_LESS_LINENO(yyless_macro_arg);\
1641 yytext[yyleng] = (yy_hold_char); \
1642 (yy_c_buf_p) = yytext + yyless_macro_arg; \
1643 (yy_hold_char) = *(yy_c_buf_p); \
1644 *(yy_c_buf_p) = '\0'; \
1645 yyleng = yyless_macro_arg; \
1646 } \
1647 while ( 0 )
1648
1649/* Accessor methods (get/set functions) to struct members. */
1650
1651/** Get the current line number.
1652 *
1653 */
1654int yyget_lineno (void)
1655{
1656
1657 return yylineno;
1658}
1659
1660/** Get the input stream.
1661 *
1662 */
1663FILE *yyget_in (void)
1664{
1665 return yyin;
1666}
1667
1668/** Get the output stream.
1669 *
1670 */
1671FILE *yyget_out (void)
1672{
1673 return yyout;
1674}
1675
1676/** Get the length of the current token.
1677 *
1678 */
1679yy_size_t yyget_leng (void)
1680{
1681 return yyleng;
1682}
1683
1684/** Get the current token.
1685 *
1686 */
1687
1688char *yyget_text (void)
1689{
1690 return yytext;
1691}
1692
1693/** Set the current line number.
1694 * @param line_number
1695 *
1696 */
1697void yyset_lineno (int line_number )
1698{
1699
1700 yylineno = line_number;
1701}
1702
1703/** Set the input stream. This does not discard the current
1704 * input buffer.
1705 * @param in_str A readable stream.
1706 *
1707 * @see yy_switch_to_buffer
1708 */
1709void yyset_in (FILE * in_str )
1710{
1711 yyin = in_str ;
1712}
1713
1714void yyset_out (FILE * out_str )
1715{
1716 yyout = out_str ;
1717}
1718
1719int yyget_debug (void)
1720{
1721 return yy_flex_debug;
1722}
1723
1724void yyset_debug (int bdebug )
1725{
1726 yy_flex_debug = bdebug ;
1727}
1728
1729static int yy_init_globals (void)
1730{
1731 /* Initialization is the same as for the non-reentrant scanner.
1732 * This function is called from yylex_destroy(), so don't allocate here.
1733 */
1734
1735 (yy_buffer_stack) = 0;
1736 (yy_buffer_stack_top) = 0;
1737 (yy_buffer_stack_max) = 0;
1738 (yy_c_buf_p) = (char *) 0;
1739 (yy_init) = 0;
1740 (yy_start) = 0;
1741
1742 (yy_state_buf) = 0;
1743 (yy_state_ptr) = 0;
1744 (yy_full_match) = 0;
1745 (yy_lp) = 0;
1746
1747/* Defined in main.c */
1748#ifdef YY_STDINIT
1749 yyin = stdin(&__sF[0]);
1750 yyout = stdout(&__sF[1]);
1751#else
1752 yyin = (FILE *) 0;
1753 yyout = (FILE *) 0;
1754#endif
1755
1756 /* For future reference: Set errno on error, since we are called by
1757 * yylex_init()
1758 */
1759 return 0;
1760}
1761
1762/* yylex_destroy is for both reentrant and non-reentrant scanners. */
1763int yylex_destroy (void)
1764{
1765
1766 /* Pop the buffer stack, destroying each element. */
1767 while(YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0))){
1768 yy_delete_buffer(YY_CURRENT_BUFFER( (yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)
] : ((void *)0)) );
1769 YY_CURRENT_BUFFER_LVALUE(yy_buffer_stack)[(yy_buffer_stack_top)] = NULL((void *)0);
1770 yypop_buffer_state();
1771 }
1772
1773 /* Destroy the stack itself. */
1774 yyfree((yy_buffer_stack) );
1775 (yy_buffer_stack) = NULL((void *)0);
1776
1777 yyfree ( (yy_state_buf) );
1778 (yy_state_buf) = NULL((void *)0);
1779
1780 /* Reset the globals. This is important in a non-reentrant scanner so the next time
1781 * yylex() is called, initialization will occur. */
1782 yy_init_globals( );
1783
1784 return 0;
1785}
1786
1787/*
1788 * Internal utility routines.
1789 */
1790
1791#ifndef yytext_ptryytext
1792static void yy_flex_strncpy (char* s1, yyconstconst char * s2, int n )
1793{
1794 int i;
1795 for ( i = 0; i < n; ++i )
1796 s1[i] = s2[i];
1797}
1798#endif
1799
1800#ifdef YY_NEED_STRLEN
1801static int yy_flex_strlen (yyconstconst char * s )
1802{
1803 int n;
1804 for ( n = 0; s[n]; ++n )
1805 ;
1806
1807 return n;
1808}
1809#endif
1810
1811void *yyalloc (yy_size_t size )
1812{
1813 return (void *) malloc( size );
19
←
Storing uninitialized value
→
1814}
1815
1816void *yyrealloc (void * ptr, yy_size_t size )
1817{
1818 /* The cast to (char *) in the following accommodates both
1819 * implementations that use char* generic pointers, and those
1820 * that use void* generic pointers. It works with the latter
1821 * because both ANSI C and C++ allow castless assignment from
1822 * any pointer type to void*, and deal with argument conversions
1823 * as though doing an assignment.
1824 */
1825 return (void *) realloc( (char *) ptr, size );
1826}
1827
1828void yyfree (void * ptr )
1829{
1830 free( (char *) ptr ); /* see yyrealloc() for (char *) cast */
1831}
1832
1833#define YYTABLES_NAME"yytables" "yytables"
1834
1835#line 21 "conftest.l"
1836
1837
1838#ifdef YYTEXT_POINTER
1839extern char *yytext;
1840#endif
1841int
1842yywrap (void)
1843{
1844 return 1;
1845}
1846int
1847main (void)
1848{
1849 return ! yylex ();
1
Calling 'yylex'
→
1850}