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