Python: Add test for inner return

2026-04-30 11:15:13 +02:00 · 2020-11-25 07:05:26 +01:00
parent 34896ae0d7
commit 36d9097d03
1 changed files with 9 additions and 0 deletions
--- a/python/ql/test/experimental/dataflow/coverage/test.py
+++ b/python/ql/test/experimental/dataflow/coverage/test.py
@@ -580,3 +580,12 @@ def test_dynamic_tuple_creation_4():

    SINK(tup[0])  # Flow missing
    SINK_F(tup[1])
+
+def return_from_inner_scope(x):
+    try:
+        return x[0]
+    except IndexError:
+        return SOURCE
+
+def test_return_from_inner_scope():
+    SINK(return_from_inner_scope([]))