Emit `used-before-assignment` for variables only defined under always false tests (#6677)

2 files changed, 3 insertions, 1 deletions

diff --git a/tests/functional/s/simplifiable/simplifiable_if_statement.py b/tests/functional/s/simplifiable/simplifiable_if_statement.py
index 4d4c8b5d4..59251bd04 100644
--- a/tests/functional/s/simplifiable/simplifiable_if_statement.py
+++ b/tests/functional/s/simplifiable/simplifiable_if_statement.py
@@ -29,6 +29,7 @@ def test_simplifiable_3(arg, arg2):
 

 

 def test_simplifiable_4(arg):

+    var = False

     if arg:

         var = True

     else:

@@ -89,6 +90,7 @@ def test_not_simplifiable_4(arg):
 

 def test_not_simplifiable_5(arg):

     # Different actions in each branch

+    var = 43

     if arg == "any":

         return True

     else:

diff --git a/tests/functional/s/simplifiable/simplifiable_if_statement.txt b/tests/functional/s/simplifiable/simplifiable_if_statement.txt
index d36768ddd..e0a82ef6a 100644
--- a/tests/functional/s/simplifiable/simplifiable_if_statement.txt
+++ b/tests/functional/s/simplifiable/simplifiable_if_statement.txt
@@ -1,4 +1,4 @@
 simplifiable-if-statement:8:4:11:20:test_simplifiable_1:The if statement can be replaced with 'return bool(test)':UNDEFINED
 simplifiable-if-statement:16:4:19:20:test_simplifiable_2:The if statement can be replaced with 'return bool(test)':UNDEFINED
 simplifiable-if-statement:24:4:27:19:test_simplifiable_3:The if statement can be replaced with 'var = bool(test)':UNDEFINED
-simplifiable-if-statement:35:8:38:24:test_simplifiable_4:The if statement can be replaced with 'return bool(test)':UNDEFINED
+simplifiable-if-statement:36:8:39:24:test_simplifiable_4:The if statement can be replaced with 'return bool(test)':UNDEFINED