1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -fno-tree-vrp -fno-tree-copy-prop -fno-tree-ccp -fdump-tree-optimized" } */
       3  
       4  
       5  volatile int x;
       6  
       7  int main ()
       8  {
       9    volatile int *vip;
      10    vip = &x;
      11    volatile int *cvip;
      12    cvip = vip;
      13  
      14    if (vip != cvip) return -1;
      15    return 0;
      16  }
      17  
      18  /* { dg-final { scan-tree-dump-times "return 0" 1 "optimized" } } */
      19