1*c85f09ccSJohn Levon void init(int *x); 2*c85f09ccSJohn Levon foo(void)3*c85f09ccSJohn Levonstatic int foo(void) 4*c85f09ccSJohn Levon { 5*c85f09ccSJohn Levon int a[2] = { 0, 123, }; 6*c85f09ccSJohn Levon 7*c85f09ccSJohn Levon if (a[1] != 123) 8*c85f09ccSJohn Levon return 1; 9*c85f09ccSJohn Levon init(a); 10*c85f09ccSJohn Levon if (a[1] == 123) 11*c85f09ccSJohn Levon return 2; 12*c85f09ccSJohn Levon return 0; 13*c85f09ccSJohn Levon } 14*c85f09ccSJohn Levon 15*c85f09ccSJohn Levon #if 0 16*c85f09ccSJohn Levon void init(int *x) 17*c85f09ccSJohn Levon { 18*c85f09ccSJohn Levon x[0] = x[1] = 0; 19*c85f09ccSJohn Levon } 20*c85f09ccSJohn Levon #endif 21*c85f09ccSJohn Levon 22*c85f09ccSJohn Levon /* 23*c85f09ccSJohn Levon * check-name: live-stores 24*c85f09ccSJohn Levon * check-command: test-linearize $file 25*c85f09ccSJohn Levon * 26*c85f09ccSJohn Levon * check-output-ignore 27*c85f09ccSJohn Levon * check-output-contains: store.32 *\\$123 28*c85f09ccSJohn Levon * check-output-pattern(2,3): store\\. 29*c85f09ccSJohn Levon */ 30