FuelLabs/sway

DCA improvements

Open

#6007 aperta il 14 mag 2024

Vedi su GitHub
 (2 commenti) (0 reazioni) (1 assegnatario)Rust (5421 fork)batch import
DCAgood first issue

Metriche repository

Star
 (61.702 star)
Metriche merge PR
 (Merge medio 22h 6m) (16 PR mergiate in 30 g)

Descrizione

I think there is room for improvement on our DCA. For example, the screenshot below shows how rustc considers: A, T and f to be dead, because no "live code" actually uses them.

image

We, on the other hand, consider the mere presence of impls enough for them to not be dead.

image

Remove the impl and we now correctly mark this as dead. But the error message is not as clear as rustc's, which says the struct is never "constructed".

image image

This is all done at sway-core/src/control_flow_analysis/dead_code_analysis.rs and seems a candidate for "good first issue".

Guida contributor

Direzione di ricerca
Studia l'analisi del codice morto in sway core/src/control flow analysis/dead code analysis.rs, concentrandoti su come le implementazioni influenzano il rilevamento dei morti e i messaggi di errore. Confronta con il comportamento di rustc e allinea la logica di conseguenza.
Tech stack
rust
Dominio
compilers
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
1
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
Rust
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75