File: prefixes.expect

package info (click to toggle)
splint 3.1.2.dfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 12,908 kB
  • ctags: 15,816
  • sloc: ansic: 150,306; yacc: 3,463; sh: 3,426; makefile: 2,217; lex: 412
file content (161 lines) | stat: -rw-r--r-- 7,954 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161

Finished checking --- no warnings

prefixes.c:20: Parameterized macro has no prototype or specification: mf 
prefixes.c: (in macro mf)
prefixes.c:20:37: Variable y name is not consistent with macro variable
                     namespace prefix "m_"
prefixes.c:20:37: Variable y declared but not used
prefixes.c:20:26: Variable m_x declared but not used

Finished checking --- 4 code warnings, as expected

prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
                    namespace prefix "T"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "T"

Finished checking --- 2 code warnings, as expected

prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^"

Finished checking --- 1 code warning, as expected

prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
                    namespace prefix "^*"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^*"

Finished checking --- 2 code warnings, as expected

prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
                    namespace prefix "^%*"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^%*"

Finished checking --- 2 code warnings, as expected

prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
                    namespace prefix "^~*"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^~*"

Finished checking --- 2 code warnings, as expected

prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^"
prefixes.c:6:12: Variable FSint name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:7:12: Variable TYint name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:8:12: Variable V3int name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:10:12: Variable Xqmxt name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:11:12: Variable XqmXt name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:14:12: Variable Gint name is not a user-defined type (it is a
    external), but matches the user-defined type namespace prefix "^"

Finished checking --- 7 code warnings, as expected

prefixes.c:8:12: Variable V3int name is not consistent with file static
                    namespace prefix "^^"
prefixes.c:9:12: Variable sint name is not consistent with file static
                    namespace prefix "^^"
prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
                     namespace prefix "^^"
prefixes.c:11:12: Variable XqmXt name is not consistent with file static
                     namespace prefix "^^"

Finished checking --- 4 code warnings, as expected

prefixes.c:6:12: Variable FSint name is not consistent with file static
                    namespace prefix "^#"
prefixes.c:7:12: Variable TYint name is not consistent with file static
                    namespace prefix "^#"
prefixes.c:9:12: Variable sint name is not consistent with file static
                    namespace prefix "^#"
prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
                     namespace prefix "^#"
prefixes.c:11:12: Variable XqmXt name is not consistent with file static
                     namespace prefix "^#"

Finished checking --- 5 code warnings, as expected

prefixes.c:6:12: Variable FSint name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:7:12: Variable TYint name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:8:12: Variable V3int name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:9:12: Variable sint name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:11:12: Variable XqmXt name is not consistent with file static
                     namespace prefix "^?&x"

Finished checking --- 5 code warnings, as expected

prefixes.c:15:12: Variable aGb_Xint name is not consistent with global variable
                     namespace prefix "G"

Finished checking --- 1 code warning, as expected

prefixes.c:14:12: Variable Gint name is not consistent with global variable
                     namespace prefix "&G?_^"

Finished checking --- 1 code warning, as expected

prefixes.c:1:13: Datatype Tin_ty name is not consistent with external namespace
                    prefix "G"
prefixes.c:2:13: Datatype QINT name is not consistent with external namespace
                    prefix "G"
prefixes.c:3:13: Datatype tint name is not consistent with external namespace
                    prefix "G"
prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
                     namespace prefix "G"
prefixes.c:18:12: Function g name is not consistent with external namespace
                     prefix "G"

Finished checking --- 5 code warnings, as expected

prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
                    namespace prefix "T"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "T"
prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
                     namespace prefix "G"
prefixes.c:18:12: Function g name is not consistent with external namespace
                     prefix "G"

Finished checking --- 4 code warnings, as expected

prefixes.c:20: Expanded macro mf name is not a local variable (it is a
    unchecked macro), but matches the local variable namespace prefix "?*"
prefixes.c:1:13: Datatype Tin_ty name is not a local variable (it is a
    external), but matches the local variable namespace prefix "?*"
prefixes.c:2:13: Datatype QINT name is not a local variable (it is a external),
                    but matches the local variable namespace prefix "?*"
prefixes.c:3:13: Datatype tint name is not a local variable (it is a external),
                    but matches the local variable namespace prefix "?*"
prefixes.c:6:12: Variable FSint name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:7:12: Variable TYint name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:8:12: Variable V3int name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:9:12: Variable sint name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:10:12: Variable Xqmxt name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:11:12: Variable XqmXt name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:14:12: Variable Gint name is not a local variable (it is a
    external), but matches the local variable namespace prefix "?*"
prefixes.c:15:12: Variable aGb_Xint name is not a local variable (it is a
    external), but matches the local variable namespace prefix "?*"
prefixes.c:18:12: Function g name is not a local variable (it is a external),
                     but matches the local variable namespace prefix "?*"

Finished checking --- 13 code warnings, as expected