gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c

   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" } } */
  20 /* { dg-final { cleanup-tree-dump "optimized" } } */