Add more check

Author: Kingwl

src/compiler/binder.ts

@@ -915,6 +915,9 @@ namespace ts {
         function isNarrowingBinaryExpression(expr: BinaryExpression) {
             switch (expr.operatorToken.kind) {
                 case SyntaxKind.EqualsToken:
+                case SyntaxKind.BarBarEqualsToken:
+                case SyntaxKind.AmpersandAmpersandEqualsToken:
+                case SyntaxKind.QuestionQuestionEqualsToken:
                     return containsNarrowableReference(expr.left);
                 case SyntaxKind.EqualsEqualsToken:
                 case SyntaxKind.ExclamationEqualsToken:
@@ -1062,6 +1065,15 @@ namespace ts {
             }
         }
 
+        function isTopLevelLogicalAssignmentExpression(node: Node): boolean {
+            while (isParenthesizedExpression(node.parent)) {
+                node = node.parent;
+            }
+            return !isStatementCondition(node) &&
+                !isLogicalAssignmentExpressioin(node.parent) &&
+                !(isOptionalChain(node.parent) && node.parent.expression === node);
+        }
+
         function isTopLevelLogicalExpression(node: Node): boolean {
             while (isParenthesizedExpression(node.parent) ||
                 isPrefixUnaryExpression(node.parent) && node.parent.operator === SyntaxKind.ExclamationToken) {
@@ -1184,23 +1196,19 @@ namespace ts {
             currentFlow = finishFlowLabel(postIfLabel);
         }
 
-        function bindLogicalAssignmentExpression(node: BinaryExpression) {
+        function bindLogicalAssignmentExpression(node: BinaryExpression, trueTarget: FlowLabel, falseTarget: FlowLabel) {
             const preRightLabel = createBranchLabel();
-            const postExpressionLabel = createBranchLabel();
-
             if (node.operatorToken.kind === SyntaxKind.AmpersandAmpersandEqualsToken) {
-                bindCondition(node.left, preRightLabel, postExpressionLabel);
+                bindCondition(node.left, preRightLabel, falseTarget);
             }
             else {
-                bindCondition(node.left, postExpressionLabel, preRightLabel);
+                bindCondition(node.left, trueTarget, preRightLabel);
             }
 
             currentFlow = finishFlowLabel(preRightLabel);
             bind(node.operatorToken);
-            bind(node.right);
+            doWithConditionalBranches(bind, node.right, trueTarget, falseTarget);
             bindAssignmentTargetFlow(node.left);
-
-            currentFlow = finishFlowLabel(postExpressionLabel);
         }
 
         function bindReturnOrThrow(node: ReturnStatement | ThrowStatement): void {
@@ -1556,7 +1564,14 @@ namespace ts {
                             completeNode();
                         }
                         else if(isLogicalAssignmentOperator(operator)) {
-                            bindLogicalAssignmentExpression(node);
+                            if (isTopLevelLogicalAssignmentExpression(node)) {
+                                const postExpressionLabel = createBranchLabel();
+                                bindLogicalAssignmentExpression(node, postExpressionLabel, postExpressionLabel);
+                                currentFlow = finishFlowLabel(postExpressionLabel);
+                            }
+                            else {
+                                bindLogicalAssignmentExpression(node, currentTrueTarget!, currentFalseTarget!);
+                            }
                             completeNode();
                         }
                         else {

tests/cases/conformance/esnext/logicalAssignment/logicalAssignment4.ts

@@ -1,5 +1,6 @@
 // @strict: true
 // @target: esnext, es2020, es2015
+// @allowUnreachableCode: false
 
 function foo1(results: number[] | undefined) {
     (results ||= []).push(100);