segmentation fault, breakpoint inutile

**emmesse** · 03/02/2015, 15h45

bonjour à tous,

j'ai écris ce code et je n'arrive pas à trouver où est la cause du segmentation fault
cela arrive lors que je choisi la commande "simplifier":

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
 
vector<production> grammaire;
vector<production> grammaireTemp;
vector<production> grammaireUtiles;
vector<string> terminaux;
vector<string> nonTerminaux;
 
int main(){
    unsigned int n;
    string choix;
    char c;
    string reponse;
    while(true){
        cout<<"ajout"<<endl;
        cout<<"lister"<<endl;
        cout<<"terminaux"<<endl;
        cout<<"nonterminaux"<<endl;
        cout<<"effacer"<<endl;
        cout<<"simplifier"<<endl;
        cout<<"quitter"<<endl<<endl;
        cout<<"Votre choix : ";
        cin>>choix;
        if(choix=="ajout")
            plusProduction();
        else if(choix=="lister")
            listerGrammaire();
        else if(choix=="terminaux")
            listerTerminaux();
        else if(choix=="nonterminaux")
            listerNonTerminaux();
        else if(choix=="effacer"){
            cout<<"Indiquez le numéro, dans la liste, de la production à effacer : ";
            do
                cin>>n;
            while(n==0||n>grammaire.size())
                ;
            cout<<"S'agit-il de cette prduction?"<<endl;
            grammaire[n-1].ecrire();
            cin>>reponse;
            if((c=reponse[0])=='o'||c=='O')
                effacerProd(n-1);
            cout<<"La production a été effacée"<<endl;
        }
        else if(choix=="simplifier")
            simplifier();
        else if(choix=="quitter")
            break;
        else
            cout<<"commande inconnue"<<endl;
    }
}
 
void simplifier(){
    string X("");
    unsigned int i;
    bool trouve=false;;
    for(i=0;i<grammaire.size();i++)
        if(queTerminaux(i)){
            trouve=true;
            grammaireUtiles.push_back(grammaire[i]);
        }
    if(trouve)
        sontUtiles2();
    grammaire.clear();
    grammaire=grammaireUtiles;
    chercherTerminauxEtNonTerminaux();
}

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
class production{
private:
    std::string tete;
    std::vector<std::string> corps;
public:
    std::string getTete();
    void setTete(std::string x);
    void ajouter(std::string x);
    void ecrire();
    unsigned int size();
    std::string chezCorps(int i);
    void enleverDernierCorps();
};

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
string production::getTete(){
    return tete;
}
 
void production::setTete(string x){
    tete=x;
}
 
void production::ajouter(string x){
    corps.push_back(x);
}
 
void production::ecrire(){
    cout<<tete<<" ::= ";
    for(unsigned int i(0);i<corps.size();i++){
        cout<<corps[i];
        if(i!=corps.size()-1)
            cout<<" ";
    }
    cout<<endl;
}
 
unsigned int production::size(){
    return corps.size();
}
 
string production::chezCorps(int i){
    return corps[i];
}
 
void production::enleverDernierCorps(){
    corps.pop_back();
}

voici l'éxécution du programme

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
 
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
s
Entrez le corps de la production s
0
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
s
Entrez le corps de la production s
a
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
a
Entrez le corps de la production a
a b
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
b
Entrez le corps de la production b
1
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : lister
Voulez-vous l'ensemble des productions?(o/n) o
 
1 : s ::= 0
2 : s ::= a
3 : a ::= a b
4 : b ::= 1
 
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : simplifier
Erreur de segmentation (core dumped)

quelqu'un a une idée?

**CosmoKnacki** · 03/02/2015, 16h32

En regardant vite-fait ton code, j'ai vu ça:

Code :

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

1
2
3
4
5
6
7
while(n==0||n>grammaire.size()) {
    ...
    grammaire[n-1].ecrire();
    ...
        effacerProd(n-1);
    ...
}

Ce qui signifie que tu peux demander l'index -1 de grammaire quand n est égal à 0.

