[Résolu] [lex & Yacc] Segmentation fault

Segmentation fault [Résolu] [lex & Yacc] - C - Programmation

Marsh Posté le 20-12-2007 à 13:23:16    

Bonjour,  
 
Je suis entrain de me familiariser avec lex et yacc, en lisant un bouquin dessus, j'ai à faire l'exercise suivant.
 
1) sauvegarder des mots dans une liste chainee en fonction de leur type (verbe, nom...)
 
exemple
 
taper ^verb love : le lexer chercher si le verbe existe déjà, sinon il l'ajoute en début de la liste chainee avec son type VERBE.
 
2) après avoir mémoriser des verbes, des sujets, des pronoms, je dois taper une phrase genre exhortae needs help et le parser doit me dire si c'est une phrase simple ou composée ou si il y a erreur.
 
 
je compile, fait l'édition de lien... et lorsque je lance mon ./a.out j'ai une segmentation fault, j'ai tout revu mais j'arrive pas à voir ou est le problème.
 
 
voilà le .lex
 

Code :
  1. %{
  2. /* Analyseur lexical pouvant etre utiliser par un analyseur syntaxique
  3. */
  5. #include "y.tab.h"
  7. #define LOOKUP 0
  9. int state;
  10. int ajouter_mot (int type, char *word);
  11. int rechercher_mot (char *word);
  12. %}
  15. %%
  17. /* Fin de ligne retour a l'etat par defaut */
  18. \n {state = LOOKUP;}
  20. /* Fin de phrase */
  21. \.\n {state = LOOKUP;
  22.  return 0;
  23. }
  25. /* A chaque fois que la ligne commence par un nom reserve du langage */
  26. /* On va definir les mots de ce type */
  27. ^verb  {state = VERBE;}
  28. ^adj  {state = ADJECTIF;}
  29. ^adv  {state = ADVERBE;}
  30. ^nom  {state = NOM;}
  31. ^prep  {state = PREPOSITION;}
  32. ^pron  {state = PRONOM;}
  33. ^conj  {state = CONJONCTION;}
  35. /* un mot normal , on le defini ou on le recherche */
  36. [a-zA-Z]+ {
  37.  if (state != LOOKUP)
  38.  {
  39.   ajouter_mot (state, yytext);
  40.  }
  41.  else
  42.  {
  43.   switch (rechercher_mot (yytext))
  44.   {
  45.    case VERBE:
  46.     return VERBE;
  47.    case ADJECTIF:
  48.     return ADJECTIF;
  49.    case ADVERBE:
  50.     return ADVERBE;
  51.    case NOM:
  52.     return NOM;
  53.    case PREPOSITION:
  54.     return PREPOSITION;
  55.    case PRONOM:
  56.     return PRONOM;
  57.    case CONJONCTION:
  58.     return CONJONCTION;
  59.    default:
  60.     /* ne rien retourner, ignorer le mot */
  61.     printf ("%s : inconnu\n", yytext);
  62.   }
  63.  }
  64.  }
  66. . ; /* Ignorer le reste */
  67. %%
  69. /* On defini une liste chainee de mots et types */
  70. struct word
  71. {
  72. char *word_name;
  73. int type;
  74. struct word *p_suivant;
  75. };
  77. /* On declare le premier element de la liste */
  78. struct word *p_word_list = NULL;
  81. extern void *malloc ();
  83. /* -----------------------------------------------------------------------
  84. ajouter_mot ()
  85. -----------------------------------------------------------------------
  86. Role : ajoute un mot dans la liste (seulement si il n'y est pas deja)
  87. -----------------------------------------------------------------------
  88. */
  89. int ajouter_mot (int type, char *word)
  90. {
  91. struct word *p_word = NULL;
  93. /* On verifie d'abord que le mot ne se trouve pas deja dans la liste */
  94. if (rechercher_mot (word) != LOOKUP)
  95. {
  96.  printf ("!!! WARNING %s existe deja \n", word);
  97.  return 0;
  98. }
  100. /* On alloue un espace memoire */
  101.  p_word = malloc (sizeof *p_word);
  103.  if (p_word != NULL)
  104.  {
  105.   p_word->p_suivant = p_word_list;
  106.   p_word->type = type;
  108.   /* On alloue l'espace memoire pour la chaine de caractere */
  109.   p_word->word_name = malloc ((strlen (word) + 1) * sizeof (char));
  111.   if (p_word->word_name != NULL)
  112.   {
  113.    strcpy (p_word->word_name, word);
  114.   }
  116.   p_word_list = p_word;
  117.  }
  118. return 1;
  119. }
  121. /* ------------------------------------------------------------------------
  122. rechercher_mot ()
  123. ------------------------------------------------------------------------
  124. Role : Retourne le type du mot dans une liste chainne (LOOKUP si le mot
  125. n'existe pas)
  126. ------------------------------------------------------------------------
  127. */
  128. int rechercher_mot (char *word)
  129. {
  130. struct word *p_tmp = p_word_list;
  132. while (p_tmp != NULL)
  133. {
  134.  if (strcmp (p_tmp->word_name, word) == 0)
  135.  {
  136.   return p_tmp->type;
  137.  }
  139.  p_tmp = p_tmp->p_suivant;
  140. }
  142. return LOOKUP;
  143. }


 
