dotnet/roslyn

Remove extraneous branch for empty strings in interpolated string handler CFG

Aperta

#57.611 aperta il 5 nov 2021

Vedi su GitHubGuida contributor
 (0 commenti) (0 reazioni) (1 assegnatario)C# (4257 fork)batch import
Area-CompilersBugFeature - IOperationFeature - Interpolated String Improvementshelp wanted

Metriche repository

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

Descrizione

When an interpolated string handler is created for an empty string, and the constructor of the handler uses an out bool success parameter, we generate an unnecessary branch in the CFG for the code, demonstrated in the InterpolatedStringHandlerConversionFlow_16 test. We could take the approach Aleksey detailed in his review to remove that branch, but we will have to wire a CreateDiscardSymbol method through the semantic model to be able to create an IDiscardOperation for the parameter value. This is presently undone.

Guida contributor

Direzione di ricerca
Studia il test InterpolatedStringHandlerConversionFlow 16 per comprendere l'attuale generazione del CFG. Implementa CreateDiscardSymbol nel modello semantico e usalo per evitare il ramo non necessario, seguendo il suggerimento della revisione.
Tech stack
csharp
Dominio
Nessuno
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
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#Roslyn compiler internals
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40