Testes do Analisador Sintático

Os testes sintáticos validam se o parser aceita programas do subconjunto suportado e constrói a AST esperada. Eles também exercitam a integração com tabela de símbolos, análise semântica básica, código intermediário e geração final em Go.

Como executar

make parser-test

Para rodar todos os testes do projeto:

make test

Estrutura

tests/parser/inputs/
tests/parser/expected/

• inputs/*.c: programas C usados como entrada.
• expected/*.out: saída esperada do compilador, incluindo AST e código intermediário.

Casos cobertos

• função simples com return;
• parâmetros de função;
• declaração local;
• atribuição;
• incremento e decremento;
• acesso simples a vetor;
• for;
• if e else;
• múltiplas funções;
• while;
• chamada simples de função.

Casos semânticos negativos

A suíte também cobre erros detectados após a construção da AST:

• chamada para função não declarada;
• quantidade incorreta de argumentos;
• função void retornando valor;
• função não-void sem valor de retorno;
• função declarada mais de uma vez.

Observação

Os testes do parser não validam a saída Go final. Essa responsabilidade fica com os testes de geração de código:

make codegen-test