et voilà le .y
 

Code :
  1. %{
  2. #include <stdio.h>
  3. %}
  5. %token NOM PRONOM VERBE ADVERBE ADJECTIF PREPOSITION CONJONCTION
  7. %%
  8. phrase : phrase_simple {printf ("Phrase simple\n" );}
  9. | phrase_composee {printf ("Phrase composee\n" );}
  10. ;
  12. phrase_simple : sujet verbe objet
  13. | sujet verbe objet phrase_preposition
  14. ;
  16. phrase_composee : phrase_simple CONJONCTION phrase_simple
  17. | phrase_composee CONJONCTION phrase_simple
  18. ;
  20. sujet : NOM
  21. | PRONOM
  22. | ADJECTIF sujet
  23. ;
  25. verbe : VERBE
  26. | ADVERBE VERBE
  27. |verbe VERBE
  28. ;
  30. objet : NOM
  31. | ADJECTIF objet
  32. ;
  34. phrase_preposition : PREPOSITION NOM
  35. ;
  37. %%
  39. extern FILE *yyin;
  41. main ()
  42. {
  43. while (!feof (yyin))
  44. {
  45.  yyparse ();
  46. }
  47. }
  49. yyerror (s)
  50. char *s;
  51. {
  52. fprintf (stderr, "%s\n", s);
  53. }


 
si quelqu'un pouvait me filer un coup de main, merci


Message édité par exhortae le 29-12-2007 à 18:05:22
Reply

Marsh Posté le 20-12-2007 à 13:23:16   

Reply

Marsh Posté le 21-12-2007 à 11:38:21    

Et bien compile en debug (gcc -g) et lance ton exécutable avec gdb :
 
gdb a.out
> run
 
Quand ça plante, essaye la commande bt pour voir la pile d'appel.
 
vw

Reply

Marsh Posté le 21-12-2007 à 13:28:38    

Bonjour
 
voilà ce que j'obtiens,
 

Code :
  1. [exhortae@localhost 5]$ gdb a.out
  2. GNU gdb 6.2-2mdk (Mandrakelinux)
  3. Copyright 2004 Free Software Foundation, Inc.
  4. GDB is free software, covered by the GNU General Public License, and you are
  5. welcome to change it and/or distribute copies of it under certain conditions.
  6. Type "show copying" to see the conditions.
  7. There is absolutely no warranty for GDB.  Type "show warranty" for details.
  8. This GDB was configured as "i586-mandrake-linux-gnu"...Using host libthread_db library "/lib/tls/libthread_db.so.1".
  10. (gdb) run
  11. Starting program: /home/exhortae/lex1/5/a.out
  13. Program received signal SIGSEGV, Segmentation fault.
  14. 0x4007c2c0 in feof () from /lib/tls/libc.so.6
  15. (gdb) bt
  16. #0  0x4007c2c0 in feof () from /lib/tls/libc.so.6
  17. #1  0x08049b32 in main ()
  18. (gdb)


 
le problème c'est que n'ayant jamais débugger, ni utiliser lex & yacc en même temps je comprends pas ce que le message d'erreur dans eof veut dire.
 

Reply

Marsh Posté le 21-12-2007 à 13:54:57    

Ca veut dire que le plantage a lieu dans la procédure main, au moment ou elle appelle feof() (ligne 42)
yyin n'est pas initialisé.
 
vw

Reply

Marsh Posté le 21-12-2007 à 14:39:37    

oui effectivement ça marche quand j'enlève la boucle, par contre je peux parser qu'une seule phrase.
 
finalement en remplaçant le main du .y par
 

