Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 1 | |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 2 | /* Parser-tokenizer link implementation */ |
| 3 | |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 4 | #include "pgenheaders.h" |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 5 | #include "tokenizer.h" |
| 6 | #include "node.h" |
| 7 | #include "grammar.h" |
| 8 | #include "parser.h" |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 9 | #include "parsetok.h" |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 10 | #include "errcode.h" |
Martin v. Löwis | 00f1e3f | 2002-08-04 17:29:52 +0000 | [diff] [blame] | 11 | #include "graminit.h" |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 12 | |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 13 | |
| 14 | /* Forward */ |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 15 | static node *parsetok(struct tok_state *, grammar *, int, perrdetail *, int *); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 16 | static int initerr(perrdetail *err_ret, PyObject * filename); |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 17 | |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 18 | typedef struct { |
| 19 | int *items; |
| 20 | size_t size; |
| 21 | size_t num_items; |
| 22 | } growable_int_array; |
| 23 | |
| 24 | static int |
| 25 | growable_int_array_init(growable_int_array *arr, size_t initial_size) { |
| 26 | assert(initial_size > 0); |
| 27 | arr->items = malloc(initial_size * sizeof(*arr->items)); |
| 28 | arr->size = initial_size; |
| 29 | arr->num_items = 0; |
| 30 | |
| 31 | return arr->items != NULL; |
| 32 | } |
| 33 | |
| 34 | static int |
| 35 | growable_int_array_add(growable_int_array *arr, int item) { |
| 36 | if (arr->num_items >= arr->size) { |
| 37 | arr->size *= 2; |
| 38 | arr->items = realloc(arr->items, arr->size * sizeof(*arr->items)); |
| 39 | if (!arr->items) { |
| 40 | return 0; |
| 41 | } |
| 42 | } |
| 43 | |
| 44 | arr->items[arr->num_items] = item; |
| 45 | arr->num_items++; |
| 46 | return 1; |
| 47 | } |
| 48 | |
| 49 | static void |
| 50 | growable_int_array_deallocate(growable_int_array *arr) { |
| 51 | free(arr->items); |
| 52 | } |
| 53 | |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 54 | /* Parse input coming from a string. Return error code, print some errors. */ |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 55 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 56 | PyParser_ParseString(const char *s, grammar *g, int start, perrdetail *err_ret) |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 57 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 58 | return PyParser_ParseStringFlagsFilename(s, NULL, g, start, err_ret, 0); |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 62 | PyParser_ParseStringFlags(const char *s, grammar *g, int start, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 63 | perrdetail *err_ret, int flags) |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 64 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 65 | return PyParser_ParseStringFlagsFilename(s, NULL, |
| 66 | g, start, err_ret, flags); |
Thomas Heller | 6b17abf | 2002-07-09 09:23:27 +0000 | [diff] [blame] | 67 | } |
| 68 | |
| 69 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 70 | PyParser_ParseStringFlagsFilename(const char *s, const char *filename, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 71 | grammar *g, int start, |
| 72 | perrdetail *err_ret, int flags) |
Thomas Heller | 6b17abf | 2002-07-09 09:23:27 +0000 | [diff] [blame] | 73 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 74 | int iflags = flags; |
| 75 | return PyParser_ParseStringFlagsFilenameEx(s, filename, g, start, |
| 76 | err_ret, &iflags); |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 77 | } |
| 78 | |
| 79 | node * |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 80 | PyParser_ParseStringObject(const char *s, PyObject *filename, |
| 81 | grammar *g, int start, |
| 82 | perrdetail *err_ret, int *flags) |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 83 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 84 | struct tok_state *tok; |
| 85 | int exec_input = start == file_input; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 86 | |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 87 | if (initerr(err_ret, filename) < 0) |
| 88 | return NULL; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 89 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 90 | if (*flags & PyPARSE_IGNORE_COOKIE) |
| 91 | tok = PyTokenizer_FromUTF8(s, exec_input); |
| 92 | else |
| 93 | tok = PyTokenizer_FromString(s, exec_input); |
| 94 | if (tok == NULL) { |
| 95 | err_ret->error = PyErr_Occurred() ? E_DECODE : E_NOMEM; |
| 96 | return NULL; |
| 97 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 98 | if (*flags & PyPARSE_TYPE_COMMENTS) { |
| 99 | tok->type_comments = 1; |
| 100 | } |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 101 | |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 102 | Py_INCREF(err_ret->filename); |
| 103 | tok->filename = err_ret->filename; |
Guido van Rossum | 495da29 | 2019-03-07 12:38:08 -0800 | [diff] [blame^] | 104 | if (*flags & PyPARSE_ASYNC_HACKS) |
| 105 | tok->async_hacks = 1; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 106 | return parsetok(tok, g, start, err_ret, flags); |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 107 | } |
| 108 | |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 109 | node * |
| 110 | PyParser_ParseStringFlagsFilenameEx(const char *s, const char *filename_str, |
| 111 | grammar *g, int start, |
| 112 | perrdetail *err_ret, int *flags) |
| 113 | { |
| 114 | node *n; |
| 115 | PyObject *filename = NULL; |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 116 | if (filename_str != NULL) { |
| 117 | filename = PyUnicode_DecodeFSDefault(filename_str); |
| 118 | if (filename == NULL) { |
| 119 | err_ret->error = E_ERROR; |
| 120 | return NULL; |
| 121 | } |
| 122 | } |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 123 | n = PyParser_ParseStringObject(s, filename, g, start, err_ret, flags); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 124 | Py_XDECREF(filename); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 125 | return n; |
| 126 | } |
| 127 | |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 128 | /* Parse input coming from a file. Return error code, print some errors. */ |
| 129 | |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 130 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 131 | PyParser_ParseFile(FILE *fp, const char *filename, grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 132 | const char *ps1, const char *ps2, |
| 133 | perrdetail *err_ret) |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 134 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 135 | return PyParser_ParseFileFlags(fp, filename, NULL, |
| 136 | g, start, ps1, ps2, err_ret, 0); |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 137 | } |
| 138 | |
| 139 | node * |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 140 | PyParser_ParseFileFlags(FILE *fp, const char *filename, const char *enc, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 141 | grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 142 | const char *ps1, const char *ps2, |
| 143 | perrdetail *err_ret, int flags) |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 144 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 145 | int iflags = flags; |
| 146 | return PyParser_ParseFileFlagsEx(fp, filename, enc, g, start, ps1, |
| 147 | ps2, err_ret, &iflags); |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 148 | } |
| 149 | |
| 150 | node * |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 151 | PyParser_ParseFileObject(FILE *fp, PyObject *filename, |
| 152 | const char *enc, grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 153 | const char *ps1, const char *ps2, |
| 154 | perrdetail *err_ret, int *flags) |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 155 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 156 | struct tok_state *tok; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 157 | |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 158 | if (initerr(err_ret, filename) < 0) |
| 159 | return NULL; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 160 | |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 161 | if ((tok = PyTokenizer_FromFile(fp, enc, ps1, ps2)) == NULL) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 162 | err_ret->error = E_NOMEM; |
| 163 | return NULL; |
| 164 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 165 | if (*flags & PyPARSE_TYPE_COMMENTS) { |
| 166 | tok->type_comments = 1; |
| 167 | } |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 168 | Py_INCREF(err_ret->filename); |
| 169 | tok->filename = err_ret->filename; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 170 | return parsetok(tok, g, start, err_ret, flags); |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 171 | } |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 172 | |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 173 | node * |
| 174 | PyParser_ParseFileFlagsEx(FILE *fp, const char *filename, |
| 175 | const char *enc, grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 176 | const char *ps1, const char *ps2, |
| 177 | perrdetail *err_ret, int *flags) |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 178 | { |
| 179 | node *n; |
| 180 | PyObject *fileobj = NULL; |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 181 | if (filename != NULL) { |
| 182 | fileobj = PyUnicode_DecodeFSDefault(filename); |
| 183 | if (fileobj == NULL) { |
| 184 | err_ret->error = E_ERROR; |
| 185 | return NULL; |
| 186 | } |
| 187 | } |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 188 | n = PyParser_ParseFileObject(fp, fileobj, enc, g, |
| 189 | start, ps1, ps2, err_ret, flags); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 190 | Py_XDECREF(fileobj); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 191 | return n; |
| 192 | } |
| 193 | |
Neal Norwitz | e4993c7 | 2006-03-16 06:01:25 +0000 | [diff] [blame] | 194 | #ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Brett Cannon | e3944a5 | 2009-04-01 05:08:41 +0000 | [diff] [blame] | 195 | #if 0 |
Serhiy Storchaka | 2d06e84 | 2015-12-25 19:53:18 +0200 | [diff] [blame] | 196 | static const char with_msg[] = |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 197 | "%s:%d: Warning: 'with' will become a reserved keyword in Python 2.6\n"; |
| 198 | |
Serhiy Storchaka | 2d06e84 | 2015-12-25 19:53:18 +0200 | [diff] [blame] | 199 | static const char as_msg[] = |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 200 | "%s:%d: Warning: 'as' will become a reserved keyword in Python 2.6\n"; |
| 201 | |
| 202 | static void |
| 203 | warn(const char *msg, const char *filename, int lineno) |
| 204 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 205 | if (filename == NULL) |
| 206 | filename = "<string>"; |
| 207 | PySys_WriteStderr(msg, filename, lineno); |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 208 | } |
Neal Norwitz | fc85c92 | 2006-03-17 05:44:46 +0000 | [diff] [blame] | 209 | #endif |
Brett Cannon | e3944a5 | 2009-04-01 05:08:41 +0000 | [diff] [blame] | 210 | #endif |
Guido van Rossum | da62ecc | 2001-07-17 16:53:11 +0000 | [diff] [blame] | 211 | |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 212 | /* Parse input coming from the given tokenizer structure. |
| 213 | Return error code. */ |
| 214 | |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 215 | static node * |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 216 | parsetok(struct tok_state *tok, grammar *g, int start, perrdetail *err_ret, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 217 | int *flags) |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 218 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 219 | parser_state *ps; |
| 220 | node *n; |
Brett Cannon | b94767f | 2011-02-22 20:15:44 +0000 | [diff] [blame] | 221 | int started = 0; |
Ivan Levkivskyi | 9932a22 | 2019-01-22 11:18:22 +0000 | [diff] [blame] | 222 | int col_offset, end_col_offset; |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 223 | growable_int_array type_ignores; |
| 224 | |
| 225 | if (!growable_int_array_init(&type_ignores, 10)) { |
| 226 | err_ret->error = E_NOMEM; |
| 227 | PyTokenizer_Free(tok); |
| 228 | return NULL; |
| 229 | } |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 230 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 231 | if ((ps = PyParser_New(g, start)) == NULL) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 232 | err_ret->error = E_NOMEM; |
| 233 | PyTokenizer_Free(tok); |
| 234 | return NULL; |
| 235 | } |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 236 | #ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 237 | if (*flags & PyPARSE_BARRY_AS_BDFL) |
| 238 | ps->p_flags |= CO_FUTURE_BARRY_AS_BDFL; |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 239 | if (*flags & PyPARSE_TYPE_COMMENTS) |
| 240 | ps->p_flags |= PyCF_TYPE_COMMENTS; |
Neil Schemenauer | c24ea08 | 2002-03-22 23:53:36 +0000 | [diff] [blame] | 241 | #endif |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 242 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 243 | for (;;) { |
| 244 | char *a, *b; |
| 245 | int type; |
| 246 | size_t len; |
| 247 | char *str; |
Ammar Askar | 025eb98 | 2018-09-24 17:12:49 -0400 | [diff] [blame] | 248 | col_offset = -1; |
Anthony Sottile | 995d9b9 | 2019-01-12 20:05:13 -0800 | [diff] [blame] | 249 | int lineno; |
| 250 | const char *line_start; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 251 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 252 | type = PyTokenizer_Get(tok, &a, &b); |
| 253 | if (type == ERRORTOKEN) { |
| 254 | err_ret->error = tok->done; |
| 255 | break; |
| 256 | } |
| 257 | if (type == ENDMARKER && started) { |
| 258 | type = NEWLINE; /* Add an extra newline */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 259 | started = 0; |
| 260 | /* Add the right number of dedent tokens, |
| 261 | except if a certain flag is given -- |
| 262 | codeop.py uses this. */ |
| 263 | if (tok->indent && |
| 264 | !(*flags & PyPARSE_DONT_IMPLY_DEDENT)) |
| 265 | { |
| 266 | tok->pendin = -tok->indent; |
| 267 | tok->indent = 0; |
| 268 | } |
| 269 | } |
| 270 | else |
| 271 | started = 1; |
Zackery Spytz | 7c4ab2a | 2018-08-15 00:27:26 -0600 | [diff] [blame] | 272 | len = (a != NULL && b != NULL) ? b - a : 0; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 273 | str = (char *) PyObject_MALLOC(len + 1); |
| 274 | if (str == NULL) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 275 | err_ret->error = E_NOMEM; |
| 276 | break; |
| 277 | } |
| 278 | if (len > 0) |
| 279 | strncpy(str, a, len); |
| 280 | str[len] = '\0'; |
Guido van Rossum | da62ecc | 2001-07-17 16:53:11 +0000 | [diff] [blame] | 281 | |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 282 | #ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 283 | if (type == NOTEQUAL) { |
| 284 | if (!(ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) && |
| 285 | strcmp(str, "!=")) { |
Antoine Pitrou | 9ec2593 | 2011-11-13 01:01:23 +0100 | [diff] [blame] | 286 | PyObject_FREE(str); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 287 | err_ret->error = E_SYNTAX; |
| 288 | break; |
| 289 | } |
| 290 | else if ((ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) && |
| 291 | strcmp(str, "<>")) { |
Antoine Pitrou | 9ec2593 | 2011-11-13 01:01:23 +0100 | [diff] [blame] | 292 | PyObject_FREE(str); |
Serhiy Storchaka | aba24ff | 2018-07-23 23:41:11 +0300 | [diff] [blame] | 293 | err_ret->expected = NOTEQUAL; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 294 | err_ret->error = E_SYNTAX; |
| 295 | break; |
| 296 | } |
| 297 | } |
Neil Schemenauer | c24ea08 | 2002-03-22 23:53:36 +0000 | [diff] [blame] | 298 | #endif |
Anthony Sottile | 995d9b9 | 2019-01-12 20:05:13 -0800 | [diff] [blame] | 299 | |
| 300 | /* Nodes of type STRING, especially multi line strings |
| 301 | must be handled differently in order to get both |
| 302 | the starting line number and the column offset right. |
| 303 | (cf. issue 16806) */ |
| 304 | lineno = type == STRING ? tok->first_lineno : tok->lineno; |
| 305 | line_start = type == STRING ? tok->multi_line_start : tok->line_start; |
| 306 | if (a != NULL && a >= line_start) { |
| 307 | col_offset = Py_SAFE_DOWNCAST(a - line_start, |
Benjamin Peterson | ca47063 | 2016-09-06 13:47:26 -0700 | [diff] [blame] | 308 | intptr_t, int); |
Zackery Spytz | 3e26e42 | 2018-08-20 21:11:40 -0600 | [diff] [blame] | 309 | } |
| 310 | else { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 311 | col_offset = -1; |
Zackery Spytz | 3e26e42 | 2018-08-20 21:11:40 -0600 | [diff] [blame] | 312 | } |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 313 | |
Ivan Levkivskyi | 9932a22 | 2019-01-22 11:18:22 +0000 | [diff] [blame] | 314 | if (b != NULL && b >= tok->line_start) { |
| 315 | end_col_offset = Py_SAFE_DOWNCAST(b - tok->line_start, |
| 316 | intptr_t, int); |
| 317 | } |
| 318 | else { |
| 319 | end_col_offset = -1; |
| 320 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 321 | |
| 322 | if (type == TYPE_IGNORE) { |
Guido van Rossum | d2b4c19 | 2019-02-01 15:28:13 -0800 | [diff] [blame] | 323 | PyObject_FREE(str); |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 324 | if (!growable_int_array_add(&type_ignores, tok->lineno)) { |
| 325 | err_ret->error = E_NOMEM; |
| 326 | break; |
| 327 | } |
| 328 | continue; |
| 329 | } |
| 330 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 331 | if ((err_ret->error = |
| 332 | PyParser_AddToken(ps, (int)type, str, |
Ivan Levkivskyi | 9932a22 | 2019-01-22 11:18:22 +0000 | [diff] [blame] | 333 | lineno, col_offset, tok->lineno, end_col_offset, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 334 | &(err_ret->expected))) != E_OK) { |
| 335 | if (err_ret->error != E_DONE) { |
| 336 | PyObject_FREE(str); |
| 337 | err_ret->token = type; |
| 338 | } |
| 339 | break; |
| 340 | } |
| 341 | } |
| 342 | |
| 343 | if (err_ret->error == E_DONE) { |
| 344 | n = ps->p_tree; |
| 345 | ps->p_tree = NULL; |
Meador Inge | fa21bf0 | 2012-01-19 01:08:41 -0600 | [diff] [blame] | 346 | |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 347 | if (n->n_type == file_input) { |
| 348 | /* Put type_ignore nodes in the ENDMARKER of file_input. */ |
| 349 | int num; |
| 350 | node *ch; |
| 351 | size_t i; |
| 352 | |
| 353 | num = NCH(n); |
| 354 | ch = CHILD(n, num - 1); |
| 355 | REQ(ch, ENDMARKER); |
| 356 | |
| 357 | for (i = 0; i < type_ignores.num_items; i++) { |
| 358 | PyNode_AddChild(ch, TYPE_IGNORE, NULL, |
| 359 | type_ignores.items[i], 0, |
| 360 | type_ignores.items[i], 0); |
| 361 | } |
| 362 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 363 | |
Meador Inge | fa21bf0 | 2012-01-19 01:08:41 -0600 | [diff] [blame] | 364 | /* Check that the source for a single input statement really |
| 365 | is a single statement by looking at what is left in the |
| 366 | buffer after parsing. Trailing whitespace and comments |
| 367 | are OK. */ |
| 368 | if (start == single_input) { |
| 369 | char *cur = tok->cur; |
| 370 | char c = *tok->cur; |
| 371 | |
Benjamin Peterson | cff9237 | 2012-01-19 17:46:13 -0500 | [diff] [blame] | 372 | for (;;) { |
| 373 | while (c == ' ' || c == '\t' || c == '\n' || c == '\014') |
| 374 | c = *++cur; |
Meador Inge | fa21bf0 | 2012-01-19 01:08:41 -0600 | [diff] [blame] | 375 | |
Benjamin Peterson | cff9237 | 2012-01-19 17:46:13 -0500 | [diff] [blame] | 376 | if (!c) |
| 377 | break; |
| 378 | |
| 379 | if (c != '#') { |
| 380 | err_ret->error = E_BADSINGLE; |
| 381 | PyNode_Free(n); |
| 382 | n = NULL; |
| 383 | break; |
| 384 | } |
| 385 | |
| 386 | /* Suck up comment. */ |
| 387 | while (c && c != '\n') |
| 388 | c = *++cur; |
Meador Inge | fa21bf0 | 2012-01-19 01:08:41 -0600 | [diff] [blame] | 389 | } |
| 390 | } |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 391 | } |
| 392 | else |
| 393 | n = NULL; |
Christian Heimes | b1b3efc | 2008-03-26 23:24:27 +0000 | [diff] [blame] | 394 | |
Pablo Galindo | b9d2e97 | 2019-02-13 00:45:53 +0000 | [diff] [blame] | 395 | growable_int_array_deallocate(&type_ignores); |
| 396 | |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 397 | #ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 398 | *flags = ps->p_flags; |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 399 | #endif |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 400 | PyParser_Delete(ps); |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 401 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 402 | if (n == NULL) { |
Benjamin Peterson | 758888d | 2011-05-30 11:12:38 -0500 | [diff] [blame] | 403 | if (tok->done == E_EOF) |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 404 | err_ret->error = E_EOF; |
| 405 | err_ret->lineno = tok->lineno; |
| 406 | if (tok->buf != NULL) { |
| 407 | size_t len; |
| 408 | assert(tok->cur - tok->buf < INT_MAX); |
Ammar Askar | 025eb98 | 2018-09-24 17:12:49 -0400 | [diff] [blame] | 409 | /* if we've managed to parse a token, point the offset to its start, |
| 410 | * else use the current reading position of the tokenizer |
| 411 | */ |
| 412 | err_ret->offset = col_offset != -1 ? col_offset + 1 : ((int)(tok->cur - tok->buf)); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 413 | len = tok->inp - tok->buf; |
| 414 | err_ret->text = (char *) PyObject_MALLOC(len + 1); |
| 415 | if (err_ret->text != NULL) { |
| 416 | if (len > 0) |
| 417 | strncpy(err_ret->text, tok->buf, len); |
| 418 | err_ret->text[len] = '\0'; |
| 419 | } |
| 420 | } |
| 421 | } else if (tok->encoding != NULL) { |
| 422 | /* 'nodes->n_str' uses PyObject_*, while 'tok->encoding' was |
| 423 | * allocated using PyMem_ |
| 424 | */ |
| 425 | node* r = PyNode_New(encoding_decl); |
| 426 | if (r) |
| 427 | r->n_str = PyObject_MALLOC(strlen(tok->encoding)+1); |
| 428 | if (!r || !r->n_str) { |
| 429 | err_ret->error = E_NOMEM; |
| 430 | if (r) |
| 431 | PyObject_FREE(r); |
| 432 | n = NULL; |
| 433 | goto done; |
| 434 | } |
| 435 | strcpy(r->n_str, tok->encoding); |
| 436 | PyMem_FREE(tok->encoding); |
| 437 | tok->encoding = NULL; |
| 438 | r->n_nchildren = 1; |
| 439 | r->n_child = n; |
| 440 | n = r; |
| 441 | } |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 442 | |
Thomas Wouters | 00ee7ba | 2006-08-21 19:07:27 +0000 | [diff] [blame] | 443 | done: |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 444 | PyTokenizer_Free(tok); |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 445 | |
Ivan Levkivskyi | 9932a22 | 2019-01-22 11:18:22 +0000 | [diff] [blame] | 446 | if (n != NULL) { |
| 447 | _PyNode_FinalizeEndPos(n); |
| 448 | } |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 449 | return n; |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 450 | } |
Guido van Rossum | 0c156a5 | 2001-10-20 14:27:56 +0000 | [diff] [blame] | 451 | |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 452 | static int |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 453 | initerr(perrdetail *err_ret, PyObject *filename) |
Guido van Rossum | 0c156a5 | 2001-10-20 14:27:56 +0000 | [diff] [blame] | 454 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 455 | err_ret->error = E_OK; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 456 | err_ret->lineno = 0; |
| 457 | err_ret->offset = 0; |
| 458 | err_ret->text = NULL; |
| 459 | err_ret->token = -1; |
| 460 | err_ret->expected = -1; |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 461 | if (filename) { |
| 462 | Py_INCREF(filename); |
| 463 | err_ret->filename = filename; |
| 464 | } |
| 465 | else { |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 466 | err_ret->filename = PyUnicode_FromString("<string>"); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 467 | if (err_ret->filename == NULL) { |
| 468 | err_ret->error = E_ERROR; |
| 469 | return -1; |
| 470 | } |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 471 | } |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 472 | return 0; |
Guido van Rossum | 0c156a5 | 2001-10-20 14:27:56 +0000 | [diff] [blame] | 473 | } |