dotnet/roslyn

VB.NET AnalyzeDataFlow incorrectly reports parameters as WrittenInside

Open

#68.286 aperta il 22 mag 2023

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)C# (4257 fork)batch import
Area-CompilersBughelp wanted

Metriche repository

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

Descrizione

Version Used: 4.6.0

Steps to Reproduce:

Use following source code to analyse

Public Sub Test(i As Integer)
    Dim s = i.ToString()
End Sub

with following visitor

public override SyntaxNode VisitMethodBlock(MethodBlockSyntax node)
{
    var first = node.Statements.First();
    var last = node.Statements.Last();
    var dataFlow = semanticModel.AnalyzeDataFlow(first, last);
    Debug.Assert(dataFlow.WrittenInside.Length == 1);

    return node;
}

Expected Behavior: dataFlow.WrittenInside should not contain Parameter i As System.Int32, only Local s As System.String

Actual Behavior: dataFlow.WrittenInside contains Parameter i As System.Int32.

Notes: Equivalent code in C# is analysed as expected, the parameter is not part of the dataFlow.WrittenInside.

I suspect this line: https://github.com/dotnet/roslyn/blob/687921ffae8ad91a5464473cb1759fd463c345f2/src/Compilers/VisualBasic/Portable/Analysis/FlowAnalysis/DataFlowPass.vb#L1537

Guida contributor

Direzione di ricerca
Ispeziona la riga collegata in DataFlowPass.vb e traccia come vengono considerati i parametri. Verifica se la condizione per rilevare le variabili scritte include erroneamente i parametri.
Tech stack
csharp
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
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#Visual BasicRoslyn
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60