#include "Python.h"

#include "Python-ast.h"

#include "code.h"

#include "symtable.h"

#include "structmember.h"

#define GLOBAL_AFTER_ASSIGN \

"name '%.400s' is assigned to before global declaration"

#define NONLOCAL_AFTER_ASSIGN \

"name '%.400s' is assigned to before nonlocal declaration"

#define GLOBAL_AFTER_USE \

"name '%.400s' is used prior to global declaration"

#define NONLOCAL_AFTER_USE \

"name '%.400s' is used prior to nonlocal declaration"

#define IMPORT_STAR_WARNING "import * only allowed at module level"

#define RETURN_VAL_IN_GENERATOR \

"'return' with argument inside generator"

static PySTEntryObject *

ste_new(struct symtable *st, identifier name, _Py_block_ty block,

void *key, int lineno)

{

PySTEntryObject *ste = NULL;

PyObject *k;

k = PyLong_FromVoidPtr(key);

if (k == NULL)

goto fail;

ste = PyObject_New(PySTEntryObject, &PySTEntry_Type);

if (ste == NULL)

goto fail;

ste->ste_table = st;

ste->ste_id = k;

ste->ste_tmpname = 0;

ste->ste_name = name;

Py_INCREF(name);

ste->ste_symbols = NULL;

ste->ste_varnames = NULL;

ste->ste_children = NULL;

ste->ste_symbols = PyDict_New();

if (ste->ste_symbols == NULL)

goto fail;

ste->ste_varnames = PyList_New(0);

if (ste->ste_varnames == NULL)

goto fail;

ste->ste_children = PyList_New(0);

if (ste->ste_children == NULL)

goto fail;

ste->ste_type = block;

ste->ste_unoptimized = 0;

ste->ste_nested = 0;

ste->ste_free = 0;

ste->ste_varargs = 0;

ste->ste_varkeywords = 0;

ste->ste_opt_lineno = 0;

ste->ste_tmpname = 0;

ste->ste_lineno = lineno;

if (st->st_cur != NULL &&

(st->st_cur->ste_nested ||

st->st_cur->ste_type == FunctionBlock))

ste->ste_nested = 1;

ste->ste_child_free = 0;

ste->ste_generator = 0;

ste->ste_returns_value = 0;

if (PyDict_SetItem(st->st_blocks, ste->ste_id, (PyObject *)ste) < 0)

goto fail;

return ste;

fail:

Py_XDECREF(ste);

return NULL;

}

static PyObject *

ste_repr(PySTEntryObject *ste)

{

return PyUnicode_FromFormat("<symtable entry %U(%ld), line %d>",

ste->ste_name,

PyLong_AS_LONG(ste->ste_id), ste->ste_lineno);

}

static void

ste_dealloc(PySTEntryObject *ste)

{

ste->ste_table = NULL;

Py_XDECREF(ste->ste_id);

Py_XDECREF(ste->ste_name);

Py_XDECREF(ste->ste_symbols);

Py_XDECREF(ste->ste_varnames);

Py_XDECREF(ste->ste_children);

PyObject_Del(ste);

}

#define OFF(x) offsetof(PySTEntryObject, x)

static PyMemberDef ste_memberlist[] = {

{"id", T_OBJECT, OFF(ste_id), READONLY},

{"name", T_OBJECT, OFF(ste_name), READONLY},

{"symbols", T_OBJECT, OFF(ste_symbols), READONLY},

{"varnames", T_OBJECT, OFF(ste_varnames), READONLY},

{"children", T_OBJECT, OFF(ste_children), READONLY},

{"optimized",T_INT, OFF(ste_unoptimized), READONLY},

{"nested", T_INT, OFF(ste_nested), READONLY},

{"type", T_INT, OFF(ste_type), READONLY},

{"lineno", T_INT, OFF(ste_lineno), READONLY},

{NULL}

};

