]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | modifies.c:7:29: Modifies list uses internalState which is a variable and has | |
3 | special meaning in a modifies list. (Special meaning assumed.) | |
4 | modifies.c:4:25: Declaration of internalState | |
5 | modifies.c:13:26: Modifies list uses fileSystem which is a parameter and has | |
6 | special meaning in a modifies list. (Special meaning assumed.) | |
7 | modifies.c:17:5: Globals list for f6 includes internal state, mstat, but | |
8 | previously declared without globals internalState. | |
9 | modifies.c:15:5: Declaration of f6 | |
10 | modifies.c:17:5: Modifies list for f6 includes internal state, but previously | |
11 | declared without modifies internal. | |
12 | modifies.c:15:5: Declaration of f6 | |
13 | modifies.c: (in function f1) | |
14 | modifies.c:24:3: Undocumented modification of mstat: mstat++ | |
15 | modifies.c: (in function g2) | |
16 | modifies.c:37:1: Function g2 specified to modify internal state but no internal | |
17 | state is modified | |
18 | modifies.h:3:12: Declaration of g2 | |
19 | modclient.c: (in function mod) | |
20 | modclient.c:3:3: Statement has no effect: (void)f1(p) | |
21 | ||
11db3170 | 22 | Finished checking --- 7 code warnings, as expected |