[all-commits] [llvm/llvm-project] ff2193: [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: ff2193b2cf856fbf6a2226a187f3460e629eb923
      https://github.com/llvm/llvm-project/commit/ff2193b2cf856fbf6a2226a187f3460e629eb923
  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