PyTypeObject PySTEntry_Type = {

PyVarObject_HEAD_INIT(&PyType_Type, 0)

"symtable entry",

sizeof(PySTEntryObject),

0,

(destructor)ste_dealloc, /* tp_dealloc */

0, /* tp_print */

0, /* tp_getattr */

0, /* tp_setattr */

0, /* tp_reserved */

(reprfunc)ste_repr, /* tp_repr */

0, /* tp_as_number */

0, /* tp_as_sequence */

0, /* tp_as_mapping */

0, /* tp_hash */

0, /* tp_call */

0, /* tp_str */

PyObject_GenericGetAttr, /* tp_getattro */

0, /* tp_setattro */

0, /* tp_as_buffer */

Py_TPFLAGS_DEFAULT, /* tp_flags */

0, /* tp_doc */

0, /* tp_traverse */

0, /* tp_clear */

0, /* tp_richcompare */

0, /* tp_weaklistoffset */

0, /* tp_iter */

0, /* tp_iternext */

0, /* tp_methods */

ste_memberlist, /* tp_members */

0, /* tp_getset */

0, /* tp_base */

0, /* tp_dict */

0, /* tp_descr_get */

0, /* tp_descr_set */

0, /* tp_dictoffset */

0, /* tp_init */

0, /* tp_alloc */

0, /* tp_new */

};

static int symtable_analyze(struct symtable *st);

static int symtable_warn(struct symtable *st, char *msg, int lineno);

static int symtable_enter_block(struct symtable *st, identifier name,

_Py_block_ty block, void *ast, int lineno);

static int symtable_exit_block(struct symtable *st, void *ast);

static int symtable_visit_stmt(struct symtable *st, stmt_ty s);

static int symtable_visit_expr(struct symtable *st, expr_ty s);

static int symtable_visit_genexp(struct symtable *st, expr_ty s);

static int symtable_visit_listcomp(struct symtable *st, expr_ty s);

static int symtable_visit_setcomp(struct symtable *st, expr_ty s);

static int symtable_visit_dictcomp(struct symtable *st, expr_ty s);

static int symtable_visit_arguments(struct symtable *st, arguments_ty);

static int symtable_visit_excepthandler(struct symtable *st, excepthandler_ty);

static int symtable_visit_alias(struct symtable *st, alias_ty);

static int symtable_visit_comprehension(struct symtable *st, comprehension_ty);

static int symtable_visit_keyword(struct symtable *st, keyword_ty);

static int symtable_visit_slice(struct symtable *st, slice_ty);

static int symtable_visit_params(struct symtable *st, asdl_seq *args);

static int symtable_visit_argannotations(struct symtable *st, asdl_seq *args);

static int symtable_implicit_arg(struct symtable *st, int pos);

static int symtable_visit_annotations(struct symtable *st, stmt_ty s);

static identifier top = NULL, lambda = NULL, genexpr = NULL,

listcomp = NULL, setcomp = NULL, dictcomp = NULL, __class__ = NULL;

#define GET_IDENTIFIER(VAR) \

