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