Hi, I wrote last December:

I've written a patch to fix the other issue that I mentioned:

...

2. The code walker for TAGBODY is incorrect. But I've not yet added testcases and released my patch. It's so long, so appended is the patch to please record I've still not yet added testcases :-(

Regards, Jörg Höhle