INF564 - TD 4 - Typage statique de mini-C

Les règles de typage sont décrites dans le sujet du projet (partie 2).

Travail demandé

Si une erreur lexicale ou syntaxique est détectée, elle est signalée et le programme doit terminer avec le code de retour 1 (cf TD 3).

Si l'analyse syntaxique est effectuée avec succès et que l'option --parse-only est spécifiée, alors le programme doit terminer avec le code de retour 0.

Sinon, le typage est effectué. En cas d'erreur de typage détectée, elle est signalée sous la forme

     File "test.c", line 4, characters 5-6:
     error: ... un message de votre choix ...

Tests

• des fichiers C de tests organisés en différentes catégories :

    syntax/bad/    refusés à l'analyse lexicale ou syntaxique
    typing/bad/    refusés à l'analyse sémantique
    typing/good/   acceptés à l'analyse sémantique
    exec-fail/     compilés avec succès mais l'exécution du code MIPS doit échouer
    exec/          compilés et exécutés avec succès, le résultat attendu étant
                   conforme au fichier .out
  

• un script run pour lancer votre compilateur sur ces fichiers. Ce script attend l'option -2 (pour ce TD) et l'exécutable de votre compilateur. On doit obtenir ceci :

  > ./run -2  mon/chemin/vers/mini-c
  Test de mon/chemin/vers/mini-c
  
  Partie 2
  mauvais .......................
  bons .........................................................
  Typage  : 80/80 : 100%