Coverage Report

Created: 2026-03-23 06:45

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/cpython/Parser/action_helpers.c
Line
Count
Source
1
#include <Python.h>
2
#include "pycore_pystate.h"         // _PyInterpreterState_GET()
3
#include "pycore_runtime.h"         // _PyRuntime
4
#include "pycore_unicodeobject.h"   // _PyUnicode_InternImmortal()
5
6
#include "pegen.h"
7
#include "string_parser.h"          // _PyPegen_decode_string()
8
9
10
void *
11
_PyPegen_dummy_name(Parser *p, ...)
12
60.4k
{
13
60.4k
    return &_PyRuntime.parser.dummy_name;
14
60.4k
}
15
16
/* Creates a single-element asdl_seq* that contains a */
17
asdl_seq *
18
_PyPegen_singleton_seq(Parser *p, void *a)
19
109k
{
20
109k
    assert(a != NULL);
21
109k
    asdl_seq *seq = (asdl_seq*)_Py_asdl_generic_seq_new(1, p->arena);
22
109k
    if (!seq) {
23
0
        return NULL;
24
0
    }
25
109k
    asdl_seq_SET_UNTYPED(seq, 0, a);
26
109k
    return seq;
27
109k
}
28
29
/* Creates a copy of seq and prepends a to it */
30
asdl_seq *
31
_PyPegen_seq_insert_in_front(Parser *p, void *a, asdl_seq *seq)
32
277k
{
33
277k
    assert(a != NULL);
34
277k
    if (!seq) {
35
6.19k
        return _PyPegen_singleton_seq(p, a);
36
6.19k
    }
37
38
271k
    asdl_seq *new_seq = (asdl_seq*)_Py_asdl_generic_seq_new(asdl_seq_LEN(seq) + 1, p->arena);
39
271k
    if (!new_seq) {
40
0
        return NULL;
41
0
    }
42
43
271k
    asdl_seq_SET_UNTYPED(new_seq, 0, a);
44
530k
    for (Py_ssize_t i = 1, l = asdl_seq_LEN(new_seq); i < l; i++) {
45
259k
        asdl_seq_SET_UNTYPED(new_seq, i, asdl_seq_GET_UNTYPED(seq, i - 1));
46
259k
    }
47
271k
    return new_seq;
48
271k
}
49
50
/* Creates a copy of seq and appends a to it */
51
asdl_seq *
52
_PyPegen_seq_append_to_end(Parser *p, asdl_seq *seq, void *a)
53
0
{
54
0
    assert(a != NULL);
55
0
    if (!seq) {
56
0
        return _PyPegen_singleton_seq(p, a);
57
0
    }
58
59
0
    asdl_seq *new_seq = (asdl_seq*)_Py_asdl_generic_seq_new(asdl_seq_LEN(seq) + 1, p->arena);
60
0
    if (!new_seq) {
61
0
        return NULL;
62
0
    }
63
64
0
    for (Py_ssize_t i = 0, l = asdl_seq_LEN(new_seq); i + 1 < l; i++) {
65
0
        asdl_seq_SET_UNTYPED(new_seq, i, asdl_seq_GET_UNTYPED(seq, i));
66
0
    }
67
0
    asdl_seq_SET_UNTYPED(new_seq, asdl_seq_LEN(new_seq) - 1, a);
68
0
    return new_seq;
69
0
}
70
71
static Py_ssize_t
72
_get_flattened_seq_size(asdl_seq *seqs)
73
19.1k
{
74
19.1k
    Py_ssize_t size = 0;
75
89.5k
    for (Py_ssize_t i = 0, l = asdl_seq_LEN(seqs); i < l; i++) {
76
70.3k
        asdl_seq *inner_seq = asdl_seq_GET_UNTYPED(seqs, i);
77
70.3k
        size += asdl_seq_LEN(inner_seq);
78
70.3k
    }
79
19.1k
    return size;
80
19.1k
}
81
82
/* Flattens an asdl_seq* of asdl_seq*s */
83
asdl_seq *
84
_PyPegen_seq_flatten(Parser *p, asdl_seq *seqs)
85
19.1k
{
86
19.1k
    Py_ssize_t flattened_seq_size = _get_flattened_seq_size(seqs);
87
19.1k
    assert(flattened_seq_size > 0);
88
89
19.1k
    asdl_seq *flattened_seq = (asdl_seq*)_Py_asdl_generic_seq_new(flattened_seq_size, p->arena);
90
19.1k
    if (!flattened_seq) {
91
0
        return NULL;
92
0
    }
93
94
19.1k
    int flattened_seq_idx = 0;
95
89.5k
    for (Py_ssize_t i = 0, l = asdl_seq_LEN(seqs); i < l; i++) {
96
70.3k
        asdl_seq *inner_seq = asdl_seq_GET_UNTYPED(seqs, i);
97
147k
        for (Py_ssize_t j = 0, li = asdl_seq_LEN(inner_seq); j < li; j++) {
98
77.5k
            asdl_seq_SET_UNTYPED(flattened_seq, flattened_seq_idx++, asdl_seq_GET_UNTYPED(inner_seq, j));
99
77.5k
        }
100
70.3k
    }
101
19.1k
    assert(flattened_seq_idx == flattened_seq_size);
102
103
19.1k
    return flattened_seq;
104
19.1k
}
105
106
void *
107
_PyPegen_seq_last_item(asdl_seq *seq)
108
69
{
109
69
    Py_ssize_t len = asdl_seq_LEN(seq);
110
69
    return asdl_seq_GET_UNTYPED(seq, len - 1);
111
69
}
112
113
void *
114
_PyPegen_seq_first_item(asdl_seq *seq)
115
24
{
116
24
    return asdl_seq_GET_UNTYPED(seq, 0);
117
24
}
118
119
/* Creates a new name of the form <first_name>.<second_name> */
120
expr_ty
121
_PyPegen_join_names_with_dot(Parser *p, expr_ty first_name, expr_ty second_name)
122
1.56k
{
123
1.56k
    assert(first_name != NULL && second_name != NULL);
124
1.56k
    PyObject *uni = PyUnicode_FromFormat("%U.%U",
125
1.56k
            first_name->v.Name.id, second_name->v.Name.id);
126
1.56k
    if (!uni) {
127
0
        return NULL;
128
0
    }
129
1.56k
    PyInterpreterState *interp = _PyInterpreterState_GET();
130
1.56k
    _PyUnicode_InternImmortal(interp, &uni);
131
1.56k
    if (_PyArena_AddPyObject(p->arena, uni) < 0) {
132
0
        Py_DECREF(uni);
133
0
        return NULL;
134
0
    }
135
136
1.56k
    return _PyAST_Name(uni, Load, EXTRA_EXPR(first_name, second_name));
137
1.56k
}
138
139
/* Counts the total number of dots in seq's tokens */
140
int
141
_PyPegen_seq_count_dots(asdl_seq *seq)
142
2.85k
{
143
2.85k
    int number_of_dots = 0;
144
4.49k
    for (Py_ssize_t i = 0, l = asdl_seq_LEN(seq); i < l; i++) {
145
1.63k
        Token *current_expr = asdl_seq_GET_UNTYPED(seq, i);
146
1.63k
        switch (current_expr->type) {
147
134
            case ELLIPSIS:
148
134
                number_of_dots += 3;
149
134
                break;
150
1.50k
            case DOT:
151
1.50k
                number_of_dots += 1;
152
1.50k
                break;
153
0
            default:
154
0
                Py_UNREACHABLE();
155
1.63k
        }
156
1.63k
    }
157
158
2.85k
    return number_of_dots;
159
2.85k
}
160
161
/* Creates an alias with '*' as the identifier name */
162
alias_ty
163
_PyPegen_alias_for_star(Parser *p, int lineno, int col_offset, int end_lineno,
164
342
                        int end_col_offset, PyArena *arena) {
165
342
    PyObject *str = PyUnicode_InternFromString("*");
166
342
    if (!str) {
167
0
        return NULL;
168
0
    }
169
342
    if (_PyArena_AddPyObject(p->arena, str) < 0) {
170
0
        Py_DECREF(str);
171
0
        return NULL;
172
0
    }
173
342
    return _PyAST_alias(str, NULL, lineno, col_offset, end_lineno, end_col_offset, arena);
174
342
}
175
176
/* Creates a new asdl_seq* with the identifiers of all the names in seq */
177
asdl_identifier_seq *
178
_PyPegen_map_names_to_ids(Parser *p, asdl_expr_seq *seq)
179
1.48k
{
180
1.48k
    Py_ssize_t len = asdl_seq_LEN(seq);
181
1.48k
    assert(len > 0);
182
183
1.48k
    asdl_identifier_seq *new_seq = _Py_asdl_identifier_seq_new(len, p->arena);
184
1.48k
    if (!new_seq) {
185
0
        return NULL;
186
0
    }
187
4.94k
    for (Py_ssize_t i = 0; i < len; i++) {
188
3.46k
        expr_ty e = asdl_seq_GET(seq, i);
189
3.46k
        asdl_seq_SET(new_seq, i, e->v.Name.id);
190
3.46k
    }
191
1.48k
    return new_seq;
192
1.48k
}
193
194
/* Constructs a CmpopExprPair */
195
CmpopExprPair *
196
_PyPegen_cmpop_expr_pair(Parser *p, cmpop_ty cmpop, expr_ty expr)
197
12.9k
{
198
12.9k
    assert(expr != NULL);
199
12.9k
    CmpopExprPair *a = _PyArena_Malloc(p->arena, sizeof(CmpopExprPair));
200
12.9k
    if (!a) {
201
0
        return NULL;
202
0
    }
203
12.9k
    a->cmpop = cmpop;
204
12.9k
    a->expr = expr;
205
12.9k
    return a;
206
12.9k
}
207
208
asdl_int_seq *
209
_PyPegen_get_cmpops(Parser *p, asdl_seq *seq)
210
5.75k
{
211
5.75k
    Py_ssize_t len = asdl_seq_LEN(seq);
212
5.75k
    assert(len > 0);
213
214
5.75k
    asdl_int_seq *new_seq = _Py_asdl_int_seq_new(len, p->arena);
215
5.75k
    if (!new_seq) {
216
0
        return NULL;
217
0
    }
218
17.9k
    for (Py_ssize_t i = 0; i < len; i++) {
219
12.2k
        CmpopExprPair *pair = asdl_seq_GET_UNTYPED(seq, i);
220
12.2k
        asdl_seq_SET(new_seq, i, pair->cmpop);
221
12.2k
    }
222
5.75k
    return new_seq;
223
5.75k
}
224
225
asdl_expr_seq *
226
_PyPegen_get_exprs(Parser *p, asdl_seq *seq)
227
5.75k
{
228
5.75k
    Py_ssize_t len = asdl_seq_LEN(seq);
229
5.75k
    assert(len > 0);
230
231
5.75k
    asdl_expr_seq *new_seq = _Py_asdl_expr_seq_new(len, p->arena);
232
5.75k
    if (!new_seq) {
233
0
        return NULL;
234
0
    }
235
17.9k
    for (Py_ssize_t i = 0; i < len; i++) {
236
12.2k
        CmpopExprPair *pair = asdl_seq_GET_UNTYPED(seq, i);
237
12.2k
        asdl_seq_SET(new_seq, i, pair->expr);
238
12.2k
    }
239
5.75k
    return new_seq;
240
5.75k
}
241
242
/* Creates an asdl_seq* where all the elements have been changed to have ctx as context */
243
static asdl_expr_seq *
244
_set_seq_context(Parser *p, asdl_expr_seq *seq, expr_context_ty ctx)
245
3.41k
{
246
3.41k
    Py_ssize_t len = asdl_seq_LEN(seq);
247
3.41k
    if (len == 0) {
248
1.74k
        return NULL;
249
1.74k
    }
250
251
1.67k
    asdl_expr_seq *new_seq = _Py_asdl_expr_seq_new(len, p->arena);
252
1.67k
    if (!new_seq) {
253
0
        return NULL;
254
0
    }
255
5.21k
    for (Py_ssize_t i = 0; i < len; i++) {
256
3.53k
        expr_ty e = asdl_seq_GET(seq, i);
257
3.53k
        asdl_seq_SET(new_seq, i, _PyPegen_set_expr_context(p, e, ctx));
258
3.53k
    }
259
1.67k
    return new_seq;
260
1.67k
}
261
262
static expr_ty
263
_set_name_context(Parser *p, expr_ty e, expr_context_ty ctx)
264
151k
{
265
151k
    return _PyAST_Name(e->v.Name.id, ctx, EXTRA_EXPR(e, e));
266
151k
}
267
268
static expr_ty
269
_set_tuple_context(Parser *p, expr_ty e, expr_context_ty ctx)
270
2.53k
{
271
2.53k
    return _PyAST_Tuple(
272
2.53k
            _set_seq_context(p, e->v.Tuple.elts, ctx),
273
2.53k
            ctx,
274
2.53k
            EXTRA_EXPR(e, e));
275
2.53k
}
276
277
static expr_ty
278
_set_list_context(Parser *p, expr_ty e, expr_context_ty ctx)
279
884
{
280
884
    return _PyAST_List(
281
884
            _set_seq_context(p, e->v.List.elts, ctx),
282
884
            ctx,
283
884
            EXTRA_EXPR(e, e));
284
884
}
285
286
static expr_ty
287
_set_subscript_context(Parser *p, expr_ty e, expr_context_ty ctx)
288
124
{
289
124
    return _PyAST_Subscript(e->v.Subscript.value, e->v.Subscript.slice,
290
124
                            ctx, EXTRA_EXPR(e, e));
291
124
}
292
293
static expr_ty
294
_set_attribute_context(Parser *p, expr_ty e, expr_context_ty ctx)
295
46
{
296
46
    return _PyAST_Attribute(e->v.Attribute.value, e->v.Attribute.attr,
297
46
                            ctx, EXTRA_EXPR(e, e));
298
46
}
299
300
static expr_ty
301
_set_starred_context(Parser *p, expr_ty e, expr_context_ty ctx)
302
413
{
303
413
    return _PyAST_Starred(_PyPegen_set_expr_context(p, e->v.Starred.value, ctx),
304
413
                          ctx, EXTRA_EXPR(e, e));
305
413
}
306
307
/* Creates an `expr_ty` equivalent to `expr` but with `ctx` as context */
308
expr_ty
309
_PyPegen_set_expr_context(Parser *p, expr_ty expr, expr_context_ty ctx)
310
155k
{
311
155k
    assert(expr != NULL);
312
313
155k
    expr_ty new = NULL;
314
155k
    switch (expr->kind) {
315
151k
        case Name_kind:
316
151k
            new = _set_name_context(p, expr, ctx);
317
151k
            break;
318
2.53k
        case Tuple_kind:
319
2.53k
            new = _set_tuple_context(p, expr, ctx);
320
2.53k
            break;
321
884
        case List_kind:
322
884
            new = _set_list_context(p, expr, ctx);
323
884
            break;
324
124
        case Subscript_kind:
325
124
            new = _set_subscript_context(p, expr, ctx);
326
124
            break;
327
46
        case Attribute_kind:
328
46
            new = _set_attribute_context(p, expr, ctx);
329
46
            break;
330
413
        case Starred_kind:
331
413
            new = _set_starred_context(p, expr, ctx);
332
413
            break;
333
0
        default:
334
0
            new = expr;
335
155k
    }
336
155k
    return new;
337
155k
}
338
339
/* Constructs a KeyValuePair that is used when parsing a dict's key value pairs */
340
KeyValuePair *
341
_PyPegen_key_value_pair(Parser *p, expr_ty key, expr_ty value)
342
32.1k
{
343
32.1k
    KeyValuePair *a = _PyArena_Malloc(p->arena, sizeof(KeyValuePair));
344
32.1k
    if (!a) {
345
0
        return NULL;
346
0
    }
347
32.1k
    a->key = key;
348
32.1k
    a->value = value;
349
32.1k
    return a;
350
32.1k
}
351
352
/* Extracts all keys from an asdl_seq* of KeyValuePair*'s */
353
asdl_expr_seq *
354
_PyPegen_get_keys(Parser *p, asdl_seq *seq)
355
4.74k
{
356
4.74k
    Py_ssize_t len = asdl_seq_LEN(seq);
357
4.74k
    asdl_expr_seq *new_seq = _Py_asdl_expr_seq_new(len, p->arena);
358
4.74k
    if (!new_seq) {
359
0
        return NULL;
360
0
    }
361
26.7k
    for (Py_ssize_t i = 0; i < len; i++) {
362
21.9k
        KeyValuePair *pair = asdl_seq_GET_UNTYPED(seq, i);
363
21.9k
        asdl_seq_SET(new_seq, i, pair->key);
364
21.9k
    }
365
4.74k
    return new_seq;
366
4.74k
}
367
368
/* Extracts all values from an asdl_seq* of KeyValuePair*'s */
369
asdl_expr_seq *
370
_PyPegen_get_values(Parser *p, asdl_seq *seq)
371
4.74k
{
372
4.74k
    Py_ssize_t len = asdl_seq_LEN(seq);
373
4.74k
    asdl_expr_seq *new_seq = _Py_asdl_expr_seq_new(len, p->arena);
374
4.74k
    if (!new_seq) {
375
0
        return NULL;
376
0
    }
377
26.7k
    for (Py_ssize_t i = 0; i < len; i++) {
378
21.9k
        KeyValuePair *pair = asdl_seq_GET_UNTYPED(seq, i);
379
21.9k
        asdl_seq_SET(new_seq, i, pair->value);
380
21.9k
    }
381
4.74k
    return new_seq;
382
4.74k
}
383
384
/* Constructs a KeyPatternPair that is used when parsing mapping & class patterns */
385
KeyPatternPair *
386
_PyPegen_key_pattern_pair(Parser *p, expr_ty key, pattern_ty pattern)
387
7.70k
{
388
7.70k
    KeyPatternPair *a = _PyArena_Malloc(p->arena, sizeof(KeyPatternPair));
389
7.70k
    if (!a) {
390
0
        return NULL;
391
0
    }
392
7.70k
    a->key = key;
393
7.70k
    a->pattern = pattern;
394
7.70k
    return a;
395
7.70k
}
396
397
/* Extracts all keys from an asdl_seq* of KeyPatternPair*'s */
398
asdl_expr_seq *
399
_PyPegen_get_pattern_keys(Parser *p, asdl_seq *seq)
400
1.15k
{
401
1.15k
    Py_ssize_t len = asdl_seq_LEN(seq);
402
1.15k
    asdl_expr_seq *new_seq = _Py_asdl_expr_seq_new(len, p->arena);
403
1.15k
    if (!new_seq) {
404
0
        return NULL;
405
0
    }
406
3.06k
    for (Py_ssize_t i = 0; i < len; i++) {
407
1.90k
        KeyPatternPair *pair = asdl_seq_GET_UNTYPED(seq, i);
408
1.90k
        asdl_seq_SET(new_seq, i, pair->key);
409
1.90k
    }
410
1.15k
    return new_seq;
411
1.15k
}
412
413
/* Extracts all patterns from an asdl_seq* of KeyPatternPair*'s */
414
asdl_pattern_seq *
415
_PyPegen_get_patterns(Parser *p, asdl_seq *seq)
416
1.15k
{
417
1.15k
    Py_ssize_t len = asdl_seq_LEN(seq);
418
1.15k
    asdl_pattern_seq *new_seq = _Py_asdl_pattern_seq_new(len, p->arena);
419
1.15k
    if (!new_seq) {
420
0
        return NULL;
421
0
    }
422
3.06k
    for (Py_ssize_t i = 0; i < len; i++) {
423
1.90k
        KeyPatternPair *pair = asdl_seq_GET_UNTYPED(seq, i);
424
1.90k
        asdl_seq_SET(new_seq, i, pair->pattern);
425
1.90k
    }
426
1.15k
    return new_seq;
427
1.15k
}
428
429
/* Constructs a NameDefaultPair */
430
NameDefaultPair *
431
_PyPegen_name_default_pair(Parser *p, arg_ty arg, expr_ty value, Token *tc)
432
506k
{
433
506k
    NameDefaultPair *a = _PyArena_Malloc(p->arena, sizeof(NameDefaultPair));
434
506k
    if (!a) {
435
0
        return NULL;
436
0
    }
437
506k
    a->arg = _PyPegen_add_type_comment_to_arg(p, arg, tc);
438
506k
    a->value = value;
439
506k
    return a;
440
506k
}
441
442
/* Constructs a SlashWithDefault */
443
SlashWithDefault *
444
_PyPegen_slash_with_default(Parser *p, asdl_arg_seq *plain_names, asdl_seq *names_with_defaults)
445
4.94k
{
446
4.94k
    SlashWithDefault *a = _PyArena_Malloc(p->arena, sizeof(SlashWithDefault));
447
4.94k
    if (!a) {
448
0
        return NULL;
449
0
    }
450
4.94k
    a->plain_names = plain_names;
451
4.94k
    a->names_with_defaults = names_with_defaults;
452
4.94k
    return a;
453
4.94k
}
454
455
/* Constructs a StarEtc */
456
StarEtc *
457
_PyPegen_star_etc(Parser *p, arg_ty vararg, asdl_seq *kwonlyargs, arg_ty kwarg)
458
4.65k
{
459
4.65k
    StarEtc *a = _PyArena_Malloc(p->arena, sizeof(StarEtc));
460
4.65k
    if (!a) {
461
0
        return NULL;
462
0
    }
463
4.65k
    a->vararg = vararg;
464
4.65k
    a->kwonlyargs = kwonlyargs;
465
4.65k
    a->kwarg = kwarg;
466
4.65k
    return a;
467
4.65k
}
468
469
asdl_seq *
470
_PyPegen_join_sequences(Parser *p, asdl_seq *a, asdl_seq *b)
471
305k
{
472
305k
    Py_ssize_t first_len = asdl_seq_LEN(a);
473
305k
    Py_ssize_t second_len = asdl_seq_LEN(b);
474
305k
    asdl_seq *new_seq = (asdl_seq*)_Py_asdl_generic_seq_new(first_len + second_len, p->arena);
475
305k
    if (!new_seq) {
476
0
        return NULL;
477
0
    }
478
479
305k
    int k = 0;
480
625k
    for (Py_ssize_t i = 0; i < first_len; i++) {
481
320k
        asdl_seq_SET_UNTYPED(new_seq, k++, asdl_seq_GET_UNTYPED(a, i));
482
320k
    }
483
312k
    for (Py_ssize_t i = 0; i < second_len; i++) {
484
7.47k
        asdl_seq_SET_UNTYPED(new_seq, k++, asdl_seq_GET_UNTYPED(b, i));
485
7.47k
    }
486
487
305k
    return new_seq;
488
305k
}
489
490
static asdl_arg_seq*
491
_get_names(Parser *p, asdl_seq *names_with_defaults)
492
309k
{
493
309k
    Py_ssize_t len = asdl_seq_LEN(names_with_defaults);
494
309k
    asdl_arg_seq *seq = _Py_asdl_arg_seq_new(len, p->arena);
495
309k
    if (!seq) {
496
0
        return NULL;
497
0
    }
498
322k
    for (Py_ssize_t i = 0; i < len; i++) {
499
12.7k
        NameDefaultPair *pair = asdl_seq_GET_UNTYPED(names_with_defaults, i);
500
12.7k
        asdl_seq_SET(seq, i, pair->arg);
501
12.7k
    }
502
309k
    return seq;
503
309k
}
504
505
static asdl_expr_seq *
506
_get_defaults(Parser *p, asdl_seq *names_with_defaults)
507
309k
{
508
309k
    Py_ssize_t len = asdl_seq_LEN(names_with_defaults);
509
309k
    asdl_expr_seq *seq = _Py_asdl_expr_seq_new(len, p->arena);
510
309k
    if (!seq) {
511
0
        return NULL;
512
0
    }
513
322k
    for (Py_ssize_t i = 0; i < len; i++) {
514
12.7k
        NameDefaultPair *pair = asdl_seq_GET_UNTYPED(names_with_defaults, i);
515
12.7k
        asdl_seq_SET(seq, i, pair->value);
516
12.7k
    }
517
309k
    return seq;
518
309k
}
519
520
static int
521
_make_posonlyargs(Parser *p,
522
                  asdl_arg_seq *slash_without_default,
523
                  SlashWithDefault *slash_with_default,
524
308k
                  asdl_arg_seq **posonlyargs) {
525
308k
    if (slash_without_default != NULL) {
526
1.34k
        *posonlyargs = slash_without_default;
527
1.34k
    }
528
306k
    else if (slash_with_default != NULL) {
529
1.64k
        asdl_arg_seq *slash_with_default_names =
530
1.64k
                _get_names(p, slash_with_default->names_with_defaults);
531
1.64k
        if (!slash_with_default_names) {
532
0
            return -1;
533
0
        }
534
1.64k
        *posonlyargs = (asdl_arg_seq*)_PyPegen_join_sequences(
535
1.64k
                p,
536
1.64k
                (asdl_seq*)slash_with_default->plain_names,
537
1.64k
                (asdl_seq*)slash_with_default_names);
538
1.64k
    }
539
305k
    else {
540
305k
        *posonlyargs = _Py_asdl_arg_seq_new(0, p->arena);
541
305k
    }
542
308k
    return *posonlyargs == NULL ? -1 : 0;
543
308k
}
544
545
static int
546
_make_posargs(Parser *p,
547
              asdl_arg_seq *plain_names,
548
              asdl_seq *names_with_default,
549
308k
              asdl_arg_seq **posargs) {
550
551
308k
    if (names_with_default != NULL) {
552
304k
        if (plain_names != NULL) {
553
301k
            asdl_arg_seq *names_with_default_names = _get_names(p, names_with_default);
554
301k
            if (!names_with_default_names) {
555
0
                return -1;
556
0
            }
557
301k
            *posargs = (asdl_arg_seq*)_PyPegen_join_sequences(
558
301k
                    p,(asdl_seq*)plain_names, (asdl_seq*)names_with_default_names);
559
301k
        }
560
3.03k
        else {
561
3.03k
            *posargs = _get_names(p, names_with_default);
562
3.03k
        }
563
304k
    }
564
3.91k
    else {
565
3.91k
        if (plain_names != NULL) {
566
            // With the current grammar, we never get here.
567
            // If that has changed, remove the assert, and test thoroughly.
568
0
            assert(0);
569
0
            *posargs = plain_names;
570
0
        }
571
3.91k
        else {
572
3.91k
            *posargs = _Py_asdl_arg_seq_new(0, p->arena);
573
3.91k
        }
574
3.91k
    }
575
308k
    return *posargs == NULL ? -1 : 0;
576
308k
}
577
578
static int
579
_make_posdefaults(Parser *p,
580
                  SlashWithDefault *slash_with_default,
581
                  asdl_seq *names_with_default,
582
308k
                  asdl_expr_seq **posdefaults) {
583
308k
    if (slash_with_default != NULL && names_with_default != NULL) {
584
1.64k
        asdl_expr_seq *slash_with_default_values =
585
1.64k
                _get_defaults(p, slash_with_default->names_with_defaults);
586
1.64k
        if (!slash_with_default_values) {
587
0
            return -1;
588
0
        }
589
1.64k
        asdl_expr_seq *names_with_default_values = _get_defaults(p, names_with_default);
590
1.64k
        if (!names_with_default_values) {
591
0
            return -1;
592
0
        }
593
1.64k
        *posdefaults = (asdl_expr_seq*)_PyPegen_join_sequences(
594
1.64k
                p,
595
1.64k
                (asdl_seq*)slash_with_default_values,
596
1.64k
                (asdl_seq*)names_with_default_values);
597
1.64k
    }
598
306k
    else if (slash_with_default == NULL && names_with_default != NULL) {
599
302k
        *posdefaults = _get_defaults(p, names_with_default);
600
302k
    }
601
3.91k
    else if (slash_with_default != NULL && names_with_default == NULL) {
602
0
        *posdefaults = _get_defaults(p, slash_with_default->names_with_defaults);
603
0
    }
604
3.91k
    else {
605
3.91k
        *posdefaults = _Py_asdl_expr_seq_new(0, p->arena);
606
3.91k
    }
607
308k
    return *posdefaults == NULL ? -1 : 0;
608
308k
}
609
610
static int
611
_make_kwargs(Parser *p, StarEtc *star_etc,
612
             asdl_arg_seq **kwonlyargs,
613
308k
             asdl_expr_seq **kwdefaults) {
614
308k
    if (star_etc != NULL && star_etc->kwonlyargs != NULL) {
615
3.43k
        *kwonlyargs = _get_names(p, star_etc->kwonlyargs);
616
3.43k
    }
617
304k
    else {
618
304k
        *kwonlyargs = _Py_asdl_arg_seq_new(0, p->arena);
619
304k
    }
620
621
308k
    if (*kwonlyargs == NULL) {
622
0
        return -1;
623
0
    }
624
625
308k
    if (star_etc != NULL && star_etc->kwonlyargs != NULL) {
626
3.43k
        *kwdefaults = _get_defaults(p, star_etc->kwonlyargs);
627
3.43k
    }
628
304k
    else {
629
304k
        *kwdefaults = _Py_asdl_expr_seq_new(0, p->arena);
630
304k
    }
631
632
308k
    if (*kwdefaults == NULL) {
633
0
        return -1;
634
0
    }
635
636
308k
    return 0;
637
308k
}
638
639
/* Constructs an arguments_ty object out of all the parsed constructs in the parameters rule */
640
arguments_ty
641
_PyPegen_make_arguments(Parser *p, asdl_arg_seq *slash_without_default,
642
                        SlashWithDefault *slash_with_default, asdl_arg_seq *plain_names,
643
                        asdl_seq *names_with_default, StarEtc *star_etc)
