[all-commits] [llvm/llvm-project] 629a42: [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: 629a4239c9d88f49ccf723ab0b7a13e5a9ad0144
      https://github.com/llvm/llvm-project/commit/629a4239c9d88f49ccf723ab0b7a13e5a9ad0144
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-04-22 (Tue, 22 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