Bison: правило бесполезно в парсере из-за конфликтов [-Wother]

Question

У меня есть эта грамматика, которая должна генерировать java-байтовый код из Java-кода. Я знаю, что это предупреждение было рассмотрено ранее во многих вопросах, но я не мог найти проблему, похожую на мою. выводит из этого предупреждения для этих двух правил, в частности:

statement_list: 
    { 
     $<stmt_type>$.next = $<stmt_type>0.next; 
    } 
    statement 
    | 
    { 
     $<stmt_type>$.next = strdup(genLabel().c_str()); //generate label for statement and assign it to statement list next 
    } 
    statement_list 
    { 
     $<stmt_type>$.next = $<stmt_type>0.next; 
     fout<<$<stmt_type>1.next<<":"<<endl; //mark statement with statement list next label 
    } 
    statement 
    ; 

и это один

b_expression: 
expression RELA_OP expression  
    {$$ = $<bexpr_type>0;relaCast(string($2),$$.nTrue,$$.nFalse);} 
|{/* addding some strings to this action */ } b_expression BOOL_OP b_expression 

мне нужно здесь отметить каждое заявление с его следующей перед разбором его, чтобы использовать его в генерации кода. , когда я удаляю семантические действия из statement_list, его ошибка исчезает, но я не пытаюсь сделать то же самое для b_expression.

Answer 1

Зубр только смотрит вперед 1 токен, чтобы решить, какое производство применять. В ваших двух постановках для операторов оба блока кода перед парсером прочитали все токены, чтобы узнать, какая продукция будет применяться.

Answer 2

Если вы генерируете сборки, как код стека с метками непосредственно в правилах YACC, вы обычно используете что-то вроде:

if_statement: IF condition { 
         $$ = gen_label(); 
         gen_code(JUMP_FALSE, $$); } 
       THEN block { 
         $$ = gen_label(); 
         gen_code(JUMP, $$); 
         gen_code(LABEL, $3); } 
       ELSE block { 
         gen_code(LABEL, $6); } 

while_statement: WHILE { gen_code(LABEL, $$ = gen_label()); } 
       condition { gen_code(JUMP_FALSE, $$ = gen_label); } 
       block { gen_code(JUMP, $2); gen_code(LABEL, $4); } 

Если вы генерируете байт-код непосредственно, вы не имеете «метки» как таковые - когда вы создаете прямую ветвь, вы помните место в байт-коде, где должно быть смещение цели, и когда вы дойдете до места, где вы выведете метку, вы отложите ветвь, чтобы перейти в текущее местоположение ,