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 function __set_true_false_sm()
2009-02-27
Dan
Carpent
e
r
A
d
d function
__se
t
_tru
e
_false_s
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
O
n
ly save an impl
i
e
d
list if a state has
been modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only imp
l
ied
s
tates t
h
a
t a
r
en'
t
already tr
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a parameter
i
n
s
tea
d
o
f
assuming the o
u
tput
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
er
D
on'
t
check that ther
e
are both true and fa
l
se s
t
ates
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Car
p
ente
r
This
c
h
eck_orde
r
()
seems superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New functi
o
n harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nt
e
r
cal
l
__s
p
li
t
_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove unneeded calls t
o
__use_cond_tr
u
e_sta
t
es();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Do
n
't set the implied state to &
m
erged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpen
t
er
Make cmp_tr
a
cker()
acc
e
ssible to outside files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
All
the s
t
ates ar
e
imp
l
ied not just u
n
iq
u
e o
n
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improve
lock check
o
utput
.
Add
m
o
r
e val
i
d
atio
n
sam
p
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
A
dd s
u
p
port fo
r
down_interruptible() and
fr
i
ends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
F
i
x th
e
Unclear lock
i
n
g
thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Warn on double lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Print fe
w
er Unclear locking
mes
s
ages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
i
f
(
(
1
)
) {
.
.
.
is
a kno
w
n_condition_tr
u
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add sup
p
o
r
t
for those funny gcc ({
.
.
.
}) blo
c
k
statem
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Handle decla
r
at
i
o
ns inside sw
i
tch
s
tatement blo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
C
l
e
anup is_zero(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpent
e
r
Add known
_
condition_
f
als
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carp
e
nter
Fix handli
n
g of continue
ins
i
de do while
s
tatements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Don'
t
set let people set states fo
r
u
nreachable
c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Small
c
l
e
anup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
e
r
Han
d
le the iterators cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpenter
Add
s
uppo
r
t
for "if (a?b:c) {
.
.
.
" ternary conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
C
a
rpenter
Add
s
ome
s
u
p
port fo
r
_spi
n
_t
r
ylock()
and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
if (a || b) { a
-
>foo;
s
h
o
uld print an error
.
Als
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
Th
i
s pr
i
nts out error messages
all the
t
ime
t
hat are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carp
e
n
t
e
r
Assign
m
ent
a
lways
s
ets &isfreed to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't prin
t
cross_fun
c
e
rrors if the called fun
c
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rem
o
ve
call to alloc
_
s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call
t
he merge
_
hook() instead of setting
t
he
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant
t
o c
o
m
m
it this e
a
rli
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Add t
h
e me
r
ge_
h
ook
(
) b
a
c
k in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns lists
a
t t
h
e
e
nd of
each fu
n
c
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Mov
e
t
he imp
l
ica
t
ions c
h
ecking to afte
r
the scrip
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpenter
Rew
r
ite co
m
pl
e
t
e
l
y
w
ith new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Add som
e
function
s
to handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault all the ti
m
e w
h
en ch
e
cking forever lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see
if we
a
r
e
catch
i
ng cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
U
se the ->possi
b
le
s
ta
t
es and
r
emove the m
e
r
ge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
"while ((1))
{
" is
a
forever l
o
op
.
Cal
l
strip_e
x
pr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
f
i
xes to th
e
-> po
s
sible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge branch
'
mas
t
er'
i
nto null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add val
i
dation sc
r
ipt for ch
e
ck_nu
l
l
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Cl
e
an up
.
new->possib
l
e is al
w
ay
s
nul
l
here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Oops
.
->possi
b
les
w
a
sn't getting se
t
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Use
st
r
ip_exp
r
() in split_conditi
o
ns() in
s
tead reproduci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
a
r
pe
n
ter
Add some more
o
per
a
tion
s
to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
arpenter
Ret
u
rn
&merged
i
nst
e
ad of &unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpe
n
ter
make get_value
(
) re
t
urn
a
value for bitwise
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
T
r
y again remov
i
ng
s
tates fr
o
m po
o
ls
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an
Carpenter
Revert "Remove a state
from it's
->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Elimin
a
te a warning
.
Probably the wro
n
g wa
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
C
l
ean ups
.
C
omments
.
Re
n
ame slist_stack to named
_
st
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Ha ha
.
I still suck at pointe
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
anup
s
.
Comments
.
Remove d
e
bug
g
i
n
g c
o
de from
filter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean up
.
A
l
so
preserve
the ->pools in
o
n
e path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lea
n
up get_st
a
te
_
s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remove __over
w
ri
t
e_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nte
r
There was debuggi
n
g out
p
ut t
h
at ac
c
identally
g
ot committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
R
e
move a state from i
t
's ->pools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't
d
elete
th
e
->pool
s
on m
e
rging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
Try
under
s
t
a
nd
t
h
e
i
mplic
a
tions from compo
u
nd conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Creat
e
a st
a
te &m
e
rged
.
W
h
en we merge st
u
ff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ok
.
This ti
m
e smatc
h
_i
m
plied _really_ does somet
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
e
r
Igno
r
e
c
scope fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carpenter
Small cleanup
s
.
(White spac
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
W
hi
t
espac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
A
dd some more lockin
g
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
a
r
pe
n
ter
Fix imp
l
i
ed pool
s
so that
at l
e
ast it
d
oes s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It see
m
e
d
l
ik
e
tra
c
ke
r
_
list
w
ou
l
d be usef
u
l in
a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a
README
describi
n
g
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
Carpenter
Add script to find NULL
dereferences
b
etween
f
u
n
ct
i
on
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpente
r
Fix
u
sage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpenter
Check fo
r
malloc()
a
s well
a
s kmalloc(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Car
p
enter
Fix segfault
w
hen handling implicitly de
c
lare
d
func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
W
ar
n
when
w
e
d
on't
a
cquire locks when ca
l
ling
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
Try
(and fail)
to
f
ind memory lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
e
r
Almost print a message
w
hen you come to
u
n
r
e
achable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpent
e
r
A
dd check to lo
o
k
f
or d
o
uble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add checking for lock_kernel()
/
unlock_kerne
l
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arpenter
Make
c
heck_
l
oc
k
ing che
c
k
both spinlock
s
a
nd semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pe
n
ter
Add
a
n
e
w functi
o
n sli
s
t_has_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If the
r
e
i
s an i++ then th
e
v
a
lue of 'i' is und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
Add a ne
w
check_locking
scri
p
t that checks
spi
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save
t
he po
s
si
b
le states instead of
j
ust merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore em
a
cs g
a
rbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpe
n
ter
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Ca
r
penter
We co
u
ld save some me
m
ory by not
a
llocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add a comment showing where the tests are s
u
ppo
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpente
r
This
i
s le
f
t over from October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff
l
eft over fro
m
October
.
Implied pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
penter
We
c
ou
l
d
save
s
ome mem
o
ry by n
o
t allocating
n
e
w mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memor
y
leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpente
r
A
dd a
m
erge
hook
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
ar
p
enter
strcmp() doesn't acc
e
pt NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next