Python ESSA: Remove method-callsite definitions when call is in a test defining a pi-node.

2026-05-05 13:45:19 +02:00 · 2019-06-06 12:52:27 +01:00
parent f7620aec37
commit 0f0dc81291
15 changed files with 75 additions and 1 deletions
--- a/python/ql/test/library-tests/PointsTo/new/code/b_condition.py
+++ b/python/ql/test/library-tests/PointsTo/new/code/b_condition.py
@@ -106,3 +106,10 @@ def not_or_not(*a):
        raise Exception()
    "Hello"

+def method_check(x):
+    if x.m():
+        use(x)
+    else:
+        use(x)
+
+