search for: 77d031a0

...if the function were called with A == B and either A or B is defined as restrict then the result would be undefined behavior. -- Christopher Lamb -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070822/77d031a0/attachment.html>

Hi Christopher, > >> In C/C++ a restrict pointer is also assumed not to alias any other > >> parameters, global values or local value. However the compiler must > >> not assume that pointers "based on" a restrict pointer do not alias. > > > > does "based on" mean something like: copies of the pointer made in the > > function body?

On Aug 21, 2007, at 11:10 PM, Duncan Sands wrote: > Hi Christopher, > >> In C/C++ a restrict pointer is also assumed not to alias any other >> parameters, global values or local value. However the compiler must >> not assume that pointers "based on" a restrict pointer do not alias. > > does "based on" mean something like: copies of the pointer