Bug 4132 – pointer arithmetic accepted in @safe functions

void main() @safe { int a; int* p = &a; p++; } This code is able to compile. * References [http://www.digitalmars.com/d/2.0/function.html] - Safe Functions Safe functions are marked with the @safe attribute. The following operations are not allowed in safe functions: - No casting from a pointer type to any type other than void*. - No casting from any non-pointer type to a pointer type. - No modification of pointer values. <-------------------------------- here!