flex yacc (Bison) Segmentierungsfehler, während der Baum Parsing Gebäude

Question

Ich habe ein Problem in logischen Operatoren mit

In meiner .y Datei ich habe:

expr: expr oper1 expr { $$=insert_expression($2, $1, $3); } 
    | expr oper2 expr { $$=insert_expression($2, $1, $3); } 
    ; 

In meiner .l Datei bestimmt i dass oper1 und oper2 sind:

"<" | ">" | "=" | "<>" | "<=" | ">=" { return oper1; } 
"AND" | "OR" { return oper2; } 

Dann i eine Struktur haben, die Werte setzen in:

typedef struct _Expression 
{ 
    char *oper; 
    struct _Expression *ex1; 
    struct _Expression *ex2; 
} is_expression; 

und setzen die Werte in:

is_expression* insert_expression(char* oper, is_expression *expr1, is_expression *expr2) 
{ 
    is_expression* e = (is_expression*)malloc(sizeof(is_expression)); 

    e->ex1 = expr1; 
    e->ex2 = expr2; 
    e->oper = oper; 

    return e; 
} 

und schließlich zeigen sie:

void show_expression(is_expression *e) 
{ 
    show_expression(e->ex1); 
    printf("%s", e->oper); 
    show_expression(e->ex2); 
} 

aber dann bekomme ich einen Segmentation Fault jedes Mal wenn ich eine ausdr oper ausdr verwenden:

Program received signal SIGSEGV, Segmentation Fault 

Irgendwelche Ideen darüber, was ich falsch mache?

Dank

Answer 1

Der Standardtyp für alle Token int ist. Wenn Sie nicht haben

%union { 
    char *oper1 
    char *oper2 
} 

Es wird Probleme geben. Wie es ist, mischen Sie Zeiger und Ints. Dies hat zur Folge, dass Ihr Programm versucht, auf beliebigen Speicher zuzugreifen und den Segfault verursacht.

Edit:

In Ordnung, dann Feuer, das Ding in GDB oder mein cgdb bevorzugt.

cgdb yourCompiledParser 
> r (add necessary command line switches) 
when it segfaults 
> backtrace 

Damit erhalten Sie den ungefähren Standort, an dem es scheitert, und zeigen Ihnen, wo Sie Breakpoints benötigen. Tipps zum Debuggen von gdb/cgdb finden Sie unter article.

Answer 2

Mal sehen:

void show_expression(is_expression *e) 
{ 
    show_expression(e->ex1); 
    printf("%s", e->oper); 
    show_expression(e->ex2); 
} 

Rekursion müssen eine Möglichkeit haben, zu beenden!

Ein großer Hinweis ist, dass Sie nur eine printf haben, die den Operator druckt. Aber der Baum hat andere Dinge als nur Operatoren: nämlich Operanden!

In Ihrem Ausdrucksbaum sind diese Operanden Blattknoten. Wie sind sie vertreten? Sie haben wahrscheinlich Nullzeiger für ex1 und ex2, richtig? (Hoffentlich nicht Müll: alle Ihre Parser-Regeln tun $$ zu einem gewissen Wert, oder?)

Außerdem muss es viel mehr zu Ihrer yacc-Datei als das. Die von Ihnen gezeigte Regel für expr kann nicht von selbst existieren, da sie nicht auf eine Folge von Terminalsymbolen reduziert werden kann.

Answer 3

Damit $n vernünftige Werte haben, benötigen Sie eine %union Richtlinie alle möglichen Arten zu spezifizieren, und dann müssen Sie diese Typen in %token/%type Richtlinien verwenden:

%union { 
    is_expression *exp; 
    char   *str; 
} 

%token<str> oper1 oper2 
%type<exp> expr 

Dann müssen Sie auch um sicherzustellen, dass Sie die Werte richtig in Ihrer .l-Datei festgelegt:

"<" | ">" | "=" | "<>" | "<=" | ">=" { yylval.str = strdup(yytext); return oper1; } 
"AND" | "OR" { yylval.str = strdup(yytext); return oper2; } 

Andernfalls werden Sie zufälligen Müll als erster Operanden zu insert_expression, werden vorbei und dann abstürzt Wenn Sie versuchen, irgendetwas mit oper zu tun (da es zufällig Müll zeigt)