[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect signing oracles (PR #134146)

[Anatoly Trosinenko via llvm-branch-commits]

================
@@ -622,6 +628,40 @@ class MCPlusBuilder {
     return std::make_pair(getNoRegister(), getNoRegister());
   }
 
+  /// Analyzes if a pointer is checked to be valid by the end of BB.
----------------
atrosinenko wrote:

Replaced with "authenticated successfully" (same as below), thanks!

> Analyzes if this basic block fully authenticates a signed pointer, including triggering program termination when invalidly signed

Strictly speaking, it is perfectly correct for a pointer to be authenticated much earlier, provided its "safe-to-dereference" status was propagated here.

https://github.com/llvm/llvm-project/pull/134146