1 void 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  */