Discussion :

[Arthur Rainbow]

Bonjour

J'ai dans un code un message d'erreur qui m'est totalement incompréhensible: "case label in scope of identifier with variably modified type not containing enclosing switch statement"
Voici le code:

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
 
int precompiler(char *pos_ligne){
 
  char lettre;
  switch('d'){
 
    case '{' : //On a une liste de lettre
 
      lettre='a';
 
      int i=2;
 
      char param_l[i];
 
    case '[':
 
 
    break;
 
  }
 
}

Originellement il n'est pas comme ça, mais j'ai tenté de le réduire le plus possible pour voir d'où venait l'erreur.

Vous remplacez i par 2 entre crochet, et l'erreur disparait.
Vous supprimez l'affection de lettre et l'erreur disparait. (autre question, pourquoi est il impossible de commencer un case x: par une déclaration de variable?)
vous supprimez le deuxième case et l'erreur disparait.

Ce message d'erreur m'est affiché par cc et gcc, je suis actuellement sous ubuntu 7.10, et je tente de compiler avec "gcc -w -Wall -c -o test -std=c99 test.c"

N'importe quel aide (même une traduction du message d'erreur, car je comprend chaque mot, mais pas le sens de la phrase) serait la bienvenue.

[Thierry Chappuis]

Qu'essaies-tu de faire avec:

Code :

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

1
2
3
switch ('d') {
    /*...*/
}

'd' est une expression constante de type int...

Même si C99 permet de les définir n'importe où dans le code, il est recommandé de définir les variables i et param_l en début de bloc.

Ici, param_l n'est pas un tableau traditionnel, mais un tableau à longueur variable (VLA). L'implatantion actuelle des VLA par gcc possède le status 'Broken'. J'éviterais donc d'utiliser cette fonctionnalité avec ce compilo. Pour définir un tableau traditionnel, la taille de ce dernier doit être définie à l'aide d'une expression constante.

Thierry

[Arthur Rainbow]

En fait au début c'est

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
 
int precompiler(char *pos_ligne){
 
  char lettre='d';
  switch(lettre){
 
    case '{' : //On a une liste de lettre
 
      lettre='a';
 
      int i=2;
 
      char param_l[i];
 
    case '[':
 
 
    break;
 
  }
 
}

