scc

 1int f1(int b[static 3])
 2{
 3	return b[0] + 1;
 4}
 5
 6int f2(int b[volatile 3])
 7{
 8	return b[0] + 2;
 9}
10
11int
12main(void)
13{
14	int a[10] = {1, 2, 3};
15	int b[10] = {4, 5, 6};
16
17	return !(f1(a) + f2(b) == 8);
18}