<div dir="ltr"><div>Hello,</div><div><br></div>According to my understanding, it seems that the result of realloc will not technically alias the original pointer. When the realloc is done in-place the <a href="http://en.cppreference.com/w/c/memory/realloc">reference</a> says:<div>"The original pointer ptr is invalidated and any access to it is undefined behavior (even if reallocation was in-place)."</div><div><br></div><div>Additionally from the<a href="https://port70.net/~nsz/c/c11/n1570.html#6.2.4p2"> C11 standard</a> we have:</div><div>"The value of a pointer becomes indeterminate when the object it points to (or just past) reaches the end of its lifetime"</div><div><br></div><div>Is this enough to infer that we can safely mark realloc as noalias? <br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><font size="1"><span style="color:rgb(84,141,212);font-family:arial,helvetica,sans-serif">Regards</span><br></font></div><div><div dir="ltr"><font color="#000000" face="arial, helvetica, sans-serif" size="1"><font color="#548dd4">Bhatu</font></font></div></div></div></div></div></div></div></div></div></div>
</div></div>