| 885824d3 |
1 | |
| 2 | |
| 3 | Error Type Reported Suppressed |
| 4 | =================== ======== ========= |
| 5 | usedef 0 1 |
| 3120b462 |
6 | compdef 0 3 |
| bb7c2085 |
7 | incondefs 0 1 |
| 3120b462 |
8 | formalarray 0 24 |
| bb7c2085 |
9 | modfilesys 0 25 |
| 10 | redecl 0 7 |
| 11 | exporttype 0 3 |
| 885824d3 |
12 | ======== ========= |
| 3120b462 |
13 | Total 0 64 |
| 885824d3 |
14 | |
| 11db3170 |
15 | Finished checking --- no warnings |
| 885824d3 |
16 | |
| 17 | eref.c: (in function eref_alloc) |
| 18 | eref.c:36: Called procedure printf may access global stdout |
| 19 | eref.c:36: Undocumented modification of *stdout possible from call to printf: |
| 20 | printf("Malloc returned null in eref_alloc\n") |
| 21 | eref.c:36: Return value (type int) ignored: printf("Malloc r... |
| 22 | eref.c:46: Called procedure printf may access global stdout |
| 23 | eref.c:46: Undocumented modification of *stdout possible from call to printf: |
| 24 | printf("Malloc returned null in eref_alloc\n") |
| 25 | eref.c:46: Return value (type int) ignored: printf("Malloc r... |
| 26 | eref.c: (in function eref_initMod) |
| 27 | eref.c:82: Called procedure printf may access global stdout |
| 28 | eref.c:82: Undocumented modification of *stdout possible from call to printf: |
| 29 | printf("Malloc returned null in eref_initMod\n") |
| 30 | eref.c:82: Return value (type int) ignored: printf("Malloc r... |
| 31 | eref.c:90: Called procedure printf may access global stdout |
| 32 | eref.c:90: Undocumented modification of *stdout possible from call to printf: |
| 33 | printf("Malloc returned null in eref_initMod\n") |
| 34 | eref.c:90: Return value (type int) ignored: printf("Malloc r... |
| 35 | erc.c: (in function int_toSize) |
| 36 | erc.c:11: Undocumented use of global stderr |
| 37 | erc.c:11: Undocumented modification of *stderr possible from call to fprintf: |
| 38 | fprintf(stderr, "Error: int_toSize failure: %d", x) |
| 39 | erc.c:11: Return value (type int) ignored: fprintf(stderr, ... |
| 40 | erc.c: (in function erc_create) |
| 41 | erc.c:28: Called procedure printf may access global stdout |
| 42 | erc.c:28: Undocumented modification of *stdout possible from call to printf: |
| 43 | printf("Malloc returned null in erc_create\n") |
| 44 | erc.c:28: Return value (type int) ignored: printf("Malloc r... |
| 45 | erc.c: (in function erc_insert) |
| 46 | erc.c:80: Called procedure printf may access global stdout |
| 47 | erc.c:80: Undocumented modification of *stdout possible from call to printf: |
| 48 | printf("Malloc returned null in erc_insert\n") |
| 49 | erc.c:80: Return value (type int) ignored: printf("Malloc r... |
| 50 | erc.c: (in function erc_sprint) |
| 51 | erc.c:145: Called procedure printf may access global stdout |
| 52 | erc.c:145: Undocumented modification of *stdout possible from call to printf: |
| 53 | printf("Malloc returned null in erc_sprint\n") |
| 54 | erc.c:145: Return value (type int) ignored: printf("Malloc r... |
| 55 | dbase.c: (in function db_print) |
| 56 | dbase.c:307: Return value (type int) ignored: printf("Employee... |
| 57 | dbase.c:312: Return value (type int) ignored: printf("%s", pri... |
| 58 | drive.c: (in function main) |
| 59 | drive.c:31: Called procedure printf may access global stdout |
| 60 | drive.c:31: Undocumented modification of *stdout possible from call to printf: |
| 61 | printf("FormatPos: Wrong number of arguments. Given %d needs 0.\n", argc - |
| 62 | 1) |
| 63 | drive.c:31: Return value (type int) ignored: printf("FormatPo... |
| 64 | drive.c:41: Called procedure printf may access global stdout |
| 65 | drive.c:41: Undocumented modification of *stdout possible from call to printf: |
| 66 | printf("Size should be 0.\n") |
| 67 | drive.c:41: Return value (type int) ignored: printf("Size sho... |
| 68 | drive.c:57: Called procedure printf may access global stdout |
| 69 | drive.c:57: Undocumented modification of *stdout possible from call to printf: |
| 70 | printf("Size should be 500.\n") |
| 71 | drive.c:57: Return value (type int) ignored: printf("Size sho... |
| 72 | drive.c:73: Called procedure printf may access global stdout |
| 73 | drive.c:73: Undocumented modification of *stdout possible from call to printf: |
| 74 | printf("Size should be 250.\n") |
| 75 | drive.c:73: Return value (type int) ignored: printf("Size sho... |
| 76 | drive.c:93: Called procedure printf may access global stdout |
| 77 | drive.c:93: Undocumented modification of *stdout possible from call to printf: |
| 78 | printf("Size should be 350.\n") |
| 79 | drive.c:93: Return value (type int) ignored: printf("Size sho... |
| 80 | drive.c:100: Called procedure printf may access global stdout |
| 81 | drive.c:100: Undocumented modification of *stdout possible from call to printf: |
| 82 | printf("Size should be 350.\n") |
| 83 | drive.c:100: Return value (type int) ignored: printf("Size sho... |
| 84 | drive.c:103: Called procedure printf may access global stdout |
| 85 | drive.c:103: Undocumented modification of *stdout possible from call to printf: |
| 86 | printf("Print two different employees:\n") |
| 87 | drive.c:103: Return value (type int) ignored: printf("Print tw... |
| 88 | drive.c:109: Called procedure printf may access global stdout |
| 89 | drive.c:109: Undocumented modification of *stdout possible from call to printf: |
| 90 | printf("%s\n", &(na[0])) |
| 91 | drive.c:109: Return value (type int) ignored: printf("%s\n", &... |
| 92 | drive.c:151: Called procedure printf may access global stdout |
| 93 | drive.c:151: Undocumented modification of *stdout possible from call to printf: |
| 94 | printf("Should print true: %s\n", bool_unparse(status == DBS_DUPLERR)) |
| 95 | drive.c:151: Return value (type int) ignored: printf("Should p... |
| 96 | drive.c:154: Called procedure printf may access global stdout |
| 97 | drive.c:154: Undocumented modification of *stdout possible from call to printf: |
| 98 | printf("Employees 0 - 19\n") |
| 99 | drive.c:154: Return value (type int) ignored: printf("Employee... |
| 100 | drive.c:155: Called procedure db_print may access global stdout |
| 101 | drive.c:155: Undocumented modification of *stdout possible from call to |
| 102 | db_print: db_print() |
| 103 | drive.c:158: Called procedure printf may access global stdout |
| 104 | drive.c:158: Undocumented modification of *stdout possible from call to printf: |
| 105 | printf("Employees 0 - 16, 18 - 19\n") |
| 106 | drive.c:158: Return value (type int) ignored: printf("Employee... |
| 107 | drive.c:159: Called procedure db_print may access global stdout |
| 108 | drive.c:159: Undocumented modification of *stdout possible from call to |
| 109 | db_print: db_print() |
| 110 | drive.c:164: Called procedure printf may access global stdout |
| 111 | drive.c:164: Undocumented modification of *stdout possible from call to printf: |
| 112 | printf("Should get two females: %d\n%s\n", i, sprintResult) |
| 113 | drive.c:164: Return value (type int) ignored: printf("Should g... |
| 114 | drive.c:174: Called procedure printf may access global stdout |
| 115 | drive.c:174: Undocumented modification of *stdout possible from call to printf: |
| 116 | printf("Should get two females and ten males: %d\n%s\n", i, sprintResult) |
| 117 | drive.c:174: Return value (type int) ignored: printf("Should g... |
| 118 | drive.c:180: Called procedure printf may access global stdout |
| 119 | drive.c:180: Undocumented modification of *stdout possible from call to printf: |
| 120 | printf("Should get two females: %d\n%s\n", i, sprintResult) |
| 121 | drive.c:180: Return value (type int) ignored: printf("Should g... |
| 122 | drive.c:184: Called procedure printf may access global stdout |
| 123 | drive.c:184: Undocumented modification of *stdout possible from call to printf: |
| 124 | printf("Should get 18 employees\n") |
| 125 | drive.c:184: Return value (type int) ignored: printf("Should g... |
| 126 | drive.c:185: Called procedure db_print may access global stdout |
| 127 | drive.c:185: Undocumented modification of *stdout possible from call to |
| 128 | db_print: db_print() |
| 129 | |
| 130 | Error Type Reported Suppressed |
| 131 | =================== ======== ========= |
| 132 | usedef 0 1 |
| 3120b462 |
133 | compdef 0 3 |
| bb7c2085 |
134 | incondefs 0 1 |
| 135 | formalarray 0 24 |
| 885824d3 |
136 | mods 26 0 |
| 137 | modfilesys 0 25 |
| bb7c2085 |
138 | globs 26 0 |
| 139 | retvalint 25 0 |
| 140 | redecl 0 7 |
| 141 | exporttype 0 3 |
| 885824d3 |
142 | ======== ========= |
| 3120b462 |
143 | Total 77 64 |
| 885824d3 |
144 | |
| 11db3170 |
145 | Finished checking --- 77 code warnings, as expected |
andersk / splint.git / blame