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