On Thu Oct 12 11:17:18 2023 +0000, Giovanni Mascellani wrote:
I think I should already have learned that by now, but what are the obligations we have when we `YYABORT` to avoid leaking resources? I guess we should at least cleanup the input variables (`$1` etc), I don't know about `$$`. Maybe @zfigura can help?
I realized that in this MR `YYABORT` always appears before assigning `$$`, so clearly you don't have to cleanup `$$` at that point. Still, you have to ensure that any exit path, including `YYABORT`, cleans the right hand side symbols.