Skip to content

Merge dead bb pruning and unreachable bb deduplication.#119699

Merged
bors merged 1 commit intorust-lang:masterfrom cjgillot:simplify-unreachableJan 9, 2024