少し考えたら文法に則った入力が与えられている限りは大丈夫そう。 mpz_initされたyyvalは意味値スタックのトップyyvspにコピーされて、 その後の還元でmpz_clearされるので基本的に問題ない。 最終的に、 stmt: stmt expr '\n' { gmp_printf("%Zd\n", $2); …