py/runtime: Fix crash in star arg unpacking.

The reallocation trigger for unpacking star args with unknown length
did not take into account the number of fixed args remaining. So it was
possible that the unpacked iterators could take up exactly the memory
allocated then nothing would be left for fixed args after the star args.
This causes a segfault crash.

This is fixed by taking into account the remaining number of fixed args
in the check to decide whether to realloc yet or not.

Signed-off-by: David Lechner <david@pybricks.com>
This commit is contained in:
David Lechner 2022-08-05 18:52:13 -05:00
parent 9dfabcd6d3
commit 6baeded322
2 changed files with 5 additions and 1 deletions

View File

@ -814,7 +814,7 @@ void mp_call_prepare_args_n_kw_var(bool have_self, size_t n_args_n_kw, const mp_
mp_obj_t iterable = mp_getiter(arg, &iter_buf); mp_obj_t iterable = mp_getiter(arg, &iter_buf);
mp_obj_t item; mp_obj_t item;
while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) { while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
if (args2_len >= args2_alloc) { if (args2_len + (n_args - i) >= args2_alloc) {
args2 = mp_nonlocal_realloc(args2, args2_alloc * sizeof(mp_obj_t), args2 = mp_nonlocal_realloc(args2, args2_alloc * sizeof(mp_obj_t),
args2_alloc * 2 * sizeof(mp_obj_t)); args2_alloc * 2 * sizeof(mp_obj_t));
args2_alloc *= 2; args2_alloc *= 2;

View File

@ -37,3 +37,7 @@ f2(*iter(range(4)), **{'a': 1})
# case where *args is not a tuple/list and takes up most of the memory allocated for **kwargs # case where *args is not a tuple/list and takes up most of the memory allocated for **kwargs
f2(*iter(range(100)), **{str(i): i for i in range(100)}) f2(*iter(range(100)), **{str(i): i for i in range(100)})
# regression test - iterable with unknown len() was exactly using preallocated
# memory causing args 4 and 5 to overflow the allocated arg array
print(1, *iter((1, 2, 3)), *iter((1, 2, 3)), 4, 5, sep=",")