Autre chose, le code de sontUtiles2() ainsi que chercherTerminauxEtNonTerminaux() n'apparaît pas dans ton message.

**emmesse** · 03/02/2015, 17h04

c'est u ne boucle do-while. Le contenu de cette boucle est au dessus du while, pour faire une saisie robuste

Code :

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

1
2
3
 do
     cin>>n;
while(n==0||n>grammaire.size())

**CosmoKnacki** · 03/02/2015, 17h07

Ah oui, au temps pour moi, je n'avais pas vu le do.

**emmesse** · 03/02/2015, 17h08

voici tout 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
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
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
#include <iostream>
#include <vector>
#include <string>
#include <limits>
#include "objets.hpp"
using namespace std;
 
void plusProduction();
void trier();
void listerGrammaire();
void listerTerminaux();
void listerNonTerminaux();
void effacerProd(unsigned int n);
void chercherTerminauxEtNonTerminaux();
void chercherNonTerminaux();
bool terminalDejaTrouve(string x);
bool nonTerminalDejaTrouve(string x);
bool estNonTerminal(string x);
bool OccDroite(string X,int i);
bool queTerminaux(int i);
void sontUtiles2();
bool queUtiles(string x);
int indicePremiereProduction(string x);
void simplifier();
 
vector<production> grammaire;
vector<production> grammaireTemp;
vector<production> grammaireUtiles;
vector<string> terminaux;
vector<string> nonTerminaux;
 
 
 
int main(){
    unsigned int n;
    string choix;
    char c;
    string reponse;
    while(true){
        cout<<"ajout"<<endl;
        cout<<"lister"<<endl;
        cout<<"terminaux"<<endl;
        cout<<"nonterminaux"<<endl;
        cout<<"effacer"<<endl;
        cout<<"simplifier"<<endl;
        cout<<"quitter"<<endl<<endl;
        cout<<"Votre choix : ";
        cin>>choix;
        if(choix=="ajout")
            plusProduction();
        else if(choix=="lister")
            listerGrammaire();
        else if(choix=="terminaux")
            listerTerminaux();
        else if(choix=="nonterminaux")
            listerNonTerminaux();
        else if(choix=="effacer"){
            cout<<"Indiquez le numéro, dans la liste, de la production à effacer : ";
            do
                cin>>n;
            while(n==0||n>grammaire.size())
                ;
            cout<<"S'agit-il de cette prduction?"<<endl;
            grammaire[n-1].ecrire();
            cin>>reponse;
            if((c=reponse[0])=='o'||c=='O')
                effacerProd(n-1);
            cout<<"La production a été effacée"<<endl;
        }
        else if(choix=="simplifier")
            simplifier();
        else if(choix=="quitter")
            break;
        else
            cout<<"commande inconnue"<<endl;
    }
}
 
void plusProduction(){
    unsigned int i,j;
    string nom,contenu;
    production *productionTemp;
    cout<<"Nom de tête de la production : "<<endl;
    cin>>nom;
    cout<<"Entrez le corps de la production "<<nom<<endl;
    cin.ignore();
    getline(cin,contenu);
    productionTemp=new production;
    productionTemp->setTete(nom);
   j=i=0;
    while(j<contenu.size()){
        while(j<contenu.size()&&contenu[j]==' ')
            j++;
        i=j;
        while(j<contenu.size()&&contenu[j]!=' ')
            j++;
        if(j==contenu.size())
            nom=contenu.substr(i);
        else
            nom=contenu.substr(i,j-i);
        productionTemp->ajouter(nom);
    }
    grammaire.push_back(*productionTemp);
    delete productionTemp;
    trier();
    chercherTerminauxEtNonTerminaux();
}
 
void trier(){
    unsigned int i,j;
    production t;
    for(i=0;i<grammaire.size();i++)
    for(j=i+1;j<grammaire.size();j++)
        if(grammaire[i].getTete()==grammaire[j].getTete()){
            t=grammaire[i+1];
            grammaire[i+1]=grammaire[j];
            grammaire[j]=t;
            i++;
        }
}
 
