IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

 C Discussion :

incohérence lors de l'initialisation de pointeurs et de champs de struct


Sujet :

C

Vue hybride

Message précédent Message précédent   Message suivant Message suivant
  1. #1
    Membre averti
    Homme Profil pro
    autre
    Inscrit en
    Octobre 2018
    Messages
    30
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Alpes Maritimes (Provence Alpes Côte d'Azur)

    Informations professionnelles :
    Activité : autre

    Informations forums :
    Inscription : Octobre 2018
    Messages : 30
    Par défaut incohérence lors de l'initialisation de pointeurs et de champs de struct
    Bonjour,

    soit les 3 codes suivant:

    [POINTEUR]
    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
    #include <stdio.h>
    #include <stdlib.h>
     
     
    int main (int argc, char* argv[]) {
     
    	int x = 21;
    	int *p;
     
    	printf("valeur de l'adresse de x:     %p \n", &x);
    	printf("pointeur de p non initialise: %p \n", p);
    	printf("valeur de *p non initialise:  %d \n", *p);
    	printf("valeur de &p :                %p \n\n", &p);
     
    	return 0;
     
    }
    STRUCT
    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
    22
    23
    24
    #include <stdio.h>
    #include <stdlib.h>
     
     
    typedef struct {
    		int v1;
    		int v2;
    		char c;
        } Str;
     
    int main (int argc, char* argv[]) {
     
    	Str ST;
     
    	ST.v1 = 3;
    	ST.c = 'e';
     
    	printf("valeur de v1 (initialise) %d\n", ST.v1);
    	printf("valeur de v2 (non initialise) %d\n", ST.v2);
    	printf("valeur de c (initialise) %c\n", ST.c);
     
    	return 0;
     
    }
    [POINTEUR ET STRUCT]
    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
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    #include <stdio.h>
    #include <stdlib.h>
     
    struct Str{
    		int v1;
    		int v2;
    		char c;
        } ;
     
    int main (int argc, char* argv[]) {
     
    	/** test pointeur **/
     
    	int *p;
     
    	printf("pointeur de p non initialise: %p \n", p);
    	printf("valeur de *p non initialise:  %d \n", *p);
    	printf("valeur de &p :                %p \n\n", &p);
     
    	/** test struct **/
     
    	struct Str ST;
     
    	ST.v1 = 3;
    	ST.c = 'e';
     
    	printf("valeur de v1 (initialise) %d\n", ST.v1);
    	printf("valeur de v2 (non initialise) %d\n", ST.v2);
    	printf("valeur de c (initialise) %c\n", ST.c);
     
    	return 0;
     
    }
    Si je compile POINTEUR avec gcc POINTEUR -o POINTEUR.exe ou gcc -Wall -Werror POINTEUR -o POINTEUR.exe, j’obtiens un exécutable, qui à l’exécution me donne:

    valeur de l'adresse de x:     0x7fffdb6fc81c
    pointeur de p non initialise: 0x7fffdb6fc910
    valeur de *p non initialise:  1
    valeur de &p :                0x7fffdb6fc810
    et à chaque exécution j'ai valeur de *p non initialisée: 1

    Si je compile STRUCT avec gcc STRUCT -o STRUCT.exe j’obtiens un exécutable, qui à l’exécution me donne:

    valeur de v1 (initialise) 3
    valeur de v2 (non initialise) 0
    valeur de c (initialise) e
    et à chaque exécution j'ai valeur de v2 (non initialise) 0

    Si je compile POINTEUR ET STRUCT avec gcc POINTEUR_ET_STRUCT -o PES.exe j’obtiens un exécutable, qui à l’exécution me donne:
    pointeur de p non initialise: (nil)
    Segmentation fault (core dumped)
    Si je compile POINTEUR ET STRUCT avec gcc -Wall -Werror POINTEUR_ET_STRUCT -o PES.exe je n'obtiens pas d’exécutable mais le message suivant:
    PES.c: In function ‘main’:
    PES.c:16:2: error: ‘p’ is used uninitialized in this function [-Werror=uninitialized]
       16 |  printf("pointeur de p non initialise: %p \n", p);
          |  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    PES.c:28:2: error: ‘ST.v2’ is used uninitialized in this function [-Werror=uninitialized]
       28 |  printf("valeur de v2 (non initialise) %d\n", ST.v2);
          |  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    cc1: all warnings being treated as errors

    mes question sont les suivantes:
    + comment expliquer que la ligne 11 printf("pointeur de p non initialise: %p \n", p); du fichier POINTEUR ne déclenche pas d'erreurs ni à la compilation ni à l’exécution mais dans le fichier POINTEUR ET STRUCT cette même ligne (17) me donne, à l’exécution:
    Segmentation fault (core dumped)
    ?

    + Comment expliquer que dans les fichiers, POINTEUR ET STRUCT j’obtiens toujours les même valeurs 1 et 0 respectivement pour pointeur de p non initialise et pour et valeur de v2 (non initialise) ?

    + enfin comment expliquer qu'à la compilation avec -Wall -Werror pour le fichier POINTEUR je n'ai pas le même warning/error qu'avec la compilation du fichier POINTEUR ET STRUCT:
    PES.c:16:2: error: ‘p’ is used uninitialized in this function [-Werror=uninitialized]
       16 |  printf("pointeur de p non initialise: %p \n", p);
    ?

    D'avance merci pour votre attention.

  2. #2
    Membre prolifique
    Avatar de Sve@r
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Février 2006
    Messages
    12 835
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Oise (Picardie)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels
    Secteur : Aéronautique - Marine - Espace - Armement

    Informations forums :
    Inscription : Février 2006
    Messages : 12 835
    Billets dans le blog
    1
    Par défaut
    Bonjour
    Citation Envoyé par primusG Voir le message
    + comment expliquer que la ligne 11 (printf("pointeur de p non initialise: %p \n", p); du fichier POINTEUR ne déclenche pas d'erreurs n'y à la compilation ni à l’exécution mais dans le fichier POINTEUR ET STRUCT cette même ligne (17) me donne, à l’exécution: Segmentation fault (core dumped) ?
    Comportement indéterminé, verbe à prendre dans sa forme la plus littérale. Tu ne peux pas prévoir le comportement d'un programme dans lequel tu demandes des actions illégales (affichage d'un pointeur ou de son contenu non initialisé, affichage de l'indice 125 d'un tableau de 124 éléments, etc etc). La philosophie du C c'est "pour aller le plus vite possible je ne vérifie rien, j'exécute, le programmeur sait ce qu'il fait". Et si tu fais n'importe quoi, tu obtiens n'importe quoi (dans l'absolu ça peut même éteindre ton PC ou reformater ton disque dur => in-dé-ter-mi-né)

    Citation Envoyé par primusG Voir le message
    + Comment expliquer que dans les fichiers, POINTEUR ET STRUCT j’obtiens toujours les même valeurs 1 et 0 respectivement pour pointeur de p non initialise et pour et valeur de v2 (non initialise) ?
    Pareil

    Citation Envoyé par primusG Voir le message
    + enfin comment expliquer qu'à la compilation avec -Wall -Werror pour le fichier POINTEUR je n'ai pas le même warning/error qu'avec la compilation du fichier POINTEUR ET STRUCT: PES.c:16:2: error: ‘p’ is used uninitialized in this function [-Werror=uninitialized]
    Effectivement il y a là une incohérence de gcc.
    J'ai réussi à la reproduire dans sa forme minimale
    Code c : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    #include <stdio.h>
     
    int main (int argc, char* argv[]) {
     
    	int x;
    	int *p;
     
    	printf("valeur de l'adresse de x:     %p \n", &x);
    	printf("pointeur de p non initialise: %p \n", p);
    	printf("valeur de &p :                %p \n\n", &p);
     
    	return 0;
     
    }
    Ici pas de warning. Mais si on enlève le premier ou troisième printf(), ou toute référence à la variable "x", alors le warning arrive.
    Mais je ne saurais l'expliquer. Simplement moi je fais généralement plus confiance à mon cerveau qu'à un compilateur. Je sais ce qu'il ne faut pas faire alors j'évite de le faire. Et utiliser une variable non remplie auparavant fait partie des choses à ne pas faire, surtout si cette variable est un pointeur.
    Donc avec ça plus les options -Wall -Werror qui ne mangent pas de pain, je pense être assez protégé.
    Mon Tutoriel sur la programmation «Python»
    Mon Tutoriel sur la programmation «Shell»
    Sinon il y en a pleins d'autres. N'oubliez pas non plus les différentes faq disponibles sur ce site
    Et on poste ses codes entre balises [code] et [/code]

  3. #3
    Expert éminent
    Avatar de Médinoc
    Homme Profil pro
    Développeur informatique
    Inscrit en
    Septembre 2005
    Messages
    27 395
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 41
    Localisation : France

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : Septembre 2005
    Messages : 27 395
    Par défaut
    Et pour compliquer les choses, techniquement même printf("pointeur de p non initialise: %p \n", p); est un comportement indéterminé (si j'ai bien compris, c'est parce que certaines architectures peuvent vérifier la validité d'un pointeur dès qu'il est chargé dans un registre d'addresse).
    SVP, pas de questions techniques par MP. Surtout si je ne vous ai jamais parlé avant.

    "Aw, come on, who would be so stupid as to insert a cast to make an error go away without actually fixing the error?"
    Apparently everyone.
    -- Raymond Chen.
    Traduction obligatoire: "Oh, voyons, qui serait assez stupide pour mettre un cast pour faire disparaitre un message d'erreur sans vraiment corriger l'erreur?" - Apparemment, tout le monde. -- Raymond Chen.

  4. #4
    Membre prolifique
    Avatar de Sve@r
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Février 2006
    Messages
    12 835
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Oise (Picardie)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels
    Secteur : Aéronautique - Marine - Espace - Armement

    Informations forums :
    Inscription : Février 2006
    Messages : 12 835
    Billets dans le blog
    1
    Par défaut
    Citation Envoyé par Médinoc Voir le message
    Et pour compliquer les choses, techniquement même printf("pointeur de p non initialise: %p \n", p); est un comportement indéterminé
    Effectivement, à mon grand étonnement j'avais déjà vu ça sur le fofo: même l'affichage du simple contenu d'un pointeur non initialisé est un UB. Sauf que là tu m'apprends aussi pourquoi
    Mon Tutoriel sur la programmation «Python»
    Mon Tutoriel sur la programmation «Shell»
    Sinon il y en a pleins d'autres. N'oubliez pas non plus les différentes faq disponibles sur ce site
    Et on poste ses codes entre balises [code] et [/code]

  5. #5
    Membre Expert
    Femme Profil pro
    ..
    Inscrit en
    Décembre 2019
    Messages
    676
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Âge : 95
    Localisation : Autre

    Informations professionnelles :
    Activité : ..

    Informations forums :
    Inscription : Décembre 2019
    Messages : 676
    Par défaut
    Salut,

    Citation Envoyé par Médinoc Voir le message
    Et pour compliquer les choses, techniquement même printf("pointeur de p non initialise: %p \n", p); est un comportement indéterminé.
    J'en doute, je ne vois aucune raison pour que ça le soit.

  6. #6
    Membre émérite
    Homme Profil pro
    Chef de projet NTIC
    Inscrit en
    Juillet 2020
    Messages
    352
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 52
    Localisation : France, Moselle (Lorraine)

    Informations professionnelles :
    Activité : Chef de projet NTIC

    Informations forums :
    Inscription : Juillet 2020
    Messages : 352
    Par défaut
    Bonsoir,

    Au chapitre 6.7.9 Initialization on trouve l'alinéa 10 :

    Citation Envoyé par C11 Standard
    10 If an object that has automatic storage duration is not initialized explicitly, its value is
    indeterminate.[...]
    Puis dans l'annexe J.2 Undefinied behavior on trouve l'alinéa :
    Citation Envoyé par C11 Standard
    — The value of an object with automatic storage duration is used while it is indeterminate (6.2.4, 6.7.9, 6.8).

  7. #7
    Membre Expert
    Femme Profil pro
    ..
    Inscrit en
    Décembre 2019
    Messages
    676
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Âge : 95
    Localisation : Autre

    Informations professionnelles :
    Activité : ..

    Informations forums :
    Inscription : Décembre 2019
    Messages : 676
    Par défaut
    Merci WhiteCrow.

    En fait j'ai été étonné parce que justement j'ai déjà utilisé une variable non initialiséë pour faire un rand gratuit. Le truc c'est que dans le code il faut aussi faire usage de l'adresse de la variable pour empêcher qu'elle soit allouée dans un registre, c'est la que réside le comportement indéfini.

    En vrac,

    La réf de Medinoc:
    https://devblogs.microsoft.com/oldne...19-00/?p=41003

    Une citation du standard qui complète celles de WhiteCrow
    https://stackoverflow.com/questions/...fined-behavior

    Un draft note
    https://www.cl.cam.ac.uk/~pes20/cerb...ined-behaviour

+ Répondre à la discussion
Cette discussion est résolue.

Discussions similaires

  1. Initialisation de pointeur
    Par cauriera dans le forum C
    Réponses: 7
    Dernier message: 19/04/2007, 11h47
  2. Erreur lors de l'initialisation du BDE
    Par maximdus dans le forum Bases de données
    Réponses: 10
    Dernier message: 06/08/2005, 03h24
  3. Réponses: 4
    Dernier message: 08/02/2005, 20h47
  4. Réponses: 6
    Dernier message: 27/01/2004, 16h08
  5. Initialisation de pointeurs
    Par Gnux dans le forum C
    Réponses: 5
    Dernier message: 03/10/2003, 17h10

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo