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
Make cmp_tracker() accessible to outside files.
2009-02-24
Dan
Carpenter
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 Carpenter
All the stat
e
s are impli
e
d not just uniqu
e
on
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improv
e
lo
c
k c
h
eck output
.
Add more valid
a
tion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
Add support for down_in
t
erruptib
l
e
() a
n
d frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
C
a
rpenter
Fix
the Unc
l
ear lock
i
n
g
thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpent
e
r
Warn on double lock/un
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpent
e
r
Print fewer Unclear lo
c
kin
g
messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpen
t
e
r
if ((1
)
) {
.
.
.
is a know
n
_
condit
i
on_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Add support for thos
e
f
u
n
n
y g
c
c ({
.
.
.
}) block
s
tateme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rpent
e
r
Handle declarations
inside switch sta
t
eme
n
t
blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Cleanup
is_z
e
ro(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
ent
e
r
Add k
n
o
wn_con
d
ition_fa
l
se()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Fix handling of c
o
ntinu
e
inside do while
s
tate
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
arpe
n
t
e
r
Don't set let pe
o
ple set states for unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carp
e
nter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Car
p
enter
Hand
l
e the iterators
c
or
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
Ad
d
support for "if
(
a
?
b:c) {
.
.
.
" ternary cond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d s
o
me
suppo
r
t for _spin
_
tryl
o
ck() a
n
d friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpen
t
er
if (
a
|| b) { a->foo; should pr
i
nt a
n
erro
r
.
A
l
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpenter
Th
i
s prints out err
o
r messages
a
ll the
time that
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Car
p
enter
Assi
g
nme
n
t alway
s
sets
&
is
f
reed t
o
something e
l
se
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
t
er
Don't pr
i
nt cr
o
ss_func
errors if the called fun
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Remove ca
l
l to alloc_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Call the merge_hook() instead
o
f
setting
t
he s
t
ate
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Oops
.
Meant to
c
omm
i
t thi
s
e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpent
e
r
Add t
h
e merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Clear the ret
u
rns
li
s
ts at t
h
e e
n
d of
e
ach
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpent
e
r
Move the implic
a
tio
n
s checking
to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpent
e
r
Rewrite
c
om
p
le
t
e
l
y with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
r
p
enter
Add some functi
o
ns
to handle tracker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpent
e
r
D
o
n't s
e
g
f
ault all th
e
t
i
me when checkin
g
f
o
r
ever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpenter
T
e
s
t
to see if we are c
a
tc
h
ing cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use the ->pos
s
i
b
le s
t
at
e
s and re
m
ove
t
he merge_ho
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpent
e
r
"while
((1)) {" is a
f
orever loop
.
Call s
t
rip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
f
ixes to the -> pos
s
ibl
e
s
etting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
an Ca
r
pen
t
er
Merge b
r
anch 'master
'
into null_de
r
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Add validation script for check_null_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean u
p
.
n
ew->po
s
sible is alway
s
null
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles wasn't get
t
i
ng s
e
t
corre
c
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Car
p
enter
Us
e
strip_
e
xpr() in split_c
o
nditions
(
) instead
r
eprodu
c
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add
some more operations
to get_valu
e
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Car
p
e
n
ter
Retur
n
&mer
g
ed instead of &un
d
e
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
make get_va
l
ue() return a value for bitwise
o
r
ex
p
ressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try aga
i
n
removing states from
pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Rever
t
"R
e
move a
s
tate
from
i
t
'
s ->pools
w
h
en set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Eliminate a warni
n
g
.
Probably the wrong w
a
y to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comm
e
nts
.
Rename slist_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I
st
i
ll s
u
ck a
t
p
o
i
nte
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
C
l
eanups
.
Co
m
ments
.
Remove deb
u
g
ging code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean up
.
A
l
so preserve the ->
p
ools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
pe
n
ter
C
lean
u
p ge
t
_state_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __ove
r
write_cur_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
ent
e
r
There was d
e
bugging ou
t
p
ut
t
hat accidentally got committ
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpe
n
ter
Remove a state from it's ->pools
w
hen set_s
t
ate() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Don't del
e
te
the ->pools on
mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Try understa
n
d the implic
a
tions f
r
om
c
ompo
u
nd conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cr
e
ate a state &merg
e
d
.
When we m
e
rge
s
tuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ok
.
This ti
m
e sma
t
ch_implied
_really_ does
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpent
e
r
Ignore
c
sco
p
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpen
t
er
Small
clea
n
ups
.
(Whi
t
e space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Whitespac
e
ch
a
nge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
n
t
er
Add som
e
m
o
re locking
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Fix implied pools so that at least it d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It s
e
emed
like tra
c
ke
r
_list would be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carp
e
nter
A
d
d a README describ
i
ng sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
A
d
d script to
f
ind NULL derefer
e
nces between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
en
t
er
Fix usage me
s
sage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Car
p
ente
r
Check for
mal
l
oc() a
s
well
as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Ca
r
p
enter
Fix
s
egfault
w
hen handling implicitly dec
l
ared
fu
n
ctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
r
p
enter
Warn when
we don't acquire locks whe
n
c
a
lling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Try (and f
a
il
)
to
f
ind m
e
mory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpent
e
r
Almost p
r
int a message when y
o
u co
m
e to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Ad
d
check to loo
k
for double free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add chec
k
ing
for lock_ker
n
el()/u
n
l
ock_kernel
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Mak
e
chec
k
_locking check bot
h
s
p
i
n
locks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a new f
u
n
ction slist_has_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
I
f t
h
ere is an
i
+
+
then the value of 'i' is
u
ndefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add
a
n
e
w chec
k
_locking script
t
hat
checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpent
e
r
Save
t
he poss
i
ble states
i
nstead of just
m
erging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs
g
a
rbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
a
rpenter
Merge branch 'master' i
n
to pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fi
x
l
i
kely() and unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add sin
g
le
quotes
a
round the v
a
riable fo
r
consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carp
e
nter
We coul
d
save som
e
m
emory by no
t
allocati
n
g
n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
en
t
er
Add a
c
om
m
ent showing wh
e
r
e the tests
a
re sup
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pent
e
r
T
hi
s
is left over from Oct
o
b
e
r as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
A
d
d
get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an
Carp
e
n
t
er
S
t
uff left over
f
rom October
.
Implied p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
We could save so
m
e memory by not allo
c
ating new
m
emor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Ca
r
p
e
nter
Fix memo
r
y leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add
a
merge ho
o
k
.
Handle the s
i
tua
t
ion
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
t
rcmp() doe
s
n't accept NULL argum
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two functions: get_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
get_variable_from_expr() uses a sta
t
ic buf
f
er and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpent
e
r
Creat
e
a c
h
ec
k
_template
.
c example
script tha
t
loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Make get_all_sta
t
es() not segfault
e
very time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
F
i
x get_
v
alue() to
retur
n
negative
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpente
r
We
o
nly ever
pass o
n
e
parameter into get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_states()
t
o m
a
tc
h
the function defin
i
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add
_
s
tate() and state_defined(
)
d
efi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next