Mais dans les deux cas j'ai le même message d'erreur. (et de toute manière, mon code originale fait 250 lignes.
Ici j'ai juste isolé la partie qui ne compilait pas.

Ce que j'ai oublié et qui me parait le plus surprenant et que mon message d'erreur, copié coller dans google ne rend qu'un seul resultat:
http://gcc.gnu.org/ml/fortran/2005-08/msg00495.html qui semble être un email adressé au gnu fortran project. (et j'ignore tout du fortran)

Je rajoute encore un détail. La ligne indiqué par le message d'erreur est celle du deuxième case


Je rajoute encore une chose que je viens de faire, si quelqu'un pense que ça peut donner une explication.
Je viens de rallumer windows et je tente de compiler par dev C++, aucun problème.

Je retourne donc au programme initiale, et pas, un autre problème avec le même switch: "warning: unreachable code at beginning of switch statement"

La ligne désignée est le premier switch de:

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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
 
int precompiler(char *pos_ligne){
  int byte;
  char *pos2;//se déplace sur les paramètres
  char *pos=pos_ligne;//se déplace sur la ligne
  char lettre=*pos;//la valeur de *pos, pour éviter de perdre du temps en indirection
  int nombre_ouvert;
  int i;
  for(lettre=*pos_ligne;lettre&&lettre!='{'&&lettre!='[';lettre=*(++pos));
  char *debut=pos;//la position de [ou {
  char ouverture=lettre;//La lettre qui a fait stopper la boucle.
  switch(ouverture){
    case '{' : //On a une liste de lettre
      nombre_ouvert=1;
      lettre=*(++pos);
      for(;nombre_ouvert;lettre=*(++pos)){
        switch(lettre){
          case'{' :
            nombre_ouvert++;
          break;
          case '}':
            nombre_ouvert--;
          break;
          case ';' :
            if(nombre_ouvert==1)*pos='.';
            else *pos=';';
          break;
          case '\0':
            printf("\n\aOn a un { ouvert jamais refermé}");
            return ERREUR;
          break;
        }
      }
      int taille_de_possibilites=pos-debut+1;
      char param_l[taille_de_possibilites];
      //copier les paramètre et effacer la ligne
      pos=debut;
      pos2=param_l;
      for(i=0;i<taille_de_possibilites-1;i++){
        *pos2++=*pos;
        *pos++=' ';
      }
 
      //parcourir les paramètre pour choisir lesquels affiché
      pos=debut+1;
      pos2=param_l;
      char *deb2=debut+1;
      for(i=0;i<taille_de_possibilites-3;i++){
        ++pos;
        ++pos2;
        if(*pos2=='.'){
          char* pos3;
          byte=precompiler(debut);
          if(byte!=MAUVAIS) return byte;
          for(pos3=deb2;pos3!=pos;pos3++)*pos3=' ';//effacer la dernière possibilitée.
          deb2=pos+1;
        }else *pos=*pos2;
      }
      byte=precompiler(debut);
      if(byte!=MAUVAIS) return byte;
 
 
      //On remet les paramètres en place pour lire à  l'appel suivant.
      pos2=param_l;
      pos=debut;
      for(i=0;i<taille_de_possibilites;i++){
        lettre=*(++pos);
        ++pos2;
        if(lettre=='.')*pos =';';
        else *pos=*pos2;
      }
      return MAUVAIS;
    break;
    case '[':
      *pos=' ';
      char param[10];
      *param='[';
      pos2=param+1;
      int tmp=0,de,fin;
      int i;
      bool monter;
      for(lettre=*(++pos);lettre!='-'&&lettre!='+';lettre=*(++pos)){
        *pos2=lettre;
        pos2++;
        if(isdigit(lettre)) tmp=tmp*10+(lettre-'0');
        else{
          printf("\n\aOn a un [ suivi d'au moins un caractère non +,- ou chiffre:\n%s",pos_ligne);
          return ERREUR;
        }
        *pos=' ';
      }
      *pos2=lettre;
      pos2++;
      *pos=' ';
      de=tmp;
      monter=(lettre=='+');
      tmp=0;
      for(lettre=*(++pos);lettre!=']';lettre=*(++pos)){
        *pos2=lettre;
        pos2++;
        if(isdigit(lettre)) tmp=tmp*10+(lettre-'0');
        else{
          printf("\n\aOn a un [ puis +/- suivi d'au moins un caractère chiffre ou ]");
          return ERREUR;
        }
        *pos=' ';
      }
      *pos2=lettre;
      *(pos2+1)='\0';
      *pos=' ';
      fin=tmp;
      if(!de||de>255||!fin||fin>255){
        printf("\n0 ou nombre >255 dans[m+M]");
        return ERREUR;
      }
 
      //On teste les nombres
      int aux;
      if(monter){
        for(i=de;i<=fin;i++){
          aux=i/100;
          *debut=(aux)?(aux+'0'):' ';
          aux=(i-(aux*100))/10;
          *(debut+1)=(aux)?(aux+'0'):' ';
          *(debut+2)=((i%10)+'0');
          byte=precompiler(debut);
          if(byte!=MAUVAIS)return byte;
        }
      }else{
        for(i=de;i>=fin;i--){
          aux=i/100;
          *debut=(aux)?(aux+'0'):' ';
          aux=(i-(aux*100))/10;
          *(debut+1)=(aux)?(aux+'0'):' ';
          *(debut+2)=((i%10)+'0');
          byte=precompiler(debut);
          if(byte!=MAUVAIS) return byte;
        }
      }
 
      //On remet les paramètres en place pour lire à  l'appel suivant.
      pos=debut;
      pos2=param;
      for(lettre=*pos2;lettre;lettre=*(++pos2))*pos++=lettre;
      return MAUVAIS;
    break;
    case '\0':
      pos=code_a_compiler;
#ifdef DEBUG
      int tmp1=mal;
#endif //DEBUG
      char * code =(char *) MALLOC((pos-code_a_compiler+1));
      char *pos2=code;
      for(lettre=*pos;lettre;lettre=*(++pos)){
        if(lettre!=' '){
          *pos2=lettre;
          (*pos2)++;
        }
      }
      *pos2='\0';
      ligne=code;
      bool byte=lit_et_verif_functions();
      if(!byte){
        printf("\n\aLe nombre de byte de la fonction est 0!");
        return ERREUR;
      }
      printf("\nOn teste:\n%s",code);
#ifdef DEBUG
      int tmp2=mal;
#endif //DEBUG
      int val=interprete("()",fonction[0]);
#ifdef DEBUG
      if(mal!=tmp2){
        printf("\n\aAvant et apres interprete, mal vaut %i  et %i", tmp2,mal);
        exit(1);
      }
#endif //DEBUG
      FREE(code);
      if(val==BON)return byte;
      else{
        //on réinitialise
        coordonne=depart;
        nombredappel=0;
        int k;
        for(k=0;k<n_case_blanche;k++)plateau[case_blanche[k]]=BLANC;
        n_case_noire=0;
        direction=0;
        for(i=0;i<27;i++){
          if(*(fonction[i])!='\0'){
            FREE(fonction[i]);
            fonction[i]="";
          }
        }
#ifdef DEBUG
        if(mal!=tmp1){
          printf("\n\aAvant lit_et_verif et après la réinitialisation, mal vaut %i  et %i", tmp1,mal);
          exit(1);
        }
#endif //DEBUG
        return MAUVAIS;
      }
    break;
  }
  printf("\a");
  return -10;
}

Le projet peut être télécharger à www.arthurrainbow.fr/c.zip si quelqu'un veut le regarder.

[ram-0000]

Je pense que ton problème provient du fait que tu déclares une variable dans un bloc 'case'. En effet, cette variable est visible dans les blocs 'case' et 'default' qui suivent de ton switch mais elle pourrait ne pas être initialisée (c'est du moins l'expérience que j'ai avec des cas similaires).

Code :

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

1
2
3
4
5
6
7
8
9
 
char toto = 'a';
switch(toto)
{
   case 'a' : 
      int var = 12;
   case 'b' : 
      // ici 'var' existe mais sa valeur risque d'etre indéfinie
}

Donc 2 règles :
1/ Ne jamais déclarer de variable dans un bloc 'case'
2/ Si on doit quand même le faire (pour des raisons de clarté du code), mettre le bloc 'case' dans des accolades afin de limiter la portée de la variable au bloc 'case'

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
char toto = 'a';
switch(toto)
{
   case 'a' : 
   {
      int var = 12;
   }
   case 'b' : 
   {
      // ici 'var' n'existe pas
   }
}

Autre chose, dans ton exemple, il manque des break dans tes blocs 'case' (case '{' par exemple), c'est normal ?

[Arthur Rainbow]

Oui, le manque de break est normal, j'ai supprimé toutes les lignes que je pouvais supprimé sans que l'erreur disparraisse. Je ne cherchais qu'à comprendre l'erreur.
Et merci beaucoup pour l'explication, je tente de mettre des crochets(edit:accolades) dès que je peux retourner sur mon ordinateur.

[Emmanuel Delahaye]

je tente de mettre des crochets dès que je peux retourner sur mon ordinateur.

Attention à la terminologie :

• ( ) = parenthèses (round braces ou curved braces)
• [ ] = crochets (square braces)
• { } = accolades (curly braces)