]> andersk Git - splint.git/blob - test/globals.expect
Pushed back constraintResolve.c to the previous version.
[splint.git] / test / globals.expect
1
2 globals.c:5:41: Redundant checked qualifier on doubled
3 globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
4 globals.c: (in function noglobs)
5 globals.c:13:3: Undocumented use of global checkstrict
6 globals.c: (in function specglobs)
7 globals.c:19:3: Undocumented use of global check
8 globals.c:21:3: Undocumented use of global checkstrict
9
10 Finished checking --- 5 code warnings, as expected
11
12 globals.c:5:41: Redundant checked qualifier on doubled
13 globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
14 globals.c: (in function noglobs)
15 globals.c:13:3: Undocumented use of global checkstrict
16 globals.c: (in function specglobs)
17 globals.c:18:3: Undocumented use of global imp
18 globals.c:19:3: Undocumented use of global check
19 globals.c:21:3: Undocumented use of global checkstrict
20
21 Finished checking --- 6 code warnings, as expected
22
23 globals.c:5:41: Redundant checked qualifier on doubled
24 globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
25 globals.c: (in function noglobs)
26 globals.c:13:3: Undocumented use of global checkstrict
27 globals.c: (in function specglobs)
28 globals.c:18:3: Undocumented use of global imp
29 globals.c:19:3: Undocumented use of global check
30 globals.c:21:3: Undocumented use of global checkstrict
31
32 Finished checking --- 6 code warnings, as expected
33
34 globals.c:5:41: Redundant checked qualifier on doubled
35 globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
36
37 Finished checking --- 2 code warnings, as expected
38
39 globals.c:5:41: Redundant checked qualifier on doubled
40 globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
41 globals.c: (in function noglobs)
42 globals.c:11:3: Undocumented use of global check
43 globals.c:13:3: Undocumented use of global checkstrict
44 globals.c: (in function specglobs)
45 globals.c:19:3: Undocumented use of global check
46 globals.c:21:3: Undocumented use of global checkstrict
47
48 Finished checking --- 6 code warnings, as expected
49
50 globals.c:5:41: Redundant checked qualifier on doubled
51 globals.c:6:46: Contradictory checked and unchecked qualifiers on contradict
52 globals.c: (in function noglobs)
53 globals.c:10:3: Undocumented use of global imp
54 globals.c:11:3: Undocumented use of global check
55 globals.c:13:3: Undocumented use of global checkstrict
56 globals.c: (in function specglobs)
57 globals.c:18:3: Undocumented use of global imp
58 globals.c:19:3: Undocumented use of global check
59 globals.c:21:3: Undocumented use of global checkstrict
60
61 Finished checking --- 8 code warnings, as expected
This page took 2.136306 seconds and 5 git commands to generate.