1  /* { dg-do link } */
       2  /* { dg-options "-O -fno-strict-aliasing -fdump-tree-optimized" } */
       3  
       4  extern void link_error (void);
       5  
       6  void bar0 (int * __restrict__ arr1, int * __restrict__ arr2)
       7  {
       8    arr1[0] = 1;
       9    arr2[0] = 1;
      10    if (arr1[0] != 1)
      11      link_error ();
      12  }
      13  
      14  int main()
      15  {
      16    return 0;
      17  }
      18  
      19  /* { dg-final { scan-tree-dump-not "link_error" "optimized" } } */