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

/* { dg-do link } */
/* { dg-options "-fstrict-overflow" } */

void link_error();

int a[4];
__INTPTR_TYPE__ b, c;

int main()
{
	if (&a[b] - &a[c] != b - c)
		link_error();
	return 0;
}