You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 text was updated successfully, but these errors were encountered:
The fuzzer doesn't yet clean up to remove labels that have never been the target of
goto
s. 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 text was updated successfully, but these errors were encountered: