| | 1 | |
| | 2 | slovaknames.c: (in function pivoYedno) |
| | 3 | slovaknames.c:15:11: Left operand of == is abstract type (pivo): p == 1 |
| | 4 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to |
| | 5 | allow access to an abstract type. (Use -abstract to inhibit warning) |
| | 6 | |
| | 7 | Finished checking --- 1 code warning, as expected |
| | 8 | |
| | 9 | Finished checking --- no warnings |
| | 10 | |
| | 11 | slovaknames.c:5:5: Variable michelobLight name violates Slovak naming |
| | 12 | convention. Slovak prefix michelob is not the name of a type. |
| | 13 | Variable name is not consistent with Slovak naming convention. (Use either |
| | 14 | -slovakvars or -namechecks to inhibit warning) |
| | 15 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. |
| | 16 | Slovak prefix sam is not the name of a type. |
| | 17 | Function or iterator name is not consistent with Slovak naming convention. |
| | 18 | (Use either -slovakfcns or -namechecks to inhibit warning) |
| | 19 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak |
| | 20 | naming convention. Accessible types: pivo |
| | 21 | Function or iterator name is not consistent with Slovak naming convention. |
| | 22 | (Use either -slovakfcns or -namechecks to inhibit warning) |
| | 23 | |
| | 24 | Finished checking --- 3 code warnings, as expected |
| | 25 | |
| | 26 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. |
| | 27 | Slovak prefix sam is not the name of a type. |
| | 28 | Function or iterator name is not consistent with Slovak naming convention. |
| | 29 | (Use either -slovakfcns or -namechecks to inhibit warning) |
| | 30 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak |
| | 31 | naming convention. Accessible types: pivo |
| | 32 | Function or iterator name is not consistent with Slovak naming convention. |
| | 33 | (Use either -slovakfcns or -namechecks to inhibit warning) |
| | 34 | |
| | 35 | Finished checking --- 2 code warnings, as expected |
| | 36 | |
| | 37 | slovaknames.c:4:5: Variable pivoPyet name violates Slovak naming convention. |
| | 38 | Slovak prefix pivo names an abstract type that is not accessible. |
| | 39 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. |
| | 40 | slovaknames.c:5:5: Variable michelobLight name violates Slovak naming |
| | 41 | convention. Slovak prefix michelob is not the name of a type. |
| | 42 | Variable name is not consistent with Slovak naming convention. (Use either |
| | 43 | -slovakvars or -namechecks to inhibit warning) |
| | 44 | slovaknames.c:8:17: Constant pivoDevenast name violates Slovak naming |
| | 45 | convention. Slovak prefix pivo names an abstract type that is not |
| | 46 | accessible. |
| | 47 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. |
| | 48 | slovaknames.c:11:6: Function pivoYedno name violates Slovak naming convention. |
| | 49 | Slovak prefix pivo names an abstract type that is not accessible. |
| | 50 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. |
| | 51 | slovaknames.c: (in function pivoYedno) |
| | 52 | slovaknames.c:15:11: Left operand of == is abstract type (pivo): p == 1 |
| | 53 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to |
| | 54 | allow access to an abstract type. (Use -abstract to inhibit warning) |
| | 55 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. |
| | 56 | Slovak prefix sam is not the name of a type. |
| | 57 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak |
| | 58 | naming convention. Accessible types: pivo |
| | 59 | |
| | 60 | Finished checking --- 7 code warnings, as expected |
andersk / splint.git / blame_incremental