644
308k
{
645
308k
    asdl_arg_seq *posonlyargs;
646
308k
    if (_make_posonlyargs(p, slash_without_default, slash_with_default, &posonlyargs) == -1) {
647
0
        return NULL;
648
0
    }
649
650
308k
    asdl_arg_seq *posargs;
651
308k
    if (_make_posargs(p, plain_names, names_with_default, &posargs) == -1) {
652
0
        return NULL;
653
0
    }
654
655
308k
    asdl_expr_seq *posdefaults;
656
308k
    if (_make_posdefaults(p,slash_with_default, names_with_default, &posdefaults) == -1) {
657
0
        return NULL;
658
0
    }
659
660
308k
    arg_ty vararg = NULL;
661
308k
    if (star_etc != NULL && star_etc->vararg != NULL) {
662
2.28k
        vararg = star_etc->vararg;
663
2.28k
    }
664
665
308k
    asdl_arg_seq *kwonlyargs;
666
308k
    asdl_expr_seq *kwdefaults;
667
308k
    if (_make_kwargs(p, star_etc, &kwonlyargs, &kwdefaults) == -1) {
668
0
        return NULL;
669
0
    }
670
671
308k
    arg_ty kwarg = NULL;
672
308k
    if (star_etc != NULL && star_etc->kwarg != NULL) {
673
1.30k
        kwarg = star_etc->kwarg;
674
1.30k
    }
675
676
308k
    return _PyAST_arguments(posonlyargs, posargs, vararg, kwonlyargs,
677
308k
                            kwdefaults, kwarg, posdefaults, p->arena);
678
308k
}
679
680
681
/* Constructs an empty arguments_ty object, that gets used when a function accepts no
682
 * arguments. */