void listerGrammaire(){
    unsigned int premier,dernier,i;
    string choix;
    string fin;
    cout<<"Voulez-vous l'ensemble des productions?(o/n) ";
    cin>>choix;
    cout<<endl;
    if(choix[0]=='o'||choix[0]=='O'){
        for(i=0;i<grammaire.size();i++){
            cout<<i+1<<" : ";
            grammaire[i].ecrire();
        }
    }
    else{
        cout<<"À partir de quel non-terminal ? (son numéro dans la liste) ";
        cin>>premier;
        premier--;
        cout<<"Jusqu'au dernier non-terminal? (o/n)";
        cin>>fin;
        cout<<endl;
        if(fin[0]=='o'||fin[0]=='O')
            dernier=grammaire.size()-1;
        else{
            cout<<"Jusqu'à quel terminal? (son numéro dans la liste) ";
            cin>>dernier;
            dernier--;
            cout<<endl;
        }
        if( dernier>=premier&&dernier<grammaire.size())
            for(i=premier;i<=dernier;i++){
                cout<<i+1<<" : ";
                grammaire[i].ecrire();
            }
    }
    cout<<endl;
}
 
void listerTerminaux(){
    unsigned int i;
    for(i=0;i<terminaux.size();i++){
        cout<<terminaux[i];
        if(i!=terminaux.size()-1)
            cout<<" ";
    }
    cout<<endl<<endl;
}
 
void listerNonTerminaux(){
    unsigned int i;
    for(i=0;i<nonTerminaux.size();i++){
        cout<<nonTerminaux[i];
        if(i!=nonTerminaux.size()-1)
            cout<<" ";
    }
    cout<<endl<<endl;
}
 
 
void effacerProd(unsigned int n){
    unsigned int i,j;
    string X(grammaire[n].getTete());
    for(i=n;i<grammaire.size()-1;i++)
        grammaire[i]=grammaire[i+1];
    grammaire.pop_back();
    for(i=0;i<nonTerminaux.size()-1;i++)
        if(nonTerminaux[i]==X){
            for(j=i;j<nonTerminaux.size()-1;j++)
                nonTerminaux[j]=nonTerminaux[j+1];
            nonTerminaux.pop_back();
        }
    chercherTerminauxEtNonTerminaux();
}
 
void chercherTerminauxEtNonTerminaux(){
    unsigned int i,j;
    string x;
    terminaux.clear();
    nonTerminaux.clear();
    chercherNonTerminaux();
    for(i=0;i<grammaire.size();i++){
        for(j=0;j<grammaire[i].size();j++){
            x=grammaire[i].chezCorps(j);
            if( ! estNonTerminal(x)&& ! terminalDejaTrouve(x))
                terminaux.push_back(grammaire[i].chezCorps(j));
        }
    }
}
 
void chercherNonTerminaux(){
    unsigned int i;
    for(i=0;i<grammaire.size();i++)
        if(!nonTerminalDejaTrouve(grammaire[i].getTete()))
            nonTerminaux.push_back(grammaire[i].getTete());
}
 
bool terminalDejaTrouve(string x){
    unsigned int i;
    for(i=0;i<terminaux.size();i++)
        if(x==terminaux[i])
            return true;
    return false;
}
 
bool nonTerminalDejaTrouve(string x){
    unsigned int i;
    for(i=0;i<nonTerminaux.size();i++)
        if(x==nonTerminaux[i])
            return true;
    return false;
}
 
void simplifier(){
    string X("");
    unsigned int i;
    bool trouve=false;;
    for(i=0;i<grammaire.size();i++)
        if(queTerminaux(i)){
            trouve=true;
            grammaireUtiles.push_back(grammaire[i]);
        }
    if(trouve)
        sontUtiles2();
    grammaire.clear();
    grammaire=grammaireUtiles;
    chercherTerminauxEtNonTerminaux();
}
 
bool queTerminaux(int i){
    unsigned int j;
    for(j=0;j<grammaire[i].size();j++)
        if(estNonTerminal(grammaire[i].chezCorps(j)))
            return false;
    return true;
}
 
