[all-commits] [llvm/llvm-project] 082a34: [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: 082a34d714427759257de44683894a57f8dc1a9d
      https://github.com/llvm/llvm-project/commit/082a34d714427759257de44683894a57f8dc1a9d
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-04-18 (Fri, 18 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