683
arguments_ty
684
_PyPegen_empty_arguments(Parser *p)
685
2.18k
{
686
2.18k
    asdl_arg_seq *posonlyargs = _Py_asdl_arg_seq_new(0, p->arena);
687
2.18k
    if (!posonlyargs) {
688
0
        return NULL;
689
0
    }
690
2.18k
    asdl_arg_seq *posargs = _Py_asdl_arg_seq_new(0, p->arena);
691
2.18k
    if (!posargs) {
692
0
        return NULL;
693
0
    }
694
2.18k
    asdl_expr_seq *posdefaults = _Py_asdl_expr_seq_new(0, p->arena);
695
2.18k
    if (!posdefaults) {
696
0
        return NULL;
697
0
    }
698
2.18k
    asdl_arg_seq *kwonlyargs = _Py_asdl_arg_seq_new(0, p->arena);
699
2.18k
    if (!kwonlyargs) {
700
0
        return NULL;
701
0
    }
702
2.18k
    asdl_expr_seq *kwdefaults = _Py_asdl_expr_seq_new(0, p->arena);
703
2.18k
    if (!kwdefaults) {
704
0
        return NULL;
705
0
    }
706
707
2.18k
    return _PyAST_arguments(posonlyargs, posargs, NULL, kwonlyargs,
708
2.18k
                            kwdefaults, NULL, posdefaults, p->arena);
709
2.18k
}
710
711
/* Encapsulates the value of an operator_ty into an AugOperator struct */
712
AugOperator *
713
_PyPegen_augoperator(Parser *p, operator_ty kind)
714
2.61k
{
715
2.61k
    AugOperator *a = _PyArena_Malloc(p->arena, sizeof(AugOperator));
716
2.61k
    if (!a) {
717
0
        return NULL;
718
0
    }
719
2.61k
    a->kind = kind;
720
2.61k
    return a;
721
2.61k
}
722
723
/* Construct a FunctionDef equivalent to function_def, but with decorators */
724
stmt_ty
725
_PyPegen_function_def_decorators(Parser *p, asdl_expr_seq *decorators, stmt_ty function_def)
726
346
{
727
346
    assert(function_def != NULL);
728
346
    if (function_def->kind == AsyncFunctionDef_kind) {
729
37
        return _PyAST_AsyncFunctionDef(
730
37
            function_def->v.AsyncFunctionDef.name,
731
37
            function_def->v.AsyncFunctionDef.args,
732
37
            function_def->v.AsyncFunctionDef.body, decorators,
733
37
            function_def->v.AsyncFunctionDef.returns,
734
37
            function_def->v.AsyncFunctionDef.type_comment,
735
37
            function_def->v.AsyncFunctionDef.type_params,
736
37
            function_def->lineno, function_def->col_offset,
737
37
            function_def->end_lineno, function_def->end_col_offset, p->arena);
738
37
    }
739
740
309
    return _PyAST_FunctionDef(
741
309
        function_def->v.FunctionDef.name,
742
309
        function_def->v.FunctionDef.args,
743
309
        function_def->v.FunctionDef.body, decorators,
744
309
        function_def->v.FunctionDef.returns,
745
309
        function_def->v.FunctionDef.type_comment,
746
309
        function_def->v.FunctionDef.type_params,
747
309
        function_def->lineno, function_def->col_offset,
748
309
        function_def->end_lineno, function_def->end_col_offset, p->arena);
749
346
}
750
751
/* Construct a ClassDef equivalent to class_def, but with decorators */
752
stmt_ty
753
_PyPegen_class_def_decorators(Parser *p, asdl_expr_seq *decorators, stmt_ty class_def)
754
338
{
755
338
    assert(class_def != NULL);
756
338
    return _PyAST_ClassDef(
757
338
        class_def->v.ClassDef.name,
758
338
        class_def->v.ClassDef.bases, class_def->v.ClassDef.keywords,
759
338
        class_def->v.ClassDef.body, decorators,
760
338
        class_def->v.ClassDef.type_params,
761
338
        class_def->lineno, class_def->col_offset, class_def->end_lineno,
762
338
        class_def->end_col_offset, p->arena);
763
338
}
764
765
/* Construct a KeywordOrStarred */
766
KeywordOrStarred *
767
_PyPegen_keyword_or_starred(Parser *p, void *element, int is_keyword)
768
34.2k
{
769
34.2k
    KeywordOrStarred *a = _PyArena_Malloc(p->arena, sizeof(KeywordOrStarred));
770
34.2k
    if (!a) {
771
0
        return NULL;
772
0
    }
773
34.2k
    a->element = element;
774
34.2k
    a->is_keyword = is_keyword;
775
34.2k
    return a;
776
34.2k
}
777
778
/* Get the number of starred expressions in an asdl_seq* of KeywordOrStarred*s */
779
static int
780
_seq_number_of_starred_exprs(asdl_seq *seq)
781
18.2k
{
782
18.2k
    int n = 0;
783
55.6k
    for (Py_ssize_t i = 0, l = asdl_seq_LEN(seq); i < l; i++) {
784
37.3k
        KeywordOrStarred *k = asdl_seq_GET_UNTYPED(seq, i);
785
37.3k
        if (!k->is_keyword) {
786
2.65k
            n++;
787
2.65k
        }
788
37.3k
    }
789
18.2k
    return n;
790
18.2k
}
791
792
/* Extract the starred expressions of an asdl_seq* of KeywordOrStarred*s */
793
asdl_expr_seq *
794
_PyPegen_seq_extract_starred_exprs(Parser *p, asdl_seq *kwargs)
795
9.14k
{
796
9.14k
    int new_len = _seq_number_of_starred_exprs(kwargs);
797
9.14k
    if (new_len == 0) {
798
8.69k
        return NULL;
799
8.69k
    }
800
454
    asdl_expr_seq *new_seq = _Py_asdl_expr_seq_new(new_len, p->arena);
801
454
    if (!new_seq) {
802
0
        return NULL;
803
0
    }
804
805
454
    int idx = 0;
806
2.77k
    for (Py_ssize_t i = 0, len = asdl_seq_LEN(kwargs); i < len; i++) {
807
2.32k
        KeywordOrStarred *k = asdl_seq_GET_UNTYPED(kwargs, i);
808
2.32k
        if (!k->is_keyword) {
809
1.32k
            asdl_seq_SET(new_seq, idx++, k->element);
810
1.32k
        }
811
2.32k
    }
812
454
    return new_seq;
813
454
}
814
815
/* Return a new asdl_seq* with only the keywords in kwargs */
816
asdl_keyword_seq*
817
_PyPegen_seq_delete_starred_exprs(Parser *p, asdl_seq *kwargs)
818
9.14k
{
819
9.14k
    Py_ssize_t len = asdl_seq_LEN(kwargs);
820
9.14k
    Py_ssize_t new_len = len - _seq_number_of_starred_exprs(kwargs);
821
9.14k
    if (new_len == 0) {
822
0
        return NULL;
823
0
    }
824
9.14k
    asdl_keyword_seq *new_seq = _Py_asdl_keyword_seq_new(new_len, p->arena);
825
9.14k
    if (!new_seq) {
826
0
        return NULL;
827
0
    }
828
829
9.14k
    int idx = 0;
830
27.8k
    for (Py_ssize_t i = 0; i < len; i++) {
831
18.6k
        KeywordOrStarred *k = asdl_seq_GET_UNTYPED(kwargs, i);
832
18.6k
        if (k->is_keyword) {
833
17.3k
            asdl_seq_SET(new_seq, idx++, k->element);
834
17.3k
        }
835
18.6k
    }
836
9.14k
    return new_seq;
837
9.14k
}
838
839
expr_ty
840
_PyPegen_ensure_imaginary(Parser *p, expr_ty exp)
841
457
{
842
457
    if (exp->kind != Constant_kind || !PyComplex_CheckExact(exp->v.Constant.value)) {
843
7
        RAISE_SYNTAX_ERROR_KNOWN_LOCATION(exp, "imaginary number required in complex literal");
844
7
        return NULL;
845
7
    }
846
450
    return exp;
847
457
}
848
849
expr_ty
850
_PyPegen_ensure_real(Parser *p, expr_ty exp)
851
698
{
852
698
    if (exp->kind != Constant_kind || PyComplex_CheckExact(exp->v.Constant.value)) {
853
2
        RAISE_SYNTAX_ERROR_KNOWN_LOCATION(exp, "real number required in complex literal");
854
2
        return NULL;
855
2
    }
856
696
    return exp;
857
698
}
858
859
mod_ty
860
6.18k
_PyPegen_make_module(Parser *p, asdl_stmt_seq *a) {
861
6.18k
    asdl_type_ignore_seq *type_ignores = NULL;
862
6.18k
    Py_ssize_t num = p->type_ignore_comments.num_items;
863
6.18k
    if (num > 0) {
864
        // Turn the raw (comment, lineno) pairs into TypeIgnore objects in the arena
865
0
        type_ignores = _Py_asdl_type_ignore_seq_new(num, p->arena);
866
0
        if (type_ignores == NULL) {
867
0
            return NULL;
868
0
        }
869
0
        for (Py_ssize_t i = 0; i < num; i++) {
870
0
            PyObject *tag = _PyPegen_new_type_comment(p, p->type_ignore_comments.items[i].comment);
871
0
            if (tag == NULL) {
872
0
                return NULL;
873
0
            }
874
0
            type_ignore_ty ti = _PyAST_TypeIgnore(p->type_ignore_comments.items[i].lineno,
875
0
                                                  tag, p->arena);
876
0
            if (ti == NULL) {
877
0
                return NULL;
878
0
            }
879
0
            asdl_seq_SET(type_ignores, i, ti);
880
0
        }
881
0
    }
882
6.18k
    return _PyAST_Module(a, type_ignores, p->arena);
883
6.18k
}
884
885
PyObject *
886
_PyPegen_new_type_comment(Parser *p, const char *s)
887
0
{
888
0
    PyObject *res = PyUnicode_DecodeUTF8(s, strlen(s), NULL);
889
0
    if (res == NULL) {
890
0
        return NULL;
891
0
    }
892
0
    if (_PyArena_AddPyObject(p->arena, res) < 0) {
893
0
        Py_DECREF(res);
894
0
        return NULL;
895
0
    }
896
0
    return res;
897
0
}
898
899
arg_ty
900
_PyPegen_add_type_comment_to_arg(Parser *p, arg_ty a, Token *tc)
901
565k
{
902
565k
    if (tc == NULL) {
903
565k
        return a;
904
565k
    }
905
0
    const char *bytes = PyBytes_AsString(tc->bytes);
906
0
    if (bytes == NULL) {
907
0
        return NULL;
908
0
    }
909
0
    PyObject *tco = _PyPegen_new_type_comment(p, bytes);
910
0
    if (tco == NULL) {
911
0
        return NULL;
912
0
    }
913
0
    return _PyAST_arg(a->arg, a->annotation, tco,
914
0
                      a->lineno, a->col_offset, a->end_lineno, a->end_col_offset,
915
0
                      p->arena);
916
0
}
917
918
/* Checks if the NOTEQUAL token is valid given the current parser flags
919
0 indicates success and nonzero indicates failure (an exception may be set) */
920
int
921
1.09k
_PyPegen_check_barry_as_flufl(Parser *p, Token* t) {
922
1.09k
    assert(t->bytes != NULL);
923
1.09k
    assert(t->type == NOTEQUAL);
924
925
1.09k
    const char* tok_str = PyBytes_AS_STRING(t->bytes);
926
1.09k
    if (p->flags & PyPARSE_BARRY_AS_BDFL && strcmp(tok_str, "<>") != 0) {
927
1
        RAISE_SYNTAX_ERROR("with Barry as BDFL, use '<>' instead of '!='");
928
1
        return -1;
929
1
    }
930
1.09k
    if (!(p->flags & PyPARSE_BARRY_AS_BDFL)) {
931
1.09k
        return strcmp(tok_str, "!=");
932
1.09k
    }
933
0
    return 0;
934
1.09k
}
935
936
int
937
8.37k
_PyPegen_check_legacy_stmt(Parser *p, expr_ty name) {
938
8.37k
    if (name->kind != Name_kind) {
939
2.49k
        return 0;
940
2.49k
    }
941
5.87k
    const char* candidates[2] = {"print", "exec"};
942
17.5k
    for (int i=0; i<2; i++) {
943
11.7k
        if (PyUnicode_CompareWithASCIIString(name->v.Name.id, candidates[i]) == 0) {
944
126
            return 1;
945
126
        }
946
11.7k
    }
947
5.75k
    return 0;
948
5.87k
}
949
950
void *
951
_PyPegen_raise_error_for_missing_comma(Parser *p, expr_ty a, expr_ty b)
952
4.67k
{
953
    // Don't raise for legacy statements like "print x" or "exec x"
954
4.67k
    if (_PyPegen_check_legacy_stmt(p, a)) {
955
116
        return NULL;
956
116
    }
957
    // Only raise inside parentheses/brackets (level > 0)
958
4.55k
    if (p->tokens[p->mark - 1]->level == 0) {
959
4.41k
        return NULL;
960
4.41k
    }
961
    // For multi-line expressions (like string concatenations), point to the
962
    // last line instead of the first for a more helpful error message.
963
    // Use a->col_offset as the starting column since all strings in the
964
    // concatenation typically share the same indentation.
965
141
    if (a->end_lineno > a->lineno) {
966
4
        return RAISE_ERROR_KNOWN_LOCATION(
967
4
            p, PyExc_SyntaxError, a->end_lineno, a->col_offset,
968
4
            a->end_lineno, a->end_col_offset,
969
4
            "invalid syntax. Perhaps you forgot a comma?"
970
4
        );
971
4
    }
972
137
    return RAISE_ERROR_KNOWN_LOCATION(
973
137
        p, PyExc_SyntaxError, a->lineno, a->col_offset,
974
137
        b->end_lineno, b->end_col_offset,
975
137
        "invalid syntax. Perhaps you forgot a comma?"
976
137
    );
977
141
}
978
979
static ResultTokenWithMetadata *
980
result_token_with_metadata(Parser *p, void *result, PyObject *metadata)
981
7.98k
{
982
7.98k
    ResultTokenWithMetadata *res = _PyArena_Malloc(p->arena, sizeof(ResultTokenWithMetadata));
983
7.98k
    if (res == NULL) {
984
0
        return NULL;
985
0
    }
986
7.98k
    res->metadata = metadata;
987
7.98k
    res->result = result;
988
7.98k
    return res;
989
7.98k
}
990
991
ResultTokenWithMetadata *
992
_PyPegen_check_fstring_conversion(Parser *p, Token* conv_token, expr_ty conv)
993
2.36k
{
994
2.36k
    if (conv_token->lineno != conv->lineno || conv_token->end_col_offset != conv->col_offset) {
995
2
        return RAISE_SYNTAX_ERROR_KNOWN_RANGE(
996
2
            conv_token, conv,
997
2
            "%c-string: conversion type must come right after the exclamation mark",
998
2
            TOK_GET_STRING_PREFIX(p->tok)
999
2
        );
1000
2
    }
1001
1002
2.36k
    Py_UCS4 first = PyUnicode_READ_CHAR(conv->v.Name.id, 0);
1003
2.36k
    if (PyUnicode_GET_LENGTH(conv->v.Name.id) > 1 ||
1004
2.36k
            !(first == 's' || first == 'r' || first == 'a')) {
1005
13
        RAISE_SYNTAX_ERROR_KNOWN_LOCATION(conv,
1006
13
                                            "%c-string: invalid conversion character %R: expected 's', 'r', or 'a'",
1007
13
                                            TOK_GET_STRING_PREFIX(p->tok),
1008
13
                                            conv->v.Name.id);
1009
13
        return NULL;
1010
13
    }
1011
1012
2.35k
    return result_token_with_metadata(p, conv, conv_token->metadata);
1013
2.36k
}
1014
1015
ResultTokenWithMetadata *
1016
_PyPegen_setup_full_format_spec(Parser *p, Token *colon, asdl_expr_seq *spec, int lineno, int col_offset,
1017
                                int end_lineno, int end_col_offset, PyArena *arena)
