On 1/17/2012 1:47 PM, Peter Alexander wrote:
On 17/01/12 9:24 PM, Walter Bright wrote:On 1/17/2012 1:20 PM, Peter Alexander wrote:As Manu said, you need something like __restrict (or a linear type system) to solve this problem.No, you don't. It can be done with a runtime check, like array bounds checking is done.So you'd change it to this, even in release builds?
No. Like array bounds, if they overlap, an exception is thrown. Remember, the D spec says that overlapping arrays are illegal.