]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | int f1 (x, y) |
2 | { | |
3 | int z; | |
4 | ||
5 | z = *y; /* 1. Dereference of non-pointer (int): *y */ | |
6 | ||
7 | return z + x; | |
8 | } | |
9 | ||
10 | int f2 (/*@unused@*/ x) /* 2. Function f2 declared with 1 arg, specified with 2 */ | |
11 | { | |
12 | return 3; | |
13 | } | |
14 | ||
15 | int f3 (x, y) | |
16 | int x; | |
17 | /*@unused@*/ char y; /* 3. Parameter 2, y, of function f3 has inconsistent type */ | |
18 | { | |
19 | return x; | |
20 | } | |
21 | ||
22 |