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