hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: test for split lambda

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-01-26 14:12:29 +01:00
parent 04a3c3d29c
commit 4526a1dd2f
2 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/test/experimental/dataflow/consistency/dataflow-consistency.expected
View File

@@ -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

7
python/ql/test/experimental/dataflow/consistency/test.py
View File

@@ -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