terser 5.31.0 → 5.31.2

package/CHANGELOG.md

@@ -1,5 +1,13 @@
 # Changelog
 
+## v5.31.2
+ - drop_unused: scan variables in self-referential class declarations that contain side effects.
+ - Don't add parens to arrow function when it's the default for an argument (#1540)
+ - Update domprops (#1538)
+
+## v5.31.1
+ - Allow drop-unused to drop the whole assignment (not just the assigned name) in more situations, in order to avoid duplication of long strings.
+
 ## v5.31.0
  - Sync up property mangler exceptions with current contents of Firefox and Chrome environments
  - Add more webcomponent properties to property mangler exceptions (#1525)

package/dist/bundle.min.js

@@ -2,7 +2,7 @@
 typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports, require('@jridgewell/source-map')) :
 typeof define === 'function' && define.amd ? define(['exports', '@jridgewell/source-map'], factory) :
 (global = typeof globalThis !== 'undefined' ? globalThis : global || self, factory(global.Terser = {}, global.sourceMap));
-})(this, (function (exports, sourceMap) { 'use strict';
+}(this, (function (exports, sourceMap) { 'use strict';
 
 /***********************************************************************
 
@@ -10276,7 +10276,9 @@ function OutputStream(options) {
     AST_Arrow.DEFMETHOD("_do_print", function(output) {
         var self = this;
         var parent = output.parent();
-        var needs_parens = (parent instanceof AST_Binary && !(parent instanceof AST_Assign)) ||
+        var needs_parens = (parent instanceof AST_Binary &&
+                !(parent instanceof AST_Assign) &&
+                !(parent instanceof AST_DefaultAssign)) ||
             parent instanceof AST_Unary ||
             (parent instanceof AST_Call && self === parent.expression);
         if (needs_parens) { output.print("("); }
@@ -13159,7 +13161,17 @@ function has_break_or_continue(loop, parent) {
 // func(something) because that changes the meaning of
 // the func (becomes lexical instead of global).
 function maintain_this_binding(parent, orig, val) {
-    if (
+    if (requires_sequence_to_maintain_binding(parent, orig, val)) {
+        const zero = make_node(AST_Number, orig, { value: 0 });
+        return make_sequence(orig, [ zero, val ]);
+    } else {
+        return val;
+    }
+}
+
+/** Detect (1, x.noThis)(), (0, eval)(), which need sequences */
+function requires_sequence_to_maintain_binding(parent, orig, val) {
+    return (
         parent instanceof AST_UnaryPrefix && parent.operator == "delete"
         || parent instanceof AST_Call && parent.expression === orig
             && (
@@ -13167,12 +13179,7 @@ function maintain_this_binding(parent, orig, val) {
                 || val instanceof AST_PropAccess
                 || val instanceof AST_SymbolRef && val.name == "eval"
             )
-    ) {
-        const zero = make_node(AST_Number, orig, { value: 0 });
-        return make_sequence(orig, [ zero, val ]);
-    } else {
-        return val;
-    }
+    );
 }
 
 function is_func_expr(node) {
@@ -15267,7 +15274,6 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
     }
     var var_defs_by_id = new Map();
     var initializations = new Map();
-    var self_referential_classes = new Set();
 
     // pass 1: find out which symbols are directly used in
     // this scope (not in nested scopes).
@@ -15282,8 +15288,11 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
         }
         if (node === self) return;
         if (node instanceof AST_Class && node.has_side_effects(compressor)) {
-            if (node.is_self_referential()) self_referential_classes.add(node);
-            node.visit_nondeferred_class_parts(tw);
+            if (node.is_self_referential()) {
+                descend();
+            } else {
+                node.visit_nondeferred_class_parts(tw);
+            }
         }
         if (node instanceof AST_Defun || node instanceof AST_DefClass) {
             var node_def = node.name.definition();
@@ -15347,9 +15356,6 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
             init.walk(tw);
         });
     });
-    self_referential_classes.forEach(function (cls) {
-        cls.walk(tw);
-    });
     // pass 3: we should drop declarations not in_use
     var tt = new TreeTransformer(
         function before(node, descend, in_list) {
@@ -15361,7 +15367,11 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
                     var in_use = in_use_ids.has(def.id);
                     if (node instanceof AST_Assign) {
                         if (!in_use || fixed_ids.has(def.id) && fixed_ids.get(def.id) !== node) {
-                            return maintain_this_binding(parent, node, node.right.transform(tt));
+                            const assignee = node.right.transform(tt);
+                            if (!in_use && !assignee.has_side_effects(compressor) && !is_used_in_expression(tt)) {
+                                return in_list ? MAP.skip : make_node(AST_Number, node, { value: 0 });
+                            }
+                            return maintain_this_binding(parent, node, assignee);
                         }
                     } else if (!in_use) {
                         return in_list ? MAP.skip : make_node(AST_Number, node, { value: 0 });
@@ -15568,6 +15578,14 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
                 scope = save_scope;
                 return node;
             }
+        },
+        function after(node, in_list) {
+            if (node instanceof AST_Sequence) {
+                switch (node.expressions.length) {
+                    case 0: return in_list ? MAP.skip : make_node(AST_Number, node, { value: 0 });
+                    case 1: return node.expressions[0];
+                }
+            }
         }
     );
 
@@ -15614,6 +15632,45 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
     }
 });
 
