Skip to content

Merge dead bb pruning and unreachable bb deduplication.#119699

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

Merge dead bb pruning and unreachable bb deduplication.#119699
bors merged 1 commit intorust-lang:masterfrom
cjgillot:simplify-unreachable

Commits

Commits on Jan 7, 2024