quasistatic https://blog.hatena.ne.jp/quasistatic/ 借りてきた猫のように静か https://quasistatic.hatenadiary.jp/ C 少し考えたら文法に則った入力が与えられている限りは大丈夫そう。 mpz_initされたyyvalは意味値スタックのトップyyvspにコピーされて、 その後の還元でmpz_clearされるので基本的に問題ない。 最終的に、 stmt: stmt expr '\n' { gmp_printf("%Zd\n", $2); mpz_clear($2); } ; による還元で最後のmpz_t型の意味値が消費されmpz_clearされる。 ただし、構文エラーが起こったときは単に'\n'まで読み捨てる同期化を行うだけなので、 意味値スタックに積まれたものからメモリリークしてしまうと思う。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fquasistatic.hatenadiary.jp%2Fentry%2F20110719%2Fp1" title=" 数式の評価を便利な道具で #2 - 借りてきた猫のように静か" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-07-19 00:00:00 rich https://quasistatic.hatenadiary.jp/entry/20110719/p1 1.0 100%