See #79109 (comment)

The PR introduced a solution to adding Zero coverage for functions that were processed for MIR, but not codegenned, because they were optimized out and never reached (never called).

The algorithm for finding and injecting the additional code regions, in the right place, is a bit complex.

Can this solution be simplified and/or improved? Are there other sources of compiler state data that might help (or better sources that could be exposed via cx, tcx, or something else, but aren't yet)?

(Related to Tracking Issue #79121)