Convert if-else to return statement when pattern matching is used (do…

…tnet#956)
Haarmees · Oct 30, 2023 · 745921d · 745921d
1 parent a223081
commit 745921d
Show file tree

Hide file tree

Showing 3 changed files with 68 additions and 1 deletion.
diff --git a/ChangeLog.md b/ChangeLog.md
@@ -33,6 +33,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Do not suggest to make local variable a const when it is used in ref extension method ([RCS1118](https://github.com/JosefPihrt/Roslynator/blob/main/docs/analyzers/RCS1118.md)) ([#948](https://github.com/josefpihrt/roslynator/pull/948).
 - Fix formatting of argument list ([#952](https://github.com/josefpihrt/roslynator/pull/952).
 - Do not remove async/await when 'using declaration' is used ([#953](https://github.com/josefpihrt/roslynator/pull/953).
+- Convert if-else to return statement when pattern matching is used ([RCS1073](https://github.com/JosefPihrt/Roslynator/blob/main/docs/analyzers/RCS1073.md)) ([#956](https://github.com/josefpihrt/roslynator/pull/956).
 
 -----
 <!-- Content below does not adhere to 'Keep a Changelog' format -->

diff --git a/src/Common/CSharp/Analysis/If/IfAnalysis.cs b/src/Common/CSharp/Analysis/If/IfAnalysis.cs
@@ -219,7 +219,7 @@ protected IfAnalysis(IfStatementSyntax ifStatement, SemanticModel semanticModel)
             SemanticModel semanticModel,
             CancellationToken cancellationToken)
         {
-            if ((nullCheck.Style & NullCheckStyles.ComparisonToNull) != 0
+            if ((nullCheck.Style & (NullCheckStyles.ComparisonToNull | NullCheckStyles.IsPattern)) != 0
                 && AreEquivalent(nullCheck.Expression, expression1))
             {
                 return CreateIfToReturnStatement(isNullable: false);

diff --git a/src/Tests/Analyzers.Tests/RCS1073ConvertIfToReturnStatementTests.cs b/src/Tests/Analyzers.Tests/RCS1073ConvertIfToReturnStatementTests.cs
@@ -76,6 +76,72 @@ bool M()
 ");
         }
 
+        [Fact, Trait(Traits.Analyzer, DiagnosticIdentifiers.ConvertIfToReturnStatement)]
+        public async Task Test_IfReturn_EqualsToNull()
+        {
+            await VerifyDiagnosticAndFixAsync(@"
+class C
+{
+    string M()
+    {
+        string x = null;
+
+        [|if (x == null)
+        {
+            return null;
+        }
+        else
+        {
+            return x;
+        }|]
+    }
+}
+", @"
+class C
+{
+    string M()
+    {
+        string x = null;
+
+        return x;
+    }
+}
+");
+        }
+
+        [Fact, Trait(Traits.Analyzer, DiagnosticIdentifiers.ConvertIfToReturnStatement)]
+        public async Task Test_IfReturn_IsNull()
+        {
+            await VerifyDiagnosticAndFixAsync(@"
+class C
+{
+    string M()
+    {
+        string x = null;
+
+        [|if (x is null)
+        {
+            return null;
+        }
+        else
+        {
+            return x;
+        }|]
+    }
+}
+", @"
+class C
+{
+    string M()
+    {
+        string x = null;
+
+        return x;
+    }
+}
+");
+        }
+
         [Fact, Trait(Traits.Analyzer, DiagnosticIdentifiers.ConvertIfToReturnStatement)]
         public async Task TestNoDiagnostic_IfElseContainsComment()
         {