[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

[Anatoly Trosinenko via llvm-branch-commits]

atrosinenko wrote:

Moved the `computePessimisticState` function here from #137224, as accounting for the registers that were never clobbered in a function (basically, accounting for the leaf functions) turns out to decrease the number of false positive reports quite significantly.

https://github.com/llvm/llvm-project/pull/136183