arthurgonze / g--p-

Trabalho da disciplina Teoria dos Compiladores 2019.3 UFJF

G--+-

Esse compilador foi desenvolvido como trabalho da disciplina Teoria dos Compiladores em 2019.3 na UFJF, disciplina ministrada pelo Prof. Marcelo Bernardes Vieira. O trabalho foi implementado pelo grupo:

• Arthur Gonze Machado
• João Victor de Souza @SouzaJBR
• Jorão Júnior @joraojr

g--p-'s Issues

Remover warnings do symbol.h e .cpp

passing NULL to non-pointer argument 2 of ‘Symbol::Symbol(const char*, int, const char*)’ [-Wconversion-null]
explicit IdSymbol(const char *lexeme) : Symbol(lexeme, NULL, NULL) {};

Implementar validação semântica para os nós StmtNode

Adicionar ao visitor semantico os nós do tipo:

• StmtListNode
• IfNode
• WhileNode
• ExpNode
• BreakNode
• PrintNode
• ReadLnNode
• ReturnNode
• ThrowNode
• TryNode
• SwitchNode

Refatoração da checagem de tipos para os nós do tipo "ExpNode"

Refatorar o código do semântico para inferência e checagem de tipos dos nós

• TokenNode
• ArrayNode
• CallNode
• PrimaryNode
• AssignNode
• BooleanOpNode
• SignNode
• AddressValNode
• PointerValNode
• NotNode
• NameExpNode
• PointerExpNode
• ArrayCallNode
• AdditionOPNode
• MultiplicationOPNode

Debugar PARAMETER TYPE MISMATCH

Detecção da atribuição de ponteiros em declarações múltiplas

Segmentation Fault ocorrendo na busca quando a tabela de símbolos é muito grande

Provavelmente o problema está quando é feito o realloc para o arranjo de lexemas, fazendo com que os ponteiros se percam. A solução é usar os índices ao invés dos ponteiros.

Atribuição por retorno de função não está pegando o tipo do função e do struct

Para o código

typedef struct {
int a;
float b;
} c;

float f (int c, float b) {

c = c + 2;
b = b + 1.21;
if(a)
b = 2e10;

return b;
}

char v;

int main (){
char v;
char * z;
c *x;
x->a=2;
x->b= f(2,3);

v = '\n';
try{
z = "abacasad";
} catch (...) throw;
return 0;
}

Dá erro de atribuição de tipo nas linhas :
x->a=2;
x->b= f(2,3);

[SEMANTIC ERROR - assignNode] CANNOT ASSIGN AN EXPRESSION TO A DIFFERENT TYPE, line: 22
[SEMANTIC ERROR - callNode] PARAMETER TYPE MISMATCH, line: 23 parameter: b

Adicionar verificação de retorno de função

Verificar se a função que tem tipo de retorno definido e caso esteja, verificar se a função tem retorno válidos.

Encapsulamento de expressões Pointer-to-Value

Seja a estrutura:

typedef struct {

    int m11;
    int m12;
} m1;

m1* c[2];

A expressão

*c[1].m11

Deve ser interpretada como *(c) [1].m11 (ler o valor que c aponta) ou *(c[1].m11) (ler o valor que o resultado da expressão aponta).
A gramática está lendo como a primeira opção.

Refatoração dos códigos C++ em C

Evitar usar as structs para referenciar os códigos C.

Verificar se LOGICAL OP TYPE é necessário

Corrigir assign de uma variável não declarada

int () { a = 2;} 

O código não gera nenhum problema de variável não declarada

Contabilizar linha em que o nó se encontra

Arrumar pilha de erros

Erros léxicos até a coluna 4095

Investigar o que ocorre com o tratamento de erros do analisador léxico indo até a coluna 4095, mesmo os arquivos tendo um número maior de caracteres na linha

Implementação da sincronização de erros

Criar as chamadas aos procedimentos de sincronização de erros. Além disso, verificar os conjuntos FOLLOW

Consertar operações do parser

Ter certeza de que as operações do Parser estão sendo computadas corretamente. Após isso, a impressão deve seguir os tipos (Se é int, imprimir NUMINT, pro ex.)

Correções no Parser e token.h

Corrigir tokens LBRACE para LKEY
3 pontos do CATCH
Corrigir os CHARs para LITERALCHARs no Parser
Corrigir os LBRACEs e Lbrackets no Parser

Arrumar Warning de String

Corrigir print de lexemas nos errors

Debugar Struct Expected quando EOF é encontrado

Inserir precedência na gramática

Melhorar a conversão de tokens

Substituir as conversões de token que usam um switch case por um array.
Para isso, será necessário seguir a ordem sequencial dos IDs dos tokens.

https://github.com/arthurgonze/Compilador-2019.3/blob/2b97ecf26cb552cfc529bfea0c895b01eb16c3fa/token.c#L6

Substituir isso:

switch(id) { case TOKEN1: return "TOKEN1"; case TOKEN2: return "TOKEN2"; //... }

por isso:

char** tokens_string = {"TOKEN1", "TOKEN2", ...}; return tokens_string[id];

Detectar se a função tem retorno definido para os caminhos

int main() {
    int k;

   k = 0;

   ...
}

Não deve ser permitido, o erro semântico de que não possui o retorno deve ser emitido.

Consertar problemas na tabela de símbolos

Criar tabela de símbolos extensível e modular.

Debugar RETURN TYPE NOT DEFINED para funções que tem retorno definido

Printar erro quando não inteiro é passado para acesso de array

Verificar gramática para detecção de arrays

Alguns testes detectam problemas sintáticos incorretamente.

O código a seguir funciona corretamente:

typedef struct {

    int za;
    int zc;
} myStruct;

myStruct k, *o[899];

Se o k for retirado da declaração, é apontado um erro sintático:

typedef struct {

    int za;
    int zc;
} myStruct;

myStruct  *o[899];

[SYNTAX ERROR] Error(Sync), Token error: LBRACKET

Ajustar sintático

Arrumar as produções

• *a[] (não está na gramática)
• ****a (não está na gramática)
• a[2] = 0
• (a*p)
• a*8
• x =[a+b]
• a*p (o semântico tem q resolver por precisar de contexto)

@arthurgonze @SouzaJBR add o resto ai, só lembro esses

Transformar Visitor em classe abstrata

A classe Visitor pode ser instanciada. Esse comportamento não pode ser possível.

Problema na detecção do Ctrl+Z

O console, quando lê a entrada padrão, não detecta corretamente a entrada da finalização da entrada (Ctrl+Z). Bug ocorre principalmente no Windows