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