Code :
  1. main ()
  2. {
  3.         yyin = stdin;
  5.         while (!feof (yyin))
  6.         {
  7.                 yyparse ();
  8.         }
  9. }


ça fonctionne  
 
par contre je sais pas si c'est valide.
 
en tout cas merci pour ton aide.


Message édité par exhortae le 21-12-2007 à 14:40:27
Reply

Marsh Posté le 21-12-2007 à 16:13:30    

Oui, ça m'a l'air pas mal comme ça.
 
vw

Reply

Marsh Posté le 21-12-2007 à 17:15:53    

oki,  
 
donc comme j'ai vu que yyin est *FILE, je me suis dit qu'au lieu de lui affecter stdin, j'allais lui affecter un fichier que j'ai moi même rempli (au lieu d'avoir à taper tout à la ligne de commande)
 
j'obtiens dont ça à la place du main
 

Code :
  1. main ()
  2. {
  3. yyin = fopen ("fichier.txt", "r+" );
  5. if (yyin != NULL)
  6. {
  7.  while (!feof (yyin))
  8.  {
  9.   yyparse ();
  10.  }
  12.  fclose (yyin);
  13. }
  14. else
  15. {
  16.  printf ("Impossible d'ouvrir le fichier definition\n" );
  17. }
  18. }


 
voilà le fichier text
 

Code :
  1. nom manu
  2. verb aime
  3. nom cerises
  4. conj quand
  5. nom elles
  6. verb sont
  7. nom fraiches
  8. verb dormir
  9. nom jean
  10. manu aime cerises quand elles sont fraiches.
  11. nom lit
  12. jean dormir lit.


 
et quand j'execute :
 

Code :
  1. [exhortae@localhost 5]$ ./a.out
  2. Phrase composee
  3. [exhortae@localhost 5]$


 
effectivement il ne prend en compte que la première phrase.
 
pourtant en éxécutant avec gdb j'ai pas d'erreur :
 

Code :
  1. Starting program: /home/exhortae/lex1/5/a.out
  2. Phrase composee
  4. Program exited normally.
  5. (gdb)


 
 
maintenant le programme sans utiliser de fichier (on tape à la ligne de commande) :
 
son main :
 

Code :
  1. extern FILE *yyin;
  3. main ()
  4. {
  5.         yyin = stdin;
  7.         if (yyin != NULL)
  8.         {
  9.                 while (!feof (yyin))
  10.                 {
  11.                         yyparse ();
  12.                 }
  13.         }
  14.         else
  15.         {
  16.                 printf ("Lecture impossible\n" );
  17.         }
  18. }


 
et là on parse bien toutes les phrases entrées.
 

Code :
  1. [exhortae@localhost 6]$ ./a.out
  2. nom manu
  3. verb aime
  4. nom cerises
  5. conj quand
  6. nom elles
  7. verb sont
  8. nom fraiches
  9. verb dormir
  10. nom jean
  11. manu aime cerises quand elles sont fraiches.
  12. Phrase composee
  13. nom lit
  14. jean dormir lit.
  15. Phrase simple


 
Comment faire pour parser tout le fichier :(


Message édité par exhortae le 21-12-2007 à 17:41:25
Reply

Marsh Posté le 21-12-2007 à 23:23:38    

si j'ai bien compris le code,  à chaque fois que j'ai un point suivi d'un retour à la ligne lex retourne la valeur 0 à yyparse qui sait qu'il doit parser une nouvelle ligne
 
donc en faisant

Code :
  1. main ()
  2. {
  3. yyin = fopen ("fichier.txt", "r+" );
  5. if (yyin != NULL)
  6. {
  7. while (yyparse () == 0);
  9.   fclose (yyin);
  10. }
  11. else
  12. {
  13. printf ("Impossible d'ouvrir le fichier definition\n" );
  14. }
  15. }


 
ça marche il parse toutes les lignes, par contre quand il arrive à la dernière ligne il la traite, puis affiche un syntax error, comme si il avait essayer de traiter la fin de fichier et n'avait pas trouvé sa règle dans la grammaire. Purrée je sèche là.

Reply

Marsh Posté le 23-12-2007 à 10:43:59    

Il faut que "lex" retourne un tocken FINDEFICHIER (tu l'appelles comme tu veux) indiquant la fin de fichier et dans "yacc" il faut que ta grammaire prennes en compte ce tocken.

Reply

Marsh Posté le 25-12-2007 à 08:50:38    

Merci.

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed