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
162
163
164
165
166
167
168
169
|
#! /bin/sh
# General style correction and cleanup.
t=__wt.$$
trap 'rm -f $t; exit 0' 0 1 2 3 13 15
cd ..
# Turn a C file into a line per function so we can use grep on it.
file_parse()
{
sed -n \
-e '/^{$/,/^}$/{=;p;}' $1 |
sed 'N;s/\n/:/' |
sed -e '/./{H;/^[0-9][0-9]*:}$/!d;}' \
-e x \
-e 's/\n/ /g' \
-e p \
-e '{s/.*//;x;}'
}
# Returns in functions after a jump to the error label, or an infinite loop
# where there's a jump to the error label after the error label.
for f in `find bench examples ext src test -name '*.[ci]'`; do
file_parse $f |
egrep '(WT_ERR|WT_ERR_MSG|WT_ERR_NOTFOUND_OK|WT_ERR_TEST|WT_ILLEGAL_VALUE_ERR)\(.*(WT_ASSERT_RET|WT_ILLEGAL_VALUE|WT_RET|WT_RET_MSG|WT_RET_NOTFOUND_OK|WT_RET_TEST|WT_VERBOSE_RET|WT_VERBOSE_RETVAL)\(.*err:|[^a-z_]err:.*(WT_ERR|WT_ERR_MSG|WT_ERR_NOTFOUND_OK|WT_ERR_TEST|WT_ILLEGAL_VALUE_ERR)\(' |
sed 's/:.*//' > $t
test -s $t && {
echo "$f: return after a jump to the error label or a jump to the error label after the error label"
sed 's/^/function @ line:/' < $t
}
done
# Return of 0 in functions after a jump to the error label.
for f in `find bench examples ext src test -name '*.[ci]'`; do
file_parse $f |
egrep -v '[^a-z_]err:.*return \(ret|[^a-z_]err:.*WT_RET' |
egrep '[^a-z_]err:.*return \(0\);' |
sed 's/:.*//' > $t
test -s $t && {
echo "$f: error label followed by a return of 0"
sed 's/^/function @ line:/' < $t
}
done
for f in \
`find bench examples ext src test -name '*.[chisy]' -o -name '*.in' |
sed '/Makefile.in/d'`; do
if grep "^[^}]*while (0);" $f > $t; then
echo "$f: while (0) has trailing semi-colon"
cat $t
fi
if grep "(unsigned)" $f > $t; then
echo "$f: (unsigned) cast is wrong"
cat $t
fi
egrep -w 'off_t' $f > $t
test -s $t && {
echo "$f: off_t type declaration, use wt_off_t"
cat $t
}
# Direct calls to functions we're not supposed to use in the library.
# We don't check for all of them, just a few of the common ones.
if ! expr "$f" : 'bench/.*' > /dev/null &&
! expr "$f" : 'examples/.*' > /dev/null &&
! expr "$f" : 'ext/.*' > /dev/null &&
! expr "$f" : 'test/.*' > /dev/null &&
! expr "$f" : '.*/utilities/.*' > /dev/null; then
if ! expr "$f" : '.*/os_alloc.c' > /dev/null &&
egrep '[[:space:]]free[(]|[[:space:]]strdup[(]|[[:space:]]strndup[(]|[[:space:]]malloc[(]|[[:space:]]calloc[(]|[[:space:]]realloc[(]' $f > $t; then
test -s $t && {
echo "$f: call to illegal function"
cat $t
}
fi
if ! expr "$f" : '.*/os_strtouq.c' > /dev/null &&
egrep '[[:space:]]strtouq[(]' $f > $t; then
test -s $t && {
echo "$f: call to illegal function"
cat $t
}
fi
if egrep '[[:space:]]exit[(]' $f > $t; then
test -s $t && {
echo "$f: call to illegal function"
cat $t
}
fi
fi
# Declaration of an integer return variable.
if ! expr "$f" : 'bench/.*' > /dev/null &&
! expr "$f" : 'examples/.*' > /dev/null &&
! expr "$f" : 'test/.*' > /dev/null &&
! expr "$f" : 'ext/.*' > /dev/null; then
egrep -w ret $f | egrep 'int.*[, ]ret[,;]' > $t
test -s $t && {
echo "$f: explicit declaration of \"ret\""
cat $t
}
fi
# Early exits from critical loops
sed -n -e '/API_CALL.*;$/,/API_END.*;/{=;p;}' \
-e '/LSM_.*ENTER*;$/,/LSM_.*LEAVE*;/{=;p;}' \
-e '/va_start/,/va_end/{=;p;}' $f | \
sed 'N;s/\n/:/' | \
egrep -w 'return|WT_RET' | \
sed -e "s,^,$f:," -e 's/$/ [return skips API_END call]/'
tr -cd '[:alnum:][:space:][:punct:]' < $f |
unexpand |
sed -e 's/){/) {/' \
-e 's/\([ ]\)for(/\1for (/' \
-e 's/\([ ]\)if(/\1if (/' \
-e 's/\([ ]\)index(/\1strchr(/' \
-e 's/\([ ]\)return(/\1return (/' \
-e 's/\([ ]\)return \([^()]*\);/\1return (\2);/' \
-e 's/\([ ]\)rindex(/\1strrchr(/' \
-e 's/\([ ]\)sizeof (/\1sizeof(/g' \
-e 's/\([ ]\)switch(/\1switch (/' \
-e 's/\([ ]\)while(/\1while (/' \
-e 's/\([ ,]\)uint\([ ,]\)/\1u_int\2/g' \
-e 's/\([ ,]\)u_int8_t\([ ,]\)/\1uint8_t\2/g' \
-e 's/\([ ,]\)u_int16_t\([ ,]\)/\1uint16_t\2/g' \
-e 's/\([ ,]\)u_int32_t\([ ,]\)/\1uint32_t\2/g' \
-e 's/\([ ,]\)u_int64_t\([ ,]\)/\1uint64_t\2/g' \
-e 's/\([ ,]\)u_quad\([ ,]\)/\1uint64_t\2/g' \
-e 's/\([|&=+-]\) *\([^*]\)/\1 \2/' \
-e 's/(void) \([a-zA-Z_]\)/(void)\1/' \
-e '/for /!s/;;$/;/' \
-e 's/(EOPNOTSUPP)/(ENOTSUP)/' \
-e 's/(unsigned)/(u_int)/' \
-e 's/hazard reference/hazard pointer/' \
-e 's/^#define /#define /' >$t
cmp $t $f > /dev/null 2>&1 || (echo "modifying $f" && cp $t $f)
done
# Check Python coding standards: check for tab characters.
egrep ' ' tools/*.py test/suite/*.py |
sed 's/:.*//' |
sort -u |
sed 's/^/ /' > $t
test -s $t && {
echo '[tab] characters appear in test suite scripts:'
cat $t
}
# Check Python coding standards: check for trailing semi-colons.
egrep ';$' tools/*.py test/suite/*.py > $t
test -s $t && {
echo 'trailing semi-colons in tools or test suite Python code:'
cat $t
}
# Check for common typos (Wikipedia's list).
find bench examples ext src test \
-name '*.[chisy]' -o -name '*.in' -o -name '*.dox' |
xargs egrep -w 'a a|an an|and and|are are|be be|by by|for for|from from|if if|in in|is is|it it|of of|the the|this this|to to|was was|were were|when when|with with|a an|an a|a the|the a' > $t
test -s $t && {
echo "paired typo"
echo "============================"
cat $t
}
|
