| 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 |
andersk / splint.git / blame