return early if expression is None

crytic · May 26, 2022 · e298b85 · e298b85
1 parent 8ac32a7
commit e298b85
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/slither/utils/expression_manipulations.py b/slither/utils/expression_manipulations.py
@@ -74,6 +74,11 @@ def apply_copy(
     def copy_expression(
         self, expression: Expression, true_expression: Expression, false_expression: Expression
     ) -> None:
+        # case of unused
+        # (, var) = func()
+        if not expression:
+            return
+
         if self.condition:
             return