Problème déréférencement d'un pointeur incomplet

Bonjour,

Je dois utiliser une librairie en C qui construit et travaille sur des automates (appelés ndd dans la librairie). La structure ndd est définie comme suit :

Code:

---

1 2 3 4 5 6

typedef struct { uint4 dim; automaton *automaton; uint1 base, properties; } ndd;

---

où uint4, uint1 et automaton sont des structures également. Celle qui m'interesse ici est automaton, définie comme suit :

Code:

---

1 2 3 4 5 6

typedef struct { (...) uint4 nb_states; /* Number of states. */ (...)   } automaton;

---

Par exemple, la méthode

Code:

---

ndd *ndd_create_inequation_msdf(r, n, c, b)

---

de la librairie retourne un pointeur vers un ndd.

J'aimerais de mon côté créer un ndd à partir de la méthode ndd_create_inequation_msdf() et récupérer des informations de ce ndd (par exemple, l'attribut nb_states de l'automaton du ndd). Je rencontre à ce moment une erreur de déréférencement d'un pointeur incomplet, quelle que soit la manière dont je procède, par exemple :

Code:

---

1 2 3 4

struct ndd *nd; nd = (struct ndd*) ndd_create_inequation_msdf(r, n, c, b); nd->automaton;

---

Le simple fait d'accéder à automaton me renvoie l'erreur. Je suppose que si j'arrive à comprendre comment y accéder, je saurai ensuite de la même façon accéder à nb_states de automaton. Quelqu'un peut-il m'aider?

D'avance merci

Code:

---

1 2 3

struct ndd *nd; nd = (struct ndd*) ndd_create_inequation_msdf(r, n, c, b); nd->automaton;

---

Deux choses qui ne vont pas dans ce code:

Code:

---

nd = (struct ndd*) ndd_create_inequation_msdf(r, n, c, b);

---

Pourquoi caster le retour de ndd_create_inequation_msdf ? Ce n'est pas logique (on fait pas double a = (double)pow(1, 2);)

Ensuite, etant donne que ton topic parle de 'dereferencement', je suppose que l'erreur dont tu parles est le NULL deferencement.

Tu ne testes pas le retour de ndd_create_inequation_msdf. Or tu utilises 'nd' comme si la fonction prenommee ne retournait jamais NULL.

Ainsi, si ndd_create_inequation_msdf retourne NULL, on se retrouve au runtime avec un appel du genre 'NULL->automaton;'.

HTH

Tout d'abord, merci pour ta réponse :)

Comme j'ai dit, j'ai essayé beaucoup de choses :p Le cast je l'ai mis car sans j'ai un warning (assignment makes pointer from integer without a cast).

Apres le ndd retourné je suis sur qu'il n'est pas NULL car j'applique un traitement dessus (autre que ndd->automaton). L'erreur exacte retournée est "déréférencement d'un pointeur de type incomplet". Le test if(ndd != NULL) ne change rien car il est toujours vrai :? (en fait la méthode retourne NULL seulement si les paramètres sont incorrects)

Citation:

---

Comme j'ai dit, j'ai essayé beaucoup de choses :p Le cast je l'ai mis car sans j'ai un warning (assignment makes pointer from integer without a cast).

---

Ce diagnostic n'est pas normal : il dit que la fonction ndd_create_inequation_msdf() retournerait un int alors que dans sa définition elle retourne un pointeur. Très probablement, tu as d'autres avertissements que tu ne signales pas ici, dont celui indiquant un "appel de fonction sans prototype". Si le prototype de ndd_create_inequation_msdf() est inconnu, le compilateur considère que la fonction retourne un int. Dans ce cas, un compilateur bien configuré au niveau des warnings devrait le signaler.

Probablement, également, la définition de la structure ndd n'est pas connu à ce moment, ce qui en fait un type incomplet. Revoie tes include et/ou la position des déclarations des types et prototypes dans ton programme.

Bonjour,
Il a autre chose qui me chagrine.
nd est déclaré comme un pointeur sur une structure.
Or cette structure contient elle même un pointeur sur la structure automation.
Est-il certain qu'il n'y aura pas de débordement de mémoire?
Autrement dit automation est-il créé? ou simplement déclare dans la structure?
Moi, j'initialiserais la structure avant ndd_create...()

