fix corner case in `unused` (#4134)

fixes #4133

diff --git a/lib/compress.js b/lib/compress.js
index 1f86c5b..2df76f5 100644 (file)
--- a/lib/compress.js
+++ b/lib/compress.js
@@ -2906,9 +2906,12 @@ merge(Compressor.prototype, {
             var fixed = this.fixed_value();
             if (!fixed) return true;
             this._dot_throw = return_true;
-            var result = fixed._dot_throw(compressor);
-            delete this._dot_throw;
-            return result;
+            if (fixed._dot_throw(compressor)) {
+                delete this._dot_throw;
+                return true;
+            }
+            this._dot_throw = return_false;
+            return false;
         });
         def(AST_UnaryPrefix, function() {
             return this.operator == "void";

diff --git a/test/compress/drop-unused.js b/test/compress/drop-unused.js
index 46f273e..eadf279 100644 (file)
--- a/test/compress/drop-unused.js
+++ b/test/compress/drop-unused.js
@@ -2924,3 +2924,24 @@ forin_var_2: {
     }
     expect_stdout: "undefined"
 }
+
+issue_4133: {
+    options = {
+        evaluate: true,
+        merge_vars: true,
+        pure_getters: "strict",
+        reduce_vars: true,
+        toplevel: true,
+        unused: true,
+    }
+    input: {
+        var a = 1;
+        var b = [ a-- ], c = b && b[c];
+        console.log(a);
+    }
+    expect: {
+        var b = 1;
+        console.log(0);
+    }
+    expect_stdout: "0"
+}