Optimization problem: bulk Boolean operations on vectors

[safety0ff via Digitalmars-d]

On Friday, 23 December 2016 at 22:11:31 UTC, Walter Bright wrote:
>
> For this D code:
>
> enum SIZE = 100000000;
>
> void foo(int* a, int* b) {
>     int* atop = a + 1000;
>     ptrdiff_t offset = b - a;
>     for (; a < atop; ++a)
> 	*a &= *(a + offset);
> }

Is subtraction of pointers which do not belong to the same array 
defined behavior in D?