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.