+/**
+ * Check if a node may be used by the expression it's in
+ * void (0, 1, {node}, 2) -> false
+ * console.log(0, {node}) -> true
+ */
+function is_used_in_expression(tw) {
+    for (let p = -1, node, parent; node = tw.parent(p), parent = tw.parent(p + 1); p++) {
+        if (parent instanceof AST_Sequence) {
+            const nth_expression = parent.expressions.indexOf(node);
+            if (nth_expression !== parent.expressions.length - 1) {
+                // Detect (0, x.noThis)() constructs
+                const grandparent = tw.parent(p + 2);
+                if (
+                    parent.expressions.length > 2
+                    || parent.expressions.length === 1
+                    || !requires_sequence_to_maintain_binding(grandparent, parent, parent.expressions[1])
+                ) {
+                    return false;
+                }
+                return true;
+            } else {
+                continue;
+            }
+        }
+        if (parent instanceof AST_Unary) {
+            const op = parent.operator;
+            if (op === "void") {
+                return false;
+            }
+            if (op === "typeof" || op === "+" || op === "-" || op === "!" || op === "~") {
+                continue;
+            }
+        }
+        return true;
+    }
+
+    return true;
+}
+
 /***********************************************************************
 
   A JavaScript tokenizer / parser / beautifier / compressor.
@@ -30723,6 +30780,7 @@ var domprops = [
     "uint32",
     "uint8",
     "uint8Clamped",
+    "unadjustedMovement",
     "unclippedDepth",
     "unconfigure",
     "undefined",
@@ -32483,4 +32541,4 @@ exports._run_cli = run_cli;
 exports.minify = minify;
 exports.minify_sync = minify_sync;
 
-}));
+})));

package/lib/compress/common.js

@@ -226,7 +226,17 @@ export function has_break_or_continue(loop, parent) {
 // func(something) because that changes the meaning of
 // the func (becomes lexical instead of global).
 export function maintain_this_binding(parent, orig, val) {
-    if (
+    if (requires_sequence_to_maintain_binding(parent, orig, val)) {
+        const zero = make_node(AST_Number, orig, { value: 0 });
+        return make_sequence(orig, [ zero, val ]);
+    } else {
+        return val;
+    }
+}
+
+/** Detect (1, x.noThis)(), (0, eval)(), which need sequences */
+export function requires_sequence_to_maintain_binding(parent, orig, val) {
+    return (
         parent instanceof AST_UnaryPrefix && parent.operator == "delete"
         || parent instanceof AST_Call && parent.expression === orig
             && (
@@ -234,12 +244,7 @@ export function maintain_this_binding(parent, orig, val) {
                 || val instanceof AST_PropAccess
                 || val instanceof AST_SymbolRef && val.name == "eval"
             )
-    ) {
-        const zero = make_node(AST_Number, orig, { value: 0 });
-        return make_sequence(orig, [ zero, val ]);
-    } else {
-        return val;
-    }
+    );
 }
 
 export function is_func_expr(node) {

package/lib/compress/drop-unused.js

@@ -63,6 +63,7 @@ import {
     AST_Lambda,
     AST_Number,
     AST_Scope,
+    AST_Sequence,
     AST_SimpleStatement,
     AST_SymbolBlockDeclaration,
     AST_SymbolCatch,
@@ -101,6 +102,7 @@ import {
     is_empty,
     is_ref_of,
     can_be_evicted_from_block,
+    requires_sequence_to_maintain_binding,
 } from "./common.js";
 
 const r_keep_assign = /keep_assign/;
@@ -137,7 +139,6 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
     }
     var var_defs_by_id = new Map();
     var initializations = new Map();
-    var self_referential_classes = new Set();
 
     // pass 1: find out which symbols are directly used in
     // this scope (not in nested scopes).
@@ -152,8 +153,11 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
         }
         if (node === self) return;
         if (node instanceof AST_Class && node.has_side_effects(compressor)) {
-            if (node.is_self_referential()) self_referential_classes.add(node);
-            node.visit_nondeferred_class_parts(tw);
+            if (node.is_self_referential()) {
+                descend();
+            } else {
+                node.visit_nondeferred_class_parts(tw);
+            }
         }
         if (node instanceof AST_Defun || node instanceof AST_DefClass) {
             var node_def = node.name.definition();
@@ -217,9 +221,6 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
             init.walk(tw);
         });
     });
