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