1018
5.63k
{
1019
5.63k
    if (!spec) {
1020
0
        return NULL;
1021
0
    }
1022
1023
    // This is needed to keep compatibility with 3.11, where an empty format
1024
    // spec is parsed as an *empty* JoinedStr node, instead of having an empty
1025
    // constant in it.
1026
5.63k
    Py_ssize_t n_items = asdl_seq_LEN(spec);
1027
5.63k
    Py_ssize_t non_empty_count = 0;
1028
15.6k
    for (Py_ssize_t i = 0; i < n_items; i++) {
1029
9.97k
        expr_ty item = asdl_seq_GET(spec, i);
1030
9.97k
        non_empty_count += !(item->kind == Constant_kind &&
1031
9.97k
                             PyUnicode_CheckExact(item->v.Constant.value) &&
1032
6.83k
                             PyUnicode_GET_LENGTH(item->v.Constant.value) == 0);
1033
9.97k
    }
1034
5.63k
    if (non_empty_count != n_items) {
1035
1.80k
        asdl_expr_seq *resized_spec =
1036
1.80k
            _Py_asdl_expr_seq_new(non_empty_count, p->arena);
1037
1.80k
        if (resized_spec == NULL) {
1038
0
            return NULL;
1039
0
        }
1040
1.80k
        Py_ssize_t j = 0;
1041
5.34k
        for (Py_ssize_t i = 0; i < n_items; i++) {
1042
3.54k
            expr_ty item = asdl_seq_GET(spec, i);
1043
3.54k
            if (item->kind == Constant_kind &&
1044
3.54k
                PyUnicode_CheckExact(item->v.Constant.value) &&
1045
2.34k
                PyUnicode_GET_LENGTH(item->v.Constant.value) == 0) {
1046
1.80k
                continue;
1047
1.80k
            }
1048
1.73k
            asdl_seq_SET(resized_spec, j++, item);
1049
1.73k
        }
1050
1.80k
        assert(j == non_empty_count);
1051
1.80k
        spec = resized_spec;
1052
1.80k
    }
1053
5.63k
    expr_ty res;
1054
5.63k
    Py_ssize_t n = asdl_seq_LEN(spec);
1055
5.63k
    if (n == 0 || (n == 1 && asdl_seq_GET(spec, 0)->kind == Constant_kind)) {
1056
4.64k
        res = _PyAST_JoinedStr(spec, lineno, col_offset, end_lineno,
1057
4.64k
                                    end_col_offset, p->arena);
1058
4.64k
    } else {
1059
988
        res = _PyPegen_concatenate_strings(p, spec,
1060
988
                             lineno, col_offset, end_lineno,
1061
988
                             end_col_offset, arena);
1062
988
    }
1063
5.63k
    if (!res) {
1064
0
        return NULL;
1065
0
    }
1066
5.63k
    return result_token_with_metadata(p, res, colon->metadata);
1067
5.63k
}
1068
1069
const char *
1070
_PyPegen_get_expr_name(expr_ty e)
1071
178
{
1072
178
    assert(e != NULL);
1073
178
    switch (e->kind) {
1074
1
        case Attribute_kind:
1075
1
            return "attribute";
1076
1
        case Subscript_kind:
1077
1
            return "subscript";
1078
1
        case Starred_kind:
1079
1
            return "starred";
1080
5
        case Name_kind:
1081
5
            return "name";
1082
1
        case List_kind:
1083
1
            return "list";
1084
3
        case Tuple_kind:
1085
3
            return "tuple";
1086
2
        case Lambda_kind:
1087
2
            return "lambda";
1088
12
        case Call_kind:
1089
12
            return "function call";
1090
3
        case BoolOp_kind:
1091
27
        case BinOp_kind:
1092
41
        case UnaryOp_kind:
1093
41
            return "expression";
1094
1
        case GeneratorExp_kind:
1095
1
            return "generator expression";
1096
1
        case Yield_kind:
1097
2
        case YieldFrom_kind:
1098
2
            return "yield expression";
1099
1
        case Await_kind:
1100
1
            return "await expression";
1101
1
        case ListComp_kind:
1102
1
            return "list comprehension";
1103
2
        case SetComp_kind:
1104
2
            return "set comprehension";
1105
1
        case DictComp_kind:
1106
1
            return "dict comprehension";
1107
1
        case Dict_kind:
1108
1
            return "dict literal";
1109
1
        case Set_kind:
1110
1
            return "set display";
1111
6
        case JoinedStr_kind:
1112
6
        case FormattedValue_kind:
1113
6
            return "f-string expression";
1114
4
        case TemplateStr_kind:
1115
4
        case Interpolation_kind:
1116
4
            return "t-string expression";
1117
74
        case Constant_kind: {
1118
74
            PyObject *value = e->v.Constant.value;
1119
74
            if (value == Py_None) {
1120
1
                return "None";
1121
1
            }
1122
73
            if (value == Py_False) {
1123
1
                return "False";
1124
1
            }
1125
72
            if (value == Py_True) {
1126
4
                return "True";
1127
4
            }
1128
68
            if (value == Py_Ellipsis) {
1129
1
                return "ellipsis";
1130
1
            }
1131
67
            return "literal";
1132
68
        }
1133
14
        case Compare_kind:
1134
14
            return "comparison";
1135
2
        case IfExp_kind:
1136
2
            return "conditional expression";
1137
1
        case NamedExpr_kind:
1138
1
            return "named expression";
1139
0
        default:
1140
0
            PyErr_Format(PyExc_SystemError,
1141
0
                         "unexpected expression in assignment %d (line %d)",
1142
0
                         e->kind, e->lineno);
1143
0
            return NULL;
1144
178
    }
1145
178
}
1146
1147
expr_ty
1148
16
_PyPegen_get_last_comprehension_item(comprehension_ty comprehension) {
1149
16
    if (comprehension->ifs == NULL || asdl_seq_LEN(comprehension->ifs) == 0) {
1150
12
        return comprehension->iter;
1151
12
    }
1152
4
    return PyPegen_last_item(comprehension->ifs, expr_ty);
1153
16
}
1154
1155
expr_ty _PyPegen_collect_call_seqs(Parser *p, asdl_expr_seq *a, asdl_seq *b,
1156
                     int lineno, int col_offset, int end_lineno,
1157
23.5k
                     int end_col_offset, PyArena *arena) {
1158
23.5k
    Py_ssize_t args_len = asdl_seq_LEN(a);
1159
23.5k
    Py_ssize_t total_len = args_len;
1160
1161
23.5k
    if (b == NULL) {
1162
21.3k
        return _PyAST_Call(_PyPegen_dummy_name(p), a, NULL, lineno, col_offset,
1163
21.3k
                        end_lineno, end_col_offset, arena);
1164
1165
21.3k
    }
1166
1167
2.24k
    asdl_expr_seq *starreds = _PyPegen_seq_extract_starred_exprs(p, b);
1168
2.24k
    asdl_keyword_seq *keywords = _PyPegen_seq_delete_starred_exprs(p, b);
1169
1170
2.24k
    if (starreds) {
1171
225
        total_len += asdl_seq_LEN(starreds);
1172
225
    }
1173
1174
2.24k
    asdl_expr_seq *args = _Py_asdl_expr_seq_new(total_len, arena);
1175
2.24k
    if (args == NULL) {
1176
0
        return NULL;
1177
0
    }
1178
1179
2.24k
    Py_ssize_t i = 0;
1180
4.98k
    for (i = 0; i < args_len; i++) {
1181
2.73k
        asdl_seq_SET(args, i, asdl_seq_GET(a, i));
1182
2.73k
    }
1183
2.92k
    for (; i < total_len; i++) {
1184
676
        asdl_seq_SET(args, i, asdl_seq_GET(starreds, i - args_len));
1185
676
    }
1186
1187
2.24k
    return _PyAST_Call(_PyPegen_dummy_name(p), args, keywords, lineno,
1188
2.24k
                       col_offset, end_lineno, end_col_offset, arena);
1189
2.24k
}
1190
1191
// AST Error reporting helpers
1192
1193
expr_ty
1194
_PyPegen_get_invalid_target(expr_ty e, TARGETS_TYPE targets_type)
1195
6.84k
{
1196
6.84k
    if (e == NULL) {
1197
0
        return NULL;
1198
0
    }
1199
1200
6.84k
#define VISIT_CONTAINER(CONTAINER, TYPE) do { \
1201
1.52k
        Py_ssize_t len = asdl_seq_LEN((CONTAINER)->v.TYPE.elts);\
1202
5.46k
        for (Py_ssize_t i = 0; i < len; i++) {\
1203
4.08k
            expr_ty other = asdl_seq_GET((CONTAINER)->v.TYPE.elts, i);\
1204
4.08k
            expr_ty child = _PyPegen_get_invalid_target(other, targets_type);\
1205
4.08k
            if (child != NULL) {\
1206
142
                return child;\
1207
142
            }\
1208
4.08k
        }\
1209
1.52k
    } while (0)