-    self_referential_classes.forEach(function (cls) {
-        cls.walk(tw);
-    });
     // pass 3: we should drop declarations not in_use
     var tt = new TreeTransformer(
         function before(node, descend, in_list) {
@@ -231,7 +232,11 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
                     var in_use = in_use_ids.has(def.id);
                     if (node instanceof AST_Assign) {
                         if (!in_use || fixed_ids.has(def.id) && fixed_ids.get(def.id) !== node) {
-                            return maintain_this_binding(parent, node, node.right.transform(tt));
+                            const assignee = node.right.transform(tt);
+                            if (!in_use && !assignee.has_side_effects(compressor) && !is_used_in_expression(tt)) {
+                                return in_list ? MAP.skip : make_node(AST_Number, node, { value: 0 });
+                            }
+                            return maintain_this_binding(parent, node, assignee);
                         }
                     } else if (!in_use) {
                         return in_list ? MAP.skip : make_node(AST_Number, node, { value: 0 });
@@ -438,6 +443,14 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
                 scope = save_scope;
                 return node;
             }
+        },
+        function after(node, in_list) {
+            if (node instanceof AST_Sequence) {
+                switch (node.expressions.length) {
+                    case 0: return in_list ? MAP.skip : make_node(AST_Number, node, { value: 0 });
+                    case 1: return node.expressions[0];
+                }
+            }
         }
     );
 
@@ -484,3 +497,41 @@ AST_Scope.DEFMETHOD("drop_unused", function(compressor) {
     }
 });
 
+/**
+ * Check if a node may be used by the expression it's in
+ * void (0, 1, {node}, 2) -> false
+ * console.log(0, {node}) -> true
+ */
+function is_used_in_expression(tw) {
+    for (let p = -1, node, parent; node = tw.parent(p), parent = tw.parent(p + 1); p++) {
+        if (parent instanceof AST_Sequence) {
+            const nth_expression = parent.expressions.indexOf(node);
+            if (nth_expression !== parent.expressions.length - 1) {
+                // Detect (0, x.noThis)() constructs
+                const grandparent = tw.parent(p + 2);
+                if (
+                    parent.expressions.length > 2
+                    || parent.expressions.length === 1
+                    || !requires_sequence_to_maintain_binding(grandparent, parent, parent.expressions[1])
+                ) {
+                    return false;
+                }
+                return true;
+            } else {
+                continue;
+            }
+        }
+        if (parent instanceof AST_Unary) {
+            const op = parent.operator;
+            if (op === "void") {
+                return false;
+            }
+            if (op === "typeof" || op === "+" || op === "-" || op === "!" || op === "~") {
+                continue;
+            }
+        }
+        return true;
+    }
+
+    return true;
+}

package/lib/output.js

@@ -1501,7 +1501,9 @@ function OutputStream(options) {
     AST_Arrow.DEFMETHOD("_do_print", function(output) {
         var self = this;
         var parent = output.parent();
-        var needs_parens = (parent instanceof AST_Binary && !(parent instanceof AST_Assign)) ||
+        var needs_parens = (parent instanceof AST_Binary &&
+                !(parent instanceof AST_Assign) &&
+                !(parent instanceof AST_DefaultAssign)) ||
             parent instanceof AST_Unary ||
             (parent instanceof AST_Call && self === parent.expression);
         if (needs_parens) { output.print("("); }

package/package.json

@@ -4,7 +4,7 @@
   "homepage": "https://terser.org",
   "author": "Mihai Bazon <mihai.bazon@gmail.com> (http://lisperator.net/)",
   "license": "BSD-2-Clause",
-  "version": "5.31.0",
+  "version": "5.31.2",
   "engines": {
     "node": ">=10"
   },

package/tools/domprops.js

@@ -8225,6 +8225,7 @@ export var domprops = [
     "uint32",
     "uint8",
     "uint8Clamped",
+    "unadjustedMovement",
     "unclippedDepth",
     "unconfigure",
     "undefined",