Page History

 {
  int * restrict p1;
  int * restrict q1;

  int * restrict p2 = p1; /* valid definedundefined behavior  */ 
  int * restrict q2 = q1; /* valid definedundefined behavior  */ 
 }

 {
  int * restrict p1;   
  int * restrict q1;
  {  /* added inner block begin */
    int * restrict p2 = p1;  /* valid undefineddefined behavior  */    
    int * restrict q2 = q1;  /* valid undefineddefined behavior  */  
    ...
  } /* added inner block end */
}