1210
1211
    // We only need to visit List and Tuple nodes recursively as those
1212
    // are the only ones that can contain valid names in targets when
1213
    // they are parsed as expressions. Any other kind of expression
1214
    // that is a container (like Sets or Dicts) is directly invalid and
1215
    // we don't need to visit it recursively.
1216
1217
6.84k
    switch (e->kind) {
1218
535
        case List_kind:
1219
535
            VISIT_CONTAINER(e, List);
1220
498
            return NULL;
1221
991
        case Tuple_kind:
1222
991
            VISIT_CONTAINER(e, Tuple);
1223
886
            return NULL;
1224
1.19k
        case Starred_kind:
1225
1.19k
            if (targets_type == DEL_TARGETS) {
1226
1
                return e;
1227
1
            }
1228
1.19k
            return _PyPegen_get_invalid_target(e->v.Starred.value, targets_type);
1229
686
        case Compare_kind:
1230
            // This is needed, because the `a in b` in `for a in b` gets parsed
1231
            // as a comparison, and so we need to search the left side of the comparison
1232
            // for invalid targets.
1233
686
            if (targets_type == FOR_TARGETS) {
1234
678
                cmpop_ty cmpop = (cmpop_ty) asdl_seq_GET(e->v.Compare.ops, 0);
1235
678
                if (cmpop == In) {
1236
43
                    return _PyPegen_get_invalid_target(e->v.Compare.left, targets_type);
1237
43
                }
1238
635
                return NULL;
1239
678
            }
1240
8
            return e;
1241
2.77k
        case Name_kind:
1242
3.09k
        case Subscript_kind:
1243
3.32k
        case Attribute_kind:
1244
3.32k
            return NULL;
1245
114
        default:
1246
114
            return e;
1247
6.84k
    }
