ab786d3b98
When preparing a function's coverage counters and metadata during codegen, any part of the original coverage graph that was removed by MIR optimizations can be treated as having an execution count of zero. Somewhat counter-intuitively, if we give those unreachable nodes a _higher_ priority for receiving physical counters (instead of counter expressions), that ends up reducing the total number of physical counters needed. This works because if a node is unreachable, we don't actually create a physical counter for it. Instead that node gets a fixed zero counter, and any other node that would have relied on that physical counter in its counter expression can just ignore that term completely. |
||
|---|---|---|
| .. | ||
| counters | ||
| spans | ||
| counters.rs | ||
| graph.rs | ||
| mappings.rs | ||
| mod.rs | ||
| query.rs | ||
| spans.rs | ||
| tests.rs | ||
| unexpand.rs | ||