Python: test for split lambda

yoff · yoff · commit 4526a1dd2ff1 · 2021-01-26T21:17:59.000+01:00
diff --git a/python/ql/test/experimental/dataflow/consistency/dataflow-consistency.expected b/python/ql/test/experimental/dataflow/consistency/dataflow-consistency.expected
@@ -1,11 +1,16 @@
 uniqueEnclosingCallable
+| test.py:256:18:256:18 | ControlFlowNode for x | Node should have one enclosing callable but has 2. |
+| test.py:256:18:256:18 | SSA variable x | Node should have one enclosing callable but has 2. |
+| test.py:256:21:256:25 | ControlFlowNode for False | Node should have one enclosing callable but has 2. |
 uniqueType
 uniqueNodeLocation
 missingLocation
 uniqueNodeToString
 missingToString
 parameterCallable
+| test.py:256:18:256:18 | ControlFlowNode for x | Callable mismatch for parameter. |
 localFlowIsLocal
+| test.py:256:18:256:18 | ControlFlowNode for x | test.py:256:18:256:18 | SSA variable x | Local flow step does not preserve enclosing callable. |
 compatibleTypesReflexive
 unreachableNodeCCtx
 localCallNodes
diff --git a/python/ql/test/experimental/dataflow/consistency/test.py b/python/ql/test/experimental/dataflow/consistency/test.py
@@ -249,3 +249,10 @@ def synth_arg_kwOverflow():
 
 def synth_arg_kwUnpacked():
     overflowCallee(**{"p": "42"})
+
+def split_lambda(cond):
+    if cond:
+        pass
+    foo = lambda x: False
+    if cond:
+        pass
