From e2396506606115e785c94ec129eb86e2ed0aa744 Mon Sep 17 00:00:00 2001 From: Zsolt Dollenstein Date: Fri, 27 Apr 2018 08:58:56 -0700 Subject: [PATCH] bpo-33363: raise SyntaxError for async for/with outside async functions (#6616) --- Lib/test/test_coroutines.py | 17 ++++++++++++++++- .../2018-04-26-22-48-28.bpo-33363.8RCnN2.rst | 2 ++ Python/compile.c | 7 +++++++ 3 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 Misc/NEWS.d/next/Core and Builtins/2018-04-26-22-48-28.bpo-33363.8RCnN2.rst diff --git a/Lib/test/test_coroutines.py b/Lib/test/test_coroutines.py index 10f7cca5047..47753e2ef03 100644 --- a/Lib/test/test_coroutines.py +++ b/Lib/test/test_coroutines.py @@ -362,7 +362,22 @@ class AsyncBadSyntaxTest(unittest.TestCase): """def foo(): async def bar(): pass\nawait a - """] + """, + """def foo(): + async for i in arange(2): + pass + """, + """def foo(): + async with resource: + pass + """, + """async with resource: + pass + """, + """async for i in arange(2): + pass + """, + ] for code in samples: with self.subTest(code=code), self.assertRaises(SyntaxError): diff --git a/Misc/NEWS.d/next/Core and Builtins/2018-04-26-22-48-28.bpo-33363.8RCnN2.rst b/Misc/NEWS.d/next/Core and Builtins/2018-04-26-22-48-28.bpo-33363.8RCnN2.rst new file mode 100644 index 00000000000..ad8d2489534 --- /dev/null +++ b/Misc/NEWS.d/next/Core and Builtins/2018-04-26-22-48-28.bpo-33363.8RCnN2.rst @@ -0,0 +1,2 @@ +Raise a SyntaxError for ``async with`` and ``async for`` statements outside +of async functions. diff --git a/Python/compile.c b/Python/compile.c index cc0988f68e2..7960f09319e 100644 --- a/Python/compile.c +++ b/Python/compile.c @@ -2447,6 +2447,10 @@ static int compiler_async_for(struct compiler *c, stmt_ty s) { basicblock *start, *except, *end; + if (c->u->u_scope_type != COMPILER_SCOPE_ASYNC_FUNCTION) { + return compiler_error(c, "'async for' outside async function"); + } + start = compiler_new_block(c); except = compiler_new_block(c); end = compiler_new_block(c); @@ -4262,6 +4266,9 @@ compiler_async_with(struct compiler *c, stmt_ty s, int pos) withitem_ty item = asdl_seq_GET(s->v.AsyncWith.items, pos); assert(s->kind == AsyncWith_kind); + if (c->u->u_scope_type != COMPILER_SCOPE_ASYNC_FUNCTION) { + return compiler_error(c, "'async with' outside async function"); + } block = compiler_new_block(c); finally = compiler_new_block(c);