1248
6.84k
}
1249
1250
34
void *_PyPegen_arguments_parsing_error(Parser *p, expr_ty e) {
1251
34
    int kwarg_unpacking = 0;
1252
550
    for (Py_ssize_t i = 0, l = asdl_seq_LEN(e->v.Call.keywords); i < l; i++) {
1253
516
        keyword_ty keyword = asdl_seq_GET(e->v.Call.keywords, i);
1254
516
        if (!keyword->arg) {
1255
212
            kwarg_unpacking = 1;
1256
212
        }
1257
516
    }
1258
1259
34
    const char *msg = NULL;
1260
34
    if (kwarg_unpacking) {
1261
20
        msg = "positional argument follows keyword argument unpacking";
1262
20
    } else {
1263
14
        msg = "positional argument follows keyword argument";
1264
14
    }
1265
1266
34
    return RAISE_SYNTAX_ERROR(msg);
1267
34
}
1268
1269
void *
1270
_PyPegen_nonparen_genexp_in_call(Parser *p, expr_ty args, asdl_comprehension_seq *comprehensions)
1271
225
{
1272
    /* The rule that calls this function is 'args for_if_clauses'.
1273
       For the input f(L, x for x in y), L and x are in args and
1274
       the for is parsed as a for_if_clause. We have to check if
1275
       len <= 1, so that input like dict((a, b) for a, b in x)
1276
       gets successfully parsed and then we pass the last
1277
       argument (x in the above example) as the location of the
1278
       error */
1279
225
    Py_ssize_t len = asdl_seq_LEN(args->v.Call.args);
1280
225
    if (len <= 1) {
1281
222
        return NULL;
1282
222
    }
1283
1284
3
    comprehension_ty last_comprehension = PyPegen_last_item(comprehensions, comprehension_ty);
1285
1286
3
    return RAISE_SYNTAX_ERROR_KNOWN_RANGE(
1287
225
        (expr_ty) asdl_seq_GET(args->v.Call.args, len - 1),
1288
225
        _PyPegen_get_last_comprehension_item(last_comprehension),
1289
225
        "Generator expression must be parenthesized"
1290
225
    );
1291
225
}
1292
1293
// Fstring stuff
1294
1295
static expr_ty
1296
26.7k
_PyPegen_decode_fstring_part(Parser* p, int is_raw, expr_ty constant, Token* token) {
1297
26.7k
    assert(PyUnicode_CheckExact(constant->v.Constant.value));
1298
1299
26.7k
    const char* bstr = PyUnicode_AsUTF8(constant->v.Constant.value);
1300
26.7k
    if (bstr == NULL) {
1301
0
        return NULL;
1302
0
    }
1303
1304
26.7k
    size_t len;
1305
26.7k
    if (strcmp(bstr, "{{") == 0 || strcmp(bstr, "}}") == 0) {
1306
0
        len = 1;
1307
26.7k
    } else {
1308
26.7k
        len = strlen(bstr);
1309
26.7k
    }
1310
1311
26.7k
    is_raw = is_raw || strchr(bstr, '\\') == NULL;
1312
26.7k
    PyObject *str = _PyPegen_decode_string(p, is_raw, bstr, len, token);
1313
26.7k
    if (str == NULL) {
1314
8
        _Pypegen_raise_decode_error(p);
1315
8
        return NULL;
1316
8
    }
1317
26.7k
    if (_PyArena_AddPyObject(p->arena, str) < 0) {
1318
0
        Py_DECREF(str);
1319
0
        return NULL;
1320
0
    }
1321
26.7k
    return _PyAST_Constant(str, NULL, constant->lineno, constant->col_offset,
1322
26.7k
                           constant->end_lineno, constant->end_col_offset,
1323
26.7k
                           p->arena);
1324
26.7k
}
1325
1326
static asdl_expr_seq *
1327
_get_resized_exprs(Parser *p, Token *a, asdl_expr_seq *raw_expressions, Token *b, enum string_kind_t string_kind)
1328
19.8k
{
1329
19.8k
    Py_ssize_t n_items = asdl_seq_LEN(raw_expressions);
1330
19.8k
    Py_ssize_t total_items = n_items;
1331
68.5k
    for (Py_ssize_t i = 0; i < n_items; i++) {
1332
48.6k
        expr_ty item = asdl_seq_GET(raw_expressions, i);
1333
48.6k
        if (item->kind == JoinedStr_kind) {
1334
7.06k
            total_items += asdl_seq_LEN(item->v.JoinedStr.values) - 1;
1335
7.06k
        }
1336
48.6k
    }
1337
1338
19.8k
    const char* quote_str = PyBytes_AsString(a->bytes);
1339
19.8k
    if (quote_str == NULL) {
1340
0
        return NULL;
1341
0
    }
1342
19.8k
    int is_raw = strpbrk(quote_str, "rR") != NULL;
1343
1344
19.8k
    asdl_expr_seq *seq = _Py_asdl_expr_seq_new(total_items, p->arena);
1345
19.8k
    if (seq == NULL) {
1346
0
        return NULL;
1347
0
    }
1348
1349
19.8k
    Py_ssize_t index = 0;
1350
68.5k
    for (Py_ssize_t i = 0; i < n_items; i++) {
1351
48.6k
        expr_ty item = asdl_seq_GET(raw_expressions, i);
1352
1353
        // This should correspond to a JoinedStr node of two elements
1354
        // created _PyPegen_formatted_value. This situation can only be the result of
1355
        // a (f|t)-string debug expression where the first element is a constant with the text and the second
1356
        // a formatted value with the expression.
1357
48.6k
        if (item->kind == JoinedStr_kind) {
1358
7.06k
            asdl_expr_seq *values = item->v.JoinedStr.values;
1359
7.06k
            if (asdl_seq_LEN(values) != 2) {
1360
0
                PyErr_Format(PyExc_SystemError,
1361
0
                             string_kind == TSTRING
1362
0
                             ? "unexpected TemplateStr node without debug data in t-string at line %d"
1363
0
                             : "unexpected JoinedStr node without debug data in f-string at line %d",
1364
0
                             item->lineno);
1365
0
                return NULL;
1366
0
            }
1367
1368
7.06k
            expr_ty first = asdl_seq_GET(values, 0);
1369
7.06k
            assert(first->kind == Constant_kind);
1370
7.06k
            asdl_seq_SET(seq, index++, first);
1371
1372
7.06k
            expr_ty second = asdl_seq_GET(values, 1);
1373
7.06k
            assert((string_kind == TSTRING && second->kind == Interpolation_kind) || second->kind == FormattedValue_kind);
1374
7.06k
            asdl_seq_SET(seq, index++, second);
1375
1376
7.06k
            continue;
1377
7.06k
        }
1378
1379
41.5k
        if (item->kind == Constant_kind) {
1380
26.7k
            item = _PyPegen_decode_fstring_part(p, is_raw, item, b);
1381
26.7k
            if (item == NULL) {
1382
8
                return NULL;
1383
8
            }
1384
1385
            /* Tokenizer emits string parts even when the underlying string
1386
            might become an empty value (e.g. FSTRING_MIDDLE with the value \\n)
1387
            so we need to check for them and simplify it here. */
1388
26.7k
            if (PyUnicode_CheckExact(item->v.Constant.value)
1389
26.7k
                && PyUnicode_GET_LENGTH(item->v.Constant.value) == 0) {
1390
210
                continue;
1391
210
            }
1392
26.7k
        }
1393
41.3k
        asdl_seq_SET(seq, index++, item);
1394
41.3k
    }
1395
1396
19.8k
    asdl_expr_seq *resized_exprs;
1397
19.8k
    if (index != total_items) {
1398
210
        resized_exprs = _Py_asdl_expr_seq_new(index, p->arena);
1399
210
        if (resized_exprs == NULL) {
1400
0
            return NULL;
1401
0
        }
1402
658
        for (Py_ssize_t i = 0; i < index; i++) {
1403
448
            asdl_seq_SET(resized_exprs, i, asdl_seq_GET(seq, i));
1404
448
        }
1405
210
    }
1406
19.6k
    else {
1407
19.6k
        resized_exprs = seq;
1408
19.6k
    }
1409
19.8k
    return resized_exprs;
1410
19.8k
}
1411
1412
expr_ty
1413
4.47k
_PyPegen_template_str(Parser *p, Token *a, asdl_expr_seq *raw_expressions, Token *b) {
1414
1415
4.47k
    asdl_expr_seq *resized_exprs = _get_resized_exprs(p, a, raw_expressions, b, TSTRING);
1416
4.47k
    return _PyAST_TemplateStr(resized_exprs, a->lineno, a->col_offset,
1417
4.47k
                              b->end_lineno, b->end_col_offset,
1418
4.47k
                              p->arena);
1419
4.47k
}
1420
1421
expr_ty
1422
15.4k
_PyPegen_joined_str(Parser *p, Token* a, asdl_expr_seq* raw_expressions, Token*b) {
1423
1424
15.4k
    asdl_expr_seq *resized_exprs = _get_resized_exprs(p, a, raw_expressions, b, FSTRING);
1425
15.4k
    return _PyAST_JoinedStr(resized_exprs, a->lineno, a->col_offset,
1426
15.4k
                            b->end_lineno, b->end_col_offset,
1427
15.4k
                            p->arena);
1428
15.4k
}
1429
1430
7.31k
expr_ty _PyPegen_decoded_constant_from_token(Parser* p, Token* tok) {
1431
7.31k
    Py_ssize_t bsize;
1432
7.31k
    char* bstr;
1433
7.31k
    if (PyBytes_AsStringAndSize(tok->bytes, &bstr, &bsize) == -1) {
1434
0
        return NULL;
1435
0
    }
1436
1437
    // Check if we're inside a raw f-string for format spec decoding
1438
7.31k
    int is_raw = 0;
1439
7.31k
    if (INSIDE_FSTRING(p->tok)) {
1440
4.67k
        tokenizer_mode *mode = TOK_GET_MODE(p->tok);
1441
4.67k
        is_raw = mode->raw;
1442
4.67k
    }
1443
1444
7.31k
    PyObject* str = _PyPegen_decode_string(p, is_raw, bstr, bsize, tok);
1445
7.31k
    if (str == NULL) {
1446
3
        return NULL;
1447
3
    }
1448
7.31k
    if (_PyArena_AddPyObject(p->arena, str) < 0) {
1449
0
        Py_DECREF(str);
1450
0
        return NULL;
1451
0
    }
1452
7.31k
    return _PyAST_Constant(str, NULL, tok->lineno, tok->col_offset,
1453
7.31k
                           tok->end_lineno, tok->end_col_offset,
1454
7.31k
                           p->arena);
1455
7.31k
}
1456
1457
29.6k
expr_ty _PyPegen_constant_from_token(Parser* p, Token* tok) {
1458
29.6k
    char* bstr = PyBytes_AsString(tok->bytes);
1459
29.6k
    if (bstr == NULL) {
1460
0
        return NULL;
1461
0
    }
1462
29.6k
    PyObject* str = PyUnicode_FromString(bstr);
1463
29.6k
    if (str == NULL) {
1464
0
        return NULL;
1465
0
    }
1466
29.6k
    if (_PyArena_AddPyObject(p->arena, str) < 0) {
1467
0
        Py_DECREF(str);
1468
0
        return NULL;
1469
0
    }
1470
29.6k
    return _PyAST_Constant(str, NULL, tok->lineno, tok->col_offset,
1471
29.6k
                           tok->end_lineno, tok->end_col_offset,
1472
29.6k
                           p->arena);
1473
29.6k
}
1474
1475
48.6k
expr_ty _PyPegen_constant_from_string(Parser* p, Token* tok) {
1476
48.6k
    char* the_str = PyBytes_AsString(tok->bytes);
1477
48.6k
    if (the_str == NULL) {
1478
0
        return NULL;
1479
0
    }
1480
48.6k
    PyObject *s = _PyPegen_parse_string(p, tok);
1481
48.6k
    if (s == NULL) {
1482
89
        _Pypegen_raise_decode_error(p);
1483
89
        return NULL;
1484
89
    }
1485
48.5k
    if (_PyArena_AddPyObject(p->arena, s) < 0) {
1486
0
        Py_DECREF(s);
1487
0
        return NULL;
1488
0
    }
1489
48.5k
    PyObject *kind = NULL;
1490
48.5k
    if (the_str && the_str[0] == 'u') {
1491
459
        kind = _PyPegen_new_identifier(p, "u");
1492
459
        if (kind == NULL) {
1493
0
            return NULL;
1494
0
        }
1495
459
    }
1496
48.5k
    return _PyAST_Constant(s, kind, tok->lineno, tok->col_offset, tok->end_lineno, tok->end_col_offset, p->arena);
1497
48.5k
}
1498
1499
static int
1500
_get_interpolation_conversion(Parser *p, Token *debug, ResultTokenWithMetadata *conversion,
1501
                              ResultTokenWithMetadata *format)
