Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / ud2.c
blob22ce424b8abaf51a404b524fd6a517e6c9865050
1 void g (void)
3 char *x;
4 char **y;
6 f1(&x);
7 printf("%s\n", x);
9 f1(y); /* 1. Unallocated storage y passed as out parameter: y */
10 printf("%s\n", *y);
13 void h (void)
15 int z;
16 char *x;
17 char **y;
19 f3 (&z); /* okay! */
20 f2 (&x); /* 2. Value &x used before definition, */
21 printf ("%s\n", x);
23 f2 (y); /* 3. Variable y used before definition */