> We could even remove the -nogc switch and keep only -vgc.

I think this is probably best to start with.

> The problem is that without attributes these switches can't know which functions should be checked for allocations, so they check all functions. But unittests are usually not interesting in this regard and that's why this check is here.

Ok, it makes more sense in the absence of the attributes.  But couldn't this be solved simply by not using both `-vgc` and `-unittest` at the same time?  I guess that's not quite as good.