1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 
5 void test (int *k)
6 {
7   if (*k > 5) { *k --; }
8 }
9 
10 int z;
11 
12 int main ()
13 {
14 /* z is initialized, but not via a pointer, so not instrumented */
15 z = rand ();
16 test (& z);
17 return 0;
18 }
19