c - Bison の $$ 変数を GDB で調べる

Question

Bison .y ファイルにブレークポイントを設定した場合、そのブレークポイントで $$ 疑似変数の内容を調べる方法はありますか?

Answer 1

$$ はセマンティック値スタックのトップです。少し解釈が難しいかもしれません。本当に必要な場合は、スタック ポインターが yyssp と呼ばれ、スタックが yyvsa と呼ばれる場合があるため、使用している bison のバージョンに応じて、yyvsa[yyssp] のようなものが必要な場合があります。生成された .tab.c コードを見てください。

Answer 2

Bison はyyparse()、動的に割り当てられたローカル変数としてスタックを保持します。

おそらく、一時的なデバッグの問題を解決する最も簡単な方法はy.tab.c、行*++yyvsp = yylvalがグローバルにコピーをドロップするようにパッチを適用することです。YYPOPSTACK()同じことをするためにハックすることもできます。

Answer 3

yylvalwithの型を再定義しました%union:

%union {
  int int_val;
  double double_val;
}

そして、私が得るのは、yyval.int_valまたはyyval.double_valのタイプに応じてです$$。

しかし、Richard Pennington が言ったように、生成された.tab.cコードを確認するのが最善の方法です。