repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add check for precedence errors like if (x & y == 0) { ...
2009-12-11
Dan Carp
e
nter
add check for precedence erro
r
s like if (x & y ==
0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
fix
sel
e
ct h
a
ndling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
r
penter
changes to
co
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add
_
_smatch_note("hell
o
wo
r
ld")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
patch up
t
he new check_
l
o
c
k
i
ng
.
c replacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
move check_w
i
ne_locki
n
g
.
c
over chec
k
_loc
k
i
n
g
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
delete the ol
d
check_loc
k
ing
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix cras
h
ing
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separate out th
e
*_bh() lock handl
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes for unified wine
&
kernel loc
k
ing script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
an Carpe
n
ter
get_type
(
)
r
eturn
p
oi
n
ter f
o
r &foo typ
e
e
x
p
r
e
ssions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
print message on false
c
ompares becau
s
e
of
signe
d
vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carp
e
nter
suppress gcc w
a
r
ning
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge branch 'mas
t
er' of /home/dcarpen
t
e
r
/progs/spa
r
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
clean up kf
r
ee_
s
kb() ch
e
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add
_
_smatch
_
c
ur_slist() debug function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
id is supposed to be unsigned short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
n
t
er
f
ix
crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
Ca
r
penter
Sta
r
t caring abo
u
t th
e
types a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
n
t
er
c
leanup: uses ARRAY_SI
Z
E
(
) ma
c
ro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
P
ri
n
t name instead o
f
ID
in
de
b
ug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
A
d
d
--projec
t
=ke
r
nel to kche
c
ker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
Star
t
me
r
g
ing the kernel lo
c
ki
n
g and wine loc
k
ing chec
k
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle i
f
(*p
t
r == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
declare c
h
ar* a
s
const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpent
e
r
Mo
r
e range fixes
.
(Delete
and merge duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan
Ca
r
pen
t
er
Pop the pre
_
con
d
ition_stack
a
t
the correct point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
fix issue
with
r
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
Fix ge
t
_impl
i
ed_value(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(Dereferen
c
i
ng unde
f
i
ned
f
alse positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n C
a
rpenter
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carp
e
nter
wine: wine_checker
.
sh fo
r
checkin
g
individ
u
a
l files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Car
p
en
t
er
wine: add
m
o
re fu
n
ctions that don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert
p
art of f4a459
2
92e33
9
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an
Carpe
n
ter
smatch_extra
:
improve a
n
d fi
x
assignment
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
scoped_s
t
ate() make the
p
a
r
amete
r
order
m
atc
h
everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
checks
:
r
emove
s
o
me
s
how_spe
c
i
a
l
(
) c
a
l
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_hel
p
e
r
.
c re
m
ove many c
a
lls to show
_
special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpen
t
er
small cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpent
e
r
f
ix bug wit
h
func
t
ion implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpent
e
r
exit
and ExitPro
c
e
ss don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
a
r
p
enter
smatc
h
_ex
t
ra
.
c: remove
s
ome show_special() cal
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
che
c
k_der
e
f_check: ge
t
r
id
of some false
p
ositive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
s
p
elli
n
g
:
me
m
e
r
y => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpent
e
r
disgusting hack to stop fal
s
e
po
s
itive buf
f
er overflo
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
F
i
x +
=
and -= ha
n
dli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Car
p
e
nter
wi
n
e:
f
ix some l
o
ck
n
am
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
win
e
: RpcRaiseExcep
t
ion
n
ever ret
u
rns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan
Carpenter
add option
--full-path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Michael Stefaniuc
Fix
a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpente
r
wine:
c
heck for
l
ocking bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpente
r
F
ix som
e
reversed if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
free can handle
null pointers: if (foo
)
free(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carp
e
nte
r
wine: ch
e
ck
f
or Wto
A
c
r
o
ss c
a
lls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpen
t
e
r
Add I
N
V
A
LID_HANDLE_
V
ALUE c
h
eck fo
r
wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpente
r
recompile
a
ll th
e
chec
k
s if smatch_extra
.
h
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
p
atch 9/9] last
pa
t
ch t
o
r
e
move UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patch 8/many
]
d
eal with
variable_non_zero()
(UNDEFINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 7/ma
n
y]
n
o UNDEFINED from get_val
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Ca
r
penter
[patch 6/many] remove UNDEFINED
f
ro
m
last_s
t
mt_val()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpente
r
[patch 5/many] get
r
id of a few
more UNDE
F
INEs smatch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[
pat
c
h 4/many]
get rid
o
f
U
NDEFINED
in smatch_r
a
ng
e
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[patch 3/many] remove UNDEFINED from
get_implie
d
_(
m
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
[p
a
tch 2/many] get_implied_v
a
lue
(
) sho
u
ld not return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
1/man
y
] get
rid of UNDEFI
N
E
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
e
r
Add validation tes
t
for
chec
k
_held_dev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
M
a
ke
some kernel specific s
t
uf
f
de
p
en
d
o
n -p=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
D
an
C
arpenter
Add a new (
s
oon to be
mandat
o
ry) --p
r
oject=
o
ption
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Ma
k
e
sma
t
ch inst
a
l
lab
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
C
a
rpen
t
e
r
tr
y
handle do {} w
h
ile (i-- > 0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Ca
r
pent
e
r
tr
y
h
andle
+
+
and
-- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Car
p
enter
I
m
prove handlin
g
: do {} while (--continue
>
=
0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpent
e
r
Sm
a
ll clea
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
an C
a
rpenter
kfree_skb()
warnin
g
s are not
s
p
ammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Handle derefe
r
e
nces
l
i
k
e
*foo not j
u
st foo->
b
ar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan
Carpenter
Get rid of the bitwi
s
e or check
.
It d
i
dn't find bu
g
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add __raw_
s
pin_lock/unlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan C
a
rpenter
Make r
a
nged
func
t
ions p
a
s
s
the a
s
signment expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpen
t
er
Make variable initializat
i
on
i
n
to assignment statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan
Carpenter
D
el
e
te check_initializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
Modify t
h
e retur
n
h
o
ok to pass a
n
expression i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
an
Ca
r
pente
r
D
o
cl
e
ar
t
he range info so e
a
r
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Ca
r
penter
i
ntro
d
uce
i
s_error_return()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make
f
u
nct
i
on dec
l
ar
a
tio
n
static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Da
n
Carpenter
Do
n
ot accident
a
lly delete
.
h
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
New mi
s
si
n
g dev_put() c
h
eck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpent
e
r
Handl
e
if ((
d
ev = foo()) == NULL) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan
C
arp
e
nte
r
sill
y
f
a
lse p
o
s
i
tive: return foo;
<
- foo
possibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
C
a
rpenter
Upd
a
te smatch_
d
ata
to 2
.
6
.
32-
r
c6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carpenter
A
dd som
e
co
m
ments and copy
r
ight notices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n Carpenter
small
clean up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan
Carpenter
Fix se
g
fa
u
lt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carp
e
nter
Allow people to use kchecker file
.
o as well as
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Initi
a
lize valu
e
s properly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpente
r
Turn the two
p
ass system off by def
a
ult
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpen
t
er
Optimization: pre
p
end() -> append()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan
C
arpe
n
ter
Pri
n
t
an error for this:
if (a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
D
a
n
Car
p
enter
D
ual pass sy
s
tem [pat
c
h
#
2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Car
p
en
t
er
D
ual pass
system [patc
h
#1
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nter
clean up: move DIMPLI
E
D
(
) to s
m
atch_implied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next