Fix #7462

SonarSource · Aug 3, 2023 · 32926cc · 32926cc
1 parent 0a50eb2
commit 32926cc
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 14 deletions.
diff --git a/analyzers/src/SonarAnalyzer.CSharp/Rules/BooleanLiteralUnnecessaryCodeFix.cs b/analyzers/src/SonarAnalyzer.CSharp/Rules/BooleanLiteralUnnecessaryCodeFix.cs
@@ -257,7 +257,7 @@ private static Document RewriteConditional(Document document, SyntaxNode root, S
                     root,
                     SyntaxKind.LogicalOrExpression,
                     conditional.Condition,
-                    conditional.WhenFalse);
+                    ParenthesizeIfComplex(conditional.WhenFalse));
 
                 return document.WithSyntaxRoot(newRoot);
             }
@@ -269,7 +269,7 @@ private static Document RewriteConditional(Document document, SyntaxNode root, S
                     root,
                     SyntaxKind.LogicalAndExpression,
                     GetNegatedExpression(conditional.Condition),
-                    conditional.WhenFalse);
+                    ParenthesizeIfComplex(conditional.WhenFalse));
 
                 return document.WithSyntaxRoot(newRoot);
             }
@@ -283,7 +283,7 @@ private static Document RewriteConditional(Document document, SyntaxNode root, S
                     root,
                     SyntaxKind.LogicalOrExpression,
                     GetNegatedExpression(conditional.Condition),
-                    conditional.WhenTrue);
+                    ParenthesizeIfComplex(conditional.WhenTrue));
 
                 return document.WithSyntaxRoot(newRoot);
             }
@@ -295,23 +295,21 @@ private static Document RewriteConditional(Document document, SyntaxNode root, S
                     root,
                     SyntaxKind.LogicalAndExpression,
                     conditional.Condition,
-                    conditional.WhenTrue);
+                    ParenthesizeIfComplex(conditional.WhenTrue));
 
                 return document.WithSyntaxRoot(newRoot);
             }
 
             return document;
         }
 
-        private static ExpressionSyntax GetNegatedExpression(ExpressionSyntax expression)
-        {
-            var exp = expression;
-            if (expression is BinaryExpressionSyntax or ConditionalExpressionSyntax
-                || IsPatternExpressionSyntaxWrapper.IsInstance(expression))
-            {
-                exp = SyntaxFactory.ParenthesizedExpression(expression);
-            }
-            return SyntaxFactory.PrefixUnaryExpression(SyntaxKind.LogicalNotExpression, exp);
-        }
+        private static ExpressionSyntax GetNegatedExpression(ExpressionSyntax expression) =>
+            SyntaxFactory.PrefixUnaryExpression(SyntaxKind.LogicalNotExpression, ParenthesizeIfComplex(expression));
+
+        private static ExpressionSyntax ParenthesizeIfComplex(ExpressionSyntax expression) =>
+            expression is BinaryExpressionSyntax or ConditionalExpressionSyntax
+            || IsPatternExpressionSyntaxWrapper.IsInstance(expression)
+                ? SyntaxFactory.ParenthesizedExpression(expression)
+                : expression;
     }
 }
diff --git a/analyzers/tests/SonarAnalyzer.UnitTest/TestCases/BooleanLiteralUnnecessary.Fixed.cs b/analyzers/tests/SonarAnalyzer.UnitTest/TestCases/BooleanLiteralUnnecessary.Fixed.cs
@@ -152,6 +152,12 @@ public void ThrowExpressionIsIgnored(bool condition, int number)
                 x = condition != true ? throw new Exception() : false;
             }
         }
+
+        // https://github.com/SonarSource/sonar-dotnet/issues/7462
+        public void Repro_7462(object obj)
+        {
+            var a = !(obj == null) && (obj.ToString() == "x" || obj.ToString() == "y"); // Fixed
+        }
     }
 
     public class Item

diff --git a/analyzers/tests/SonarAnalyzer.UnitTest/TestCases/BooleanLiteralUnnecessary.cs b/analyzers/tests/SonarAnalyzer.UnitTest/TestCases/BooleanLiteralUnnecessary.cs
@@ -164,6 +164,12 @@ public void ThrowExpressionIsIgnored(bool condition, int number)
                 x = condition != true ? throw new Exception() : false;
             }
         }
+
+        // https://github.com/SonarSource/sonar-dotnet/issues/7462
+        public void Repro_7462(object obj)
+        {
+            var a = obj == null ? false : obj.ToString() == "x" || obj.ToString() == "y"; // Noncompliant
+        }
     }
 
     public class Item