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 some support for _spin_trylock() and friends.
2009-02-20
D
an
C
arpenter
Add some
s
up
p
ort for _spin_try
l
ock() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a || b) { a->foo; shoul
d
print an er
r
or
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
C
a
rpenter
This
prints out error m
e
ssages all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nter
As
s
ignment
alw
a
y
s
sets &isfreed to som
e
thin
g
else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
p
e
n
t
er
Don't print cross_func err
o
rs if the called func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
Remove
call to
alloc
_
stat
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Call
the merge_hook() instead of setting
the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Oops
.
Me
a
nt
t
o com
m
i
t th
i
s
earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpent
e
r
A
dd the merge_
h
ook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
r
p
e
n
t
e
r
C
lear
the retu
r
ns lists
a
t the end of each fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move t
h
e
i
mpli
c
ations checking to after
the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completely
w
ith new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add
s
o
me functions
t
o handle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pent
e
r
Don't
s
e
gfault a
l
l the time when ch
e
ck
i
ng
f
orever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Te
s
t to see if we are catching cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Use the ->possible states and re
m
ov
e
the merge_h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while
(
(1))
{
" is a forever loop
.
Call strip_exp
r
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
f
ixes to the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpent
e
r
Merge
b
r
an
c
h
'master' into
n
ull_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an Ca
r
penter
Ad
d
validation scr
i
pt for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arpente
r
Clean up
.
new->possib
l
e is
a
l
w
a
ys null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Oops
.
->pos
s
i
b
le
s
wasn
'
t get
t
ing
set co
r
r
e
ctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpen
t
er
U
s
e
s
trip_expr() in
s
pl
i
t_conditions()
i
nstead
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Add some m
o
re
operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
tur
n
&m
e
r
ged inste
a
d of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
make get_value() r
e
t
urn a
v
a
lue for bitwise or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Try
a
gain re
m
ov
i
ng
states from p
o
ols
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
a
r
penter
Revert
"
Re
m
ov
e
a state
f
rom it's
-
>poo
l
s
wh
e
n set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elimina
t
e a warning
.
P
r
obab
l
y th
e
wrong w
a
y
to
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cle
a
n ups
.
Comment
s
.
R
ename slis
t
_
stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Ha ha
.
I s
t
ill s
u
ck at poi
n
t
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
Remove debugging code f
r
om fi
l
ter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
C
lean up
.
Also pres
e
rve the ->pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remove __overw
r
i
te_cur_sl
i
s
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ther
e
was debugg
i
ng output that
a
ccidentally
got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Rem
o
v
e
a st
a
te from it's ->pools when
set_state
(
) is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Don't delete
the ->
p
oo
l
s on
m
e
rging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try und
e
r
s
tan
d
the implicati
o
ns
f
rom compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
ente
r
Create a state &merged
.
When we
m
e
r
g
e
s
tuff
it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
t
er
O
k
.
This time sm
a
tch_impli
e
d
_reall
y
_
does s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
Ignore
c
s
c
o
pe files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
ar
p
ent
e
r
Small cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Whi
t
esp
a
ce change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ad
d
some mo
r
e
l
o
c
king funct
i
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Fix impl
i
ed pools so that
at lea
s
t
it doe
s
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
It seemed
l
ike t
r
acker_list
would be use
f
ul
in a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a
README des
c
ribing
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpent
e
r
Add s
c
r
ipt to find NULL dereferen
c
es b
e
tween func
t
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
F
ix usage
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
enter
C
heck
f
o
r mall
o
c
() as
w
ell as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix s
e
gfault w
h
en
h
andling implicitly declare
d
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
p
e
nte
r
War
n
when we don't acqu
i
re
l
oc
k
s when callin
g
c
ertain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Try
(and fail) to find memory l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Ca
r
penter
A
l
most print a message when you
c
o
me to unr
e
achable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Ca
r
penter
Add chec
k
to l
o
ok for double fr
e
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Ca
r
penter
Add checkin
g
for
l
ock_ker
n
el()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Mak
e
c
h
eck_locking check both
sp
i
nlocks an
d
semapho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Car
p
en
t
e
r
Add a new function slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
I
f t
h
ere is
a
n i++
t
hen the value of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Add a
n
e
w
check_lock
i
ng script that checks spinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Sa
v
e the possi
b
le states i
n
stead of just merg
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ign
o
re emacs garb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'mast
e
r' into po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpenter
F
i
x
l
ikely
(
)
and unlikely() hand
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpen
t
er
Add single q
u
otes
arou
n
d the variable for consistenc
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Carpenter
W
e cou
l
d save some memory by not allocatin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
a
comment showi
n
g
where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpe
n
ter
This is
l
e
ft
o
v
er from
October as part
o
f the implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Car
p
en
t
er
Ad
d
g
e
t_poss
i
ble_st
a
tes()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
t
uff l
e
f
t over from October
.
Impl
i
ed pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
pe
n
ter
We co
u
ld save some m
e
mory b
y
not al
l
o
catin
g
new
mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
F
ix memory leak
.
Add more co
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Add a merge hook
.
H
a
ndle the
situation
s
l
i
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
strcmp() do
e
sn't accept NULL argumen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
re
n
ame two
f
u
nctions:
g
et_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_var
i
able_f
r
om_e
x
pr() u
s
es a
s
tatic b
u
ffer an
d
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
n
t
er
C
r
eat
e
a check_template
.
c
e
xample script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Mak
e
get_all_states() not segf
a
ult every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
F
i
x get_val
u
e
() t
o
retur
n
negative v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
We only ever
p
ass
o
ne
paramet
e
r into
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
rp
e
nte
r
Fix get_all_states() to m
a
t
ch the functi
o
n definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpente
r
R
e
move add_
s
tate() an
d
state_defi
n
ed
(
) definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpent
e
r
Cl
e
an
up
.
Fix lea
k
.
My pro
b
l
em is that I don't
u
n
d
er
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Ca
r
p
en
t
er
Initial commit of the "implied sta
t
e poo
l
s" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
D
oh
.
W
e
haven't been
using s
m
atch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpent
e
r
Ge
t
r
id of path
_
hi
s
tory
.
I
t's never g
o
ing to b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an
Carpen
t
er
M
ake goto_s
t
ack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Spe
e
d
up
merge_
s
list now that the slists
a
re
o
r
de
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Car
p
ent
e
r
Insert s
t
uf
f
onto lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
De
l
e
te an unused function
me
r
ge_state_
s
tack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*fo
o
) { (*
f
oo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
Carpenter
kmalloc() and friends don't alw
a
ys
re
t
urn a non-nul
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
C
a
rpenter
Th
e
checks fro
m
h
e
re g
o
t merged
i
nto
chec
k
_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carp
e
nte
r
Move the stuff from ch
e
ck_derefed_
p
arams
.
c i
n
to ch
e
ck
_
null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug
in or_slis
t
_st
a
ck()
.
if (a && b) was
n
't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Forgot a
n
other strip_expr()
c
a
ll
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle
a
ssignmeents insi
d
e con
d
i
tions be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Only p
r
int something fo
r
a->foo and
n
ot a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next