Code:

---

1 2 3 4 5 6

struct ndd *nd; nd->dim=-1; nd->automation=NULL; nd = (struct ndd*) ndd_create_inequation_msdf(r, n, c, b); nd->automaton; // à quoi sert cette ligne ?

---

Dans la fonction ndd_creat_...() on doit avoir à un moment
nd->automation = {je ne sais quoi}
Mais comme nd est certainement inconnu dans cette fonction, il faut trouver un moyen. Pour moi, le prototype devrait plutôt être

Code:

---

1 2 3 4 5 6 7 8 9 10 11

int ndd_create_inequation_msdf(struct ndd *nd, etc.(r, n, c, b)); // alors on peut faire int ndd_create_inequation_msdf(struct ndd *nd, etc.(r, n, c, b)); { if (nd->automation == NULL) // on est en création { ... } return 1; //c'est OK }

---

Citation:

---

Envoyé par Pierre Dolez

Moi, j'initialiserais la structure avant ndd_create...()

Code:

---

1 2 3 4 5 6

struct ndd *nd; nd->dim=-1; nd->automation=NULL; nd = (struct ndd*) ndd_create_inequation_msdf(r, n, c, b); nd->automaton; // à quoi sert cette ligne ?

---

---

L'initialisation est complétement inutile puisque les valeurs seront écrasées par le retour de ndd_create_inequation_msdf.

Citation:

---

Envoyé par Pierre Dolez

Dans la fonction ndd_creat_...() on doit avoir à un moment
nd->automation = {je ne sais quoi}
Mais comme nd est certainement inconnu dans cette fonction, il faut trouver un moyen. Pour moi, le prototype devrait plutôt être

Code:

---

1 2	int ndd_create_inequation_msdf(struct ndd *nd, etc.(r, n, c, b));

---

---

En laissant le côté le etc.() qui n'est pas une construction C valide à ma connaissance, quel est l'intérêt de passer nd en paramètre de la fonction ? En quoi elle aurait besoin de le "connaitre" ?
Son rôle est, d'après le nom, de le créer.

Rebonsoir,

Merci a tous d'avoir consacré du temps à mon problème. Le problème est résolu. diogene a bien cerné d'ou il provenait, j'importais mal les structures et les fonctions de la librairie.

Merci beaucoup

Bonjour gl,
L'initialisation avant la création sert à vérifier que dans la fonction create.. on crée un objet vide, c'est à dire qu'un ne va pas écraser un objet existant.
Oui, naturellement etc.(...) n'est pas une syntaxe normale en C, Peut-être aurais-je du écrire et coetera :).

Le rôle de la fonction create... est de renseigner les membres de np, c'est une initialisation. La déclaration-création a déjà été faite.
Le passe np en paramètre pour tester ses membres dans la fonction.
Bien sur, ça marche aussi, sauf si on veut tester si np est bien vide.

Citation:

---

Envoyé par Pierre Dolez

L'initialisation avant la création sert à vérifier que dans la fonction create.. on crée un objet vide, c'est à dire qu'un ne va pas écraser un objet existant.

---

Dans le cas du code proposé (nd = (struct ndd*) ndd_create_inequation_msdf(r, n, c, b);), l'initialisation ne sert strictement à rien.
si tu modifies le prototype pour le prendre en paramètre, ça peut être utile.

Citation:

---

Envoyé par Pierre Dolez

Le rôle de la fonction create... est de renseigner les membres de np, c'est une initialisation. La déclaration-création a déjà été faite.
Le passe np en paramètre pour tester ses membres dans la fonction.

---

Le rôle d'une fonction create... est plutôt de créer quelque chose, si on veut juste initialiser, il serait de bon ton de nommer la fonction init... plutôt.
Sinon, la possibilité de changer le prototype de la fonction ne semble pas une alternative envisageable dans le cas du PO puisqu'il utilise une bibliothèque sur laquelle il n'a visiblement pas la main.