search for: c3d480b2

Hi Christopher, > If A and B are function arguments then there is no "based on" > relationship between pointer expressions A+0 and B+0. This is because > changing one of the pointers, A for example, to point to a copy of > the object it points to would change the value of the pointer > expression A+0, but not the expression B+0. I was assuming that *(A+0) and

On Aug 22, 2007, at 1:19 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

...type rather than a pointer to the type. Only pointers may be "based on" other pointers from my reading of the spec. -- Christopher Lamb -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070822/c3d480b2/attachment.html>