[all-commits] [llvm/llvm-project] b3acb4: [BOLT] Gadget scanner: improve handling of unreach...

[Anatoly Trosinenko via All-commits]

  Branch: refs/heads/users/atrosinenko/bolt-gs-unreachable-basic-blocks
  Home:   https://github.com/llvm/llvm-project
  Commit: b3acb468d096dd3e5e7fdae395cd6a6c60f7e5df
      https://github.com/llvm/llvm-project/commit/b3acb468d096dd3e5e7fdae395cd6a6c60f7e5df
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-04-17 (Thu, 17 Apr 2025)

  Changed paths:
    M bolt/lib/Passes/PAuthGadgetScanner.cpp
    M bolt/test/binary-analysis/AArch64/gs-pacret-autiasp.s
    M bolt/test/binary-analysis/AArch64/gs-pauth-calls.s

  Log Message:
  -----------
  [BOLT] Gadget scanner: improve handling of unreachable basic blocks

Instead of refusing to analyze an instruction completely, when it is
unreachable according to the CFG reconstructed by BOLT, pessimistically
assume all registers to be unsafe at the start of basic blocks without
any predecessors. Nevertheless, unreachable basic blocks found in
optimized code likely means imprecise CFG reconstruction, thus report a
warning once per basic block without predecessors.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications