================
@@ -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
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
