From c5df8355ba00fdf5ffa81192e0d88cf0dca90061 Mon Sep 17 00:00:00 2001
From: "Alex Lam S.L" <alexlamsl@gmail.com>
Date: Sat, 24 Oct 2020 06:33:48 +0100
Subject: [PATCH] fix corner case in `loops` & `unused` (#4241)

fixes #4240
---
 lib/compress.js        |  2 +-
 test/compress/loops.js | 32 ++++++++++++++++++++++++++++++++
 2 files changed, 33 insertions(+), 1 deletion(-)

diff --git a/lib/compress.js b/lib/compress.js
index c6e27e06..216ca92a 100644
--- a/lib/compress.js
+++ b/lib/compress.js
@@ -5182,7 +5182,7 @@ merge(Compressor.prototype, {
                 var def = sym.definition();
                 if (!def) return;
                 if (def.id in in_use_ids) return;
-                if (def.scope !== self && member(def, self.enclosed)) return;
+                if (def.scope !== self && self.find_variable(sym) === def) return;
                 log(sym, "Dropping unused loop variable {name}");
                 if (for_ins[def.id] === node) delete for_ins[def.id];
                 var body = [];
diff --git a/test/compress/loops.js b/test/compress/loops.js
index cfabe6fd..69150820 100644
--- a/test/compress/loops.js
+++ b/test/compress/loops.js
@@ -1222,3 +1222,35 @@ do_continue: {
     }
     expect_stdout: "PASS"
 }
+
+issue_4240: {
+    options = {
+        loops: true,
+        reduce_funcs: true,
+        reduce_vars: true,
+        unused: true,
+    }
+    input: {
+        (function(a) {
+            function f() {
+                var o = { PASS: 42 };
+                for (a in o);
+            }
+            (function() {
+                if (f());
+            })();
+            console.log(a);
+        })();
+    }
+    expect: {
+        (function(a) {
+            (function() {
+                if (function() {
+                    for (a in { PASS: 42 });
+                }());
+            })();
+            console.log(a);
+        })();
+    }
+    expect_stdout: "PASS"
+}
-- 
2.34.1