Support switch/case AndPattern

[PieterIddink]

Description

Please add support for switch/case AndPattern.

Repro steps

The following simple C# 8 code example will generate a System.NotSupportedException because the use of the AndPattern when performing a sonar analysis:

public char SomeMethod(int foo)
{
    switch (foo)
    {
        case 0:
            return '0';
        case >= 1 and < 20:
            return '1';
        default:
            throw new ArgumentOutOfRangeException(nameof(foo));
    }
}

Known workarounds

Refactor code to not use 'AndPattern'.

Related information

C# 8
Sonar scanner version: 1.20.0. (https://sonarcloud.io/documentation/analysis/scan/sonarscanner-for-azure-devops/)

Analyzer ouput:

[warning]CSC(0,0): Warning AD0001: Analyzer 'SonarAnalyzer.Rules.SymbolicExecution.SymbolicExecutionRunner' threw an exception of type 'SonarAnalyzer.SymbolicExecution.SymbolicExecutionException' with message 'Error processing method: xxx 
Method file: xxx.cs ## Method line: x,y 
Inner exception: System.NotSupportedException: AndPattern 
   at SonarAnalyzer.SymbolicExecution.CSharpExplodedGraph.VisitInstruction(ExplodedGraphNode node) 
   at SonarAnalyzer.SymbolicExecution.AbstractExplodedGraph.Walk() 
   at SonarAnalyzer.Rules.SymbolicExecution.SymbolicExecutionRunner.Analyze(CSharpExplodedGraph explodedGraph, SyntaxNodeAnalysisContext context) 
   at SonarAnalyzer.Extensions.SonarAnalysisContextExtensions.Analyze(CSharpSyntaxNode declarationBody, ISymbol symbol, Action`2 runAnalysis, SyntaxNodeAnalysisContext context)

[csaba-sagi-sonarsource]

The SymbolicExecutionRunner does not throw the exception anymore. Proper support has yet to be added.

[pavel-mikula-sonarsource]

We've reimplemented the Symbolic Execution engine, so this should not appear anymore.