[all-commits] [llvm/llvm-project] 20a720: [BOLT] Gadget scanner: improve handling of unreach...
Anatoly Trosinenko via All-commits
all-commits at lists.llvm.org
Wed Jun 25 02:30:03 PDT 2025
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 20a72083fdff012b6ec45c38475f49c7f2a3dc56
https://github.com/llvm/llvm-project/commit/20a72083fdff012b6ec45c38475f49c7f2a3dc56
Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
Date: 2025-06-25 (Wed, 25 Jun 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 (#136183)
Instead of refusing to analyze an instruction completely when it is
unreachable according to the CFG reconstructed by BOLT, use pessimistic
assumption of register state when possible. Nevertheless, unreachable
basic blocks found in optimized code likely means imprecise CFG
reconstruction, thus report a warning once per function.
To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications
More information about the All-commits
mailing list