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
implied: re-add the debug output.
2009-03-18
Dan Carpenter
implied: re-add
t
he debug outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpe
n
ter
c
h
ang
e
co
n
vention: reg
i
ster_template() -> c
h
eck_template()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
C
a
rpenter
lock
i
ng: ad
d
s
o
me
m
or
e
mutex functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Make --
k
nown
-
c
o
nditio
n
s
a
n
op
t
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpenter
ha
n
dle kno
w
n condit
i
ons better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Car
p
enter
c
heck_memo
r
y: add rud
i
mentary validation t
e
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
new
s
cr
i
p
t
to
p
rint
a
l
ist of functio
n
s wh
i
ch fre
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpenter
check_memory: make
argument
s
static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpenter
t
e
m
plate: fix
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
tem
p
late: remove unus
e
d head
e
r, update comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
check_l
o
cking: add mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
ch
e
ck_m
e
mory:
a
dd kzalloc(), more co
m
plex variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
i
m
p
l
ied: handle &undefi
n
ed be
t
te
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpent
e
r
info: lo
o
p co
u
l
d be rep
l
a
ced
with if
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpent
e
r
kche
c
ke
r
: ad
d
"--sp
a
rse" opti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an C
a
rpe
n
ter
s
m
atch_implied/sli
s
t: move functions fro
m
sl
i
st to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carp
e
nter
check_memory: use complex v
a
riables i
n
s
t
ead of regula
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
pe
n
t
e
r
c
heck_me
m
ory: assume paren
t
s assigne
d
on all
paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
c
h
eck_mem
o
ry: M
o
re c
h
ang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpe
n
ter
assi
g
nments
can a
d
d a pa
r
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Handle initial
i
zation in
t
h
e
declara
t
ions;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpe
n
ter
Cut down on
false positiv
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an
C
arpenter
Parse the
r
etur
n
statement befor
e
calling th
e
ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpe
n
ter
Fix
crashing bu
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Remove some
f
alse positive
s
and e
n
able the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
arpenter
Demot
e
argument null dere
f
s
t
o
cros
s
func null derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nter
Label the ou
t
pu
t
:
error, warn
,
or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
Carpent
e
r
A
dd a hack t
o
ha
n
dle the
k
e
rnel's redefined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Carpenter
Handle m
o
re comparis
o
n
s
t
h
an ju
s
t (foo =
=
0
)
and (foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpen
t
er
check_locking
:
a merge with
N
ULL is a m
e
r
g
e
w
ith the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carpent
e
r
Remove unneeded code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add li
n
e numbe
r
back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpenter
U
se the most recent implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add option --assum
e
-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
enter
Add an opt
i
o
n --no-i
m
plied
to turn
o
f implic
a
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
implied p
o
ols: c
l
e
anup how implied
p
o
ols are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
an Carpenter
chec
k
_m
e
mory:
s
eparate o
u
t a malloced state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
an Carpen
t
er
All
a
long I was adding t
h
e p
o
ols to the wro
n
g pla
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpenter
Clean up
.
Move a couple ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
A
dd a
s
a
n
ity
c
heck that -
>
possi
b
le has a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpen
t
er
Clean up
.
Freeing the sm_sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
ar
p
ent
e
r
Oring
t
he slists see
m
s like merge_s
l
is
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpente
r
Add a --debug
-
implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
an Car
p
e
n
t
e
r
che
c
k
_memor
y
: Fix
segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Da
n
Ca
r
penter
kchecker: hel
p
er script to invoke sma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
c
h
eck
_
memo
r
y: new code
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bug
in compound condition
s
a
nd add v
a
lidation t
e
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpe
n
ter
c
heck_lo
c
ki
n
g: handle functions
w
i
t
h
n
o return
s
t
ate
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Car
p
en
t
er
Fix
s
o
secu
r
i
ty_
f
ixu
p
_ops() doesn't trigger the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
Fix 'or'ing sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some reason sm
a
tch can
'
t find these
hea
d
er files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
Fix st
r
ing memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove unneeded allo
c
a
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove outdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Don't __
f
ree_sm_state() until end of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpen
t
er
f
r
ee_slist() after
c
alli
n
g get_al
l
_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
p
enter
d
o
n't rea
l
l
o
cate the ->possib
l
e states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get rid of
unused line history co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
F
i
x s
o
me memory
l
e
aks in __impli
e
d_state
s
_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add free_track
e
rs_and_list() and
free_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Add new free_st
a
ck() f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
r
penter
r
e
name del_slis
t
_stack() to free_s
t
ack_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
re
n
a
me d
e
l_slist() -
>
free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Free all the sm_stat
e
s at the en
d
of
ea
c
h functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Ad
d
->possible to _
_
pr
i
n
t
_sl
i
st()
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Car
p
ente
r
S
a
ve all the pools a
s
tate goes through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add an
d
fix smatch implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Preser
v
e
the ->pools and ->possible for implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
Fix handling mutua
l
ly exclus
i
v
e
s
tates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get
r
i
d
o
f r
e
dundant harmonize_s
t
at
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Add
fu
n
c
t
ion __set_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
Only sa
v
e an implied l
i
s
t if a state has been modifie
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
C
a
r
pent
e
r
O
n
l
y implied states that aren't already true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carpenter
Take a parameter instead o
f
a
s
sumi
n
g the o
u
tput
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Ca
r
penter
Don't check
th
a
t there are
both tr
u
e and false sta
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
This
c
heck_o
r
der()
s
eems
s
up
e
rfluou
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Ne
w
f
u
nction har
m
onize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_expr
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
remove un
n
eeded
c
alls to
_
_use_cond_true
_
states(
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't
s
et the implied stat
e
t
o
&m
e
r
ged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
p
e
nt
e
r
Make
cmp_tracker(
)
acc
e
ssible to outside fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpent
e
r
All the s
t
ates
a
re i
m
plied not
j
ust u
n
ique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpe
n
t
e
r
Improve
l
ock check output
.
Add m
o
re va
l
idat
i
o
n sam
p
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
rpenter
A
d
d supp
o
r
t for d
o
wn_interruptible(
)
and fr
i
ends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Fix the Unc
l
ea
r
locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
War
n
on double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
P
r
int fewer Unclea
r
l
o
cking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
i
f
(
(
1
)) {
.
.
.
is
a known_condit
i
on_
t
rue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
A
dd support
for t
h
ose funny gc
c
({
.
.
.
}) block statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
a
ndle decl
a
rations inside swit
c
h s
t
atement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
nter
Clean
u
p is_zer
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Add known_condition_fa
l
se()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
F
ix handlin
g
of continue inside do while st
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
en
t
er
Don't s
e
t
let people s
e
t
states f
o
r unreac
h
able code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small clea
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carp
e
nte
r
H
andle the iter
a
tors co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if (a?b:c) {
.
.
.
"
te
r
nary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpente
r
A
dd s
o
m
e
support for _s
p
i
n_tryl
o
ck() an
d
fr
i
ends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpente
r
if (a ||
b
) { a->foo
;
sh
o
u
l
d pr
i
n
t
a
n
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next