]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | moduncon.c: (in function g) | |
3 | moduncon.c:12:10: Undetected modification possible from call to unconstrained | |
4 | function umod: umod | |
5 | moduncon.c:13:22: Undetected modification possible from call to unconstrained | |
6 | function umod: umod | |
7 | moduncon.c:13:16: Undetected modification possible from call to unconstrained | |
8 | function mmod: mmod | |
9 | moduncon.c:13:10: Undetected modification possible from call to unconstrained | |
10 | function umod: umod | |
11 | ||
11db3170 | 12 | Finished checking --- 4 code warnings, as expected |
885824d3 | 13 | |
14 | moduncon.c: (in function f) | |
15 | moduncon.c:6:22: Undetected modification possible from call to unconstrained | |
16 | function umod: umod | |
80ee600a | 17 | moduncon.c:6:22: New fresh storage (type int *) passed as implicitly temp (not |
18 | released): umod(x) | |
885824d3 | 19 | moduncon.c:6:16: Undetected modification possible from call to unconstrained |
20 | function mmod: mmod | |
80ee600a | 21 | moduncon.c:6:16: New fresh storage (type int *) passed as implicitly temp (not |
22 | released): mmod(umod(x)) | |
885824d3 | 23 | moduncon.c:6:10: Undetected modification possible from call to unconstrained |
24 | function umod: umod | |
25 | moduncon.c:6:3: Statement has no effect (possible undected modification through | |
26 | call to unconstrained functions umod, mmod): (void)umod(mmod(... | |
27 | moduncon.c: (in function g) | |
28 | moduncon.c:12:10: Undetected modification possible from call to unconstrained | |
29 | function umod: umod | |
30 | moduncon.c:12:3: Statement has no effect (possible undected modification | |
31 | through call to unconstrained function umod): (void)umod(x) | |
32 | moduncon.c:13:22: Undetected modification possible from call to unconstrained | |
33 | function umod: umod | |
80ee600a | 34 | moduncon.c:13:22: New fresh storage (type int *) passed as implicitly temp (not |
35 | released): umod(x) | |
885824d3 | 36 | moduncon.c:13:16: Undetected modification possible from call to unconstrained |
37 | function mmod: mmod | |
80ee600a | 38 | moduncon.c:13:16: New fresh storage (type int *) passed as implicitly temp (not |
39 | released): mmod(umod(x)) | |
885824d3 | 40 | moduncon.c:13:10: Undetected modification possible from call to unconstrained |
41 | function umod: umod | |
42 | moduncon.c:13:3: Statement has no effect (possible undected modification | |
43 | through call to unconstrained functions umod, mmod): (void)umod(mmod(... | |
44 | moduncon.c:1:6: Function mmod declared but not defined | |
45 | moduncon.c:2:6: Function umod declared but not defined | |
46 | moduncon.c:4:5: Function f declared but not used | |
47 | moduncon.c:8:1: Definition of f | |
48 | moduncon.c:10:5: Function g declared but not used | |
49 | moduncon.c:15:1: Definition of g | |
50 | moduncon.c:1:6: Function mmod exported but not declared in header file | |
51 | moduncon.c:2:6: Function umod exported but not declared in header file | |
52 | moduncon.c:4:5: Function f exported but not declared in header file | |
53 | moduncon.c:8:1: Definition of f | |
54 | moduncon.c:10:5: Function g exported but not declared in header file | |
55 | moduncon.c:15:1: Definition of g | |
56 | ||
11db3170 | 57 | Finished checking --- 22 code warnings, as expected |