FuelLabs/sway

DCA improvements

Open

#6.007 aberto em 14 de mai. de 2024

Ver no GitHub
 (2 comments) (0 reactions) (1 assignee)Rust (5.421 forks)batch import
DCAgood first issue

Métricas do repositório

Stars
 (61.702 stars)
Métricas de merge de PR
 (Mesclagem média 5d 4h) (19 fundiu PRs em 30d)

Description

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".

Guia do colaborador

Direção de pesquisa
Comece examinando a lógica de análise de código morto em sway core/src/control flow analysis/dead code analysis.rs. Compare seu comportamento com o DCA do rustc, particularmente como o rustc marca itens como mortos com base no uso. Em seguida, modifique a lógica para detectar e relatar itens mortos com mensagens de erro mais claras, semelhantes à frase 'never constructed' do rustc.
Pilha de tecnologia
rust
Domain
toolingdeveloper experience
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
RustSway compiler basicsdead code analysis concepts
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
65