Um compilador está verificando se uma variável foi declarada somente uma vez, se foi declarada antes do seu primeiro uso, se foi declarada e nunca foi usada e se os tipos de dados

Gabarito

D

Comentário do professor

A fase descrita corresponde à análise semântica do compilador. Após a análise léxica e sintática, o analisador semântico recebe a representação estrutural do programa (por exemplo, a árvore sintática) e aplica regras sensíveis ao contexto da linguagem.

Entre suas responsabilidades estão a construção e consulta da tabela de símbolos para controlar escopos e identificar declarações; a verificação de declarações (se uma variável foi declarada antes do uso ou se foi declarada mais de uma vez); a detecção de variáveis declaradas e não utilizadas; e a checagem de tipos em expressões aritméticas e atribuídas, garantindo compatibilidade entre operandos.

Erros semânticos detectados aqui impedem a geração de código até serem corrigidos, enquanto avisos (por exemplo, variáveis não usadas) ajudam na qualidade do código.