void sontUtiles2(){
    unsigned int i,j;
    for(i=0;i<grammaire.size();i++)
        for(j=0;j<grammaire[i].size();j++)
            if(queUtiles(grammaire[i].chezCorps(j)))
                grammaireUtiles.push_back(grammaire[i]);
}
 
bool queUtiles(string x){
    string s;
    unsigned int i,j;
    bool trouve=true;
    i=indicePremiereProduction(x);
    for(j=0;j<grammaire[i].size();j++){
        s=grammaire[i].chezCorps(j);
        if(estNonTerminal(s))
            if( ! queUtiles(s))
                trouve=false;
    }
    if(trouve)
        grammaireUtiles.push_back(grammaire[i]);
    return trouve;
}
 
bool OccDroite(string X,int i){
    unsigned int j;
    for(j=0;j<grammaire[i].size();j++)
        if(grammaire[i].chezCorps(j)==X)
            return true;
    return false;
}
 
 
bool estNonTerminal(string X){
    for(unsigned int i(0);i<nonTerminaux.size();i++)
        if(nonTerminaux[i]==X)
            return true;
    return false;
}
 
int indicePremiereProduction(string x){
    unsigned int i;
    for(i=0;i<grammaire.size();i++)
        if(grammaire[i].getTete()==x)
            return i;
    return 65535;
}

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
#ifndef OBJETS_HPP_INCLUDED
#define OBJETS_HPP_INCLUDED
 
#include <vector>
#include <string>
 
class element{
private:
    std::string nom;
public:
    void setNom(std::string x);
    std::string getNom();
};
 
class production{
private:
    std::string tete;
    std::vector<std::string> corps;
public:
    std::string getTete();
    void setTete(std::string x);
    void ajouter(std::string x);
    void ecrire();
    unsigned int size();
    std::string chezCorps(int i);
    void enleverDernierCorps();
};
 
#endif

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
#include <vector>
#include <string>
#include <iostream>
using namespace std;
#include "objets.hpp"
 
string production::getTete(){
    return tete;
}
 
void production::setTete(string x){
    tete=x;
}
 
void production::ajouter(string x){
    corps.push_back(x);
}
 
void production::ecrire(){
    cout<<tete<<" ::= ";
    for(unsigned int i(0);i<corps.size();i++){
        cout<<corps[i];
        if(i!=corps.size()-1)
            cout<<" ";
    }
    cout<<endl;
}
 
unsigned int production::size(){
    return corps.size();
}
 
string production::chezCorps(int i){
    return corps[i];
}
 
void production::enleverDernierCorps(){
    corps.pop_back();
}

je rappelle où est le problème:

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
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
s
Entrez le corps de la production s
0
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
s
Entrez le corps de la production s
a
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
a
Entrez le corps de la production a
a b
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : ajout
Nom de tête de la production : 
b
Entrez le corps de la production b
1
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : lister
Voulez-vous l'ensemble des productions?(o/n) o
 
1 : s ::= 0
2 : s ::= a
3 : a ::= a b
4 : b ::= 1
 
ajout
lister
terminaux
nonterminaux
effacer
simplifier
quitter
 
Votre choix : simplifier
Erreur de segmentation (core dumped)

**ternel** · 03/02/2015, 17h35

Tu as su faire une classe element, avec des fonctions. Magnifique!

Alors, fais donc une classe de grammaire, et supprime ces variables globales.

Je pense qu'il te faudra une classe de regle de production.
C'est en la faisant que tu régleras ton problème, je pense.

Une segfault vient toujours d'un accès mémoire illégal.
Il n'y a que deux causes courantes: un pointeur non initialisé (ou deleté), et un débordement de tableau (ce que peut faire vector::operator[])

**CosmoKnacki** · 03/02/2015, 18h14

Le problème vient peut-être de queUtiles() qui ne contrôle pas la valeur renvoyée par indicePremiereProduction() qui peut être 65535. Dans ce cas, grammaire[i] n'existe pas.

segmentation fault, breakpoint inutile

Langage C++

Vue hybride

Discussions similaires

Partager

Partager