Alexey Salmin <alexey.salmin@xxxxxxxxx> writes: > However if we add a "restrict" keyword to the definition of b like > that it affects nothing: > As far as I understand the "restrict" concept "const int *restrict b" > guarantee that "*b" will not be modified by "*a++ = *b + 1;". I believe you are correct, and that this is an unimplemented optimization. Ian