1*c85f09ccSJohn Levon void foo(int *p, int a, int b); foo(int * p,int a,int b)2*c85f09ccSJohn Levonvoid foo(int *p, int a, int b) 3*c85f09ccSJohn Levon { 4*c85f09ccSJohn Levon int c = a + b; 5*c85f09ccSJohn Levon 6*c85f09ccSJohn Levon p[0] = c; 7*c85f09ccSJohn Levon p[1] = c; 8*c85f09ccSJohn Levon } 9*c85f09ccSJohn Levon 10*c85f09ccSJohn Levon /* 11*c85f09ccSJohn Levon * check-name: store-x2 12*c85f09ccSJohn Levon * check-command: sparsec -c $file -o tmp.o 13*c85f09ccSJohn Levon * check-description: Verify in output_op_store() that 14*c85f09ccSJohn Levon * the first store doesn't mess anymore with the 15*c85f09ccSJohn Levon * 'target' and thus making the second store unusable. 16*c85f09ccSJohn Levon */ 17