S2589: Add repros

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

@@ -1,4 +1,5 @@
 using System;
+using System.Collections.Generic;
 using System.Text;
 
 namespace Tests.Diagnostics
@@ -241,3 +242,52 @@ static void Demo(object demo)
         }
     }
 }
+
+// https://github.com/SonarSource/sonar-dotnet/issues/8011
+namespace Repro_8011
+{
+    [Flags]
+    public enum Flags
+    {
+        None,
+        Foo,
+        Bar
+    }
+
+    public class VarWhen
+    {
+        public int Test(Flags flags)
+        {
+            return flags switch
+            {
+                var value when value.HasFlag(Flags.Foo) => 1, // Noncompliant FP
+              //^^^^^^^^^
+
+                var value when value.HasFlag(Flags.Bar) => 2, // Noncompliant FP
+              //^^^^^^^^^
+                _ => 0
+            };
+        }
+    }
+}
+
+// https://github.com/SonarSource/sonar-dotnet/issues/8008
+namespace Repro_8008
+{
+    class Person
+    {
+        public int? Age { get; set; }
+    }
+    // ...
+    class Double_Wildcard
+    {
+        public int Compare(Person x, Person y) => (x.Age, y.Age) switch
+        {
+            (null, null) => 0,
+            (null, _) => 1,
+            (_, null) => -1,
+            (_, _) => Comparer<int>.Default.Compare(x.Age.Value, y.Age.Value) // Noncompliant FP
+          //^^^^^^
+        };
+    }
+}