provenance_multiple_1_global.c

int y[2], x[2];
int main() {
  int *p = &(x[0]) + (&(x[1])-&(x[0]));
  *p = 11;  // is this free of undefined behaviour?
  printf("x[1]=%d *p=%d\n",x[1],*p);
  return 0;
}