8sa1-gcc/gcc/testsuite/gcc.c-torture/compile/920701-1.c

f(char*c){extern char a[],b[];return a+(b-c);}