]> andersk Git - splint.git/blob - test/prefixes.expect
noexpand always false.
[splint.git] / test / prefixes.expect
1
2 Finished checking --- no warnings
3
4 prefixes.c:20: Parameterized macro has no prototype or specification: mf 
5 prefixes.c: (in macro mf)
6 prefixes.c:20:37: Variable y name is not consistent with macro variable
7                      namespace prefix "m_"
8 prefixes.c:20:37: Variable y declared but not used
9 prefixes.c:20:26: Variable m_x declared but not used
10
11 Finished checking --- 4 code warnings, as expected
12
13 prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
14                     namespace prefix "T"
15 prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
16                     namespace prefix "T"
17
18 Finished checking --- 2 code warnings, as expected
19
20 prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
21                     namespace prefix "^"
22
23 Finished checking --- 1 code warning, as expected
24
25 prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
26                     namespace prefix "^*"
27 prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
28                     namespace prefix "^*"
29
30 Finished checking --- 2 code warnings, as expected
31
32 prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
33                     namespace prefix "^%*"
34 prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
35                     namespace prefix "^%*"
36
37 Finished checking --- 2 code warnings, as expected
38
39 prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
40                     namespace prefix "^~*"
41 prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
42                     namespace prefix "^~*"
43
44 Finished checking --- 2 code warnings, as expected
45
46 prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
47                     namespace prefix "^"
48 prefixes.c:6:12: Variable FSint name is not a user-defined type (it is a file
49     static), but matches the user-defined type namespace prefix "^"
50 prefixes.c:7:12: Variable TYint name is not a user-defined type (it is a file
51     static), but matches the user-defined type namespace prefix "^"
52 prefixes.c:8:12: Variable V3int name is not a user-defined type (it is a file
53     static), but matches the user-defined type namespace prefix "^"
54 prefixes.c:10:12: Variable Xqmxt name is not a user-defined type (it is a file
55     static), but matches the user-defined type namespace prefix "^"
56 prefixes.c:11:12: Variable XqmXt name is not a user-defined type (it is a file
57     static), but matches the user-defined type namespace prefix "^"
58 prefixes.c:14:12: Variable Gint name is not a user-defined type (it is a
59     external), but matches the user-defined type namespace prefix "^"
60
61 Finished checking --- 7 code warnings, as expected
62
63 prefixes.c:8:12: Variable V3int name is not consistent with file static
64                     namespace prefix "^^"
65 prefixes.c:9:12: Variable sint name is not consistent with file static
66                     namespace prefix "^^"
67 prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
68                      namespace prefix "^^"
69 prefixes.c:11:12: Variable XqmXt name is not consistent with file static
70                      namespace prefix "^^"
71
72 Finished checking --- 4 code warnings, as expected
73
74 prefixes.c:6:12: Variable FSint name is not consistent with file static
75                     namespace prefix "^#"
76 prefixes.c:7:12: Variable TYint name is not consistent with file static
77                     namespace prefix "^#"
78 prefixes.c:9:12: Variable sint name is not consistent with file static
79                     namespace prefix "^#"
80 prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
81                      namespace prefix "^#"
82 prefixes.c:11:12: Variable XqmXt name is not consistent with file static
83                      namespace prefix "^#"
84
85 Finished checking --- 5 code warnings, as expected
86
87 prefixes.c:6:12: Variable FSint name is not consistent with file static
88                     namespace prefix "^?&x"
89 prefixes.c:7:12: Variable TYint name is not consistent with file static
90                     namespace prefix "^?&x"
91 prefixes.c:8:12: Variable V3int name is not consistent with file static
92                     namespace prefix "^?&x"
93 prefixes.c:9:12: Variable sint name is not consistent with file static
94                     namespace prefix "^?&x"
95 prefixes.c:11:12: Variable XqmXt name is not consistent with file static
96                      namespace prefix "^?&x"
97
98 Finished checking --- 5 code warnings, as expected
99
100 prefixes.c:15:12: Variable aGb_Xint name is not consistent with global variable
101                      namespace prefix "G"
102
103 Finished checking --- 1 code warning, as expected
104
105 prefixes.c:14:12: Variable Gint name is not consistent with global variable
106                      namespace prefix "&G?_^"
107
108 Finished checking --- 1 code warning, as expected
109
110 prefixes.c:1:13: Datatype Tin_ty name is not consistent with external namespace
111                     prefix "G"
112 prefixes.c:2:13: Datatype QINT name is not consistent with external namespace
113                     prefix "G"
114 prefixes.c:3:13: Datatype tint name is not consistent with external namespace
115                     prefix "G"
116 prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
117                      namespace prefix "G"
118 prefixes.c:18:12: Function g name is not consistent with external namespace
119                      prefix "G"
120
121 Finished checking --- 5 code warnings, as expected
122
123 prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
124                     namespace prefix "T"
125 prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
126                     namespace prefix "T"
127 prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
128                      namespace prefix "G"
129 prefixes.c:18:12: Function g name is not consistent with external namespace
130                      prefix "G"
131
132 Finished checking --- 4 code warnings, as expected
133
134 prefixes.c:20: Expanded macro mf name is not a local variable (it is a
135     unchecked macro), but matches the local variable namespace prefix "?*"
136 prefixes.c:1:13: Datatype Tin_ty name is not a local variable (it is a
137     external), but matches the local variable namespace prefix "?*"
138 prefixes.c:2:13: Datatype QINT name is not a local variable (it is a external),
139                     but matches the local variable namespace prefix "?*"
140 prefixes.c:3:13: Datatype tint name is not a local variable (it is a external),
141                     but matches the local variable namespace prefix "?*"
142 prefixes.c:6:12: Variable FSint name is not a local variable (it is a file
143     static), but matches the local variable namespace prefix "?*"
144 prefixes.c:7:12: Variable TYint name is not a local variable (it is a file
145     static), but matches the local variable namespace prefix "?*"
146 prefixes.c:8:12: Variable V3int name is not a local variable (it is a file
147     static), but matches the local variable namespace prefix "?*"
148 prefixes.c:9:12: Variable sint name is not a local variable (it is a file
149     static), but matches the local variable namespace prefix "?*"
150 prefixes.c:10:12: Variable Xqmxt name is not a local variable (it is a file
151     static), but matches the local variable namespace prefix "?*"
152 prefixes.c:11:12: Variable XqmXt name is not a local variable (it is a file
153     static), but matches the local variable namespace prefix "?*"
154 prefixes.c:14:12: Variable Gint name is not a local variable (it is a
155     external), but matches the local variable namespace prefix "?*"
156 prefixes.c:15:12: Variable aGb_Xint name is not a local variable (it is a
157     external), but matches the local variable namespace prefix "?*"
158 prefixes.c:18:12: Function g name is not a local variable (it is a external),
159                      but matches the local variable namespace prefix "?*"
160
161 Finished checking --- 13 code warnings, as expected
This page took 0.479861 seconds and 5 git commands to generate.