v3.13.10

fixes #5036

.github/workflows/ufuzz.yml

@@ -3,10 +3,13 @@ on:
   pull_request:
   schedule:
     - cron: '*/15 * * * *'
+  workflow_dispatch:
+  workflow_run:
+    branches: [ master ]
+    types: [ completed ]
+    workflows: [ 'Build testing', CI ]
 env:
   BASE_URL: https://api.github.com/repos/${{ github.repository }}
-  CAUSE: ${{ github.event_name }}
-  RUN_NUM: ${{ github.run_number }}
   TOKEN: ${{ github.token }}
 jobs:
   ufuzz:
@@ -34,8 +37,8 @@ jobs:
         shell: bash
         run: |
           . ./test/release/install.sh
-          if [[ $CAUSE == "schedule" ]]; then
-            node test/ufuzz/job $BASE_URL $TOKEN $RUN_NUM
-          else
+          if [[ $GITHUB_EVENT_NAME == "pull_request" ]]; then
             node test/ufuzz/job 5000
+          else
+            node test/ufuzz/job $BASE_URL $TOKEN $GITHUB_RUN_NUMBER
           fi

bin/uglifyjs

@@ -344,9 +344,9 @@ function run() {
                     var list = annotations[node.start.file];
                     var pure = list[node.start.pos];
                     if (!pure) {
-                        var pos = node.start.parens;
-                        if (pos) for (var i = 0; !pure && i < pos.length; i++) {
-                            pure = list[pos[i]];
+                        var tokens = node.start.parens;
+                        if (tokens) for (var i = 0; !pure && i < tokens.length; i++) {
+                            pure = list[tokens[i].pos];
                         }
                     }
                     if (pure) node.pure = pure;

lib/ast.js

@@ -56,35 +56,31 @@ function DEFNODE(type, props, methods, base) {
         code.push("this.", prop, "=props.", prop, ";");
     });
     code.push("}");
-    var proto = base && new base;
-    if (proto && proto.initialize || methods && methods.initialize) code.push("this.initialize();");
-    code.push("}");
+    var proto = Object.create(base && base.prototype);
+    if (methods.initialize || proto.initialize) code.push("this.initialize();");
+    code.push("};");
     var ctor = new Function(code.join(""))();
-    if (proto) {
-        ctor.prototype = proto;
-        ctor.BASE = base;
-    }
-    if (base) base.SUBCLASSES.push(ctor);
+    ctor.prototype = proto;
     ctor.prototype.CTOR = ctor;
-    ctor.PROPS = props || null;
-    ctor.SELF_PROPS = self_props;
-    ctor.SUBCLASSES = [];
-    if (type) {
-        ctor.prototype.TYPE = ctor.TYPE = type;
-    }
-    if (methods) for (var name in methods) if (HOP(methods, name)) {
-        if (/^\$/.test(name)) {
-            ctor[name.substr(1)] = methods[name];
-        } else {
-            ctor.prototype[name] = methods[name];
-        }
+    ctor.prototype.TYPE = ctor.TYPE = type;
+    if (base) {
+        ctor.BASE = base;
+        base.SUBCLASSES.push(ctor);
     }
     ctor.DEFMETHOD = function(name, method) {
         this.prototype[name] = method;
     };
-    if (typeof exports !== "undefined") {
-        exports["AST_" + type] = ctor;
+    ctor.PROPS = props;
+    ctor.SELF_PROPS = self_props;
+    ctor.SUBCLASSES = [];
+    for (var name in methods) if (HOP(methods, name)) {
+        if (/^\$/.test(name)) {
+            ctor[name.substr(1)] = methods[name];
+        } else {
+            ctor.DEFMETHOD(name, methods[name]);
+        }
     }
+    if (typeof exports !== "undefined") exports["AST_" + type] = ctor;
     return ctor;
 }
 

lib/minify.js

@@ -100,7 +100,7 @@ function minify(files, options) {
         if (options.keep_fnames) set_shorthand("keep_fnames", options, [ "compress", "mangle" ]);
         if (options.toplevel) set_shorthand("toplevel", options, [ "compress", "mangle" ]);
         if (options.v8) set_shorthand("v8", options, [ "mangle", "output" ]);
-        if (options.webkit) set_shorthand("webkit", options, [ "mangle", "output" ]);
+        if (options.webkit) set_shorthand("webkit", options, [ "compress", "mangle", "output" ]);
         var quoted_props;
         if (options.mangle) {
             options.mangle = defaults(options.mangle, {

lib/mozilla-ast.js

@@ -1134,58 +1134,54 @@
     }
 
     function map(moztype, mytype, propmap) {
-        var moz_to_me = "function From_Moz_" + moztype + "(M){\n";
-        moz_to_me += "return new U2." + mytype.name + "({\n" +
-            "start: my_start_token(M),\n" +
-            "end: my_end_token(M)";
-
-        var me_to_moz = "function To_Moz_" + moztype + "(M){\n";
-        me_to_moz += "return {\n" +
-            "type: " + JSON.stringify(moztype);
+        var moz_to_me = [
+            "start: my_start_token(M)",
+            "end: my_end_token(M)",
+        ];
+        var me_to_moz = [
+            "type: " + JSON.stringify(moztype),
+        ];
 
         if (propmap) propmap.split(/\s*,\s*/).forEach(function(prop) {
             var m = /([a-z0-9$_]+)(=|@|>|%)([a-z0-9$_]+)/i.exec(prop);
             if (!m) throw new Error("Can't understand property map: " + prop);
             var moz = m[1], how = m[2], my = m[3];
-            moz_to_me += ",\n" + my + ": ";
-            me_to_moz += ",\n" + moz + ": ";
             switch (how) {
               case "@":
-                moz_to_me += "M." + moz + ".map(from_moz)";
-                me_to_moz += "M." +  my + ".map(to_moz)";
+                moz_to_me.push(my + ": M." + moz + ".map(from_moz)");
+                me_to_moz.push(moz + ": M." +  my + ".map(to_moz)");
                 break;
               case ">":
-                moz_to_me += "from_moz(M." + moz + ")";
-                me_to_moz += "to_moz(M." + my + ")";
+                moz_to_me.push(my + ": from_moz(M." + moz + ")");
+                me_to_moz.push(moz + ": to_moz(M." + my + ")");
                 break;
               case "=":
-                moz_to_me += "M." + moz;
-                me_to_moz += "M." + my;
+                moz_to_me.push(my + ": M." + moz);
+                me_to_moz.push(moz + ": M." + my);
                 break;
               case "%":
-                moz_to_me += "from_moz(M." + moz + ").body";
-                me_to_moz += "to_moz_block(M)";
+                moz_to_me.push(my + ": from_moz(M." + moz + ").body");
+                me_to_moz.push(moz + ": to_moz_block(M)");
                 break;
               default:
                 throw new Error("Can't understand operator in propmap: " + prop);
             }
         });
 
-        moz_to_me += "\n})\n}";
-        me_to_moz += "\n}\n}";
-
-        //moz_to_me = parse(moz_to_me).print_to_string({ beautify: true });
-        //me_to_moz = parse(me_to_moz).print_to_string({ beautify: true });
-        //console.log(moz_to_me);
-
-        moz_to_me = new Function("U2", "my_start_token", "my_end_token", "from_moz", "return(" + moz_to_me + ")")(
-            exports, my_start_token, my_end_token, from_moz
-        );
-        me_to_moz = new Function("to_moz", "to_moz_block", "to_moz_scope", "return(" + me_to_moz + ")")(
-            to_moz, to_moz_block, to_moz_scope
-        );
-        MOZ_TO_ME[moztype] = moz_to_me;
-        def_to_moz(mytype, me_to_moz);
+        MOZ_TO_ME[moztype] = new Function("U2", "my_start_token", "my_end_token", "from_moz", [
+            "return function From_Moz_" + moztype + "(M) {",
+            "    return new U2.AST_" + mytype.TYPE + "({",
+            moz_to_me.join(",\n"),
+            "    });",
+            "};",
+        ].join("\n"))(exports, my_start_token, my_end_token, from_moz);
+        def_to_moz(mytype, new Function("to_moz", "to_moz_block", "to_moz_scope", [
+            "return function To_Moz_" + moztype + "(M) {",
+            "    return {",
+            me_to_moz.join(",\n"),
+            "    };",
+            "};",
+        ].join("\n"))(to_moz, to_moz_block, to_moz_scope));
     }
 
     var FROM_MOZ_STACK = null;

lib/parse.js

@@ -1334,21 +1334,19 @@ function parse($TEXT, options) {
         if (is("punc", "{")) {
             body = block_();
             value = null;
-            if (S.input.has_directive("use strict")) {
-                argnames.forEach(strict_verify_symbol);
-            }
         } else {
             body = [];
             handle_regexp();
             value = maybe_assign();
         }
+        var is_strict = S.input.has_directive("use strict");
         S.input.pop_directives_stack();
         --S.in_function;
         S.in_loop = loop;
         S.labels = labels;
         S.in_generator = was_gen;
         S.in_async = was_async;
-        return new (async ? AST_AsyncArrow : AST_Arrow)({
+        var node = new (async ? AST_AsyncArrow : AST_Arrow)({
             start: start,
             argnames: argnames,
             rest: rest,
@@ -1356,6 +1354,8 @@ function parse($TEXT, options) {
             value: value,
             end: prev(),
         });
+        if (is_strict) node.each_argname(strict_verify_symbol);
+        return node;
     }
 
     var function_ = function(ctor) {
@@ -1388,23 +1388,24 @@ function parse($TEXT, options) {
         S.in_loop = 0;
         S.labels = [];
         var body = block_();
-        if (S.input.has_directive("use strict")) {
-            if (name) strict_verify_symbol(name);
-            argnames.forEach(strict_verify_symbol);
-            if (argnames.rest) strict_verify_symbol(argnames.rest);
-        }
+        var is_strict = S.input.has_directive("use strict");
         S.input.pop_directives_stack();
         --S.in_function;
         S.in_loop = loop;
         S.labels = labels;
         S.in_generator = was_gen;
         S.in_async = was_async;
-        return new ctor({
+        var node = new ctor({
             name: name,
             argnames: argnames,
             rest: argnames.rest || null,
             body: body
         });
+        if (is_strict) {
+            if (name) strict_verify_symbol(name);
+            node.each_argname(strict_verify_symbol);
+        }
+        return node;
     };
 
     function if_() {

package.json

@@ -3,7 +3,7 @@
   "description": "JavaScript parser, mangler/compressor and beautifier toolkit",
   "author": "Mihai Bazon <mihai.bazon@gmail.com> (http://lisperator.net/)",
   "license": "BSD-2-Clause",
-  "version": "3.13.8",
+  "version": "3.13.10",
   "engines": {
     "node": ">=0.8.0"
   },

test/benchmark.js

@@ -16,7 +16,7 @@ var urls = [
     "https://code.angularjs.org/1.7.8/angular.js",
     "https://unpkg.com/mathjs@6.2.3/dist/math.js",
     "https://unpkg.com/react@15.3.2/dist/react.js",
-    "https://cdnjs.cloudflare.com/ajax/libs/d3/5.12.0/d3.js",
+    "https://cdnjs.cloudflare.com/ajax/libs/d3/6.7.0/d3.js",
     "https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.js",
     "https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.15/lodash.js",
     "https://cdnjs.cloudflare.com/ajax/libs/ember.js/2.12.2/ember.prod.js",

test/compress/annotations.js

@@ -256,6 +256,7 @@ issue_3858: {
         collapse_vars: true,
         inline: true,
         keep_fargs: false,
+        unsafe: true,
         unused: true,
     }
     input: {

test/compress/arguments.js

@@ -254,6 +254,25 @@ duplicate_argname: {
     expect_stdout: "bar 42 foo 42 bar"
 }
 
+fraction: {
+    options = {
+        arguments: true,
+        keep_fargs: false,
+        reduce_vars: true,
+    }
+    input: {
+        console.log(function() {
+            return arguments[0.3];
+        }("FAIL") || "PASS");
+    }
+    expect: {
+        console.log(function() {
+            return arguments[0.3];
+        }("FAIL") || "PASS");
+    }
+    expect_stdout: "PASS"
+}
+
 issue_3273: {
     options = {
         arguments: true,

test/compress/arrows.js

@@ -421,6 +421,7 @@ collapse_value: {
         arrows: true,
         collapse_vars: true,
         keep_fargs: false,
+        unsafe: true,
         unused: true,
     }
     input: {

test/compress/awaits.js

@@ -227,9 +227,7 @@ inline_await_1_trim: {
         console.log("PASS");
     }
     expect: {
-        (async function() {
-            await 0;
-        })();
+        void 0;
         console.log("PASS");
     }
     expect_stdout: "PASS"
@@ -334,7 +332,7 @@ inline_await_3_trim: {
     }
     expect: {
         (async function() {
-            return a = "PASS", b = console.log, await b(a);
+            return a = "PASS", b = console.log, b(a);
             var a, b;
         })();
     }
@@ -557,6 +555,51 @@ collapse_property_lambda: {
     node_version: ">=8"
 }
 
+drop_async_1: {
+    options = {
+        awaits: true,
+        inline: true,
+        side_effects: true,
+    }
+    input: {
+        console.log(function(a) {
+            (async function() {
+                a *= 7;
+            })();
+            return a;
+        }(6));
+    }
+    expect: {
+        console.log(function(a) {
+            void (a *= 7);
+            return a;
+        }(6));
+    }
+    expect_stdout: "42"
+    node_version: ">=8"
+}
+
+drop_async_2: {
+    options = {
+        awaits: true,
+        collapse_vars: true,
+        evaluate: true,
+        inline: true,
+        side_effects: true,
+    }
+    input: {
+        console.log(function(a) {
+            (async b => await (a *= b))(7);
+            return a;
+        }(6));
+    }
+    expect: {
+        console.log(42);
+    }
+    expect_stdout: "42"
+    node_version: ">=8"
+}
+
 drop_return: {
     options = {
         side_effects: true,
@@ -1531,3 +1574,452 @@ issue_4764_3: {
     expect_stdout: "PASS"
     node_version: ">=8"
 }
+
+issue_4972_1: {
+    options = {
+        awaits: true,
+        side_effects: true,
+    }
+    input: {
+        console.log("foo");
+        (async function() {
+            try {
+                return await "bar";
+            } finally {
+                console.log("baz");
+            }
+        })().then(console.log);
+        console.log("moo");
+    }
+    expect: {
+        console.log("foo");
+        (async function() {
+            try {
+                return await "bar";
+            } finally {
+                console.log("baz");
+            }
+        })().then(console.log);
+        console.log("moo");
+    }
+    expect_stdout: [
+        "foo",
+        "moo",
+        "baz",
+        "bar",
+    ]
+    node_version: ">=8"
+}
+
+issue_4972_2: {
+    options = {
+        awaits: true,
+        side_effects: true,
+    }
+    input: {
+        console.log("foo");
+        (async function() {
+            try {
+                console.log("bar");
+            } finally {
+                return await "baz";
+            }
+        })().then(console.log);
+        console.log("moo");
+    }
+    expect: {
+        console.log("foo");
+        (async function() {
+            try {
+                console.log("bar");
+            } finally {
+                return "baz";
+            }
+        })().then(console.log);
+        console.log("moo");
+    }
+    expect_stdout: [
+        "foo",
+        "bar",
+        "moo",
+        "baz",
+    ]
+    node_version: ">=8"
+}
+
+issue_4972_3: {
+    options = {
+        awaits: true,
+        side_effects: true,
+    }
+    input: {
+        console.log("foo");
+        try {
+            (async function() {
+                return await "bar";
+            })().then(console.log);
+        } finally {
+            console.log("baz");
+        }
+        console.log("moo");
+    }
+    expect: {
+        console.log("foo");
+        try {
+            (async function() {
+                return "bar";
+            })().then(console.log);
+        } finally {
+            console.log("baz");
+        }
+        console.log("moo");
+    }
+    expect_stdout: [
+        "foo",
+        "baz",
+        "moo",
+        "bar",
+    ]
+    node_version: ">=8"
+}
+
+issue_4974: {
+    options = {
+        awaits: true,
+        side_effects: true,
+    }
+    input: {
+        (async function f() {
+            return 42 in f();
+        })();
+        console.log("PASS");
+    }
+    expect: {
+        (async function f() {
+            return 42 in f();
+        })();
+        console.log("PASS");
+    }
+    expect_stdout: true
+    node_version: ">=8"
+}
+
+issue_4975: {
+    options = {
+        awaits: true,
+        side_effects: true,
+    }
+    input: {
+        (async function f(a) {
+            try {
+                if (a) console.log(typeof f());
+            } catch (e) {}
+        })(42);
+    }
+    expect: {
+        (async function f(a) {
+            try {
+                if (a) console.log(typeof f());
+            } catch (e) {}
+        })(42);
+    }
+    expect_stdout: "object"
+    node_version: ">=8"
+}
+
+issue_4987: {
+    options = {
+        awaits: true,
+        side_effects: true,
+    }
+    input: {
+        (async function() {
+            try {
+                await 42;
+            } finally {
+                console.log("foo");
+            }
+        })();
+        console.log("bar");
+    }
+    expect: {
+        (async function() {
+            try {
+                await 0;
+            } finally {
+                console.log("foo");
+            }
+        })();
+        console.log("bar");
+    }
+    expect_stdout: [
+        "bar",
+        "foo",
+    ]
+    node_version: ">=8"
+}
+
+issue_5001: {
+    options = {
+        awaits: true,
+        inline: true,
+        side_effects: true,
+    }
+    input: {
+        var a = 0;
+        (async function() {
+            a++ | await 42;
+        })();
+        console.log(a ? "PASS" : "FAIL");
+    }
+    expect: {
+        var a = 0;
+        void a++;
+        console.log(a ? "PASS" : "FAIL");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=8"
+}
+
+issue_5019_1: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        (function(a) {
+            (async function() {
+                await 42;
+                console.log(a);
+            })();
+            a = "PASS";
+        })("FAIL");
+    }
+    expect: {
+        (function(a) {
+            (async function() {
+                await 42;
+                console.log(a);
+            })();
+            a = "PASS";
+        })("FAIL");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=8"
+}
+
+issue_5019_2: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        console.log("sync", function(a) {
+            (async function() {
+                console.log(await "async", a);
+            })();
+            return a = "PASS";
+        }("FAIL"));
+    }
+    expect: {
+        console.log("sync", function(a) {
+            (async function() {
+                console.log(await "async", a);
+            })();
+            return a = "PASS";
+        }("FAIL"));
+    }
+    expect_stdout: [
+        "sync PASS",
+        "async PASS",
+    ]
+    node_version: ">=8"
+}
+
+issue_5019_3: {
+    options = {
+        inline: true,
+        toplevel: true,
+    }
+    input: {
+        for (var i in "foo") {
+            (function(a) {
+                (async function() {
+                    console.log(await "async", a);
+                })();
+            })(i);
+            console.log("sync", i);
+        }
+    }
+    expect: {
+        for (var i in "foo") {
+            (function(a) {
+                (async function() {
+                    console.log(await "async", a);
+                })();
+            })(i);
+            console.log("sync", i);
+        }
+    }
+    expect_stdout: [
+        "sync 0",
+        "sync 1",
+        "sync 2",
+        "async 0",
+        "async 1",
+        "async 2",
+    ]
+    node_version: ">=8"
+}
+
+issue_5023_1: {
+    options = {
+        awaits: true,
+        reduce_vars: true,
+        side_effects: true,
+    }
+    input: {
+        (async function() {
+            let a = a;
+        })();
+        console.log("PASS");
+    }
+    expect: {
+        (async function() {
+            let a = a;
+        })();
+        console.log("PASS");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=8"
+}
+
+issue_5023_2: {
+    options = {
+        awaits: true,
+        reduce_vars: true,
+        side_effects: true,
+    }
+    input: {
+        (async function() {
+            let a;
+            a = a;
+        })();
+        console.log("PASS");
+    }
+    expect: {
+        (function() {
+            let a;
+            a = a;
+        })();
+        console.log("PASS");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=8"
+}
+
+issue_5032_normal: {
+    options = {
+        merge_vars: true,
+        webkit: false,
+    }
+    input: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        async function f(a) {
+            var b = log(a), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS");
+    }
+    expect: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        async function f(c) {
+            var b = log(c), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS");
+    }
+    expect_stdout: [
+        "PASS",
+        "PASS",
+        "PASS",
+    ]
+    node_version: ">=8"
+}
+
+issue_5032_webkit: {
+    options = {
+        merge_vars: true,
+        webkit: true,
+    }
+    input: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        async function f(a) {
+            var b = log(a), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS");
+    }
+    expect: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        async function f(a) {
+            var b = log(a), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS");
+    }
+    expect_stdout: [
+        "PASS",
+        "PASS",
+        "PASS",
+    ]
+    node_version: ">=8"
+}
+
+issue_5034: {
+    options = {
+        functions: true,
+        reduce_vars: true,
+        unused: true,
+    }
+    input: {
+        (function() {
+            var await = function f() {
+                return async function() {
+                    return f;
+                };
+            };
+            await()().then(function(value) {
+                console.log(value === await ? "PASS" : "FAIL");
+            });
+        })();
+    }
+    expect: {
+        (function() {
+            var await = function f() {
+                return async function() {
+                    return f;
+                };
+            };
+            await()().then(function(value) {
+                console.log(value === await ? "PASS" : "FAIL");
+            });
+        })();
+    }
+    expect_stdout: "PASS"
+    node_version: ">=8"
+}

test/compress/booleans.js

@@ -29,6 +29,383 @@ iife_boolean_context: {
     ]
 }
 
+de_morgan_1a: {
+    options = {
+        booleans: true,
+    }
+    input: {
+        function f(a) {
+            return a || a;
+        }
+        console.log(f(null), f(42));
+    }
+    expect: {
+        function f(a) {
+            return a;
+        }
+        console.log(f(null), f(42));
+    }
+    expect_stdout: "null 42"
+}
+
+de_morgan_1b: {
+    options = {
+        booleans: true,
+    }
+    input: {
+        function f(a) {
+            return a && a;
+        }
+        console.log(f(null), f(42));
+    }
+    expect: {
+        function f(a) {
+            return a;
+        }
+        console.log(f(null), f(42));
+    }
+    expect_stdout: "null 42"
+}
+
+de_morgan_1c: {
+    options = {
+        booleans: true,
+    }
+    input: {
+        console.log(delete (NaN && NaN));
+    }
+    expect: {
+        console.log(delete (0, NaN));
+    }
+    expect_stdout: "true"
+}
+
+de_morgan_2a: {
+    options = {
+        booleans: true,
+        conditionals: true,
+    }
+    input: {
+        function f(a, b) {
+            return a || (a || b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a || b;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "undefined {}",
+        "42 42",
+    ]
+}
+
+de_morgan_2b: {
+    options = {
+        booleans: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b) {
+            return a || (a && b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "null null",
+        "42 42",
+    ]
+}
+
+de_morgan_2c: {
+    options = {
+        booleans: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b) {
+            return a && (a || b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "null null",
+        "42 42",
+    ]
+}
+
+de_morgan_2d: {
+    options = {
+        booleans: true,
+        evaluate: true,
+        side_effects: true,
+    }
+    input: {
+        function f(a, b) {
+            return a && (a && b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a && b;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "null null",
+        "undefined {}",
+    ]
+}
+
+de_morgan_3a: {
+    options = {
+        booleans: true,
+        conditionals: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a || ((a || b) || c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a || b || c;
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "undefined {} true true",
+        "42 42 42 42",
+    ]
+}
+
+de_morgan_3b: {
+    options = {
+        booleans: true,
+        evaluate: true,
+        side_effects: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a || ((a || b) && c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a || b && c;
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "false false undefined {}",
+        "42 42 42 42",
+    ]
+}
+
+de_morgan_3c: {
+    options = {
+        booleans: true,
+        evaluate: true,
+        side_effects: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a || ((a && b) || c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a || c;
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "undefined {} undefined {}",
+        "42 42 42 42",
+    ]
+}
+
+de_morgan_3d: {
+    options = {
+        booleans: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a || ((a && b) && c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a;
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "null null null null",
+        "42 42 42 42",
+    ]
+}
+
+de_morgan_3e: {
+    options = {
+        booleans: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a && ((a || b) || c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a;
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "null null null null",
+        "42 42 42 42",
+    ]
+}
+
+de_morgan_3f: {
+    options = {
+        booleans: true,
+        evaluate: true,
+        side_effects: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a && ((a || b) && c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a && c;
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "null null null null",
+        "undefined {} undefined {}",
+    ]
+}
+
+de_morgan_3g: {
+    options = {
+        booleans: true,
+        evaluate: true,
+        side_effects: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a && ((a && b) || c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a && (b || c);
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "null null null null",
+        "undefined {} true true",
+    ]
+}
+
+de_morgan_3h: {
+    options = {
+        booleans: true,
+        conditionals: true,
+    }
+    input: {
+        function f(a, b, c) {
+            return a && ((a && b) && c);
+        }
+        console.log(f(null, false), f(null, false, {}), f(null, true), f(null, true, {}));
+        console.log(f(42, false), f(42, false, {}), f(42, true), f(42, true, {}));
+    }
+    expect: {
+        function f(a, b, c) {
+            return a && b && c;
+        }
+        console.log(f(null, !1), f(null, !1, {}), f(null, !0), f(null, !0, {}));
+        console.log(f(42, !1), f(42, !1, {}), f(42, !0), f(42, !0, {}));
+    }
+    expect_stdout: [
+        "null null null null",
+        "false false undefined {}",
+    ]
+}
+
+conditional_chain: {
+    options = {
+        booleans: true,
+        conditionals: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b) {
+            return a ? a : b ? b : 42;
+        }
+        console.log(f("PASS", "FAIL"));
+    }
+    expect: {
+        function f(a, b) {
+            return a || b || 42;
+        }
+        console.log(f("PASS", "FAIL"));
+    }
+    expect_stdout: "PASS"
+}
+
 issue_3465_1: {
     options = {
         booleans: true,
@@ -181,3 +558,79 @@ issue_4374: {
     }
     expect_stdout: "0"
 }
+
+issue_5028_1: {
+    options = {
+        booleans: true,
+        conditionals: true,
+    }
+    input: {
+        var a = 1;
+        console.log(function() {
+            return a-- ? a-- ? "FAIL 1" : "PASS" : "FAIL 2";
+        }());
+    }
+    expect: {
+        var a = 1;
+        console.log(function() {
+            return a-- ? a-- ? "FAIL 1" : "PASS" : "FAIL 2";
+        }());
+    }
+    expect_stdout: "PASS"
+}
+
+issue_5028_2: {
+    options = {
+        booleans: true,
+        conditionals: true,
+        dead_code: true,
+        if_return: true,
+    }
+    input: {
+        var a = 1;
+        (function() {
+            if (a--)
+                if (a--)
+                    a = "FAIL";
+                else
+                    return;
+        })();
+        console.log(a);
+    }
+    expect: {
+        var a = 1;
+        (function() {
+            a-- && a-- && (a = "FAIL");
+        })();
+        console.log(a);
+    }
+    expect_stdout: "-1"
+}
+
+issue_5028_3: {
+    options = {
+        booleans: true,
+        conditionals: true,
+        evaluate: true,
+        if_return: true,
+    }
+    input: {
+        var a = 1;
+        (function() {
+            if (a--)
+                if (a--)
+                    a = "FAIL";
+                else
+                    return;
+        })();
+        console.log(a);
+    }
+    expect: {
+        var a = 1;
+        (function() {
+            a-- && a-- && (a = "FAIL");
+        })();
+        console.log(a);
+    }
+    expect_stdout: "-1"
+}

test/compress/classes.js

@@ -260,6 +260,9 @@ block_scoped: {
     expect: {
         "use strict";
         0;
+        {
+            class A {}
+        }
         if (console) {
             class B {}
         }
@@ -269,6 +272,38 @@ block_scoped: {
     node_version: ">=4"
 }
 
+retain_declaration: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        "use strict";
+        var a = "FAIL";
+        try {
+            console.log(function() {
+                return a;
+                class a {}
+            }());
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect: {
+        "use strict";
+        var a = "FAIL";
+        try {
+            console.log(function() {
+                return a;
+                class a {}
+            }());
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
 drop_extends: {
     options = {
         inline: true,
@@ -632,6 +667,7 @@ collapse_non_strict: {
 collapse_rhs: {
     options = {
         collapse_vars: true,
+        unsafe: true,
     }
     input: {
         "use strict";
@@ -937,9 +973,9 @@ issue_4681: {
     }
     expect: {
         console.log(function(a) {
-            class A {
+            (class {
                 static p = a = this;
-            }
+            });
             return typeof a;
         }());
     }
@@ -1363,9 +1399,9 @@ issue_4821_1: {
     }
     expect: {
         var a;
-        class A {
+        (class {
             static p = void (a = this);
-        }
+        });
         console.log(typeof a);
     }
     expect_stdout: "function"
@@ -1643,3 +1679,199 @@ issue_4962_2: {
     expect_stdout: "undefined"
     node_version: ">=12"
 }
+
+issue_4982_1: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        "use strict";
+        try {} catch (e) {
+            class A extends 42 {}
+        }
+        console.log("PASS");
+    }
+    expect: {
+        "use strict";
+        {
+            class A {}
+        }
+        console.log("PASS");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
+issue_4982_2: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        var a = "PASS";
+        try {} catch (e) {
+            class A {
+                static p = a = "FAIL";
+            }
+        }
+        console.log(a);
+    }
+    expect: {
+        var a = "PASS";
+        {
+            class A {}
+        }
+        console.log(a);
+    }
+    expect_stdout: "PASS"
+    node_version: ">=12"
+}
+
+issue_4992: {
+    options = {
+        reduce_vars: true,
+        toplevel: true,
+        unused: true,
+    }
+    input: {
+        class A {
+            static P = this;
+            get p() {}
+        }
+        console.log(typeof A.P);
+    }
+    expect: {
+        console.log(typeof class {
+            static P = this;
+            get p() {}
+        }.P);
+    }
+    expect_stdout: "function"
+    node_version: ">=12"
+}
+
+issue_4996_1: {
+    options = {
+        evaluate: true,
+        reduce_vars: true,
+        toplevel: true,
+    }
+    input: {
+        var a = 1;
+        console.log(new class A {
+            p = a-- && new A();
+        }().p.p);
+    }
+    expect: {
+        var a = 1;
+        console.log(new class A {
+            p = a-- && new A();
+        }().p.p);
+    }
+    expect_stdout: "0"
+    node_version: ">=12"
+}
+
+issue_4996_2: {
+    options = {
+        reduce_vars: true,
+        toplevel: true,
+        unused: true,
+    }
+    input: {
+        var a = 1;
+        console.log(new class A {
+            p = a-- && new A();
+        }().p.p);
+    }
+    expect: {
+        var a = 1;
+        console.log(new class A {
+            p = a-- && new A();
+        }().p.p);
+    }
+    expect_stdout: "0"
+    node_version: ">=12"
+}
+
+issue_5015_1: {
+    options = {
+        side_effects: true,
+    }
+    input: {
+        "use strict";
+        var a;
+        try {
+            (class a {
+                [a]() {}
+            });
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect: {
+        "use strict";
+        var a;
+        try {
+            (class a {
+                [a]() {}
+            });
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
+issue_5015_2: {
+    options = {
+        reduce_vars: true,
+        side_effects: true,
+        toplevel: true,
+    }
+    input: {
+        "use strict";
+        try {
+            new class A {
+                [(A, 42)]() {}
+            }();
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect: {
+        "use strict";
+        try {
+            new class A {
+                [(A, 42)]() {}
+            }();
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
+issue_5015_3: {
+    options = {
+        reduce_vars: true,
+        side_effects: true,
+        toplevel: true,
+    }
+    input: {
+        "use strict";
+        (class A {
+            static f() {
+                return A;
+            }
+        });
+        console.log("PASS");
+    }
+    expect: {
+        "use strict";
+        console.log("PASS");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}

test/compress/collapse_vars.js

@@ -2264,6 +2264,7 @@ var_defs: {
         properties: true,
         sequences: true,
         side_effects: true,
+        unsafe: true,
         unused: true,
     }
     input: {
@@ -2486,6 +2487,7 @@ issue_1858: {
     options = {
         collapse_vars: true,
         pure_getters: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -2907,6 +2909,7 @@ compound_assignment_2: {
 issue_2187_1: {
     options = {
         collapse_vars: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -4271,6 +4274,7 @@ issue_2436_14: {
     options = {
         collapse_vars: true,
         reduce_vars: true,
+        unsafe: true,
         unused: true,
     }
     input: {
@@ -4724,7 +4728,7 @@ cascade_statement: {
         }
         function f3(a, b) {
             for (; a < b; a++)
-                if (c = a, a && b)
+                if ((c = a) && b)
                     var c = c = b(a);
         }
     }
@@ -4761,6 +4765,7 @@ unsafe_builtin: {
     options = {
         collapse_vars: true,
         pure_getters: "strict",
+        reduce_vars: true,
         unsafe: true,
         unused: true,
     }
@@ -6965,6 +6970,7 @@ sequence_in_iife_2: {
         inline: true,
         passes: 2,
         side_effects: true,
+        unsafe: true,
         unused: true,
     }
     input: {
@@ -6976,7 +6982,7 @@ sequence_in_iife_2: {
     }
     expect: {
         var a = "foo", b = 42;
-        console.log(a, b = a);
+        console.log(b = a, b);
     }
     expect_stdout: "foo foo"
 }
@@ -6988,6 +6994,7 @@ sequence_in_iife_3: {
         passes: 2,
         side_effects: true,
         toplevel: true,
+        unsafe: true,
         unused: true,
     }
     input: {
@@ -7092,6 +7099,7 @@ setter_side_effect: {
 substitution_assign: {
     options = {
         collapse_vars: true,
+        unsafe: true,
     }
     input: {
         function f1(a, b) {
@@ -7112,8 +7120,7 @@ substitution_assign: {
     }
     expect: {
         function f1(a, b) {
-            f1 = a;
-            console.log(a, a);
+            console.log(f1 = a, a);
         }
         function f2(a, b) {
             a = 1 + (b = a);
@@ -7917,6 +7924,7 @@ issue_3744: {
 assign_value_def: {
     options = {
         collapse_vars: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -7957,6 +7965,7 @@ join_vars_value_def: {
     options = {
         collapse_vars: true,
         join_vars: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -7996,6 +8005,7 @@ join_vars_value_def: {
 var_value_def: {
     options = {
         collapse_vars: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -8033,6 +8043,7 @@ var_value_def: {
 mangleable_var: {
     options = {
         collapse_vars: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -8067,6 +8078,7 @@ mangleable_var: {
 mangleable_assignment_1: {
     options = {
         collapse_vars: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -8098,6 +8110,7 @@ mangleable_assignment_1: {
 mangleable_assignment_2: {
     options = {
         collapse_vars: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -8850,7 +8863,7 @@ issue_4732_1: {
     expect: {
         var a = 0;
         (function(b) {
-            (b = a++) && (b && console.log("PASS"));
+            (b = a++) && console.log("PASS");
         })(a++);
     }
     expect_stdout: "PASS"
@@ -8939,6 +8952,8 @@ dot_non_local: {
 issue_4806: {
     options = {
         collapse_vars: true,
+        reduce_vars: true,
+        toplevel: true,
     }
     input: {
         var a, o = {
@@ -8962,6 +8977,7 @@ issue_4806: {
 issue_4852: {
     options = {
         collapse_vars: true,
+        unsafe: true,
     }
     input: {
         var a = "PASS";
@@ -9195,7 +9211,7 @@ issue_4918: {
     expect_stdout: "PASS"
 }
 
-issue_4920: {
+issue_4920_1: {
     options = {
         collapse_vars: true,
         toplevel: true,
@@ -9221,6 +9237,64 @@ issue_4920: {
     expect_stdout: "PASS"
 }
 
+issue_4920_2: {
+    options = {
+        collapse_vars: true,
+        toplevel: true,
+    }
+    input: {
+        var o = {
+            get PASS() {
+                a = "FAIL";
+            },
+        };
+        var a = "PASS", b;
+        o[b = a];
+        console.log(b);
+    }
+    expect: {
+        var o = {
+            get PASS() {
+                a = "FAIL";
+            },
+        };
+        var a = "PASS", b;
+        o[b = a];
+        console.log(b);
+    }
+    expect_stdout: "PASS"
+}
+
+issue_4920_3: {
+    options = {
+        collapse_vars: true,
+        toplevel: true,
+    }
+    input: {
+        var log = console.log;
+        var o = {
+            get PASS() {
+                a = "FAIL";
+            },
+        };
+        var a = "PASS", b;
+        o[b = a];
+        log(b);
+    }
+    expect: {
+        var log = console.log;
+        var o = {
+            get PASS() {
+                a = "FAIL";
+            },
+        };
+        var a = "PASS", b;
+        o[b = a];
+        log(b);
+    }
+    expect_stdout: "PASS"
+}
+
 issue_4935: {
     options = {
         collapse_vars: true,
@@ -9279,3 +9353,62 @@ inline_throw: {
     }
     expect_stdout: "PASS"
 }
+
+issue_4977_1: {
+    options = {
+        collapse_vars: true,
+        unsafe: true,
+    }
+    input: {
+        var a = "FAIL";
+        var o = {
+            get p() {
+                return a;
+            }
+        };
+        a = "PASS";
+        console.log(o.p, a);
+    }
+    expect: {
+        var a = "FAIL";
+        var o = {
+            get p() {
+                return a;
+            }
+        };
+        a = "PASS";
+        console.log(o.p, a);
+    }
+    expect_stdout: "PASS PASS"
+}
+
+issue_4977_2: {
+    options = {
+        collapse_vars: true,
+        reduce_vars: true,
+        unsafe: true,
+    }
+    input: {
+        var a, o = {
+            get p() {
+                return a = "PASS";
+            },
+        };
+        if (console) {
+            var a = "FAIL";
+            console.log(o.p, a);
+        }
+    }
+    expect: {
+        var a, o = {
+            get p() {
+                return a = "PASS";
+            },
+        };
+        if (console) {
+            var a = "FAIL";
+            console.log(o.p, a);
+        }
+    }
+    expect_stdout: "PASS PASS"
+}

test/compress/conditionals.js

@@ -822,6 +822,33 @@ cond_13: {
     }
 }
 
+cond_14: {
+    options = {
+        booleans: true,
+        conditionals: true,
+        side_effects: true,
+    }
+    input: {
+        function f(a) {
+            if (a)
+                if (a)
+                    console.log("PASS");
+                else
+                    console.log("FAIL");
+        }
+        f(null);
+        f(42);
+    }
+    expect: {
+        function f(a) {
+            a && console.log("PASS");
+        }
+        f(null);
+        f(42);
+    }
+    expect_stdout: "PASS"
+}
+
 ternary_boolean_consequent: {
     options = {
         booleans: true,

test/compress/dead-code.js

@@ -939,6 +939,185 @@ catch_return_assign: {
     expect_stdout: "PASS"
 }
 
+catch_return_assign_may_throw: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        function f() {
+            try {
+                throw "FAIL";
+            } catch (e) {
+                return e = console.log("PASS");
+            }
+        }
+        f();
+    }
+    expect: {
+        function f() {
+            try {
+                throw "FAIL";
+            } catch (e) {
+                return console.log("PASS");
+            }
+        }
+        f();
+    }
+    expect_stdout: "PASS"
+}
+
+finally_return_assign: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        console.log(function(a) {
+            try {
+                throw "FAIL";
+            } finally {
+                return a = "PASS";
+            }
+        }());
+    }
+    expect: {
+        console.log(function(a) {
+            try {
+                throw "FAIL";
+            } finally {
+                return "PASS";
+            }
+        }());
+    }
+    expect_stdout: "PASS"
+}
+
+last_assign_statement: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        function f(a) {
+            a = a("PASS");
+        }
+        f(console.log);
+    }
+    expect: {
+        function f(a) {
+            a("PASS");
+        }
+        f(console.log);
+    }
+    expect_stdout: "PASS"
+}
+
+last_assign_if_else: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        function f(a) {
+            if (a)
+                a = console.log("foo");
+            else {
+                console.log("bar");
+                a = console.log("baz");
+            }
+        }
+        f(42);
+        f(null);
+    }
+    expect: {
+        function f(a) {
+            if (a)
+                console.log("foo");
+            else {
+                console.log("bar");
+                console.log("baz");
+            }
+        }
+        f(42);
+        f(null);
+    }
+    expect_stdout: [
+        "foo",
+        "bar",
+        "baz",
+    ]
+}
+
+last_assign_catch: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        function f() {
+            try {
+                throw "FAIL";
+            } catch (e) {
+                e = console.log("PASS");
+            }
+        }
+        f();
+    }
+    expect: {
+        function f() {
+            try {
+                throw "FAIL";
+            } catch (e) {
+                console.log("PASS");
+            }
+        }
+        f();
+    }
+    expect_stdout: "PASS"
+}
+
+last_assign_finally: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        function f(a) {
+            try {
+                throw a.log;
+            } catch (e) {
+                a = e;
+            } finally {
+                a = a("PASS");
+            }
+        }
+        f(console);
+    }
+    expect: {
+        function f(a) {
+            try {
+                throw a.log;
+            } catch (e) {
+                a = e;
+            } finally {
+                a("PASS");
+            }
+        }
+        f(console);
+    }
+    expect_stdout: "PASS"
+}
+
+consecutive_assignments: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        while (a = void 0, a = "PASS", console.log(a));
+        var a;
+    }
+    expect: {
+        while (void 0, a = "PASS", console.log(a));
+        var a;
+    }
+    expect_stdout: "PASS"
+}
+
 issue_3578: {
     options = {
         dead_code: true,
@@ -1420,3 +1599,37 @@ issue_4570: {
     }
     expect_stdout: "NaN"
 }
+
+issue_5030: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        (function(a, b) {
+            a = function f() {
+                if (a)
+                    if (b--)
+                        setImmediate(f);
+                    else
+                        console.log("FAIL");
+                else
+                    console.log("PASS");
+            }();
+        })(42, 1);
+    }
+    expect: {
+        (function(a, b) {
+            a = function f() {
+                if (a)
+                    if (b--)
+                        setImmediate(f);
+                    else
+                        console.log("FAIL");
+                else
+                    console.log("PASS");
+            }();
+        })(42, 1);
+    }
+    expect_stdout: "PASS"
+    node_version: ">=0.12"
+}

test/compress/default-values.js

@@ -422,7 +422,9 @@ inline_loop_1: {
 inline_loop_2: {
     options = {
         inline: true,
+        sequences: true,
         toplevel: true,
+        unused: true,
     }
     input: {
         while (function(a = [ "PASS" ]) {
@@ -432,10 +434,11 @@ inline_loop_2: {
         }());
     }
     expect: {
-        while (a = [ "PASS" ], a = function f(b) {
-            console.log(a[b]);
-        }(0), void 0) ;
-        var a;
+        while (a = [ "PASS" ],
+            b = void 0,
+            b = 0,
+            void (a = void console.log(a[b])));
+        var a, b;
     }
     expect_stdout: "PASS"
     node_version: ">=6"
@@ -598,6 +601,7 @@ unused_var_1: {
 
 unused_var_2: {
     options = {
+        pure_getters: "strict",
         toplevel: true,
         unused: true,
     }
@@ -609,11 +613,7 @@ unused_var_2: {
         };
     }
     expect: {
-        var {
-            p: [] = [ console.log("FAIL") ],
-        } = {
-            p: [ console.log("PASS") ],
-        };
+        console.log("PASS");
     }
     expect_stdout: "PASS"
     node_version: ">=6"
@@ -1729,3 +1729,28 @@ issue_4916: {
     expect_stdout: "undefined"
     node_version: ">=6"
 }
+
+issue_4994: {
+    options = {
+        loops: true,
+        unused: true,
+    }
+    input: {
+        var a = "FAIL";
+        (function(b = function() {
+            for (a in { PASS: 42 });
+        }()) {
+            var a;
+        })();
+        console.log(a);
+    }
+    expect: {
+        var a = "FAIL";
+        (function(b = function() {
+            for (a in { PASS: 42 });
+        }()) {})();
+        console.log(a);
+    }
+    expect_stdout: "PASS"
+    node_version: ">=6"
+}

test/compress/destructured.js

@@ -1010,6 +1010,42 @@ collapse_vars_8: {
     node_version: ">=6"
 }
 
+collapse_vars_9: {
+    options = {
+        collapse_vars: true,
+    }
+    input: {
+        console.log(function(a) {
+            try {
+                var b = function([ c ]) {
+                    if (c)
+                        return "FAIL 1";
+                }();
+                a = "FAIL 2";
+                return b;
+            } catch (e) {
+                return a;
+            }
+        }("PASS"));
+    }
+    expect: {
+        console.log(function(a) {
+            try {
+                var b = function([ c ]) {
+                    if (c)
+                        return "FAIL 1";
+                }();
+                a = "FAIL 2";
+                return b;
+            } catch (e) {
+                return a;
+            }
+        }("PASS"));
+    }
+    expect_stdout: "PASS"
+    node_version: ">=6"
+}
+
 conditionals: {
     options = {
         conditionals: true,
@@ -2556,3 +2592,58 @@ issue_4608_2: {
     expect_stdout: "f"
     node_version: ">=6"
 }
+
+issue_4994: {
+    options = {
+        loops: true,
+        unused: true,
+    }
+    input: {
+        var a = "FAIL";
+        (function([
+            {
+                [function() {
+                    for (a in { PASS: null });
+                }()]: b,
+            },
+        ]) {
+            var a;
+        })([ 42 ]);
+        console.log(a);
+    }
+    expect: {
+        var a = "FAIL";
+        (function([
+            {
+                [function() {
+                    for (a in { PASS: null });
+                }()]: b,
+            },
+        ]) {})([ 42 ]);
+        console.log(a);
+    }
+    expect_stdout: "PASS"
+    node_version: ">=6"
+}
+
+issue_5017: {
+    options = {
+        collapse_vars: true,
+        reduce_vars: true,
+        toplevel: true,
+    }
+    input: {
+        var a = function() {};
+        var b = c = a;
+        var c = [ c ] = [ c ];
+        console.log(c[0] === a ? "PASS" : "FAIL");
+    }
+    expect: {
+        var a = function() {};
+        var b = a;
+        var c = [ c ] = [ c = a ];
+        console.log(c[0] === a ? "PASS" : "FAIL");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=6"
+}

test/compress/functions.js

@@ -5236,7 +5236,7 @@ issue_4265: {
     expect: {
         function f() {
             return console, function() {
-                return console.log(a);
+                console.log(a);
                 var a;
             }(), 0;
         }
@@ -6208,3 +6208,78 @@ reduce_cross_reference_4_toplevel: {
     expect: {}
     expect_stdout: true
 }
+
+recursive_collapse: {
+    options = {
+        collapse_vars: true,
+        reduce_vars: true,
+    }
+    input: {
+        console.log(function f(a) {
+            var b = a && f();
+            return b;
+        }("FAIL") || "PASS");
+    }
+    expect: {
+        console.log(function f(a) {
+            var b;
+            return a && f();
+        }("FAIL") || "PASS");
+    }
+    expect_stdout: "PASS"
+}
+
+issue_5025: {
+    options = {
+        collapse_vars: true,
+        inline: true,
+        reduce_vars: true,
+        unused: true,
+    }
+    input: {
+        function f(a) {
+            function g() {
+                b = 42;
+            }
+            g(b = a);
+            var b = this;
+            console.log(typeof b);
+        }
+        f();
+    }
+    expect: {
+        function f(a) {
+            b = a,
+            void (b = 42);
+            var b = this;
+            console.log(typeof b);
+        }
+        f();
+    }
+    expect_stdout: "object"
+}
+
+issue_5036: {
+    options = {
+        functions: true,
+        reduce_vars: true,
+        unused: true,
+    }
+    input: {
+        console.log(typeof function() {
+            var await = function f() {
+                return f;
+            };
+            return await() === await;
+        }() ? "PASS" : "FAIL");
+    }
+    expect: {
+        console.log(typeof function() {
+            function await() {
+                return await;
+            }
+            return await() === await;
+        }() ? "PASS" : "FAIL");
+    }
+    expect_stdout: "PASS"
+}

test/compress/imports.js

@@ -94,13 +94,15 @@ drop_unused: {
     }
     input: {
         import a, * as b from "foo";
-        import { c, bar as d } from "baz";
-        console.log(c);
+        import { c } from "bar";
+        import { d, _ as e } from "baz";
+        console.log(d);
     }
     expect: {
         import "foo";
-        import { c as c } from "baz";
-        console.log(c);
+        import "bar";
+        import { d as d } from "baz";
+        console.log(d);
     }
 }
 

test/compress/join_vars.js

@@ -1015,7 +1015,7 @@ issue_3856: {
         console.log(function() {
             (function() {
                 var a, b;
-                if (a) return !!a;
+                if (a) return a, 1;
                 for (a = 0; !console;);
                 return 0;
             })();

test/compress/keep_fargs.js

@@ -117,6 +117,7 @@ issue_1858: {
         collapse_vars: true,
         keep_fargs: false,
         pure_getters: true,
+        reduce_vars: true,
         unused: true,
     }
     input: {
@@ -1157,8 +1158,8 @@ replace_all_var_scope: {
         var a = 100, b = 10;
         (function(r, a) {
             switch (~a) {
-            case (b += a):
-            case a++:
+              case (b += a):
+              case a++:
             }
         })(--b, a);
         console.log(a, b);
@@ -1167,8 +1168,8 @@ replace_all_var_scope: {
         var a = 100, b = 10;
         (function(c) {
             switch (~a) {
-            case (b += a):
-            case c++:
+              case (b += a):
+              case c++:
             }
         })((--b, a));
         console.log(a, b);

test/compress/let.js

@@ -20,6 +20,39 @@ retain_block: {
     node_version: ">=4"
 }
 
+retain_assignment: {
+    options = {
+        dead_code: true,
+        reduce_vars: true,
+    }
+    input: {
+        "use strict";
+        function f() {
+            return a = 0;
+            let a;
+        }
+        try {
+            f();
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect: {
+        "use strict";
+        function f() {
+            return a = 0;
+            let a;
+        }
+        try {
+            f();
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
 retain_catch: {
     options = {
         dead_code: true,
@@ -536,6 +569,38 @@ loop_block_2: {
     node_version: ">=4"
 }
 
+do_break: {
+    options = {
+        loops: true,
+    }
+    input: {
+        "use strict";
+        try {
+            do {
+                if (a)
+                    break;
+                let a;
+            } while (!console);
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect: {
+        "use strict";
+        try {
+            do {
+                if (a)
+                    break;
+                let a;
+            } while (!console);
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
 do_continue: {
     options = {
         loops: true,
@@ -596,6 +661,82 @@ dead_block_after_return: {
     node_version: ">=4"
 }
 
+if_return_1: {
+    options = {
+        if_return: true,
+    }
+    input: {
+        "use strict";
+        function f(a) {
+            function g() {
+                return b = "PASS";
+            }
+            if (a)
+                return g();
+            let b;
+            return g();
+        };
+        console.log(f());
+    }
+    expect: {
+        "use strict";
+        function f(a) {
+            function g() {
+                return b = "PASS";
+            }
+            if (a)
+                return g();
+            let b;
+            return g();
+        };
+        console.log(f());
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
+if_return_2: {
+    options = {
+        if_return: true,
+    }
+    input: {
+        "use strict";
+        function f(a) {
+            function g() {
+                return b = "FAIL";
+            }
+            if (a)
+                return g();
+            let b;
+            return g();
+        };
+        try {
+            console.log(f(42));
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect: {
+        "use strict";
+        function f(a) {
+            function g() {
+                return b = "FAIL";
+            }
+            if (a)
+                return g();
+            let b;
+            return g();
+        };
+        try {
+            console.log(f(42));
+        } catch (e) {
+            console.log("PASS");
+        }
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}
+
 do_if_continue_1: {
     options = {
         if_return: true,
@@ -897,6 +1038,7 @@ issue_4210: {
 issue_4212_1: {
     options = {
         dead_code: true,
+        reduce_vars: true,
     }
     input: {
         "use strict";
@@ -1546,3 +1688,27 @@ issue_4848: {
     expect_stdout: "PASS"
     node_version: ">=4"
 }
+
+issue_4985: {
+    options = {
+        hoist_props: true,
+        reduce_vars: true,
+        toplevel: true,
+    }
+    input: {
+        "use strict";
+        let a = { p: 42 };
+        console.log(function() {
+            a;
+        }());
+    }
+    expect: {
+        "use strict";
+        let a = { p: 42 };
+        console.log(function() {
+            a;
+        }());
+    }
+    expect_stdout: "undefined"
+    node_version: ">=4"
+}

test/compress/merge_vars.js

@@ -3075,7 +3075,7 @@ issue_4237_2: {
         console.log(function(a) {
             do {
                 switch (0) {
-                  case 0:
+                  default:
                     var b = a++;
                     if (b)
                         return "FAIL";

test/compress/nullish.js

@@ -110,6 +110,158 @@ conditional_assignment_4: {
     node_version: ">=14"
 }
 
+de_morgan_1: {
+    options = {
+        booleans: true,
+    }
+    input: {
+        function f(a) {
+            return a ?? a;
+        }
+        console.log(f(null), f(42));
+    }
+    expect: {
+        function f(a) {
+            return a;
+        }
+        console.log(f(null), f(42));
+    }
+    expect_stdout: "null 42"
+    node_version: ">=14"
+}
+
+de_morgan_2a: {
+    options = {
+        booleans: true,
+        conditionals: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b) {
+            return a || (a ?? b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a || (a ?? b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "undefined {}",
+        "42 42",
+    ]
+    node_version: ">=14"
+}
+
+de_morgan_2b: {
+    options = {
+        booleans: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b) {
+            return a && (a ?? b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "null null",
+        "42 42",
+    ]
+    node_version: ">=14"
+}
+
+de_morgan_2c: {
+    options = {
+        booleans: true,
+        evaluate: true,
+        side_effects: true,
+    }
+    input: {
+        function f(a, b) {
+            return a ?? (a || b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a ?? b;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "undefined {}",
+        "42 42",
+    ]
+    node_version: ">=14"
+}
+
+de_morgan_2d: {
+    options = {
+        booleans: true,
+        evaluate: true,
+    }
+    input: {
+        function f(a, b) {
+            return a ?? (a && b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "null null",
+        "42 42",
+    ]
+    node_version: ">=14"
+}
+
+de_morgan_2e: {
+    options = {
+        booleans: true,
+        conditionals: true,
+    }
+    input: {
+        function f(a, b) {
+            return a ?? (a ?? b);
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect: {
+        function f(a, b) {
+            return a ?? b;
+        }
+        console.log(f(null), f(null, {}));
+        console.log(f(42), f(42, {}));
+    }
+    expect_stdout: [
+        "undefined {}",
+        "42 42",
+    ]
+    node_version: ">=14"
+}
+
 issue_4679: {
     options = {
         comparisons: true,

test/compress/reduce_vars.js

@@ -2071,72 +2071,6 @@ issue_1670_2: {
 }
 
 issue_1670_3: {
-    options = {
-        comparisons: true,
-        conditionals: true,
-        dead_code: true,
-        evaluate: true,
-        reduce_funcs: true,
-        reduce_vars: true,
-        side_effects: true,
-        switches: true,
-        typeofs: true,
-        unused: true,
-    }
-    input: {
-        (function f() {
-            switch (1) {
-              case 0:
-                var a = true;
-                break;
-              case 1:
-                if (typeof a === "undefined") console.log("PASS");
-                else console.log("FAIL");
-            }
-        })();
-    }
-    expect: {
-        (function() {
-            var a;
-            void 0 === a ? console.log("PASS") : console.log("FAIL");
-        })();
-    }
-    expect_stdout: "PASS"
-}
-
-issue_1670_4: {
-    options = {
-        conditionals: true,
-        dead_code: true,
-        evaluate: true,
-        passes: 2,
-        reduce_funcs: true,
-        reduce_vars: true,
-        side_effects: true,
-        switches: true,
-        unused: true,
-    }
-    input: {
-        (function f() {
-            switch (1) {
-              case 0:
-                var a = true;
-                break;
-              case 1:
-                if (typeof a === "undefined") console.log("PASS");
-                else console.log("FAIL");
-            }
-        })();
-    }
-    expect: {
-        (function() {
-            console.log("PASS");
-        })();
-    }
-    expect_stdout: "PASS"
-}
-
-issue_1670_5: {
     options = {
         conditionals: true,
         dead_code: true,
@@ -2168,7 +2102,7 @@ issue_1670_5: {
     expect_stdout: "1"
 }
 
-issue_1670_6: {
+issue_1670_4: {
     options = {
         conditionals: true,
         dead_code: true,

test/compress/spreads.js

@@ -1156,3 +1156,23 @@ issue_4882_3: {
     ]
     node_version: ">=8"
 }
+
+issue_5006: {
+    options = {
+        arguments: true,
+    }
+    input: {
+        console.log(function(b, c) {
+            c = "FAIL 2";
+            return arguments[1];
+        }(...[], "FAIL 1") || "PASS");
+    }
+    expect: {
+        console.log(function(b, c) {
+            c = "FAIL 2";
+            return arguments[1];
+        }(...[], "FAIL 1") || "PASS");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=6"
+}

test/compress/switches.js

@@ -113,7 +113,7 @@ constant_switch_5: {
         // the break inside the if ruins our job
         // we can still get rid of irrelevant cases.
         switch (1) {
-          case 1:
+          default:
             x();
             if (foo) break;
             y();
@@ -300,6 +300,37 @@ drop_default_2: {
     }
 }
 
+drop_default_3: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        function f() {
+            console.log("PASS");
+            return 42;
+        }
+        switch (42) {
+          case f():
+            break;
+          case void console.log("FAIL"):
+          default:
+        }
+    }
+    expect: {
+        function f() {
+            console.log("PASS");
+            return 42;
+        }
+        switch (42) {
+          case f():
+          case void console.log("FAIL"):
+        }
+    }
+    expect_stdout: "PASS"
+}
+
 keep_default: {
     options = {
         dead_code: true,
@@ -423,7 +454,6 @@ drop_case_3: {
         switch ({}.p) {
           default:
           case void 0:
-            break;
           case c = "FAIL":
         }
         console.log(c);
@@ -454,7 +484,168 @@ drop_case_4: {
     expect_stdout: "PASS"
 }
 
-keep_case: {
+drop_case_5: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        switch (42) {
+          case void console.log("PASS 1"):
+            console.log("FAIL 1");
+          case 42:
+          case console.log("FAIL 2"):
+            console.log("PASS 2");
+        }
+    }
+    expect: {
+        switch (42) {
+          default:
+            void console.log("PASS 1");
+            console.log("PASS 2");
+        }
+    }
+    expect_stdout: [
+        "PASS 1",
+        "PASS 2",
+    ]
+}
+
+drop_case_6: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        switch (console.log("PASS 1"), 2) {
+          case 0:
+            console.log("FAIL 1");
+          case (console.log("PASS 2"), 1):
+            console.log("FAIL 2");
+        }
+    }
+    expect: {
+        switch (console.log("PASS 1"), 2) {
+          case (console.log("PASS 2"), 1):
+        }
+    }
+    expect_stdout: [
+        "PASS 1",
+        "PASS 2",
+    ]
+}
+
+drop_case_7: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        switch (2) {
+          case 0:
+            console.log("FAIL 1");
+          case (console.log("PASS 1"), 1):
+            console.log("FAIL 2");
+          case 2:
+            console.log("PASS 2");
+        }
+    }
+    expect: {
+        switch (2) {
+          default:
+            console.log("PASS 1"), 1;
+            console.log("PASS 2");
+        }
+    }
+    expect_stdout: [
+        "PASS 1",
+        "PASS 2",
+    ]
+}
+
+drop_case_8: {
+    options = {
+        dead_code: true,
+        switches: true,
+    }
+    input: {
+        function log(msg) {
+            console.log(msg);
+            return msg;
+        }
+        switch (log("foo")) {
+          case "bar":
+            log("moo");
+            break;
+          case log("baz"):
+            log("moo");
+            break;
+          default:
+            log("moo");
+        }
+    }
+    expect: {
+        function log(msg) {
+            console.log(msg);
+            return msg;
+        }
+        switch (log("foo")) {
+          case "bar":
+          case log("baz"):
+          default:
+            log("moo");
+        }
+    }
+    expect_stdout: [
+        "foo",
+        "baz",
+        "moo",
+    ]
+}
+
+drop_case_9: {
+    options = {
+        dead_code: true,
+        switches: true,
+    }
+    input: {
+        function log(msg) {
+            console.log(msg);
+            return msg;
+        }
+        switch (log("foo")) {
+          case log("bar"):
+            log("moo");
+            break;
+          case "baz":
+            log("moo");
+            break;
+          default:
+            log("moo");
+        }
+    }
+    expect: {
+        function log(msg) {
+            console.log(msg);
+            return msg;
+        }
+        switch (log("foo")) {
+          default:
+            log("bar");
+            log("moo");
+        }
+    }
+    expect_stdout: [
+        "foo",
+        "bar",
+        "moo",
+    ]
+}
+
+keep_case_1: {
     options = {
         dead_code: true,
         switches: true,
@@ -474,6 +665,76 @@ keep_case: {
     }
 }
 
+keep_case_2: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        switch ("foo") {
+          case console.log("bar"):
+          case console.log("baz"), "moo":
+        }
+    }
+    expect: {
+        switch ("foo") {
+          case console.log("bar"):
+          case console.log("baz"), "moo":
+        }
+    }
+    expect_stdout: [
+        "bar",
+        "baz",
+    ]
+}
+
+keep_case_3: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        var a;
+        switch (void console.log("PASS")) {
+          case a:
+          case console.log("FAIL"), 42:
+        }
+    }
+    expect: {
+        var a;
+        switch (void console.log("PASS")) {
+          case a:
+          case console.log("FAIL"), 42:
+        }
+    }
+    expect_stdout: "PASS"
+}
+
+keep_case_4: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        var a;
+        switch (void console.log("PASS")) {
+          case a:
+          case void console.log("FAIL"):
+        }
+    }
+    expect: {
+        var a;
+        switch (void console.log("PASS")) {
+          case a:
+          case void console.log("FAIL"):
+        }
+    }
+    expect_stdout: "PASS"
+}
+
 issue_376: {
     options = {
         dead_code: true,
@@ -661,7 +922,7 @@ issue_1680_1: {
           case f(0):
           case f(1):
             f(2);
-          case 2:
+          default:
             f(5);
         }
     }
@@ -924,7 +1185,6 @@ issue_2535: {
     }
     expect: {
         w(), 42;
-        42;
         y();
         z();
     }
@@ -950,7 +1210,6 @@ issue_1750: {
     expect: {
         var a = 0, b = 1;
         true;
-        a, true;
         b = 2;
         console.log(a, b);
     }
@@ -1088,7 +1347,8 @@ drop_switch_6: {
         }
     }
     expect: {
-        A === B;
+        A;
+        B;
         x();
         C !== D;
         y();
@@ -1181,3 +1441,170 @@ issue_4059: {
     }
     expect_stdout: "PASS"
 }
+
+issue_5008_1: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        reduce_vars: true,
+        switches: true,
+        unsafe: true,
+    }
+    input: {
+        console.log(function f() {
+            switch (f) {
+              case f:
+                return "PASS";
+              default:
+                return "FAIL";
+            }
+        }());
+    }
+    expect: {
+        console.log(function f() {
+            switch (f) {
+              default:
+                return "PASS";
+            }
+        }());
+    }
+    expect_stdout: "PASS"
+}
+
+issue_5008_2: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        reduce_vars: true,
+        switches: true,
+        unsafe: true,
+    }
+    input: {
+        console.log(function(a) {
+            switch (a) {
+              case a:
+                return "PASS";
+              default:
+                return "FAIL";
+            }
+        }([]));
+    }
+    expect: {
+        console.log(function(a) {
+            switch (a) {
+              default:
+                return "PASS";
+            }
+        }([]));
+    }
+    expect_stdout: "PASS"
+}
+
+issue_5008_3: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        reduce_vars: true,
+        switches: true,
+        unsafe: true,
+    }
+    input: {
+        console.log(function(a) {
+            switch (a) {
+              case a:
+                return "PASS";
+              default:
+                return "FAIL";
+            }
+        }({}));
+    }
+    expect: {
+        console.log(function(a) {
+            switch (a) {
+              default:
+                return "PASS";
+            }
+        }({}));
+    }
+    expect_stdout: "PASS"
+}
+
+issue_5008_4: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        reduce_vars: true,
+        switches: true,
+    }
+    input: {
+        console.log(function(a) {
+            switch (a) {
+              case a:
+                return "PASS";
+              default:
+                return "FAIL";
+            }
+        }(/foo/));
+    }
+    expect: {
+        console.log(function(a) {
+            switch (a) {
+              default:
+                return "PASS";
+            }
+        }(/foo/));
+    }
+    expect_stdout: "PASS"
+}
+
+issue_5010: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        var a;
+        switch (42) {
+          case console.log("PASS"):
+          case a:
+            console.log("FAIL");
+          case 42:
+        }
+    }
+    expect: {
+        var a;
+        switch (42) {
+          case console.log("PASS"):
+          case a:
+            console.log("FAIL");
+        }
+    }
+    expect_stdout: "PASS"
+}
+
+issue_5012: {
+    options = {
+        dead_code: true,
+        evaluate: true,
+        switches: true,
+    }
+    input: {
+        switch (void 0) {
+          case console.log("PASS"):
+            break;
+          case void 0:
+          case 42:
+            console.log("FAIL");
+        }
+    }
+    expect: {
+        switch (void 0) {
+          case console.log("PASS"):
+            break;
+          default:
+            console.log("FAIL");
+        }
+    }
+    expect_stdout: "PASS"
+}

test/compress/yields.js

@@ -1083,3 +1083,166 @@ issue_4769_2: {
     expect_stdout: "PASS"
     node_version: ">=6"
 }
+
+issue_5019_1: {
+    options = {
+        dead_code: true,
+    }
+    input: {
+        (function(a) {
+            return a = function*() {
+                console.log(typeof a);
+            }();
+        })().next();
+    }
+    expect: {
+        (function(a) {
+            return a = function*() {
+                console.log(typeof a);
+            }();
+        })().next();
+    }
+    expect_stdout: "object"
+    node_version: ">=4"
+}
+
+issue_5019_2: {
+    options = {
+        inline: true,
+        toplevel: true,
+    }
+    input: {
+        var a = [];
+        for (var b in "foo")
+            a.push(function(c) {
+                return function*() {
+                    console.log(c);
+                }();
+            }(b));
+        a.map(function(d) {
+            return d.next();
+        });
+    }
+    expect: {
+        var a = [];
+        for (var b in "foo")
+            a.push(function(c) {
+                return function*() {
+                    console.log(c);
+                }();
+            }(b));
+        a.map(function(d) {
+            return d.next();
+        });
+    }
+    expect_stdout: [
+        "0",
+        "1",
+        "2",
+    ]
+    node_version: ">=4"
+}
+
+issue_5032_normal: {
+    options = {
+        merge_vars: true,
+        webkit: false,
+    }
+    input: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        function *f(a) {
+            var b = log(a), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS").next();
+    }
+    expect: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        function *f(c) {
+            var b = log(c), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS").next();
+    }
+    expect_stdout: [
+        "PASS",
+        "PASS",
+        "PASS",
+    ]
+    node_version: ">=4"
+}
+
+issue_5032_webkit: {
+    options = {
+        merge_vars: true,
+        webkit: true,
+    }
+    input: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        function *f(a) {
+            var b = log(a), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS").next();
+    }
+    expect: {
+        function log(value) {
+            console.log(value);
+            return value;
+        }
+        function *f(a) {
+            var b = log(a), c = b;
+            log(b);
+            log(c);
+        }
+        f("PASS").next();
+    }
+    expect_stdout: [
+        "PASS",
+        "PASS",
+        "PASS",
+    ]
+    node_version: ">=4"
+}
+
+issue_5034: {
+    options = {
+        functions: true,
+        reduce_vars: true,
+        unused: true,
+    }
+    input: {
+        console.log(function() {
+            var yield = function f() {
+                return function*() {
+                    return f;
+                };
+            };
+            return yield()().next().value === yield;
+        }() ? "PASS" : "FAIL");
+    }
+    expect: {
+        console.log(function() {
+            var yield = function f() {
+                return function*() {
+                    return f;
+                };
+            };
+            return yield()().next().value === yield;
+        }() ? "PASS" : "FAIL");
+    }
+    expect_stdout: "PASS"
+    node_version: ">=4"
+}

test/jetstream.js

@@ -58,22 +58,29 @@ if (typeof phantom == "undefined") {
     }).listen();
     server.on("listening", function() {
         var port = server.address().port;
-        if (debug) {
-            console.log("http://localhost:" + port + "/");
-        } else (function install() {
-            child_process.spawn(process.platform == "win32" ? "npm.cmd" : "npm", [
+        if (debug) return console.log("http://localhost:" + port + "/");
+        var cmd = process.platform == "win32" ? "npm.cmd" : "npm";
+
+        function npm(args, done) {
+            child_process.spawn(cmd, args, { stdio: [ "ignore", 1, 2 ] }).on("exit", done);
+        }
+
+        (function install() {
+            npm([
                 "install",
                 "phantomjs-prebuilt@2.1.14",
                 "--no-audit",
                 "--no-optional",
                 "--no-save",
                 "--no-update-notifier",
-            ], {
-                stdio: [ "ignore", 1, 2 ]
-            }).on("exit", function(code) {
+            ], function(code) {
                 if (code) {
                     console.log("npm install failed with code", code);
-                    return install();
+                    return npm([
+                        "cache",
+                        "clean",
+                        "--force",
+                    ], install);
                 }
                 var program = require("phantomjs-prebuilt").exec(process.argv[1], port);
                 program.stdout.pipe(process.stdout);

test/release/acorn.sh

@@ -14,6 +14,13 @@ minify_in_situ() {
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/acorn \
 && git clone https://github.com/acornjs/acorn.git tmp/acorn \
 && cd tmp/acorn \
@@ -89,7 +96,7 @@ minify_in_situ "acorn/src" \
 && minify_in_situ "acorn-loose/src" \
 && minify_in_situ "acorn-walk/src" \
 && rm -rf node_modules \
-&& npm install \
+&& npm_install \
 && rm -rf acorn/dist acorn-loose/dist acorn-walk/dist \
 && npm run build \
 && minify_in_situ "acorn/dist" \

test/release/bootstrap.sh

@@ -14,6 +14,13 @@ minify_in_situ() {
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/bootstrap \
 && git clone --depth 1 --branch v5.0.0-beta2 https://github.com/twbs/bootstrap.git tmp/bootstrap \
 && cd tmp/bootstrap \
@@ -171,7 +178,7 @@ rm -rf tmp/bootstrap \
 EOF
 ERR=$?; if [ "$ERR" != "0" ]; then echo "Error: $ERR"; exit $ERR; fi
 rm -rf node_modules \
-&& npm ci \
+&& npm_install \
 && minify_in_situ "node_modules/@popperjs/core" \
 && rm -rf dist/js/* \
 && minify_in_situ "build" \

test/release/buble.sh

@@ -14,6 +14,13 @@ minify_in_situ() {
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/buble \
 && git clone https://github.com/bublejs/buble.git tmp/buble \
 && cd tmp/buble \
@@ -38,7 +45,7 @@ EOF
 ERR=$?; if [ "$ERR" != "0" ]; then echo "Error: $ERR"; exit $ERR; fi
 minify_in_situ "src" \
 && rm -rf node_modules \
-&& npm ci \
+&& npm_install \
 && rm -rf dist \
 && npm run build \
 && minify_in_situ "dist" \

test/release/butternut.sh

@@ -14,6 +14,13 @@ minify_in_situ() {
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/butternut \
 && git clone https://github.com/Rich-Harris/butternut.git tmp/butternut \
 && cd tmp/butternut \
@@ -38,7 +45,7 @@ EOF
 ERR=$?; if [ "$ERR" != "0" ]; then echo "Error: $ERR"; exit $ERR; fi
 minify_in_situ "src" \
 && rm -rf node_modules \
-&& npm install \
+&& npm_install \
 && rm -rf dist \
 && npm run build \
 && minify_in_situ "dist" \

test/release/install.sh

@@ -36,7 +36,9 @@ EOF
 }
 if [ $NATIVE ]; then unset -f timeout; fi
 
-git clone --branch v1.6.0 --depth 1 https://github.com/jasongin/nvs.git ~/.nvs
+while !(git clone --branch v1.6.0 --depth 1 https://github.com/jasongin/nvs.git ~/.nvs); do
+    rm -rf ~/.nvs
+done
 while ! timeout 60 bash -c ". ~/.nvs/nvs.sh add $NODE && nvs use $NODE"; do
     cd ~/.nvs
     while !(git clean -xdf); do echo "'git clean' failed - retrying..."; done
@@ -51,4 +53,6 @@ npm config set save false
 npm config set strict-ssl false
 npm config set update-notifier false
 npm --version
-while !(npm install); do echo "'npm install' failed - retrying..."; done
+while !(npm install); do
+    while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+done

test/release/mathjs.sh

@@ -18,6 +18,13 @@ minify_in_situ() {
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/mathjs \
 && git clone --depth 1 --branch v9.2.0 https://github.com/josdejong/mathjs.git tmp/mathjs \
 && cd tmp/mathjs \
@@ -191,7 +198,7 @@ minify_in_situ "bin" \
 && minify_in_situ "test" \
 && minify_in_situ "tools" \
 && rm -rf node_modules \
-&& npm ci \
+&& npm_install \
 && rm -rf lib \
 && npm run build \
 && minify_in_situ "lib" \

test/release/rollup-es.sh

@@ -14,6 +14,13 @@ minify_in_situ() {
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/rollup \
 && git clone https://github.com/rollup/rollup.git tmp/rollup \
 && cd tmp/rollup \
@@ -77,7 +84,7 @@ minify_in_situ "bin" \
 && minify_in_situ "browser" \
 && minify_in_situ "src" \
 && rm -rf node_modules \
-&& npm ci \
+&& npm_install \
 && rm -rf dist \
 && npm run build \
 && minify_in_situ "dist" \

test/release/rollup-ts.sh

@@ -24,6 +24,13 @@ EOF
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/rollup \
 && git clone --depth 1 --branch v2.39.1 https://github.com/rollup/rollup.git tmp/rollup \
 && cd tmp/rollup \
@@ -36,6 +43,9 @@ rm -rf tmp/rollup \
 -    "postpublish": "pinst --enable",
 -    "prepare": "npm run build",
 -    "prepublishOnly": "pinst --disable && npm ci && npm run lint:nofix && npm run security && npm run build:bootstrap && npm run test:all",
+@@ -93 +89 @@
+-    "is-reference": "lukastaegert/is-reference#update-class-features",
++    "is-reference": "3.0.0",
 --- a/test/cli/index.js
 +++ b/test/cli/index.js
 @@ -13,0 +14,3 @@ sander.rimrafSync(__dirname, 'node_modules');
@@ -44,11 +54,11 @@ rm -rf tmp/rollup \
 +sander.rimrafSync(__dirname, 'samples', 'watch', 'watch-config-initial-error');
 EOF
 ERR=$?; if [ "$ERR" != "0" ]; then echo "Error: $ERR"; exit $ERR; fi
-npm install esbuild-wasm@0.8.56 \
+npm_install esbuild-wasm@0.8.56 \
 && minify_in_situ "cli" \
 && minify_in_situ "src" \
 && rm -rf node_modules \
-&& npm ci \
+&& npm_install \
 && rm -rf dist \
 && npm run build \
 && minify_in_situ "dist" \

test/release/sucrase.sh

@@ -28,6 +28,13 @@ EOF
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/sucrase \
 && git clone https://github.com/alangpierce/sucrase.git tmp/sucrase \
 && cd tmp/sucrase \
@@ -83,10 +90,10 @@ rm -rf tmp/sucrase \
 +export { getJSXPragmaInfo as HACK };
 EOF
 ERR=$?; if [ "$ERR" != "0" ]; then echo "Error: $ERR"; exit $ERR; fi
-npm install esbuild-wasm@0.8.56 \
+npm_install esbuild-wasm@0.8.56 \
 && minify_in_situ "src" \
 && rm -rf node_modules \
-&& npm install \
+&& npm_install \
 && npm run clean \
 && npm run build \
 && minify_in_situ "dist" \

test/release/web-tooling-benchmark.sh

@@ -14,6 +14,13 @@ minify_in_situ() {
     uglify-js $ARGS
 }
 
+npm_install() {
+    PKG="$1"
+    while !(npm install $PKG); do
+        while !(npm cache clean --force); do echo "'npm cache clean' failed - retrying..."; done
+    done
+}
+
 rm -rf tmp/web-tooling-benchmark \
 && git clone --depth 1 --branch v0.5.3 https://github.com/v8/web-tooling-benchmark.git tmp/web-tooling-benchmark \
 && cd tmp/web-tooling-benchmark \
@@ -47,7 +54,7 @@ ERR=$?; if [ "$ERR" != "0" ]; then echo "Error: $ERR"; exit $ERR; fi
 minify_in_situ "src" \
 && minify_in_situ "third_party" \
 && rm -rf node_modules \
-&& npm ci \
+&& npm_install \
 && rm -rf build/* \
 && npm run build:terser-bundled \
 && npm run build:uglify-js-bundled \

test/ufuzz/actions.js

@@ -1,7 +1,7 @@
 var get = require("https").get;
 var parse = require("url").parse;
 
-var base, token, run_number, eldest = true;
+var base, token, run_number;
 exports.init = function(url, auth, num) {
     base = url;
     token = auth;
@@ -19,14 +19,14 @@ exports.should_stop = function(callback) {
             do {
                 workflow = runs.pop();
                 if (!workflow) return;
-                if (workflow.event == "schedule" && workflow.run_number == run_number) found = true;
+                if (is_cron(workflow) && workflow.run_number == run_number) found = true;
             } while (!found && workflow.status == "completed");
             read(workflow.jobs_url, function(reply) {
                 if (!reply || !Array.isArray(reply.jobs)) return;
                 if (!reply.jobs.every(function(job) {
                     if (job.status == "completed") return true;
                     remaining--;
-                    return found || workflow.event != "schedule";
+                    return found || !is_cron(workflow);
                 })) return;
                 if (remaining >= 0) {
                     next();
@@ -38,6 +38,10 @@ exports.should_stop = function(callback) {
     });
 };
 
+function is_cron(workflow) {
+    return /^(schedule|workflow_dispatch|workflow_run)$/.test(workflow.event);
+}
+
 function read(url, callback) {
     var done = function(reply) {
         done = function() {};
@@ -56,7 +60,7 @@ function read(url, callback) {
         }).on("end", function() {
             var reply;
             try {
-                reply = JSON.parse(chunks.join(""))
+                reply = JSON.parse(chunks.join(""));
             } catch (e) {}
             done(reply);
         }).on("error", function() {