Semantic Analysis - Githubissues

thelink2012 commented 6 years ago

<program> ::= <declaration-list>
<declaration-list> ::= <declaration-list> <declaration> | <declaration>
<declaration> ::= <var-declaration> | <fun-declaration>

[x] Todas as variáveis e funções devem ser declaradas antes de serem usadas
[x] A última declaração em um programa precisa ser uma declaração da forma void main(void)

<var-declaration> ::= <type-specifier> ID ; | <type-specifier> ID [ NUM ] ;
<type-specifier> ::= int | void

[x] Em uma declaração de variável somente o especificador de tipo int pode ser usado.

<fun-declaration> ::= <type-specifier> ID ( <params> ) <compound-stmt>
<params> ::= <param-list> | void
<param-list> ::= <param-list> , <param> | <param>
<param> ::= <type-specifier> ID | <type-specifier> ID [ ]

[x] Parametros não podem ser void
[x] Parâmetros seguido de colchetes são parâmetros de vetores ao qual o tamanho é variável
[x] Parametros vetores devem corresponder a uma variável do tipo vetor durante a chamada de função
[x] Parametros não-vetores não devem corresponder a vetores (subscripts são válidos, entretanto)
[x] Os parâmetros de uma função tem escopo igual ao bloco de instruções compostas da função
[x] Funções podem ser recursivas (ao limite que declarações antes de uso permitem)

<compound-stmt> ::= { <local-declarations> <statement-list> }

[x] A declaração de variáveis tem escopo igual ao do conjunto de instruções entre chaves e substituem a visibilidade de variáveis globais.

<return-stmt> ::= return ; | return <expression> ;

[x] Funções não declaradas como void devem retornar valores.
[x] Funções declaradas como void não devem retornar valores.

<expression> ::= <var> = <expression> | <simple-expression>
<var> ::= ID | ID [ <expression> ]

MAIS EXPRESSOES

[x] Experimentar com atribuições
[x] Variável deve existir.
[x] Atribuir array a qualquer coisa é inválido.
[x] Atribuir qualquer coisa a um array é invalido.
[x] Atribuição de váriavel inteira deve ser um valor-r inteiro.
[x] Hmmm, o uso do nome de uma array em qualquer lugar é inválido, exceto em call-sites
[x] Testar atribuição de retorno de funções void
[x] Testar atribuição de retorno de funções inteiras
[x] Testar o type checking das expressões
[x] Pensar mais coisas

<factor> ::= ( <expression> ) | <var> | <call> | NUM

[x] Avaliar retorno de função
[x] Uma variável vetor precisa ser indexada, exceto no caso de expressões contendo um único ID (em call-sites)

<call> ::= ID ( <args> )
<args> ::= <arg-list> | empty
<arg-list> ::= <arg-list> , <expression> | <expression>

[x] Funções precisam ser declaradas antes de serem chamadas
[x] o número de argumentos na chamada deve ser igual ao número de parâmetros na declaração
[x] Um parâmetro de tipo vetor precisa casar com uma expressão consistindo de um único identificador, representando a variável vetor a ser passada para a função (this is a spec error, see comments)

int input(void)  {...}
void println(int x) {...}

[x] Ter essas built-ins
[x] Testar tipo de retorno, de entrada, quantidade de params.

More Stuff

[x] Using a function name in a variable name context (and vice-versa) should be disallowed.
[x] Function redeclared as function
[x] Function redeclared as variable
[x] Function redeclared as parameter (ok)
[x] Function redeclared as local variable (ok)
[x] Variable redeclared as variable
[x] Variable redeclared as function
[x] Variable redeclared as parameter (ok)
[x] Variable redeclared as local variable (ok)
[x] Parameter redeclared as parameter
[x] Parameter redeclared as local variable (bad!)
[x] Parameter redeclared as local variable on inner scope (ok)
[x] Local variable redeclared as local variable on same scope
[x] Local variable redeclared as local variable on inner scope (ok)
[x] There are no decls.
[x] There is no main.
[x] The last declaration is not a function.
[x] The last declaration name is not "main".
[x] The last declaration does not return void.
[x] The last declaration has more than zero params.
[x] Type checking
[x] Array is a type thing

thelink2012 commented 6 years ago

After done, read https://sites.google.com/view/mata61ufba/linguagem-do-compilador?authuser=0 again to ensure it's all right

thelink2012 commented 6 years ago

void foo(void)
{
   return returns_void();
}

is actually invalid

thelink2012 commented 6 years ago

According to the spec the following shall not be valid (I guess).

void foo(int a[])
{
}

void main(void)
{
    int a[10];
    foo((a)); /* parens are not acceptable */
}

But due to the AST requirements this cannot be tested. So we'll consider this a specification error. No tests will be provided for this case.

thelink2012 / cminus

Semantic Analysis #2

More Stuff