((VAR) ? (VAR) : ((VAR) = PyUnicode_InternFromString(# VAR)))

#define DUPLICATE_ARGUMENT \

"duplicate argument '%U' in function definition"

static struct symtable *

symtable_new(void)

{

struct symtable *st;

st = (struct symtable *)PyMem_Malloc(sizeof(struct symtable));

if (st == NULL)

return NULL;

st->st_filename = NULL;

st->st_blocks = NULL;

if ((st->st_stack = PyList_New(0)) == NULL)

goto fail;

if ((st->st_blocks = PyDict_New()) == NULL)

goto fail;

st->st_cur = NULL;

st->st_private = NULL;

return st;

fail:

PySymtable_Free(st);

return NULL;

}

struct symtable *

PySymtable_Build(mod_ty mod, const char *filename, PyFutureFeatures *future)

{

struct symtable *st = symtable_new();

asdl_seq *seq;

int i;

if (st == NULL)

return st;

st->st_filename = filename;

st->st_future = future;

/* Make the initial symbol information gathering pass */

if (!GET_IDENTIFIER(top) ||

!symtable_enter_block(st, top, ModuleBlock, (void *)mod, 0)) {

PySymtable_Free(st);

return NULL;

}

st->st_top = st->st_cur;

st->st_cur->ste_unoptimized = OPT_TOPLEVEL;

switch (mod->kind) {

case Module_kind:

seq = mod->v.Module.body;

for (i = 0; i < asdl_seq_LEN(seq); i++)

if (!symtable_visit_stmt(st,

(stmt_ty)asdl_seq_GET(seq, i)))

goto error;

break;

case Expression_kind:

if (!symtable_visit_expr(st, mod->v.Expression.body))

goto error;

break;

case Interactive_kind:

seq = mod->v.Interactive.body;

for (i = 0; i < asdl_seq_LEN(seq); i++)

if (!symtable_visit_stmt(st,

(stmt_ty)asdl_seq_GET(seq, i)))

goto error;

break;

case Suite_kind:

PyErr_SetString(PyExc_RuntimeError,

"this compiler does not handle Suites");

goto error;

}

if (!symtable_exit_block(st, (void *)mod)) {

PySymtable_Free(st);

return NULL;

}

/* Make the second symbol analysis pass */

if (symtable_analyze(st))

return st;

PySymtable_Free(st);

return NULL;

error:

(void) symtable_exit_block(st, (void *)mod);

PySymtable_Free(st);

return NULL;

}

PySymtable_Free(struct symtable *st)

{

Py_XDECREF(st->st_blocks);

Py_XDECREF(st->st_stack);

PyMem_Free((void *)st);

}

PySTEntryObject *

PySymtable_Lookup(struct symtable *st, void *key)

{

PyObject *k, *v;

k = PyLong_FromVoidPtr(key);

if (k == NULL)

return NULL;

v = PyDict_GetItem(st->st_blocks, k);

if (v) {

assert(PySTEntry_Check(v));

Py_INCREF(v);

}

else {

PyErr_SetString(PyExc_KeyError,

"unknown symbol table entry");

}

Py_DECREF(k);

return (PySTEntryObject *)v;

}

int

PyST_GetScope(PySTEntryObject *ste, PyObject *name)

{

PyObject *v = PyDict_GetItem(ste->ste_symbols, name);

if (!v)

return 0;

assert(PyLong_Check(v));

return (PyLong_AS_LONG(v) >> SCOPE_OFFSET) & SCOPE_MASK;

}

#define SET_SCOPE(DICT, NAME, I) { \

PyObject *o = PyLong_FromLong(I); \

if (!o) \

return 0; \

if (PyDict_SetItem((DICT), (NAME), o) < 0) { \

Py_DECREF(o); \

return 0; \

} \

Py_DECREF(o); \

}

static int

analyze_name(PySTEntryObject *ste, PyObject *scopes, PyObject *name, long flags,

PyObject *bound, PyObject *local, PyObject *free,

PyObject *global)

{

if (flags & DEF_GLOBAL) {

if (flags & DEF_PARAM) {

PyErr_Format(PyExc_SyntaxError,

"name '%U' is parameter and global",

name);

PyErr_SyntaxLocation(ste->ste_table->st_filename,

ste->ste_lineno);

return 0;

}

if (flags & DEF_NONLOCAL) {

PyErr_Format(PyExc_SyntaxError,

"name '%U' is nonlocal and global",

name);

return 0;

}

SET_SCOPE(scopes, name, GLOBAL_EXPLICIT);

if (PySet_Add(global, name) < 0)

return 0;

if (bound && (PySet_Discard(bound, name) < 0))

return 0;

return 1;

}

if (flags & DEF_NONLOCAL) {

if (flags & DEF_PARAM) {

PyErr_Format(PyExc_SyntaxError,

"name '%U' is parameter and nonlocal",

name);

return 0;

}

if (!bound) {

PyErr_Format(PyExc_SyntaxError,

"nonlocal declaration not allowed at module level");

return 0;

}

if (!PySet_Contains(bound, name)) {

PyErr_Format(PyExc_SyntaxError,

"no binding for nonlocal '%U' found",

name);

return 0;

}

SET_SCOPE(scopes, name, FREE);

ste->ste_free = 1;

return PySet_Add(free, name) >= 0;

}

if (flags & DEF_BOUND) {

SET_SCOPE(scopes, name, LOCAL);

if (PySet_Add(local, name) < 0)

return 0;

if (PySet_Discard(global, name) < 0)

return 0;

return 1;

}

/* If an enclosing block has a binding for this name, it

if (bound && PySet_Contains(bound, name)) {

SET_SCOPE(scopes, name, FREE);

ste->ste_free = 1;

return PySet_Add(free, name) >= 0;

}

/* If a parent has a global statement, then call it global

if (global && PySet_Contains(global, name)) {

SET_SCOPE(scopes, name, GLOBAL_EXPLICIT);

return 1;

}

if (ste->ste_nested)

ste->ste_free = 1;

SET_SCOPE(scopes, name, GLOBAL_IMPLICIT);

return 1;

}

#undef SET_SCOPE

static int

analyze_cells(PyObject *scopes, PyObject *free, const char *restricted)

{

PyObject *name, *v, *v_cell;

int success = 0;

Py_ssize_t pos = 0;

v_cell = PyLong_FromLong(CELL);

if (!v_cell)

return 0;

while (PyDict_Next(scopes, &pos, &name, &v)) {

long scope;

assert(PyLong_Check(v));

scope = PyLong_AS_LONG(v);

if (scope != LOCAL)

continue;

if (!PySet_Contains(free, name))

continue;

if (restricted != NULL &&

PyUnicode_CompareWithASCIIString(name, restricted))

continue;

/* Replace LOCAL with CELL for this name, and remove

if (PyDict_SetItem(scopes, name, v_cell) < 0)

goto error;

if (PySet_Discard(free, name) < 0)

goto error;

}

success = 1;

error:

Py_DECREF(v_cell);

return success;

}

static int

check_unoptimized(const PySTEntryObject* ste) {

const char* trailer;

if (ste->ste_type != FunctionBlock || !ste->ste_unoptimized

|| !(ste->ste_free || ste->ste_child_free))

return 1;

trailer = (ste->ste_child_free ?

"contains a nested function with free variables" :

"is a nested function");

switch (ste->ste_unoptimized) {

case OPT_TOPLEVEL: /* import * at top-level is fine */

return 1;

case OPT_IMPORT_STAR:

PyErr_Format(PyExc_SyntaxError,

"import * is not allowed in function '%U' because it %s",

ste->ste_name, trailer);

break;

}

PyErr_SyntaxLocation(ste->ste_table->st_filename,

ste->ste_opt_lineno);

return 0;

}

static int

update_symbols(PyObject *symbols, PyObject *scopes,

PyObject *bound, PyObject *free, int classflag)

{

PyObject *name = NULL, *itr = NULL;

PyObject *v = NULL, *v_scope = NULL, *v_new = NULL, *v_free = NULL;

Py_ssize_t pos = 0;

/* Update scope information for all symbols in this scope */

while (PyDict_Next(symbols, &pos, &name, &v)) {

long scope, flags;

assert(PyLong_Check(v));

flags = PyLong_AS_LONG(v);

v_scope = PyDict_GetItem(scopes, name);

assert(v_scope && PyLong_Check(v_scope));

scope = PyLong_AS_LONG(v_scope);

flags |= (scope << SCOPE_OFFSET);

v_new = PyLong_FromLong(flags);

if (!v_new)

return 0;

if (PyDict_SetItem(symbols, name, v_new) < 0) {

Py_DECREF(v_new);

return 0;

}

Py_DECREF(v_new);

}

/* Record not yet resolved free variables from children (if any) */

v_free = PyLong_FromLong(FREE << SCOPE_OFFSET);

if (!v_free)

return 0;

itr = PyObject_GetIter(free);

if (!itr)

goto error;

while ((name = PyIter_Next(itr))) {

v = PyDict_GetItem(symbols, name);

/* Handle symbol that already exists in this scope */

if (v) {

/* Handle a free variable in a method of

if (classflag &&

PyLong_AS_LONG(v) & (DEF_BOUND | DEF_GLOBAL)) {

long flags = PyLong_AS_LONG(v) | DEF_FREE_CLASS;

v_new = PyLong_FromLong(flags);

if (!v_new) {

goto error;

}

if (PyDict_SetItem(symbols, name, v_new) < 0) {

Py_DECREF(v_new);

goto error;

}

Py_DECREF(v_new);

}

/* It's a cell, or already free in this scope */

Py_DECREF(name);

continue;

}

/* Handle global symbol */

if (!PySet_Contains(bound, name)) {

Py_DECREF(name);

continue; /* it's a global */

}

/* Propagate new free symbol up the lexical stack */

if (PyDict_SetItem(symbols, name, v_free) < 0) {

goto error;

}

Py_DECREF(name);

}

Py_DECREF(itr);

Py_DECREF(v_free);

return 1;

error:

Py_XDECREF(v_free);

Py_XDECREF(itr);

Py_XDECREF(name);

return 0;

}

static int

analyze_block(PySTEntryObject *ste, PyObject *bound, PyObject *free,

PyObject *global)

{

PyObject *name, *v, *local = NULL, *scopes = NULL, *newbound = NULL;

PyObject *newglobal = NULL, *newfree = NULL;

int i, success = 0;

Py_ssize_t pos = 0;

scopes = PyDict_New();

if (!scopes)

goto error;

local = PySet_New(NULL);

if (!local)

goto error;

newglobal = PySet_New(NULL);

if (!newglobal)

goto error;

newfree = PySet_New(NULL);

if (!newfree)

goto error;

newbound = PySet_New(NULL);

if (!newbound)

goto error;

/* Class namespace has no effect on names visible in

if (ste->ste_type == ClassBlock) {

/* Pass down previously bound symbols */

if (bound) {

if (!PyNumber_InPlaceOr(newbound, bound))

goto error;

Py_DECREF(newbound);

}

/* Pass down known globals */

if (!PyNumber_InPlaceOr(newglobal, global))

goto error;

Py_DECREF(newglobal);

}

/* Analyze symbols in current scope */

assert(PySTEntry_Check(ste));

assert(PyDict_Check(ste->ste_symbols));

while (PyDict_Next(ste->ste_symbols, &pos, &name, &v)) {

long flags = PyLong_AS_LONG(v);

if (!analyze_name(ste, scopes, name, flags, bound, local, free,

global))

goto error;

}

/* Populate global and bound sets to be passed to children. */

if (ste->ste_type != ClassBlock) {

/* Add function locals to bound set */

if (ste->ste_type == FunctionBlock) {

if (!PyNumber_InPlaceOr(newbound, local))

goto error;

Py_DECREF(newbound);

}

/* Pass down previously bound symbols */

if (bound) {

if (!PyNumber_InPlaceOr(newbound, bound))

goto error;

Py_DECREF(newbound);

}

/* Pass down known globals */

if (!PyNumber_InPlaceOr(newglobal, global))

goto error;

Py_DECREF(newglobal);

}

else {

/* Special-case __class__ */

if (!GET_IDENTIFIER(__class__))

goto error;

assert(PySet_Contains(local, __class__) == 1);

if (PySet_Add(newbound, __class__) < 0)

goto error;

}

/* Recursively call analyze_block() on each child block */

for (i = 0; i < PyList_GET_SIZE(ste->ste_children); ++i) {

PyObject *c = PyList_GET_ITEM(ste->ste_children, i);

PySTEntryObject* entry;

assert(c && PySTEntry_Check(c));

entry = (PySTEntryObject*)c;

if (!analyze_block(entry, newbound, newfree, newglobal))

goto error;

/* Check if any children have free variables */

if (entry->ste_free || entry->ste_child_free)

ste->ste_child_free = 1;

}

/* Check if any local variables must be converted to cell variables */

if (ste->ste_type == FunctionBlock && !analyze_cells(scopes, newfree,

NULL))

goto error;

else if (ste->ste_type == ClassBlock && !analyze_cells(scopes, newfree,

"__class__"))

goto error;

/* Records the results of the analysis in the symbol table entry */

if (!update_symbols(ste->ste_symbols, scopes, bound, newfree,

ste->ste_type == ClassBlock))

goto error;

if (!check_unoptimized(ste))

goto error;

if (!PyNumber_InPlaceOr(free, newfree))

goto error;

Py_DECREF(free);

success = 1;

error:

Py_XDECREF(scopes);

Py_XDECREF(local);

Py_XDECREF(newbound);

Py_XDECREF(newglobal);

Py_XDECREF(newfree);

if (!success)

assert(PyErr_Occurred());

return success;

}

