[llvm-dev] Making a pointer parameter always dereferenceable

[Haidl, Michael via llvm-dev]

Hi @all,

I'm looking for an way to express in IR that a pointer parameter is always dereferenceable. I know about the attribut for pointer parameter but as far as I understand it requires an integer n denoting the number of bytes dereferenceable. Is there any way to express that loading from the pointer is always save?

Cheers,
Michael
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170802/d69937b1/attachment.html>