From 045a6c3cb5704c2c2decb0175a0ee9c9026696c4 Mon Sep 17 00:00:00 2001
From: Rasmus Wriedt Larsen <rasmuswl@github.com>
Date: Tue, 20 Oct 2020 12:20:35 +0200
Subject: [PATCH] Python: Add test for tricky module member for type-tracking

Local testing shows that the `getDefinition` result for this is a `SSA filter definition`,
and not an `AssignmentDefinition`.
---
 python/ql/test/experimental/dataflow/typetracking/mymodule.py  | 3 +++
 python/ql/test/experimental/dataflow/typetracking/test.py      | 1 +
 .../test/experimental/dataflow/typetracking/tracked.expected   | 1 +
 3 files changed, 5 insertions(+)

diff --git a/python/ql/test/experimental/dataflow/typetracking/mymodule.py b/python/ql/test/experimental/dataflow/typetracking/mymodule.py
index ed4ca954c43..86bd891efd7 100644
--- a/python/ql/test/experimental/dataflow/typetracking/mymodule.py
+++ b/python/ql/test/experimental/dataflow/typetracking/mymodule.py
@@ -2,3 +2,6 @@ x = tracked # $tracked
 
 def func():
     return tracked # $tracked
+
+z = tracked # $tracked
+some_func(z) # $tracked
diff --git a/python/ql/test/experimental/dataflow/typetracking/test.py b/python/ql/test/experimental/dataflow/typetracking/test.py
index 33e38b4af32..6fbf4cfabb1 100644
--- a/python/ql/test/experimental/dataflow/typetracking/test.py
+++ b/python/ql/test/experimental/dataflow/typetracking/test.py
@@ -54,6 +54,7 @@ def test_import():
     mymodule.x # $tracked
     y = mymodule.func() # $tracked
     y # $tracked
+    mymodule.z # $tracked
 
 # ------------------------------------------------------------------------------
 
diff --git a/python/ql/test/experimental/dataflow/typetracking/tracked.expected b/python/ql/test/experimental/dataflow/typetracking/tracked.expected
index e69de29bb2d..02a294bdd74 100644
--- a/python/ql/test/experimental/dataflow/typetracking/tracked.expected
+++ b/python/ql/test/experimental/dataflow/typetracking/tracked.expected
@@ -0,0 +1 @@
+| test.py:57:16:57:25 | Comment # $tracked | Missing result:tracked= |