bug: Watch location restrict pointer

[Tom Tromey]

Volker> Breakpoint 1, main () at main.cpp:2
Volker> 2           void* __restrict__ ptr = 0;
Volker> gdbinit:3: Error in sourced command file:
Volker> A syntax error in expression, near `restrict *) 0x00007fffffffd608'.

Thanks for the report.
I sent a patch to fix this.  Some variant of it should go in reasonably
soon.

As a workaround you can try something like stripping out the restrict:

watch -location (void *) ptr

Tom