1*c85f09ccSJohn Levon void foo(int *p, int a, int b);
foo(int * p,int a,int b)2*c85f09ccSJohn Levon void 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