Merge pull request #2631 from crytic/dev-fix-analysis

Fix are_variables_written analysis for named return variables
crytic · Jan 17, 2025 · e50dd34 · e50dd34
2 parents cbb9a5c + 5ce67b7
commit e50dd34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/slither/analyses/write/are_variables_written.py b/slither/analyses/write/are_variables_written.py
@@ -86,7 +86,7 @@ def _visit(
             lvalue = refs_lvalues
 
     ret: List[Variable] = []
-    if not node.sons and node.type not in [NodeType.THROW, NodeType.RETURN]:
+    if not node.sons and node.type is not NodeType.THROW:
         ret += [v for v in variables_to_write if v not in variables_written]
 
     # Explore sons if