refleak on SyntaxError in function parameter annotation

[1st1]

BPO	24687
Nosy	@ncoghlan, @benjaminp, @1st1
Files	compile.patch compile2.patch

^{Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.}

Show more details

GitHub fields:

assignee = None
closed_at = <Date 2015-07-23.06:15:17.562>
created_at = <Date 2015-07-22.22:09:17.595>
labels = ['interpreter-core']
title = 'refleak on SyntaxError in function parameter annotation'
updated_at = <Date 2015-07-23.06:15:17.562>
user = 'https://github.com/1st1'

bugs.python.org fields:

activity = <Date 2015-07-23.06:15:17.562>
actor = 'yselivanov'
assignee = 'none'
closed = True
closed_date = <Date 2015-07-23.06:15:17.562>
closer = 'yselivanov'
components = ['Interpreter Core']
creation = <Date 2015-07-22.22:09:17.595>
creator = 'yselivanov'
dependencies = []
files = ['39985', '39990']
hgrepos = []
issue_num = 24687
keywords = ['patch']
message_count = 6.0
messages = ['247153', '247164', '247171', '247172', '247173', '247174']
nosy_count = 4.0
nosy_names = ['ncoghlan', 'benjamin.peterson', 'python-dev', 'yselivanov']
pr_nums = []
priority = 'high'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = None
url = 'https://bugs.python.org/issue24687'
versions = ['Python 3.5', 'Python 3.6']

[1st1]

A simple way of reproducing the issue is to try to compile the following piece of code with refleaks check mode on:

   def foo(a:(yield)): pass

Since '(yield)' expression is outside of a function, it will trigger a SyntaxError.

There is a subtle bug in compile.c though, specifically in compiler_visit_argannotation method; it should return -1 in case of error, but the VISIT macro it uses returns 0 on errors.

Attached patch uses 'compiler_visit_expr' directly returning correct error code.

[benjaminp]

I would prefer that compiler_visit_argannotation[s] be fixed to use the normal calling convention.

[1st1]

I would prefer that compiler_visit_argannotation[s] be fixed to use the normal calling convention.

Agree, new patch attached.

[benjaminp]

Seems fine to me.

[python-dev]

New changeset b5a7f529b4ac by Yury Selivanov in branch '3.5':
Issue bpo-24687: Plug refleak on SyntaxError in function parameters annotations.
https://hg.python.org/cpython/rev/b5a7f529b4ac

New changeset cf91ae981afd by Yury Selivanov in branch 'default':
Merge 3.5 (Issue bpo-24687)
https://hg.python.org/cpython/rev/cf91ae981afd

[1st1]

Thanks, Benjamin!