dotnet/roslyn

"Redundant assignment" analysis does not consider recursive code path

Aperta

#47.655 aperta il 12 set 2020

Vedi su GitHubGuida contributor
 (0 commenti) (0 reazioni) (0 assegnatari)C# (4257 fork)batch import
Area-IDEBughelp wanted

Metriche repository

Star
 (20.414 stelle)
Metriche merge PR
 (Merge medio 6g 17h) (256 PR mergiate in 30 g)

Descrizione

Version Used: VS 2019 16.7.3

Steps to Reproduce:

  1. Create new .NET Core console app.
  2. Paste the following code.
static void Foo(Exception ex)
{
    var indentLevel = 0;

    void Bar(Exception e)
    {
        indentLevel++;

        if (indentLevel < 5)
            Bar(e);

        indentLevel--;
    }

    Bar(ex);
}

Expected Behavior: No analysis complaints

Actual Behavior:

VS claims that indentLevel-- is a redundant assignment.

This is true for the top level call to Bar but not true for the recursive calls that reference the same indentLevel variable.

Guida contributor

Direzione di ricerca
Analizza il flusso di dati per le funzioni locali ricorsive per capire perché l'assegnazione dopo la ricorsione è considerata ridondante.
Tech stack
csharp
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
55