Python: Extend unreachable statement test

tausbn · web-flow · commit 5d4db3af15e8 · 2022-01-05T16:45:38.000Z
Adds a test demostrating the false positive observed by andersfugmann.

Note that this does not change the `.expected` file, and so the tests
will fail. This is expected.
diff --git a/python/ql/test/query-tests/Statements/unreachable/global.py b/python/ql/test/query-tests/Statements/unreachable/global.py
@@ -0,0 +1,10 @@
+# FP involving global variables modified in a different scope
+
+i = 0
+def update_i():
+    global i
+    i = i + 1
+
+update_i()
+if i > 0:
+    print("i is greater than 0") # FP: This is reachable
