https://github.com/arichardson approved this pull request.

Thanks, I like this hook and it should also work well for CHERI where similar 
constraints to CPA exist: you can go out of bounds by a specific amount (the 
exact range depends on the pointer bounds), but if you go too far the pointer 
becomes invalid. So for CHERI we can just return false from this hook to avoid 
these problematic transforms.

Would like @jrtc27 to take a look as well in case I missed something.

https://github.com/llvm/llvm-project/pull/146074
_______________________________________________
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

Reply via email to