gcc/testsuite/g++.dg/tree-ssa/pr21082.C

   1 /* { dg-do link } */
   2 /* { dg-options "-fstrict-overflow" } */
   3
   4 void link_error();
   5
   6 int a[4];
   7 long b, c;
   8
   9 int main()
  10 {
  11         if (&a[b] - &a[c] != b - c)
  12                 link_error();
  13         return 0;
  14 }