vincent19851
05-05-2009, 12:06
Salve a tutti è la prima volta che posto su questo forum.
Sto realizzando un compilatore del linguaggio c.
Attualmente ho realizzato l'analizzatore lessicale con flex e l'analizzatore sintattico con bison. Mi servirebbe quelche dritta per poter effettuare un minimo di controllo semantico.
ad esempio voglio riconoscere errori del tipo:
1) uso di variabili non precedentemente dichiarate
2) operazioni tra variabili di tipo diverso
ad esempio se io do in input al mio eseguibile il file
int main(){
int a=4;
string b="ciao";
int c;
c=a+b;
return 0;
}
per il mio analizzatore sintattico è tutto ok, mentre si sa che semanticamente non ha senso.
come posso risolvere questo problema. devo mettere qualche attributo ai simboli non terminali della grammatica?
cioè se io ho ad esempio in yacc la regola:
espr
:espr '+' espr
;
vorrei mettere accanto alla regola il codice {if($1.type==string || $3.type==string) printf("errore");}
questo non funziona però.
potreste indicarmi voi (anche con un piccolo esempio di codice funzionante come quello che ho tentato di fare io) la strada da seguire?
Vi ringrazio per la disponibilità.
Ciao a tutti
Sto realizzando un compilatore del linguaggio c.
Attualmente ho realizzato l'analizzatore lessicale con flex e l'analizzatore sintattico con bison. Mi servirebbe quelche dritta per poter effettuare un minimo di controllo semantico.
ad esempio voglio riconoscere errori del tipo:
1) uso di variabili non precedentemente dichiarate
2) operazioni tra variabili di tipo diverso
ad esempio se io do in input al mio eseguibile il file
int main(){
int a=4;
string b="ciao";
int c;
c=a+b;
return 0;
}
per il mio analizzatore sintattico è tutto ok, mentre si sa che semanticamente non ha senso.
come posso risolvere questo problema. devo mettere qualche attributo ai simboli non terminali della grammatica?
cioè se io ho ad esempio in yacc la regola:
espr
:espr '+' espr
;
vorrei mettere accanto alla regola il codice {if($1.type==string || $3.type==string) printf("errore");}
questo non funziona però.
potreste indicarmi voi (anche con un piccolo esempio di codice funzionante come quello che ho tentato di fare io) la strada da seguire?
Vi ringrazio per la disponibilità.
Ciao a tutti