19 lines
236 B
C
19 lines
236 B
C
|
#include <stdio.h>
|
||
|
#include <stdlib.h>
|
||
|
#include <string.h>
|
||
|
|
||
|
void test (int *k)
|
||
|
{
|
||
|
if (*k > 5) { *k --; }
|
||
|
}
|
||
|
|
||
|
int z;
|
||
|
|
||
|
int main ()
|
||
|
{
|
||
|
/* z is initialized, but not via a pointer, so not instrumented */
|
||
|
z = rand ();
|
||
|
test (& z);
|
||
|
return 0;
|
||
|
}
|