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
fix select handling
2009-12-11
Da
n
Carpen
t
er
fix s
e
le
c
t ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
c
h
ang
e
s
t
o
c
o
mment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
add __sma
t
ch_note("hell
o
world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
p
atch up the
n
ew check_lockin
g
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
rpenter
move check_w
i
n
e
_locki
n
g
.
c o
v
er c
h
e
c
k_lockin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
dele
t
e the old ch
e
ck_loc
k
ing
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pe
n
te
r
Fi
x
crashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpenter
sepa
r
ate out the *_bh() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n Carpent
e
r
fixe
s
f
or
u
nified wine & kernel lockin
g
sc
r
ipt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
a
r
penter
get_type() return poin
t
er for
&foo type
e
xpressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
print
m
e
ssage on false compares bec
a
use of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Carpenter
sup
p
r
e
ss gcc warning
.
whi
t
espace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Ca
r
p
ente
r
Merge
branch 'm
a
s
ter' of /
h
ome/dcarpenter/pr
o
gs
/
spars
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
cle
a
n up kfree_skb() chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
add __s
m
atc
h
_
c
ur_slis
t
()
d
eb
u
g function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
id is suppos
e
d to
b
e
unsig
n
ed s
h
ort
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
ter
fi
x
crashi
n
g bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Start ca
r
ing abo
u
t
the types a
little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
cle
a
nup: uses ARRAY
_
SIZE() mac
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
Pr
i
nt na
m
e in
s
tead o
f
ID in debug outp
u
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Ad
d
--project=kernel
to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
a
rpenter
Start merging the kernel locki
n
g and wine locking checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
handle if (*ptr
== 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
declar
e
ch
a
r* as con
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpen
t
er
Mo
r
e r
a
nge
f
i
x
es
.
(
D
elet
e
and merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Po
p
the pre_condit
i
on_stack at t
h
e correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
D
an Carpenter
fix is
s
ue wi
t
h r
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpenter
Fix g
e
t_i
m
plied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpen
t
er
Fi
x
nega
t
e
bug
.
(
D
erefe
r
encing undefin
e
d false positive
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Upda
t
e comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Carpenter
w
i
ne: wine_check
e
r
.
s
h
f
o
r
c
h
ecking individual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpen
t
e
r
wine:
a
dd more functions that d
o
n'
t
return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
r
evert part of
f4a
4
59292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
a
rpen
t
er
smat
c
h_ex
t
ra: im
p
rove
a
nd fix assignment
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
scoped_state() m
a
ke the param
e
ter order matc
h
ev
e
rythi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
checks: remov
e
so
m
e sho
w
_
s
p
e
c
ial() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
e
nter
smatch_he
l
per
.
c remove many cal
l
s
to show_sp
e
cia
l
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
small clean u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix
bug
w
ith funct
i
on implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit and Exit
P
r
o
cess don
'
t retu
r
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
smatch_extra
.
c
:
r
emove some s
h
ow
_
spec
i
al()
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpen
t
er
c
heck_deref_c
h
eck
:
get r
i
d
o
f
some
f
alse positive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
spelling:
memer
y
=> memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carp
e
n
ter
disgustin
g
hac
k
to stop fa
l
se positiv
e
buffer overf
l
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
Fix +
=
and -= ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
wine: fix some lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
w
i
ne: RpcR
a
ise
E
xceptio
n
never
returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
add option --f
u
ll
-
pat
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Michael Stefa
n
iuc
Fix a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carp
e
n
t
e
r
wine: check for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpe
n
ter
F
i
x som
e
reversed if c
o
nditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
free ca
n
handle nul
l
pointers: if (foo) free(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wine: ch
e
c
k for
W
toA cro
s
s calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
Add IN
V
ALID_HANDLE_VALUE check fo
r
w
i
ne
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
recompile all the ch
e
cks if smatch_ex
t
ra
.
h ch
a
n
ge
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[p
a
tch 9/9] last p
a
tch to re
m
ov
e
UNDEF
I
N
E
D
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[pat
c
h 8/many]
d
ea
l
wi
t
h variable_non_z
e
ro()
(UNDEFINED
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[patch 7/many] no UNDEFINED fro
m
get_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[pa
t
ch 6/many
]
remove UNDEFINED from l
a
st_stmt_
v
al(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
[patch 5/many]
get rid of a
f
ew more UNDEFINEs smatch_e
x
tra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
[patc
h
4
/
many]
get rid of UNDEFINED in smatch_rang
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
e
r
[
p
atch 3/many] remove UNDEFINE
D
f
r
o
m
g
e
t_implied
_
(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
[pa
t
ch 2/many]
g
et_i
m
plied_
v
alue() should
n
o
t return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 1/many
]
get
r
id
o
f UNDEF
I
NED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
Add validation te
s
t for check_h
e
ld_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carp
e
nter
Make some kern
e
l
spec
i
f
i
c
s
t
uff depe
n
d on -p=ke
r
nel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a new (soon t
o
b
e
mandatory)
--proje
c
t=
op
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
a
n Car
p
e
nter
Make smatch installable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
e
r
t
r
y
handle
d
o
{} w
h
ile (i--
>
0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try handle ++ and -- b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Improve handling:
do {} w
h
ile (--continue >=
0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carp
e
nter
Small cleanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
an Ca
r
penter
kfree_s
k
b() warnings are not spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan
C
arpenter
Hand
l
e
d
ereferences like
*
foo not jus
t
foo-
>
bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Car
p
enter
Get rid of the bitwise o
r
c
heck
.
It didn't find b
u
gs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add __r
a
w_spin_lock/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Da
n
Carpenter
Mak
e
ranged functions pass
the assignment expression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
D
an Carpent
e
r
Make v
a
r
i
able initialization into
assi
g
nment statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delet
e
check_initia
l
izer
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpente
r
Modify the return
hook t
o
p
ass an
expression instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
an C
a
rpe
n
ter
D
o clear the range
i
nfo so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
an Carpenter
introduce is_
e
rr
o
r_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
D
an C
a
rp
e
nte
r
make func
t
ion declar
a
t
i
on static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan C
a
rpenter
D
o not accidentally del
e
te
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan
Carpenter
New
missi
n
g dev_put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpente
r
Han
d
le if ((dev =
f
o
o
(
)
) == NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
silly f
a
lse p
o
siti
v
e: return foo; <-
f
o
o
possibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Ca
r
penter
Update sma
t
c
h
_data to 2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Carpen
t
er
Add some comments and co
p
yright n
o
tices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
small clean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
D
an Carpenter
Fix segfault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Allow people to use
k
checker file
.
o as well as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan
C
a
rpe
n
ter
Initialize val
u
es proper
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Turn t
h
e tw
o
pass system o
f
f by default
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Da
n
C
a
r
penter
Optimi
z
a
tion: prepend() -> appe
n
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
D
a
n Carpente
r
Print an error for this:
if (a
|
b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dua
l
pass system [patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpenter
Dua
l
pass sy
s
tem
[
patch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
clean up: move DIMPLIED() to s
m
atch_im
p
li
e
d
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
code churn: rename SM_DEBUG()
t
o sm_debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next