The exactgc script is careful not to trigger on lines that contain "//" style comments, and in some cases it will avoid triggering on lines that contain leading cruft from a block comments (such as a column of asterisks), but in general it is not block-comment aware. Annotated code, and for that matter preprocessing directives, inside block comments can cause the script to either go awry or to generate code for types and fields the compiler will not see. It's not clear how to fix this without slowing down the script significantly or rewriting it in a different language. This bug tracks the fact that the problem exists.

Tamarin isn't maintained anymore. WONTFIX remaining bugs.