3 Error Type Reported Suppressed
4 =================== ======== =========
15 Finished checking --- no warnings
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 -
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
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
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
130 Error Type Reported Suppressed
131 =================== ======== =========
145 Finished checking --- 77 code warnings, as expected