
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:11pt;color:black">


Hi @all,<br>


<br>


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?<br>


<br>


Cheers,<br>


Michael


</body>


</html>