Bug Summary

File:src/usr.bin/keynote/obj/z.tab.c
Warning:line 469, column 14
Use of zero-allocated memory

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 z.tab.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.bin/keynote/obj -resource-dir /usr/local/lib/clang/13.0.0 -I . -I /usr/src/usr.bin/keynote -I /usr/src/usr.bin/keynote/../../lib/libkeynote -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/usr.bin/keynote/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 z.tab.c
1#include <stdlib.h>
2#include <string.h>
3#define YYBYACC1 1
4#define YYMAJOR1 1
5#define YYMINOR9 9
6#define YYLEXkvlex() yylexkvlex()
7#define YYEMPTY-1 -1
8#define yyclearin(kvchar=(-1)) (yycharkvchar=(YYEMPTY-1))
9#define yyerrok(kverrflag=0) (yyerrflagkverrflag=0)
10#define YYRECOVERING()(kverrflag!=0) (yyerrflagkverrflag!=0)
11#define yyparsekvparse kvparse
12#define yylexkvlex kvlex
13#define yyerrorkverror kverror
14#define yycharkvchar kvchar
15#define yyvalkvval kvval
16#define yylvalkvlval kvlval
17#define yydebugkvdebug kvdebug
18#define yynerrskvnerrs kvnerrs
19#define yyerrflagkverrflag kverrflag
20#define yysskvss kvss
21#define yysslimkvsslim kvsslim
22#define yysspkvssp kvssp
23#define yyvskvvs kvvs
24#define yyvspkvvsp kvvsp
25#define yystacksizekvstacksize kvstacksize
26#define yylhskvlhs kvlhs
27#define yylenkvlen kvlen
28#define yydefredkvdefred kvdefred
29#define yydgotokvdgoto kvdgoto
30#define yysindexkvsindex kvsindex
31#define yyrindexkvrindex kvrindex
32#define yygindexkvgindex kvgindex
33#define yytablekvtable kvtable
34#define yycheckkvcheck kvcheck
35#define yynamekvname kvname
36#define yyrulekvrule kvrule
37#define YYPREFIX"kv" "kv"
38#line 21 "/usr/src/usr.bin/keynote/../../lib/libkeynote/keynote-ver.y"
39#ifndef YYSTYPE_DEFINED
40#define YYSTYPE_DEFINED
41typedef union {
42 struct s {
43 char *string;
44 } s;
45} YYSTYPE;
46#endif /* YYSTYPE_DEFINED */
47#line 31 "/usr/src/usr.bin/keynote/../../lib/libkeynote/keynote-ver.y"
48
49#include <sys/types.h>
50
51#include <regex.h>
52#include <stdio.h>
53#include <stdlib.h>
54#include <string.h>
55
56#include "header.h"
57#include "keynote.h"
58#line 59 "z.tab.c"
59#define STRING257 257
60#define VSTRING258 258
61#define EQ259 259
62#define YYERRCODE256 256
63const short kvlhs[] =
64 { -1,
65 0, 0, 1, 2, 1,
66};
67const short kvlen[] =
68 { 2,
69 1, 1, 3, 0, 5,
70};
71const short kvdefred[] =
72 { 0,
73 2, 0, 0, 1, 0, 0, 0, 5,
74};
75const short kvdgoto[] =
76 { 3,
77 4, 7,
78};
79const short kvsindex[] =
80 { -255,
81 0, -259, 0, 0, -253, 0, -252, 0,};
82const short kvrindex[] =
83 { 0,
84 0, 0, 0, 0, 0, 1, 0, 0,};
85const short kvgindex[] =
86 { 0,
87 -2, 0,
88};
89#define YYTABLESIZE259 259
90const short kvtable[] =
91 { 5,
92 3, 1, 2, 6, 8, 2, 0, 0, 0, 0,
93 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
94 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
95 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
96 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
97 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
98 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
99 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
100 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
101 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
102 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
103 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
104 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
105 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
106 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
107 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
108 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
109 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
110 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
111 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
112 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
113 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
114 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
115 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
116 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
117 0, 0, 0, 0, 0, 0, 0, 0, 4,
118};
119const short kvcheck[] =
120 { 259,
121 0, 257, 258, 257, 7, 258, -1, -1, -1, -1,
122 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
123 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
124 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
125 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
126 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
127 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
128 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
129 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
130 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
131 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
132 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
133 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
134 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
135 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
136 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
137 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
138 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
139 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
140 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
141 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
142 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
143 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
144 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
145 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
146 -1, -1, -1, -1, -1, -1, -1, -1, 258,
147};
148#define YYFINAL3 3
149#ifndef YYDEBUG0
150#define YYDEBUG0 0
151#endif
152#define YYMAXTOKEN259 259
153#if YYDEBUG0
154const char * const kvname[] =
155 {
156"end-of-file",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
1570,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
1580,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
1590,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
1600,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
1610,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
1620,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"STRING","VSTRING","EQ",
163};
164const char * const kvrule[] =
165 {"$accept : program",
166"program : expr",
167"program : STRING",
168"expr : VSTRING EQ STRING",
169"$$1 :",
170"expr : VSTRING EQ STRING $$1 expr",
171};
172#endif
173#ifdef YYSTACKSIZE10000
174#undef YYMAXDEPTH10000
175#define YYMAXDEPTH10000 YYSTACKSIZE10000
176#else
177#ifdef YYMAXDEPTH10000
178#define YYSTACKSIZE10000 YYMAXDEPTH10000
179#else
180#define YYSTACKSIZE10000 10000
181#define YYMAXDEPTH10000 10000
182#endif
183#endif
184#define YYINITSTACKSIZE200 200
185/* LINTUSED */
186int yydebugkvdebug;
187int yynerrskvnerrs;
188int yyerrflagkverrflag;
189int yycharkvchar;
190short *yysspkvssp;
191YYSTYPE *yyvspkvvsp;
192YYSTYPE yyvalkvval;
193YYSTYPE yylvalkvlval;
194short *yysskvss;
195short *yysslimkvsslim;
196YYSTYPE *yyvskvvs;
197unsigned int yystacksizekvstacksize;
198int yyparsekvparse(void);
199#line 65 "/usr/src/usr.bin/keynote/../../lib/libkeynote/keynote-ver.y"
200void
201kverror(char *s)
202{}
203#line 196 "z.tab.c"
204/* allocate initial stack or double stack size, up to YYMAXDEPTH */
205static int yygrowstack(void)
206{
207 unsigned int newsize;
208 long sslen;
209 short *newss;
210 YYSTYPE *newvs;
211
212 if ((newsize = yystacksizekvstacksize) == 0)
32
←
Assuming the condition is false
→
33
←
Taking false branch
→
213 newsize = YYINITSTACKSIZE200;
214 else if (newsize >= YYMAXDEPTH10000)
34
←
Assuming 'newsize' is < YYMAXDEPTH
→
35
←
Taking false branch
→
215 return -1;
216 else if ((newsize *= 2) > YYMAXDEPTH10000)
36
←
Assuming the condition is false
→
37
←
Taking false branch
→
217 newsize = YYMAXDEPTH10000;
218 sslen = yysspkvssp - yysskvss;
219#ifdef SIZE_MAX
220#define YY_SIZE_MAX0xffffffffU SIZE_MAX
221#else
222#define YY_SIZE_MAX0xffffffffU 0xffffffffU
223#endif
224 if (newsize && YY_SIZE_MAX0xffffffffU / newsize < sizeof *newss)
38
←
Assuming 'newsize' is 0
→
225 goto bail;
226 newss = (short *)realloc(yysskvss, newsize * sizeof *newss);
227 if (newss == NULL((void *)0))
39
←
Assuming 'newss' is not equal to NULL
→
40
←
Taking false branch
→
228 goto bail;
229 yysskvss = newss;
230 yysspkvssp = newss + sslen;
231 if (newsize
40.1
'newsize' is 0
 && YY_SIZE_MAX0xffffffffU / newsize < sizeof *newvs)
232 goto bail;
233 newvs = (YYSTYPE *)realloc(yyvskvvs, newsize * sizeof *newvs);
234 if (newvs == NULL((void *)0))
41
←
Assuming 'newvs' is not equal to NULL
→
42
←
Taking false branch
→
235 goto bail;
236 yyvskvvs = newvs;
237 yyvspkvvsp = newvs + sslen;
238 yystacksizekvstacksize = newsize;
239 yysslimkvsslim = yysskvss + newsize - 1;
240 return 0;
241bail:
242 if (yysskvss)
243 free(yysskvss);
244 if (yyvskvvs)
245 free(yyvskvvs);
246 yysskvss = yysspkvssp = NULL((void *)0);
247 yyvskvvs = yyvspkvvsp = NULL((void *)0);
248 yystacksizekvstacksize = 0;
249 return -1;
250}
251
252#define YYABORTgoto yyabort goto yyabort
253#define YYREJECTgoto yyabort goto yyabort
254#define YYACCEPTgoto yyaccept goto yyaccept
255#define YYERRORgoto yyerrlab goto yyerrlab
256int
257yyparsekvparse(void)
258{
259 int yym, yyn, yystate;
260#if YYDEBUG0
261 const char *yys;
262
263 if ((yys = getenv("YYDEBUG")))
264 {
265 yyn = *yys;
266 if (yyn >= '0' && yyn <= '9')
267 yydebugkvdebug = yyn - '0';
268 }
269#endif /* YYDEBUG */
270
271 yynerrskvnerrs = 0;
272 yyerrflagkverrflag = 0;
273 yycharkvchar = (-1);
274
275 if (yysskvss == NULL((void *)0) && yygrowstack()) goto yyoverflow;
1
Assuming 'kvss' is not equal to NULL
→
276 yysspkvssp = yysskvss;
277 yyvspkvvsp = yyvskvvs;
278 *yysspkvssp = yystate = 0;
279
280yyloop:
281 if ((yyn = yydefredkvdefred[yystate]) != 0) goto yyreduce;
2
←
Taking false branch
→
22
←
Assuming the condition is true
→
23
←
Taking true branch
→
24
←
Control jumps to line 388
→
282 if (yycharkvchar < 0)
3
←
Taking true branch
→
283 {
284 if ((yycharkvchar = yylexkvlex()) < 0) yycharkvchar = 0;
4
←
Assuming the condition is false
→
5
←
Taking false branch
→
285#if YYDEBUG0
286 if (yydebugkvdebug)
287 {
288 yys = 0;
289 if (yycharkvchar <= YYMAXTOKEN259) yys = yynamekvname[yycharkvchar];
290 if (!yys) yys = "illegal-symbol";
291 printf("%sdebug: state %d, reading %d (%s)\n",
292 YYPREFIX"kv", yystate, yycharkvchar, yys);
293 }
294#endif
295 }
296 if ((yyn = yysindexkvsindex[yystate]) && (yyn += yycharkvchar) >= 0 &&
6
←
Assuming 'yyn' is not equal to 0
→
7
←
Assuming the condition is false
→
297 yyn <= YYTABLESIZE259 && yycheckkvcheck[yyn] == yycharkvchar)
298 {
299#if YYDEBUG0
300 if (yydebugkvdebug)
301 printf("%sdebug: state %d, shifting to state %d\n",
302 YYPREFIX"kv", yystate, yytablekvtable[yyn]);
303#endif
304 if (yysspkvssp >= yysslimkvsslim && yygrowstack())
305 {
306 goto yyoverflow;
307 }
308 *++yysspkvssp = yystate = yytablekvtable[yyn];
309 *++yyvspkvvsp = yylvalkvlval;
310 yycharkvchar = (-1);
311 if (yyerrflagkverrflag > 0) --yyerrflagkverrflag;
312 goto yyloop;
313 }
314 if ((yyn = yyrindexkvrindex[yystate]) && (yyn += yycharkvchar) >= 0 &&
8
←
Assuming 'yyn' is 0
→
315 yyn <= YYTABLESIZE259 && yycheckkvcheck[yyn] == yycharkvchar)
316 {
317 yyn = yytablekvtable[yyn];
318 goto yyreduce;
319 }
320 if (yyerrflagkverrflag) goto yyinrecovery;
9
←
Assuming 'kverrflag' is 0
→
10
←
Taking false branch
→
321#if defined(__GNUC__4)
322 goto yynewerror;
11
←
Control jumps to line 325
→
323#endif
324yynewerror:
325 yyerrorkverror("syntax error");
326#if defined(__GNUC__4)
327 goto yyerrlab;
12
←
Control jumps to line 330
→
328#endif
329yyerrlab:
330 ++yynerrskvnerrs;
331yyinrecovery:
332 if (yyerrflagkverrflag < 3)
13
←
Taking true branch
→
333 {
334 yyerrflagkverrflag = 3;
335 for (;;)
14
←
Loop condition is true. Entering loop body
→
336 {
337 if ((yyn = yysindexkvsindex[*yysspkvssp]) && (yyn += YYERRCODE256) >= 0 &&
15
←
Assuming 'yyn' is not equal to 0
→
16
←
Assuming the condition is true
→
19
←
Taking true branch
→
338 yyn <= YYTABLESIZE259 && yycheckkvcheck[yyn] == YYERRCODE256)
17
←
Assuming 'yyn' is <= YYTABLESIZE
→
18
←
Assuming the condition is true
→
339 {
340#if YYDEBUG0
341 if (yydebugkvdebug)
342 printf("%sdebug: state %d, error recovery shifting\
343 to state %d\n", YYPREFIX"kv", *yysspkvssp, yytablekvtable[yyn]);
344#endif
345 if (yysspkvssp >= yysslimkvsslim && yygrowstack())
20
←
Assuming 'kvssp' is < 'kvsslim'
→
346 {
347 goto yyoverflow;
348 }
349 *++yysspkvssp = yystate = yytablekvtable[yyn];
350 *++yyvspkvvsp = yylvalkvlval;
351 goto yyloop;
21
←
Control jumps to line 281
→
352 }
353 else
354 {
355#if YYDEBUG0
356 if (yydebugkvdebug)
357 printf("%sdebug: error recovery discarding state %d\n",
358 YYPREFIX"kv", *yysspkvssp);
359#endif
360 if (yysspkvssp <= yysskvss) goto yyabort;
361 --yysspkvssp;
362 --yyvspkvvsp;
363 }
364 }
365 }
366 else
367 {
368 if (yycharkvchar == 0) goto yyabort;
369#if YYDEBUG0
370 if (yydebugkvdebug)
371 {
372 yys = 0;
373 if (yycharkvchar <= YYMAXTOKEN259) yys = yynamekvname[yycharkvchar];
374 if (!yys) yys = "illegal-symbol";
375 printf("%sdebug: state %d, error recovery discards token %d (%s)\n",
376 YYPREFIX"kv", yystate, yycharkvchar, yys);
377 }
378#endif
379 yycharkvchar = (-1);
380 goto yyloop;
381 }
382yyreduce:
383#if YYDEBUG0
384 if (yydebugkvdebug)
385 printf("%sdebug: state %d, reducing by rule %d (%s)\n",
386 YYPREFIX"kv", yystate, yyn, yyrulekvrule[yyn]);
387#endif
388 yym = yylenkvlen[yyn];
389 if (yym)
25
←
Assuming 'yym' is 0
→
26
←
Taking false branch
→
390 yyvalkvval = yyvspkvvsp[1-yym];
391 else
392 memset(&yyvalkvval, 0, sizeof yyvalkvval);
393 switch (yyn)
27
←
'Default' branch taken. Execution continues on line 424
→
394 {
395case 2:
396#line 45 "/usr/src/usr.bin/keynote/../../lib/libkeynote/keynote-ver.y"
397{ if (kn_add_authorizer(sessid, yyvspkvvsp[0].s.string) != 0)
398 return keynote_errno;
399 free(yyvspkvvsp[0].s.string);
400 }
401break;
402case 3:
403#line 50 "/usr/src/usr.bin/keynote/../../lib/libkeynote/keynote-ver.y"
404{ int i = kn_add_action(sessid, yyvspkvvsp[-2].s.string, yyvspkvvsp[0].s.string, 0);
405
406 if (i != 0)
407 return i;
408 free(yyvspkvvsp[-2].s.string);
409 free(yyvspkvvsp[0].s.string);
410 }
411break;
412case 4:
413#line 57 "/usr/src/usr.bin/keynote/../../lib/libkeynote/keynote-ver.y"
414{ int i = kn_add_action(sessid, yyvspkvvsp[-2].s.string, yyvspkvvsp[0].s.string, 0);
415
416 if (i != 0)
417 return i;
418 free(yyvspkvvsp[-2].s.string);
419 free(yyvspkvvsp[0].s.string);
420 }
421break;
422#line 415 "z.tab.c"
423 }
424 yysspkvssp -= yym;
425 yystate = *yysspkvssp;
426 yyvspkvvsp -= yym;
427 yym = yylhskvlhs[yyn];
428 if (yystate == 0 && yym == 0)
28
←
Assuming 'yystate' is not equal to 0
→
429 {
430#if YYDEBUG0
431 if (yydebugkvdebug)
432 printf("%sdebug: after reduction, shifting from state 0 to\
433 state %d\n", YYPREFIX"kv", YYFINAL3);
434#endif
435 yystate = YYFINAL3;
436 *++yysspkvssp = YYFINAL3;
437 *++yyvspkvvsp = yyvalkvval;
438 if (yycharkvchar < 0)
439 {
440 if ((yycharkvchar = yylexkvlex()) < 0) yycharkvchar = 0;
441#if YYDEBUG0
442 if (yydebugkvdebug)
443 {
444 yys = 0;
445 if (yycharkvchar <= YYMAXTOKEN259) yys = yynamekvname[yycharkvchar];
446 if (!yys) yys = "illegal-symbol";
447 printf("%sdebug: state %d, reading %d (%s)\n",
448 YYPREFIX"kv", YYFINAL3, yycharkvchar, yys);
449 }
450#endif
451 }
452 if (yycharkvchar == 0) goto yyaccept;
453 goto yyloop;
454 }
455 if ((yyn = yygindexkvgindex[yym]) && (yyn += yystate) >= 0 &&
29
←
Assuming 'yyn' is 0
→
456 yyn <= YYTABLESIZE259 && yycheckkvcheck[yyn] == yystate)
457 yystate = yytablekvtable[yyn];
458 else
459 yystate = yydgotokvdgoto[yym];
460#if YYDEBUG0
461 if (yydebugkvdebug)
462 printf("%sdebug: after reduction, shifting from state %d \
463to state %d\n", YYPREFIX"kv", *yysspkvssp, yystate);
464#endif
465 if (yysspkvssp >= yysslimkvsslim && yygrowstack())
30
←
Assuming 'kvssp' is >= 'kvsslim'
→
31
←
Calling 'yygrowstack'
→
43
←
Returning from 'yygrowstack'
→
44
←
Taking false branch
→
466 {
467 goto yyoverflow;
468 }
469 *++yysspkvssp = yystate;
45
←
Use of zero-allocated memory
470 *++yyvspkvvsp = yyvalkvval;
471 goto yyloop;
472yyoverflow:
473 yyerrorkverror("yacc stack overflow");
474yyabort:
475 if (yysskvss)
476 free(yysskvss);
477 if (yyvskvvs)
478 free(yyvskvvs);
479 yysskvss = yysspkvssp = NULL((void *)0);
480 yyvskvvs = yyvspkvvsp = NULL((void *)0);
481 yystacksizekvstacksize = 0;
482 return (1);
483yyaccept:
484 if (yysskvss)
485 free(yysskvss);
486 if (yyvskvvs)
487 free(yyvskvvs);
488 yysskvss = yysspkvssp = NULL((void *)0);
489 yyvskvvs = yyvspkvvsp = NULL((void *)0);
490 yystacksizekvstacksize = 0;
491 return (0);
492}