The fuzzer doesn't yet clean up to remove labels that have never been the target of gotos. This needlessly clutters test-cases, and also produces compiler warnings.
This would involve a whole-testcase traversal at the end of the fuzzer (at the same time as we remove unused threads, I guess), as well as storing metadata about which labels are targets of gotos (which I don't think we do yet.)
The fuzzer doesn't yet clean up to remove labels that have never been the target of
gotos. This needlessly clutters test-cases, and also produces compiler warnings.This would involve a whole-testcase traversal at the end of the fuzzer (at the same time as we remove unused threads, I guess), as well as storing metadata about which labels are targets of
gotos(which I don't think we do yet.)