static int

symtable_analyze(struct symtable *st)

{

PyObject *free, *global;

int r;

free = PySet_New(NULL);

if (!free)

return 0;

global = PySet_New(NULL);

if (!global) {

Py_DECREF(free);

return 0;

}

r = analyze_block(st->st_top, NULL, free, global);

Py_DECREF(free);

Py_DECREF(global);

return r;

}

static int

symtable_warn(struct symtable *st, char *msg, int lineno)

{

if (PyErr_WarnExplicit(PyExc_SyntaxWarning, msg, st->st_filename,

lineno, NULL, NULL) < 0) {

if (PyErr_ExceptionMatches(PyExc_SyntaxWarning)) {

PyErr_SetString(PyExc_SyntaxError, msg);

PyErr_SyntaxLocation(st->st_filename,

st->st_cur->ste_lineno);

}

return 0;

}

return 1;

}

static int

symtable_exit_block(struct symtable *st, void *ast)

{

Py_ssize_t end;

Py_CLEAR(st->st_cur);

end = PyList_GET_SIZE(st->st_stack) - 1;

if (end >= 0) {

st->st_cur = (PySTEntryObject *)PyList_GET_ITEM(st->st_stack,

end);

if (st->st_cur == NULL)

return 0;

Py_INCREF(st->st_cur);

if (PySequence_DelItem(st->st_stack, end) < 0)

return 0;

}

return 1;

}

