Merge pull request #7518 from tausbn/python-extend-unreachable-statement-test

RasmusWL · web-flow · commit 3e1dcc3d11e4 · 2022-01-06T14:07:29.000+01:00
Python: Extend unreachable statement test
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
