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) { |
| 40 | arr->size *= 2; |
| 41 | arr->items = realloc(arr->items, arr->size * sizeof(*arr->items)); |
| 42 | if (!arr->items) { |
| 43 | return 0; |
| 44 | } |
| 45 | } |
| 46 | |
Michael J. Sullivan | 933e150 | 2019-05-22 07:54:20 -0700 | [diff] [blame^] | 47 | arr->items[arr->num_items].lineno = lineno; |
| 48 | arr->items[arr->num_items].comment = comment; |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 49 | arr->num_items++; |
| 50 | return 1; |
| 51 | } |
| 52 | |
| 53 | static void |
Michael J. Sullivan | 933e150 | 2019-05-22 07:54:20 -0700 | [diff] [blame^] | 54 | growable_comment_array_deallocate(growable_comment_array *arr) { |
| 55 | for (unsigned i = 0; i < arr->num_items; i++) { |
| 56 | PyObject_FREE(arr->items[i].comment); |
| 57 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 58 | free(arr->items); |
| 59 | } |
| 60 | |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 61 | /* 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] | 62 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 63 | 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] | 64 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 65 | return PyParser_ParseStringFlagsFilename(s, NULL, g, start, err_ret, 0); |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 66 | } |
| 67 | |
| 68 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 69 | PyParser_ParseStringFlags(const char *s, grammar *g, int start, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 70 | perrdetail *err_ret, int flags) |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 71 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 72 | return PyParser_ParseStringFlagsFilename(s, NULL, |
| 73 | g, start, err_ret, flags); |
Thomas Heller | 6b17abf | 2002-07-09 09:23:27 +0000 | [diff] [blame] | 74 | } |
| 75 | |
| 76 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 77 | PyParser_ParseStringFlagsFilename(const char *s, const char *filename, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 78 | grammar *g, int start, |
| 79 | perrdetail *err_ret, int flags) |
Thomas Heller | 6b17abf | 2002-07-09 09:23:27 +0000 | [diff] [blame] | 80 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 81 | int iflags = flags; |
| 82 | return PyParser_ParseStringFlagsFilenameEx(s, filename, g, start, |
| 83 | err_ret, &iflags); |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 84 | } |
| 85 | |
| 86 | node * |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 87 | PyParser_ParseStringObject(const char *s, PyObject *filename, |
| 88 | grammar *g, int start, |
| 89 | perrdetail *err_ret, int *flags) |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 90 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 91 | struct tok_state *tok; |
| 92 | int exec_input = start == file_input; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 93 | |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 94 | if (initerr(err_ret, filename) < 0) |
| 95 | return NULL; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 96 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 97 | if (*flags & PyPARSE_IGNORE_COOKIE) |
| 98 | tok = PyTokenizer_FromUTF8(s, exec_input); |
| 99 | else |
| 100 | tok = PyTokenizer_FromString(s, exec_input); |
| 101 | if (tok == NULL) { |
| 102 | err_ret->error = PyErr_Occurred() ? E_DECODE : E_NOMEM; |
| 103 | return NULL; |
| 104 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 105 | if (*flags & PyPARSE_TYPE_COMMENTS) { |
| 106 | tok->type_comments = 1; |
| 107 | } |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 108 | |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 109 | Py_INCREF(err_ret->filename); |
| 110 | tok->filename = err_ret->filename; |
Guido van Rossum | 495da29 | 2019-03-07 12:38:08 -0800 | [diff] [blame] | 111 | if (*flags & PyPARSE_ASYNC_HACKS) |
| 112 | tok->async_hacks = 1; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 113 | return parsetok(tok, g, start, err_ret, flags); |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 114 | } |
| 115 | |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 116 | node * |
| 117 | PyParser_ParseStringFlagsFilenameEx(const char *s, const char *filename_str, |
| 118 | grammar *g, int start, |
| 119 | perrdetail *err_ret, int *flags) |
| 120 | { |
| 121 | node *n; |
| 122 | PyObject *filename = NULL; |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 123 | if (filename_str != NULL) { |
| 124 | filename = PyUnicode_DecodeFSDefault(filename_str); |
| 125 | if (filename == NULL) { |
| 126 | err_ret->error = E_ERROR; |
| 127 | return NULL; |
| 128 | } |
| 129 | } |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 130 | n = PyParser_ParseStringObject(s, filename, g, start, err_ret, flags); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 131 | Py_XDECREF(filename); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 132 | return n; |
| 133 | } |
| 134 | |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 135 | /* Parse input coming from a file. Return error code, print some errors. */ |
| 136 | |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 137 | node * |
Martin v. Löwis | 95292d6 | 2002-12-11 14:04:59 +0000 | [diff] [blame] | 138 | PyParser_ParseFile(FILE *fp, const char *filename, grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 139 | const char *ps1, const char *ps2, |
| 140 | perrdetail *err_ret) |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 141 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 142 | return PyParser_ParseFileFlags(fp, filename, NULL, |
| 143 | g, start, ps1, ps2, err_ret, 0); |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 144 | } |
| 145 | |
| 146 | node * |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 147 | PyParser_ParseFileFlags(FILE *fp, const char *filename, const char *enc, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 148 | grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 149 | const char *ps1, const char *ps2, |
| 150 | perrdetail *err_ret, int flags) |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 151 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 152 | int iflags = flags; |
| 153 | return PyParser_ParseFileFlagsEx(fp, filename, enc, g, start, ps1, |
| 154 | ps2, err_ret, &iflags); |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 155 | } |
| 156 | |
| 157 | node * |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 158 | PyParser_ParseFileObject(FILE *fp, PyObject *filename, |
| 159 | const char *enc, grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 160 | const char *ps1, const char *ps2, |
| 161 | perrdetail *err_ret, int *flags) |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 162 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 163 | struct tok_state *tok; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 164 | |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 165 | if (initerr(err_ret, filename) < 0) |
| 166 | return NULL; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 167 | |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 168 | if ((tok = PyTokenizer_FromFile(fp, enc, ps1, ps2)) == NULL) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 169 | err_ret->error = E_NOMEM; |
| 170 | return NULL; |
| 171 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 172 | if (*flags & PyPARSE_TYPE_COMMENTS) { |
| 173 | tok->type_comments = 1; |
| 174 | } |
Victor Stinner | 7f2fee3 | 2011-04-05 00:39:01 +0200 | [diff] [blame] | 175 | Py_INCREF(err_ret->filename); |
| 176 | tok->filename = err_ret->filename; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 177 | return parsetok(tok, g, start, err_ret, flags); |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 178 | } |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 179 | |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 180 | node * |
| 181 | PyParser_ParseFileFlagsEx(FILE *fp, const char *filename, |
| 182 | const char *enc, grammar *g, int start, |
Serhiy Storchaka | c679227 | 2013-10-19 21:03:34 +0300 | [diff] [blame] | 183 | const char *ps1, const char *ps2, |
| 184 | perrdetail *err_ret, int *flags) |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 185 | { |
| 186 | node *n; |
| 187 | PyObject *fileobj = NULL; |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 188 | if (filename != NULL) { |
| 189 | fileobj = PyUnicode_DecodeFSDefault(filename); |
| 190 | if (fileobj == NULL) { |
| 191 | err_ret->error = E_ERROR; |
| 192 | return NULL; |
| 193 | } |
| 194 | } |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 195 | n = PyParser_ParseFileObject(fp, fileobj, enc, g, |
| 196 | start, ps1, ps2, err_ret, flags); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 197 | Py_XDECREF(fileobj); |
Victor Stinner | 14e461d | 2013-08-26 22:28:21 +0200 | [diff] [blame] | 198 | return n; |
| 199 | } |
| 200 | |
Neal Norwitz | e4993c7 | 2006-03-16 06:01:25 +0000 | [diff] [blame] | 201 | #ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Brett Cannon | e3944a5 | 2009-04-01 05:08:41 +0000 | [diff] [blame] | 202 | #if 0 |
Serhiy Storchaka | 2d06e84 | 2015-12-25 19:53:18 +0200 | [diff] [blame] | 203 | static const char with_msg[] = |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 204 | "%s:%d: Warning: 'with' will become a reserved keyword in Python 2.6\n"; |
| 205 | |
Serhiy Storchaka | 2d06e84 | 2015-12-25 19:53:18 +0200 | [diff] [blame] | 206 | static const char as_msg[] = |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 207 | "%s:%d: Warning: 'as' will become a reserved keyword in Python 2.6\n"; |
| 208 | |
| 209 | static void |
| 210 | warn(const char *msg, const char *filename, int lineno) |
| 211 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 212 | if (filename == NULL) |
| 213 | filename = "<string>"; |
| 214 | PySys_WriteStderr(msg, filename, lineno); |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 215 | } |
Neal Norwitz | fc85c92 | 2006-03-17 05:44:46 +0000 | [diff] [blame] | 216 | #endif |
Brett Cannon | e3944a5 | 2009-04-01 05:08:41 +0000 | [diff] [blame] | 217 | #endif |
Guido van Rossum | da62ecc | 2001-07-17 16:53:11 +0000 | [diff] [blame] | 218 | |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 219 | /* Parse input coming from the given tokenizer structure. |
| 220 | Return error code. */ |
| 221 | |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 222 | static node * |
Tim Peters | fe2127d | 2001-07-16 05:37:24 +0000 | [diff] [blame] | 223 | parsetok(struct tok_state *tok, grammar *g, int start, perrdetail *err_ret, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 224 | int *flags) |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 225 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 226 | parser_state *ps; |
| 227 | node *n; |
Brett Cannon | b94767f | 2011-02-22 20:15:44 +0000 | [diff] [blame] | 228 | int started = 0; |
Ivan Levkivskyi | 9932a22 | 2019-01-22 11:18:22 +0000 | [diff] [blame] | 229 | int col_offset, end_col_offset; |
Michael J. Sullivan | 933e150 | 2019-05-22 07:54:20 -0700 | [diff] [blame^] | 230 | growable_comment_array type_ignores; |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 231 | |
Michael J. Sullivan | 933e150 | 2019-05-22 07:54:20 -0700 | [diff] [blame^] | 232 | if (!growable_comment_array_init(&type_ignores, 10)) { |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 233 | err_ret->error = E_NOMEM; |
| 234 | PyTokenizer_Free(tok); |
| 235 | return NULL; |
| 236 | } |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 237 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 238 | if ((ps = PyParser_New(g, start)) == NULL) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 239 | err_ret->error = E_NOMEM; |
| 240 | PyTokenizer_Free(tok); |
| 241 | return NULL; |
| 242 | } |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 243 | #ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 244 | if (*flags & PyPARSE_BARRY_AS_BDFL) |
| 245 | ps->p_flags |= CO_FUTURE_BARRY_AS_BDFL; |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 246 | if (*flags & PyPARSE_TYPE_COMMENTS) |
| 247 | ps->p_flags |= PyCF_TYPE_COMMENTS; |
Neil Schemenauer | c24ea08 | 2002-03-22 23:53:36 +0000 | [diff] [blame] | 248 | #endif |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 249 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 250 | for (;;) { |
| 251 | char *a, *b; |
| 252 | int type; |
| 253 | size_t len; |
| 254 | char *str; |
Ammar Askar | 025eb98 | 2018-09-24 17:12:49 -0400 | [diff] [blame] | 255 | col_offset = -1; |
Anthony Sottile | 995d9b9 | 2019-01-12 20:05:13 -0800 | [diff] [blame] | 256 | int lineno; |
| 257 | const char *line_start; |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 258 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 259 | type = PyTokenizer_Get(tok, &a, &b); |
| 260 | if (type == ERRORTOKEN) { |
| 261 | err_ret->error = tok->done; |
| 262 | break; |
| 263 | } |
| 264 | if (type == ENDMARKER && started) { |
| 265 | type = NEWLINE; /* Add an extra newline */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 266 | started = 0; |
| 267 | /* Add the right number of dedent tokens, |
| 268 | except if a certain flag is given -- |
| 269 | codeop.py uses this. */ |
| 270 | if (tok->indent && |
| 271 | !(*flags & PyPARSE_DONT_IMPLY_DEDENT)) |
| 272 | { |
| 273 | tok->pendin = -tok->indent; |
| 274 | tok->indent = 0; |
| 275 | } |
| 276 | } |
| 277 | else |
| 278 | started = 1; |
Zackery Spytz | 7c4ab2a | 2018-08-15 00:27:26 -0600 | [diff] [blame] | 279 | len = (a != NULL && b != NULL) ? b - a : 0; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 280 | str = (char *) PyObject_MALLOC(len + 1); |
| 281 | if (str == NULL) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 282 | err_ret->error = E_NOMEM; |
| 283 | break; |
| 284 | } |
| 285 | if (len > 0) |
| 286 | strncpy(str, a, len); |
| 287 | str[len] = '\0'; |
Guido van Rossum | da62ecc | 2001-07-17 16:53:11 +0000 | [diff] [blame] | 288 | |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 289 | #ifdef PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 290 | if (type == NOTEQUAL) { |
| 291 | if (!(ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) && |
| 292 | strcmp(str, "!=")) { |
Antoine Pitrou | 9ec2593 | 2011-11-13 01:01:23 +0100 | [diff] [blame] | 293 | PyObject_FREE(str); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 294 | err_ret->error = E_SYNTAX; |
| 295 | break; |
| 296 | } |
| 297 | else if ((ps->p_flags & CO_FUTURE_BARRY_AS_BDFL) && |
| 298 | strcmp(str, "<>")) { |
Antoine Pitrou | 9ec2593 | 2011-11-13 01:01:23 +0100 | [diff] [blame] | 299 | PyObject_FREE(str); |
Serhiy Storchaka | aba24ff | 2018-07-23 23:41:11 +0300 | [diff] [blame] | 300 | err_ret->expected = NOTEQUAL; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 301 | err_ret->error = E_SYNTAX; |
| 302 | break; |
| 303 | } |
| 304 | } |
Neil Schemenauer | c24ea08 | 2002-03-22 23:53:36 +0000 | [diff] [blame] | 305 | #endif |
Anthony Sottile | 995d9b9 | 2019-01-12 20:05:13 -0800 | [diff] [blame] | 306 | |
| 307 | /* Nodes of type STRING, especially multi line strings |
| 308 | must be handled differently in order to get both |
| 309 | the starting line number and the column offset right. |
| 310 | (cf. issue 16806) */ |
| 311 | lineno = type == STRING ? tok->first_lineno : tok->lineno; |
| 312 | line_start = type == STRING ? tok->multi_line_start : tok->line_start; |
| 313 | if (a != NULL && a >= line_start) { |
| 314 | col_offset = Py_SAFE_DOWNCAST(a - line_start, |
Benjamin Peterson | ca47063 | 2016-09-06 13:47:26 -0700 | [diff] [blame] | 315 | intptr_t, int); |
Zackery Spytz | 3e26e42 | 2018-08-20 21:11:40 -0600 | [diff] [blame] | 316 | } |
| 317 | else { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 318 | col_offset = -1; |
Zackery Spytz | 3e26e42 | 2018-08-20 21:11:40 -0600 | [diff] [blame] | 319 | } |
Guido van Rossum | bd0389d | 1994-08-29 12:25:45 +0000 | [diff] [blame] | 320 | |
Ivan Levkivskyi | 9932a22 | 2019-01-22 11:18:22 +0000 | [diff] [blame] | 321 | if (b != NULL && b >= tok->line_start) { |
| 322 | end_col_offset = Py_SAFE_DOWNCAST(b - tok->line_start, |
| 323 | intptr_t, int); |
| 324 | } |
| 325 | else { |
| 326 | end_col_offset = -1; |
| 327 | } |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 328 | |
| 329 | if (type == TYPE_IGNORE) { |
Michael J. Sullivan | 933e150 | 2019-05-22 07:54:20 -0700 | [diff] [blame^] | 330 | if (!growable_comment_array_add(&type_ignores, tok->lineno, str)) { |
Guido van Rossum | dcfcd14 | 2019-01-31 03:40:27 -0800 | [diff] [blame] | 331 | err_ret->error = E_NOMEM; |
| 332 | break; |
| 333 | } |
| 334 | continue; |
| 335 | } |
| 336 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 337 | if ((err_ret->error = |
| 338 | PyParser_AddToken(ps, (int)type, str, |
Ivan Levkivskyi | 9932a22 | 2019-01-22 11:18:22 +0000 | [diff] [blame] | 339 | lineno, col_offset, tok->lineno, end_col_offset, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 340 | &(err_ret->expected))) != E_OK) { |
| 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) { |
Meador Inge | fa21bf0 | 2012-01-19 01:08:41 -0600 | [diff] [blame] | 382 | char *cur = tok->cur; |
| 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 | } |