Discussion :

[ticroch]

bonjour tout le monde,

j'ai une calculatrice à faire avec lex/yacc, pas très dur en soi mais j'ai un gros problème de C que je ne comprend pas. Ca porte sur la mémoire comme d'habitude, je ne comprends pas pourquoi j'ai une erreur de segmentation, je vous montre :

mes déclarations :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
 
   #include<unistd.h>
   #include <stdio.h>
   #include <stdlib.h>
   #include <string.h>
 
	typedef struct symb {
		char* nom;
		double val;
		struct symb* suiv;
	} symb;

et ma fonction

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
symb* affecter_variable(symb* table,char* nom, double val) {
	symb* q;
 
	q = (symb*) malloc (sizeof(struct symb));
 
	printf("%s : nouveau mot\n",nom);
	q->nom = (char*) malloc (sizeof(char) * (strlen(nom)+1));
	printf("malloc mot réussi\n");
 
	strcpy(q->nom,nom);
 
	q->val = val;
	q->suiv = table;
	table = q;
 
        return table;
}

Ce que je ne comprends pas c'est que cette fonction réussi 2 fois, et à la troisième me met une erreur de segmentation à cet endroit là "q->nom = (char*) malloc (sizeof(char) * (strlen(nom)+1));", car il affiche le premier printf mais pas le deuxième. Pourtant q a bien été alloué à la ligne précédente !!

J'ai essayé de le lancer avec le logiciel VALGRIND (logiciel de détection d'erreur mémoire), il me dit dès le premier mot qu'il y a une erreur de mémoire quand il fait strcpy (je copie colle l'erreur

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
 
==4429== Use of uninitialised value of size 4
==4429==    at 0x4025C2B: strcpy (mc_replace_strmem.c:303)
==4429==    by 0x804927E: yylex (in /home/ticroch2/Bureau/projet/a.out)
==4429==    by 0x8048B57: yyparse (in /home/ticroch2/Bureau/projet/a.out)
==4429==    by 0x804A8F1: main (in /home/ticroch2/Bureau/projet/a.out)
==4429== 
==4429== Invalid write of size 1
==4429==    at 0x4025C2B: strcpy (mc_replace_strmem.c:303)
==4429==    by 0x804927E: yylex (in /home/ticroch2/Bureau/projet/a.out)
==4429==    by 0x8048B57: yyparse (in /home/ticroch2/Bureau/projet/a.out)
==4429==    by 0x804A8F1: main (in /home/ticroch2/Bureau/projet/a.out)
==4429==  Address 0x0 is not stack'd, malloc'd or (recently) free'd

Voilà je crois que je n'ai rien oubié dans ce post, si quelqu'un à une idée d'où ça peut venir ça m'intéresse !!

Merci d'avance

[Pouet_forever]

Ton code m'a l'air correct.
Sauf que ... tu as une erreur ici je suppose :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
q->suiv = table;
table = q;

Si je suis ces 2 lignes tu fais pointer q->suiv sur table, et ensuite table = q. Donc table == table-suiv

[ticroch]

Je pourrais faire direct un return q en oubliant la ligne table = q je pense, mais d'après le petit dessin que j'ai fait pour vérifier ce n'est pas faux tout de même :

On place table à la suite de q

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
q->suiv = table;

On donne comme valeur à table la valeur de Q

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
table = q;

Donc table possède bien au début q, et ensuite l'ancien table, je n'ai donc fait qu'une insertion en tête !!

[ticroch]

ah oui aussi, j'obtient deux erreurs différentes : celle citée au dessus, une simple erreur de segmentation, et parfois je reçois aussi ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
a.out: malloc.c*:3074*:*sYSMALLOc:  L'assertion «*(old_top == (((mbinptr) (((char *) &((av)->bins[((1) - 1) * 2])) - __builtin_offsetof (struct malloc_chunk, fd)))) && old_size == 0) || ((unsigned long) (old_size) >= (unsigned long)((((__builtin_offsetof (struct malloc_chunk, fd_nextsize))+((2 * (sizeof(size_t))) - 1)) & ~((2 * (sizeof(size_t))) - 1))) && ((old_top)->size & 0x1) && ((unsigned long)old_end & pagemask) == 0)*» a échoué.

[Pouet_forever]

Testes les retours de tes mallocs

Et je maintient ce que j'ai dit, tu fais pointer q sur lui-même.

[ticroch]

J'ai ajouté, en testant si c'est NULL. A aucun moment malloc me renvoi NULL, malgré l'erreur de segmentation

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
symb* affecter_table(symb* table,char* nom, double val) {
	symb* q;
 
	q = (symb*) malloc (sizeof(struct symb));
	if (q == NULL) {
		printf("ALLOCATION NULLE\n");
	}
 
	printf("%s : nouveau mot\n",nom);
	q->nom = (char*) malloc (sizeof(char) * (strlen(nom)+1));
	if (q->nom == NULL) {
		printf("ALLOCATION MOT NULLE\n");
	}
	printf("malloc mot réussi\n");
	strcpy(q->nom,nom);
 
	q->val = val;
	q->suiv = table;
	return q;
}