Migrate S2589: Fix rethrow FP

analyzers/src/SonarAnalyzer.Common/SymbolicExecution/Roslyn/RoslynSymbolicExecution.cs

@@ -131,6 +131,13 @@ private ExplodedNode ProcessBranch(ExplodedNode node, ControlFlowBranch branch)
         {
             return FromFinally(node.FinallyPoint.CreateNext());     // Redirect from finally back to the original place (or outer finally on the same branch)
         }
+        else if (branch.Source.BranchValue is { } branchValue)
+        {
+            // If a branch has no Destination but is part of conditional branching we need to call ConditionEvaluated. This happens when a Rethrow is following a condition.
+            var state = SetBranchingConstraints(branch, node.State, branchValue);
+            checks.ConditionEvaluated(new(branchValue.ToSonar(), state, false, node.VisitCount, lva.CapturedVariables));
+            return null;
+        }
         else
         {
             return null;    // We don't know where to continue

analyzers/tests/SonarAnalyzer.UnitTest/SymbolicExecution/Roslyn/RoslynSymbolicExecutionTest.Branching.cs

@@ -507,6 +507,30 @@ public void Branching_ConditionEvaluated()
         SETestContext.CreateCS(code, check).Validator.ValidateTagOrder("Begin", "End");
     }
 
+    [TestMethod]
+    public void Branching_Rethrow_CallsConditionEvaluated()
+    {
+        const string code = """
+            try
+            {
+                Console.WriteLine("may throw");
+            }
+            catch
+            {
+                if (boolParameter)
+                    throw;
+            }
+            """;
+        var count = 0;
+        var check = new ConditionEvaluatedTestCheck(x =>
+            {
+                count++;
+                return x.State;
+            });
+        SETestContext.CreateCS(code, check).Validator.ValidateTagOrder();
+        count.Should().Be(2);
+    }
+
     [TestMethod]
     public void Branching_NullConstraints_VisitsIfBranch()
     {

analyzers/tests/SonarAnalyzer.UnitTest/TestCases/SymbolicExecution/Roslyn/ConditionEvaluatesToConstant.cs

@@ -1576,6 +1576,25 @@ public void ObjectsShouldNotBeDisposedMoreThanOnce()
             }
         }
 
+        public void Throw(bool condition)
+        {
+            if (condition)      // Compliant
+                throw new Exception();
+        }
+
+        public void Rethrow(bool condition)
+        {
+            try
+            {
+                Console.WriteLine("may throw");
+            }
+            catch
+            {
+                if (condition)  // Compliant
+                    throw;
+            }
+        }
+
         public void FalseNegatives()
         {
             // We cannot detect the case in ObjectsShouldNotBeDisposedMoreThanOnce method above