1502
27.7k
{
1503
27.7k
    if (conversion != NULL) {
1504
2.32k
        expr_ty conversion_expr = (expr_ty) conversion->result;
1505
2.32k
        assert(conversion_expr->kind == Name_kind);
1506
2.32k
        Py_UCS4 first = PyUnicode_READ_CHAR(conversion_expr->v.Name.id, 0);
1507
2.32k
        return Py_SAFE_DOWNCAST(first, Py_UCS4, int);
1508
2.32k
    }
1509
25.4k
    else if (debug && !format) {
1510
        /* If no conversion is specified, use !r for debug expressions */
1511
6.44k
        return (int)'r';
1512
6.44k
    }
1513
19.0k
    return -1;
1514
27.7k
}
1515
1516
static PyObject *
1517
_strip_interpolation_expr(PyObject *exprstr)
1518
5.24k
{
1519
5.24k
    Py_ssize_t len = PyUnicode_GET_LENGTH(exprstr);
1520
1521
14.2k
    for (Py_ssize_t i = len - 1; i >= 0; i--) {
1522
14.2k
        Py_UCS4 c = PyUnicode_READ_CHAR(exprstr, i);
1523
14.2k
        if (_PyUnicode_IsWhitespace(c) || c == '=') {
1524
9.02k
            len--;
1525
9.02k
        }
1526
5.24k
        else {
1527
5.24k
            break;
1528
5.24k
        }
1529
14.2k
    }
1530
1531
5.24k
    return PyUnicode_Substring(exprstr, 0, len);
1532
5.24k
}
1533
1534
expr_ty _PyPegen_interpolation(Parser *p, expr_ty expression, Token *debug, ResultTokenWithMetadata *conversion,
1535
                                 ResultTokenWithMetadata *format, Token *closing_brace, int lineno, int col_offset,
1536
5.24k
                                 int end_lineno, int end_col_offset, PyArena *arena) {
1537
1538
5.24k
    int conversion_val = _get_interpolation_conversion(p, debug, conversion, format);
1539
1540
    /* Find the non whitespace token after the "=" */
1541
5.24k
    int debug_end_line, debug_end_offset;
1542
5.24k
    PyObject *debug_metadata;
1543
5.24k
    constant exprstr;
1544
1545
5.24k
    if (conversion) {
1546
671
        debug_end_line = ((expr_ty) conversion->result)->lineno;
1547
671
        debug_end_offset = ((expr_ty) conversion->result)->col_offset;
1548
671
        debug_metadata = exprstr = conversion->metadata;
1549
671
    }
1550
4.57k
    else if (format) {
1551
891
        debug_end_line = ((expr_ty) format->result)->lineno;
1552
891
        debug_end_offset = ((expr_ty) format->result)->col_offset + 1;
1553
891
        debug_metadata = exprstr = format->metadata;
1554
891
    }
1555
3.68k
    else {
1556
3.68k
        debug_end_line = end_lineno;
1557
3.68k
        debug_end_offset = end_col_offset;
1558
3.68k
        debug_metadata = exprstr = closing_brace->metadata;
1559
3.68k
    }
1560
1561
5.24k
    assert(exprstr != NULL);
1562
5.24k
    PyObject *final_exprstr = _strip_interpolation_expr(exprstr);
1563
5.24k
    if (!final_exprstr || _PyArena_AddPyObject(arena, final_exprstr) < 0) {
1564
0
        Py_XDECREF(final_exprstr);
1565
0
        return NULL;
1566
0
    }
1567
1568
5.24k
    expr_ty interpolation = _PyAST_Interpolation(
1569
5.24k
        expression, final_exprstr, conversion_val, format ? (expr_ty) format->result : NULL,
1570
5.24k
        lineno, col_offset, end_lineno,
1571
5.24k
        end_col_offset, arena
1572
5.24k
    );
1573
1574
5.24k
    if (!debug) {
1575
5.03k
        return interpolation;
1576
5.03k
    }
1577
1578
204
    expr_ty debug_text = _PyAST_Constant(debug_metadata, NULL, lineno, col_offset + 1, debug_end_line,
1579
204
                                            debug_end_offset - 1, p->arena);
1580
204
    if (!debug_text) {
1581
0
        return NULL;
1582
0
    }
1583
1584
204
    asdl_expr_seq *values = _Py_asdl_expr_seq_new(2, arena);
1585
204
    asdl_seq_SET(values, 0, debug_text);
1586
204
    asdl_seq_SET(values, 1, interpolation);
1587
204
    return _PyAST_JoinedStr(values, lineno, col_offset, debug_end_line, debug_end_offset, p->arena);
1588
204
}
1589
1590
expr_ty _PyPegen_formatted_value(Parser *p, expr_ty expression, Token *debug, ResultTokenWithMetadata *conversion,
1591
                                 ResultTokenWithMetadata *format, Token *closing_brace, int lineno, int col_offset,
1592
22.5k
                                 int end_lineno, int end_col_offset, PyArena *arena) {
1593
22.5k
    int conversion_val = _get_interpolation_conversion(p, debug, conversion, format);
1594
1595
22.5k
    expr_ty formatted_value = _PyAST_FormattedValue(
1596
22.5k
        expression, conversion_val, format ? (expr_ty) format->result : NULL,
1597
22.5k
        lineno, col_offset, end_lineno,
1598
22.5k
        end_col_offset, arena
1599
22.5k
    );
1600
1601
22.5k
    if (!debug) {
1602
15.3k
        return formatted_value;
1603
15.3k
    }
1604
1605
    /* Find the non whitespace token after the "=" */
1606
7.16k
    int debug_end_line, debug_end_offset;
1607
7.16k
    PyObject *debug_metadata;
1608
1609
7.16k
    if (conversion) {
1610
202
        debug_end_line = ((expr_ty) conversion->result)->lineno;
1611
202
        debug_end_offset = ((expr_ty) conversion->result)->col_offset;
1612
202
        debug_metadata = conversion->metadata;
1613
202
    }
1614
6.96k
    else if (format) {
1615
601
        debug_end_line = ((expr_ty) format->result)->lineno;
1616
601
        debug_end_offset = ((expr_ty) format->result)->col_offset + 1;
1617
601
        debug_metadata = format->metadata;
1618
601
    }
1619
6.36k
    else {
1620
6.36k
        debug_end_line = end_lineno;
1621
6.36k
        debug_end_offset = end_col_offset;
1622
6.36k
        debug_metadata = closing_brace->metadata;
1623
6.36k
    }
1624
7.16k
    expr_ty debug_text = _PyAST_Constant(debug_metadata, NULL, lineno, col_offset + 1, debug_end_line,
1625
7.16k
                                            debug_end_offset - 1, p->arena);
1626
7.16k
    if (!debug_text) {
1627
2
        return NULL;
1628
2
    }
1629
1630
7.16k
    asdl_expr_seq *values = _Py_asdl_expr_seq_new(2, arena);
1631
7.16k
    asdl_seq_SET(values, 0, debug_text);
1632
7.16k
    asdl_seq_SET(values, 1, formatted_value);
1633
7.16k
    return _PyAST_JoinedStr(values, lineno, col_offset, debug_end_line, debug_end_offset, p->arena);
1634
7.16k
}
1635
1636
static expr_ty
1637
_build_concatenated_bytes(Parser *p, asdl_expr_seq *strings, int lineno,
1638
                        int col_offset, int end_lineno, int end_col_offset,
1639
                        PyArena *arena)
1640
664
{
1641
664
    Py_ssize_t len = asdl_seq_LEN(strings);
1642
664
    assert(len > 0);
1643
1644
    /* Bytes literals never get a kind, but just for consistency
1645
        since they are represented as Constant nodes, we'll mirror
1646
        the same behavior as unicode strings for determining the
1647
        kind. */
1648
664
    PyObject *kind = asdl_seq_GET(strings, 0)->v.Constant.kind;
1649
1650
664
    Py_ssize_t total = 0;
1651
2.73k
    for (Py_ssize_t i = 0; i < len; i++) {
1652
2.06k
        expr_ty elem = asdl_seq_GET(strings, i);
1653
2.06k
        PyObject *bytes = elem->v.Constant.value;
1654
2.06k
        Py_ssize_t part = PyBytes_GET_SIZE(bytes);
1655
2.06k
        if (part > PY_SSIZE_T_MAX - total) {
1656
0
            PyErr_NoMemory();
1657
0
            return NULL;
1658
0
        }
1659
2.06k
        total += part;
1660
2.06k
    }
1661
1662
664
    PyBytesWriter *writer = PyBytesWriter_Create(total);
1663
664
    if (writer == NULL) {
1664
0
        return NULL;
1665
0
    }
1666
664
    char *out = PyBytesWriter_GetData(writer);
1667
1668
2.73k
    for (Py_ssize_t i = 0; i < len; i++) {
1669
2.06k
        expr_ty elem = asdl_seq_GET(strings, i);
1670
2.06k
        PyObject *bytes = elem->v.Constant.value;
1671
2.06k
        Py_ssize_t part = PyBytes_GET_SIZE(bytes);
1672
2.06k
        if (part > 0) {
1673
462
            memcpy(out, PyBytes_AS_STRING(bytes), part);
1674
462
            out += part;
1675
462
        }
1676
2.06k
    }
1677
1678
664
    PyObject *res = PyBytesWriter_Finish(writer);
1679
664
    if (res == NULL) {
1680
0
        return NULL;
1681
0
    }
1682
664
    if (_PyArena_AddPyObject(arena, res) < 0) {
1683
0
        Py_DECREF(res);
1684
0
        return NULL;
1685
0
    }
1686
664
    return _PyAST_Constant(res, kind, lineno, col_offset, end_lineno, end_col_offset, p->arena);
1687
664
}
1688
1689
static expr_ty
1690
_build_concatenated_unicode(Parser *p, asdl_expr_seq *strings, int lineno,
1691
                        int col_offset, int end_lineno, int end_col_offset,
1692
                        PyArena *arena)
1693
1.32k
{
1694
1.32k
    Py_ssize_t len = asdl_seq_LEN(strings);
1695
1.32k
    assert(len > 1);
1696
1697
1.32k
    expr_ty first = asdl_seq_GET(strings, 0);
1698
1699
    /* When a string is getting concatenated, the kind of the string
1700
        is determined by the first string in the concatenation
1701
        sequence.
1702
1703
        u"abc" "def" -> u"abcdef"
1704
        "abc" u"abc" ->  "abcabc" */
1705
1.32k
    PyObject *kind = first->v.Constant.kind;
1706
1707
1.32k
    PyUnicodeWriter *writer = PyUnicodeWriter_Create(0);
1708
1.32k
    if (writer == NULL) {
1709
0
        return NULL;
1710
0
    }
1711
1712
22.2k
    for (Py_ssize_t i = 0; i < len; i++) {
1713
20.8k
        expr_ty current_elem = asdl_seq_GET(strings, i);
1714
20.8k
        assert(current_elem->kind == Constant_kind);
1715
1716
20.8k
        if (PyUnicodeWriter_WriteStr(writer,
1717
20.8k
                                     current_elem->v.Constant.value)) {
1718
0
            PyUnicodeWriter_Discard(writer);
1719
0
            return NULL;
1720
0
        }
1721
20.8k
    }
1722
1723
1.32k
    PyObject *final = PyUnicodeWriter_Finish(writer);
1724
1.32k
    if (final == NULL) {
1725
0
        return NULL;
1726
0
    }
1727
1.32k
    if (_PyArena_AddPyObject(p->arena, final) < 0) {
1728
0
        Py_DECREF(final);
1729
0
        return NULL;
1730
0
    }
1731
1.32k
    return _PyAST_Constant(final, kind, lineno, col_offset,
1732
1.32k
                           end_lineno, end_col_offset, arena);
1733
1.32k
}
1734
1735
static asdl_expr_seq *
1736
_build_concatenated_str(Parser *p, asdl_expr_seq *strings,
1737
                               int lineno, int col_offset, int end_lineno,
1738
                               int end_col_offset, PyArena *arena)
