arthurgonze / g--p- Goto Github PK

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.

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

Adicionar ao visitor semantico os nós do tipo:

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

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

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

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

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) {};

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

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

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

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

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

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

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

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.

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];

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

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

int () { a = 2;} 

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

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.