Timon Gehr wrote: > > That allows specifying that the memory pointed to is only readable which > > enables doing the optimizations. But what if the memory is writable but > > I can my sure that the pointers pointing to it will never alias? How do > > I pass that information to the compiler? > > > > Jens > > assert(p1 != p2); (or assert(c1 !is c2) for references). > > I do not think DMD takes advantage of such constructs yet though.
Just because the pointers aren't equal doesn't mean that they won't alias. So I don't see how the above can help. As far as I understand it the compiler has to know at compile time that the given pointers won't alias. Jens