1739
12.9k
{
1740
12.9k
    Py_ssize_t len = asdl_seq_LEN(strings);
1741
12.9k
    assert(len > 0);
1742
1743
12.9k
    Py_ssize_t n_flattened_elements = 0;
1744
38.7k
    for (Py_ssize_t i = 0; i < len; i++) {
1745
25.7k
        expr_ty elem = asdl_seq_GET(strings, i);
1746
25.7k
        switch(elem->kind) {
1747
13.1k
            case JoinedStr_kind:
1748
13.1k
                n_flattened_elements += asdl_seq_LEN(elem->v.JoinedStr.values);
1749
13.1k
                break;
1750
4.21k
            case TemplateStr_kind:
1751
4.21k
                n_flattened_elements += asdl_seq_LEN(elem->v.TemplateStr.values);
1752
4.21k
                break;
1753
8.41k
            default:
1754
8.41k
                n_flattened_elements++;
1755
8.41k
                break;
1756
25.7k
        }
1757
25.7k
    }
1758
1759
1760
12.9k
    asdl_expr_seq* flattened = _Py_asdl_expr_seq_new(n_flattened_elements, p->arena);
1761
12.9k
    if (flattened == NULL) {
1762
0
        return NULL;
1763
0
    }
1764
1765
    /* build flattened list */
1766
12.9k
    Py_ssize_t current_pos = 0;
1767
38.7k
    for (Py_ssize_t i = 0; i < len; i++) {
1768
25.7k
        expr_ty elem = asdl_seq_GET(strings, i);
1769
25.7k
        switch(elem->kind) {
1770
13.1k
            case JoinedStr_kind:
1771
56.2k
                for (Py_ssize_t j = 0; j < asdl_seq_LEN(elem->v.JoinedStr.values); j++) {
1772
43.0k
                    expr_ty subvalue = asdl_seq_GET(elem->v.JoinedStr.values, j);
1773
43.0k
                    if (subvalue == NULL) {
1774
0
                        return NULL;
1775
0
                    }
1776
43.0k
                    asdl_seq_SET(flattened, current_pos++, subvalue);
1777
43.0k
                }
1778
13.1k
                break;
1779
13.1k
            case TemplateStr_kind:
1780
11.6k
                for (Py_ssize_t j = 0; j < asdl_seq_LEN(elem->v.TemplateStr.values); j++) {
1781
7.44k
                    expr_ty subvalue = asdl_seq_GET(elem->v.TemplateStr.values, j);
1782
7.44k
                    if (subvalue == NULL) {
1783
0
                        return NULL;
1784
0
                    }
1785
7.44k
                    asdl_seq_SET(flattened, current_pos++, subvalue);
1786
7.44k
                }
1787
4.21k
                break;
1788
8.41k
            default:
1789
8.41k
                asdl_seq_SET(flattened, current_pos++, elem);
1790
8.41k
                break;
1791
25.7k
        }
1792
25.7k
    }
1793
1794
    /* calculate folded element count */
1795
12.9k
    Py_ssize_t n_elements = 0;
1796
12.9k
    int prev_is_constant = 0;
1797
71.8k
    for (Py_ssize_t i = 0; i < n_flattened_elements; i++) {
1798
58.9k
        expr_ty elem = asdl_seq_GET(flattened, i);
1799
1800
        /* The concatenation of a FormattedValue and an empty Constant should
1801
           lead to the FormattedValue itself. Thus, we will not take any empty
1802
           constants into account, just as in `_PyPegen_joined_str` */
1803
58.9k
        if (elem->kind == Constant_kind &&
1804
58.9k
            PyUnicode_CheckExact(elem->v.Constant.value) &&
1805
35.0k
            PyUnicode_GET_LENGTH(elem->v.Constant.value) == 0)
1806
896
            continue;
1807
1808
58.0k
        if (!prev_is_constant || elem->kind != Constant_kind) {
1809
48.0k
            n_elements++;
1810
48.0k
        }
1811
58.0k
        prev_is_constant = elem->kind == Constant_kind;
1812
58.0k
    }
1813
1814
12.9k
    asdl_expr_seq* values = _Py_asdl_expr_seq_new(n_elements, p->arena);
1815
12.9k
    if (values == NULL) {
1816
0
        return NULL;
1817
0
    }
1818
1819
    /* build folded list */
1820
12.9k
    current_pos = 0;
1821
61.1k
    for (Py_ssize_t i = 0; i < n_flattened_elements; i++) {
1822
48.1k
        expr_ty elem = asdl_seq_GET(flattened, i);
1823
1824
        /* if the current elem and the following are constants,
1825
           fold them and all consequent constants */
1826
48.1k
        if (elem->kind == Constant_kind) {
1827
24.2k
            if (i + 1 < n_flattened_elements &&
1828
19.6k
                asdl_seq_GET(flattened, i + 1)->kind == Constant_kind) {
1829
3.59k
                expr_ty first_elem = elem;
1830
1831
                /* When a string is getting concatenated, the kind of the string
1832
                   is determined by the first string in the concatenation
1833
                   sequence.
1834
1835
                   u"abc" "def" -> u"abcdef"
1836
                   "abc" u"abc" ->  "abcabc" */
1837
3.59k
                PyObject *kind = elem->v.Constant.kind;
1838
1839
3.59k
                PyUnicodeWriter *writer = PyUnicodeWriter_Create(0);
1840
3.59k
                if (writer == NULL) {
1841
0
                    return NULL;
1842
0
                }
1843
3.59k
                expr_ty last_elem = elem;
1844
3.59k
                Py_ssize_t j;
1845
17.9k
                for (j = i; j < n_flattened_elements; j++) {
1846
16.7k
                    expr_ty current_elem = asdl_seq_GET(flattened, j);
1847
16.7k
                    if (current_elem->kind == Constant_kind) {
1848
14.3k
                        if (PyUnicodeWriter_WriteStr(writer,
1849
14.3k
                                                     current_elem->v.Constant.value)) {
1850
0
                            PyUnicodeWriter_Discard(writer);
1851
0
                            return NULL;
1852
0
                        }
1853
14.3k
                        last_elem = current_elem;
1854
14.3k
                    } else {
1855
2.36k
                        break;
1856
2.36k
                    }
1857
16.7k
                }
1858
3.59k
                i = j - 1;
1859
1860
3.59k
                PyObject *concat_str = PyUnicodeWriter_Finish(writer);
1861
3.59k
                if (concat_str == NULL) {
1862
0
                    return NULL;
1863
0
                }
1864
3.59k
                if (_PyArena_AddPyObject(p->arena, concat_str) < 0) {
1865
0
                    Py_DECREF(concat_str);
1866
0
                    return NULL;
1867
0
                }
1868
3.59k
                elem = _PyAST_Constant(concat_str, kind, first_elem->lineno,
1869
3.59k
                                       first_elem->col_offset,
1870
3.59k
                                       last_elem->end_lineno,
1871
3.59k
                                       last_elem->end_col_offset, p->arena);
1872
3.59k
                if (elem == NULL) {
1873
0
                    return NULL;
1874
0
                }
1875
3.59k
            }
1876
1877
            /* Drop all empty contanst strings */
1878
24.2k
            if (PyUnicode_CheckExact(elem->v.Constant.value) &&
1879
24.2k
                PyUnicode_GET_LENGTH(elem->v.Constant.value) == 0) {
1880
115
                continue;
1881
115
            }
1882
24.2k
        }
1883
1884
48.0k
        asdl_seq_SET(values, current_pos++, elem);
1885
48.0k
    }
1886
1887
12.9k
    assert(current_pos == n_elements);
1888
12.9k
    return values;
1889
12.9k
}
1890
1891
static expr_ty
1892
_build_concatenated_joined_str(Parser *p, asdl_expr_seq *strings,
1893
                               int lineno, int col_offset, int end_lineno,
1894
                               int end_col_offset, PyArena *arena)
1895
9.91k
{
1896
9.91k
    asdl_expr_seq *values = _build_concatenated_str(p, strings, lineno,
1897
9.91k
        col_offset, end_lineno, end_col_offset, arena);
1898
9.91k
    return _PyAST_JoinedStr(values, lineno, col_offset, end_lineno, end_col_offset, p->arena);
1899
9.91k
}
1900
1901
expr_ty
1902
_PyPegen_concatenate_tstrings(Parser *p, asdl_expr_seq *strings,
1903
                               int lineno, int col_offset, int end_lineno,
1904
                               int end_col_offset, PyArena *arena)
1905
3.07k
{
1906
3.07k
    asdl_expr_seq *values = _build_concatenated_str(p, strings, lineno,
1907
3.07k
        col_offset, end_lineno, end_col_offset, arena);
1908
3.07k
    return _PyAST_TemplateStr(values, lineno, col_offset, end_lineno,
1909
3.07k
        end_col_offset, arena);
1910
3.07k
}
1911
1912
expr_ty
1913
_PyPegen_concatenate_strings(Parser *p, asdl_expr_seq *strings,
1914
                             int lineno, int col_offset, int end_lineno,
1915
                             int end_col_offset, PyArena *arena)
1916
28.5k
{
1917
28.5k
    Py_ssize_t len = asdl_seq_LEN(strings);
1918
28.5k
    assert(len > 0);
1919
1920
28.5k
    int f_string_found = 0;
1921
28.5k
    int unicode_string_found = 0;
1922
28.5k
    int bytes_found = 0;
1923
1924
28.5k
    Py_ssize_t i = 0;
1925
89.7k
    for (i = 0; i < len; i++) {
1926
61.2k
        expr_ty elem = asdl_seq_GET(strings, i);
1927
61.2k
        switch(elem->kind) {
1928
45.0k
            case Constant_kind:
1929
45.0k
                if (PyBytes_CheckExact(elem->v.Constant.value)) {
1930
3.77k
                    bytes_found = 1;
1931
41.2k
                } else {
1932
41.2k
                    unicode_string_found = 1;
1933
41.2k
                }
1934
45.0k
                break;
1935
13.1k
            case JoinedStr_kind:
1936
13.1k
                f_string_found = 1;
1937
13.1k
                break;
1938
0
            case TemplateStr_kind:
1939
                // python.gram handles this; we should never get here
1940
0
                assert(0);
1941
0
                break;
1942
3.08k
            default:
1943
3.08k
                f_string_found = 1;
1944
3.08k
                break;
1945
61.2k
        }
1946
61.2k
    }
1947
1948
    // Cannot mix unicode and bytes
1949
28.5k
    if ((unicode_string_found || f_string_found) && bytes_found) {
1950
5
        RAISE_SYNTAX_ERROR("cannot mix bytes and nonbytes literals");
1951
5
        return NULL;
1952
5
    }
1953
1954
    // If it's only bytes or only unicode string, do a simple concat
1955
28.5k
    if (!f_string_found) {
1956
18.5k
        if (len == 1) {
1957
16.6k
            return asdl_seq_GET(strings, 0);
1958
16.6k
        }
1959
1.98k
        else if (bytes_found) {
1960
664
            return _build_concatenated_bytes(p, strings, lineno, col_offset,
1961
664
                end_lineno, end_col_offset, arena);
1962
664
        }
1963
1.32k
        else {
1964
1.32k
            return _build_concatenated_unicode(p, strings, lineno, col_offset,
1965
1.32k
                end_lineno, end_col_offset, arena);
1966
1.32k
        }
1967
18.5k
    }
1968
1969
9.91k
    return _build_concatenated_joined_str(p, strings, lineno,
1970
9.91k
        col_offset, end_lineno, end_col_offset, arena);
1971
28.5k
}
1972
1973
stmt_ty
1974
_PyPegen_checked_future_import(Parser *p, identifier module, asdl_alias_seq * names,
1975
                               int level, expr_ty lazy_token, int lineno,
1976
                               int col_offset, int end_lineno, int end_col_offset,
1977
2.04k
                               PyArena *arena) {
1978
2.04k
    if (level == 0 && PyUnicode_CompareWithASCIIString(module, "__future__") == 0) {
1979
747
        if (lazy_token) {
1980
1
            RAISE_SYNTAX_ERROR_KNOWN_LOCATION(lazy_token,
1981
1
                "lazy from __future__ import is not allowed");
1982
1
            return NULL;
1983
1
        }
1984
1.72k
        for (Py_ssize_t i = 0; i < asdl_seq_LEN(names); i++) {
1985
983
            alias_ty alias = asdl_seq_GET(names, i);
1986
983
            if (PyUnicode_CompareWithASCIIString(alias->name, "barry_as_FLUFL") == 0) {
1987
328
                p->flags |= PyPARSE_BARRY_AS_BDFL;
1988
328
            }
1989
983
        }
1990
746
    }
1991
2.04k
    return _PyAST_ImportFrom(module, names, level, lazy_token ? 1 : 0, lineno,
1992
2.04k
                             col_offset, end_lineno, end_col_offset, arena);
1993
2.04k
}
1994
1995
asdl_stmt_seq*
1996
24.1k
_PyPegen_register_stmts(Parser *p, asdl_stmt_seq* stmts) {
1997
24.1k
    if (!p->call_invalid_rules) {
1998
18.2k
        return stmts;
1999
18.2k
    }
2000
5.89k
    Py_ssize_t len = asdl_seq_LEN(stmts);
2001
5.89k
    if (len == 0) {
2002
0
        return stmts;
2003
0
    }
2004
5.89k
    stmt_ty last_stmt = asdl_seq_GET(stmts, len - 1);
2005
5.89k
    if (p->last_stmt_location.lineno > last_stmt->lineno) {
2006
166
        return stmts;
2007
166
    }
2008
5.73k
    p->last_stmt_location.lineno = last_stmt->lineno;
2009
5.73k
    p->last_stmt_location.col_offset = last_stmt->col_offset;
2010
5.73k
    p->last_stmt_location.end_lineno = last_stmt->end_lineno;
2011
5.73k
    p->last_stmt_location.end_col_offset = last_stmt->end_col_offset;
2012
5.73k
    return stmts;
2013
5.89k
}