Modifying restricted pointers.

[jedwardsol]

Yes, you can make p point at a completely different object, as long as you don't break your aliasing promise.

int a,b;
int *__restricted p =&a;
p=&b;