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

[Kristof Beyls 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.
----------------
kbeyls wrote:

"a pointer being valid" could mean many things in this target-agnostic header file.
Maybe the words "pointer authentication" and "correctly authenticated" or something similar should be used in this first sentence?
Maybe
`/// Analyzes if this basic block fully authenticates a signed pointer, including triggering program termination when invalidly signed` or something along those lines?

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