Fix pylint-dev#5500: Fix false-positive used-before-assignment for assignments in except blocks following try blocks that return

Author: jacobtylerwalls

ChangeLog

@@ -16,6 +16,12 @@ Release date: TBA
 
   Closes #4761
 
+* When evaluating statements after an except block, ``used-before-assignment``
+  assumes that assignments in the except blocks took place if the
+  corresponding try block contained a return statement.
+
+  Closes #5500
+
 * ``used-before-assignment`` now checks names in try blocks.
 
 * Some files in ``pylint.testutils`` were deprecated. In the future imports should be done from the

doc/whatsnew/2.13.rst

@@ -36,6 +36,12 @@ Other Changes
 
   Closes #4761
 
+* When evaluating statements after an except block, ``used-before-assignment``
+  assumes that assignments in the except blocks took place if the
+  corresponding try block contained a return statement.
+
+  Closes #5500
+
 * ``used-before-assignment`` now checks names in try blocks.
 
 * Require Python ``3.6.2`` to run pylint.

pylint/checkers/variables.py

@@ -654,6 +654,12 @@ def get_next_to_consume(self, node):
                     and isinstance(
                         n.statement(future=True).parent.parent, nodes.TryExcept
                     )
+                    # If the try block returns we assume that assignments in the except
+                    # handlers could have happened.
+                    and not any(
+                        isinstance(try_statement, nodes.Return)
+                        for try_statement in n.statement(future=True).parent.parent.body
+                    )
                 )
                 or n.statement(future=True).parent.parent_of(node)
             ]

tests/functional/u/use/used_before_assignment_issue5500.py

@@ -0,0 +1,9 @@
+"""used-before-assignment (E0601)"""
+def function():
+    """Assume except blocks execute if the try block returns."""
+    try:
+        return "success message"
+    except ValueError:
+        failure_message = "failure message"
+
+    return failure_message