static int

symtable_enter_block(struct symtable *st, identifier name, _Py_block_ty block,

void *ast, int lineno)

{

PySTEntryObject *prev = NULL;

if (st->st_cur) {

prev = st->st_cur;

if (PyList_Append(st->st_stack, (PyObject *)st->st_cur) < 0) {

return 0;

}

Py_DECREF(st->st_cur);

}

st->st_cur = ste_new(st, name, block, ast, lineno);

if (st->st_cur == NULL)

return 0;

if (name == GET_IDENTIFIER(top))

st->st_global = st->st_cur->ste_symbols;

if (prev) {

if (PyList_Append(prev->ste_children,

(PyObject *)st->st_cur) < 0) {

return 0;

}

}

return 1;

}

static long

symtable_lookup(struct symtable *st, PyObject *name)

{

PyObject *o;

PyObject *mangled = _Py_Mangle(st->st_private, name);

if (!mangled)

return 0;

o = PyDict_GetItem(st->st_cur->ste_symbols, mangled);

Py_DECREF(mangled);

if (!o)

return 0;

return PyLong_AsLong(o);

}

static int

symtable_add_def(struct symtable *st, PyObject *name, int flag)

{

PyObject *o;

PyObject *dict;

long val;

PyObject *mangled = _Py_Mangle(st->st_private, name);

if (!mangled)

return 0;

dict = st->st_cur->ste_symbols;

if ((o = PyDict_GetItem(dict, mangled))) {

val = PyLong_AS_LONG(o);

if ((flag & DEF_PARAM) && (val & DEF_PARAM)) {

/* Is it better to use 'mangled' or 'name' here? */

PyErr_Format(PyExc_SyntaxError, DUPLICATE_ARGUMENT, name);

PyErr_SyntaxLocation(st->st_filename,

st->st_cur->ste_lineno);

goto error;

}

val |= flag;

} else

val = flag;

o = PyLong_FromLong(val);

if (o == NULL)

goto error;

if (PyDict_SetItem(dict, mangled, o) < 0) {

Py_DECREF(o);

goto error;

}

Py_DECREF(o);

if (flag & DEF_PARAM) {

if (PyList_Append(st->st_cur->ste_varnames, mangled) < 0)

goto error;

} else if (flag & DEF_GLOBAL) {

/* XXX need to update DEF_GLOBAL for other flags too;

val = flag;

if ((o = PyDict_GetItem(st->st_global, mangled))) {

val |= PyLong_AS_LONG(o);

}

o = PyLong_FromLong(val);

if (o == NULL)

goto error;

if (PyDict_SetItem(st->st_global, mangled, o) < 0) {

Py_DECREF(o);

goto error;

}

Py_DECREF(o);

}

Py_DECREF(mangled);

return 1;

error:

Py_DECREF(mangled);

return 0;

}

#define VISIT(ST, TYPE, V) \

if (!symtable_visit_ ## TYPE((ST), (V))) \

return 0;

#define VISIT_IN_BLOCK(ST, TYPE, V, S) \

if (!symtable_visit_ ## TYPE((ST), (V))) { \

symtable_exit_block((ST), (S)); \

return 0; \

}

#define VISIT_SEQ(ST, TYPE, SEQ) { \

int i; \

asdl_seq *seq = (SEQ); /* avoid variable capture */ \

for (i = 0; i < asdl_seq_LEN(seq); i++) { \

#define VISIT_SEQ_IN_BLOCK(ST, TYPE, SEQ, S) { \

int i; \

asdl_seq *seq = (SEQ); /* avoid variable capture */ \

for (i = 0; i < asdl_seq_LEN(seq); i++) { \

#define VISIT_SEQ_TAIL(ST, TYPE, SEQ, START) { \

int i; \

asdl_seq *seq = (SEQ); /* avoid variable capture */ \

for (i = (START); i < asdl_seq_LEN(seq); i++) { \

#define VISIT_SEQ_TAIL_IN_BLOCK(ST, TYPE, SEQ, START, S) { \

int i; \

asdl_seq *seq = (SEQ); /* avoid variable capture */ \

for (i = (START); i < asdl_seq_LEN(seq); i++) { \

#define VISIT_KWONLYDEFAULTS(ST, KW_DEFAULTS) { \

int i = 0; \

asdl_seq *seq = (KW_DEFAULTS); /* avoid variable capture */ \

for (i = 0; i < asdl_seq_LEN(seq); i++) { \

expr_ty elt = (expr_ty)asdl_seq_GET(seq, i); \

if (!elt) continue; /* can be NULL */ \

if (!symtable_visit_expr((ST), elt)) \

return 0; \

} \

}

static int

symtable_new_tmpname(struct symtable *st)

{

char tmpname[256];

identifier tmp;

PyOS_snprintf(tmpname, sizeof(tmpname), "_[%d]",