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.

Reply via email to