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
Dan Ca
r
pe
n
ter
Add
some support for _spin_t
r
ylock()
a
n
d fri
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
if
(a
|
|
b
)
{ a->foo; should p
r
int an error
.
Al
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
Carpent
e
r
T
h
i
s
p
r
i
nts out error me
s
sages all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
enter
Ass
i
gnme
n
t alway
s
sets &is
f
reed to something e
l
se like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpent
e
r
D
o
n't prin
t
cr
o
ss
_
func erro
r
s if t
h
e
calle
d
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Remove call t
o
alloc
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Call th
e
m
e
rge_hook()
inst
e
ad of setting the
s
t
ate
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
O
o
ps
.
Meant
t
o
commit
t
his ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
A
d
d the merge_h
o
ok() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
C
lear the returns
lists at
t
he end of
e
ach f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Mo
v
e the imp
l
i
c
ati
o
ns c
h
ecking to after
the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Rewrite
completely with new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
Add some fu
n
cti
o
n
s to handle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Don't
s
egf
a
ult all the time when ch
e
c
k
ing forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test
to see if
w
e
ar
e
catchin
g
cr
o
ss function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
nter
Use the ->pos
s
ible states and remove the me
r
ge_hook(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
er
"whi
l
e ((1))
{
"
is a forever loop
.
Ca
l
l
s
t
rip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
fixes t
o
the -> possible s
e
tting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Merge branc
h
'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carp
e
nter
A
d
d v
a
lidatio
n
s
c
ript f
o
r
check_null_d
e
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->poss
i
ble is alw
a
ys nu
l
l
h
er
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possible
s
w
asn't
g
etting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Use
s
t
rip_expr() in split_condit
i
on
s
()
i
nstea
d
re
p
ro
d
ucing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Add some m
o
r
e
o
p
e
r
a
tio
n
s to get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Return &mer
g
ed
ins
t
ead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpent
e
r
make get_val
u
e() return a value f
o
r bitwise
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Tr
y
again removing states from
poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Revert
"
Remove a state
from it'
s
->pools
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
E
liminate a warning
.
P
ro
b
a
bly th
e
wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comment
s
.
Re
n
ame
s
li
s
t_stack to named
_
st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I s
t
ill suck at point
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpent
e
r
Cleanups
.
Comments
.
Remov
e
debuggin
g
code
from
f
ilter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Clea
n
up
.
Also pre
s
er
v
e the
-
>pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpe
n
t
er
Clean
up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
emo
v
e __overwrite_cur_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpen
t
er
T
h
e
re was
debuggi
n
g output that accidenta
l
ly got c
o
mmi
t
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Remove a state fro
m
it
'
s ->po
o
ls
w
hen set
_
st
a
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't del
e
te the ->
p
ools on
m
er
g
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
T
ry
unde
r
s
t
and
the
implic
a
tions from compound cond
i
t
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate
a
stat
e
&mer
g
ed
.
When we
m
erg
e
stuff it is
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
O
k
.
Thi
s
time
s
m
atch_imp
l
ied
_
rea
l
ly_ does som
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ignore
c
sco
p
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
penter
Small
c
l
eanups
.
(W
h
ite spa
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Whit
e
s
p
ace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more locking functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Fix
implied pools so that at le
a
st it do
e
s
s
ometh
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
It
s
e
emed li
k
e
tracker
_
list w
o
u
l
d be
usefu
l
in
a
lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Ca
r
pent
e
r
Add a READM
E
de
s
cribing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
enter
Ad
d
sc
r
i
p
t to find NULL d
e
ref
e
rences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpe
n
t
er
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpen
t
er
Check for malloc(
)
as
w
e
ll as km
a
llo
c
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault when handling
i
mplici
t
ly d
e
cl
a
red
fu
n
c
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
en
t
er
Warn
w
h
en we don't acquir
e
l
o
cks when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
C
arpente
r
Tr
y
(a
n
d fa
i
l) to fi
n
d m
e
mory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
m
o
s
t
p
rint
a
m
e
ssage when you come to
u
nreac
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n C
a
rp
e
nter
Add check to look for dou
b
l
e
fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rp
e
n
t
er
Ad
d
c
h
ecking
f
o
r lo
c
k_kernel()/un
l
o
c
k_k
e
rnel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
ake chec
k
_locking check both spin
l
o
c
k
s
and s
e
maphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a new funct
i
on slist_
h
as
_
s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpente
r
If there
i
s a
n
i++ then the value of 'i' i
s
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpent
e
r
Add a new check_locking script that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Sa
v
e
t
he p
o
s
s
ible states
instead of just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Ignore emacs garba
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpente
r
M
e
rge bra
n
ch '
m
aste
r
' into
p
o
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Ca
r
pen
t
e
r
Fix
l
i
kely() and unlikel
y
() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Add s
i
ngle quo
t
es around the vari
a
ble for consis
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n
Carpenter
W
e could s
a
ve som
e
mem
o
ry by not allo
c
ating
n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rp
e
nte
r
Add
a comm
e
n
t sho
w
ing where the t
e
sts ar
e
s
u
ppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpent
e
r
This
i
s left over fro
m
October
as p
a
rt of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add get_pos
s
ible_
s
tates()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
S
tuff
left
o
ve
r
f
rom Octob
e
r
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
a
rpenter
We could save some memory by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Carpenter
F
ix memory
leak
.
Add
m
ore comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpen
t
er
Add a
m
e
rge hoo
k
.
Handle the s
i
tuations like
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Car
p
ente
r
strcmp() doesn't accep
t
N
UL
L
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpen
t
er
rena
m
e
t
wo functions:
g
e
t_variable_f
r
om_e
x
pr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
get_variable_fro
m
_expr() uses a sta
t
ic buff
e
r and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
Create a check_template
.
c
example script that
l
ooks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Make
get_all_states() not segfa
u
l
t
ever
y
t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix ge
t
_
v
a
l
u
e
(
) t
o
r
eturn
n
e
gativ
e
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
We only eve
r
pass one parame
t
er into get_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x get_all
_
s
tates() to match
t
h
e function de
f
inition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Remov
e
add
_
state() and state
_
defined()
d
efinitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pente
r
Clean up
.
F
i
x leak
.
My probl
e
m is tha
t
I don't
u
nders
t
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Initi
a
l
c
ommit of the "implied s
t
a
te pools" stuf
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
D
o
h
.
We haven't b
e
en usin
g
smatch_extra for a whi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Ge
t
rid o
f
path_history
.
It's never go
i
ng to
b
e
u
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed up m
e
rge_slist now that the slists
are orde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuff ont
o
li
s
ts in a sor
t
ed order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Delete an
unused func
t
ion merge_state_stac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpenter
f
ix: if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
kma
l
loc() and fr
i
ends d
o
n
'
t
always return
a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
he
c
hecks f
r
om here
g
ot merged in
t
o
check_n
u
ll_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
M
ove
the stuff from
chec
k
_d
e
r
e
fed
_
params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or
_
sl
i
st
_
stack
(
)
.
if
(
a
&
& b) was
n
't bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
ter
Add
a
hook at the end o
f
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Forgot
a
nother
s
trip
_
expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
H
a
ndle assi
g
nmeents inside conditio
n
s bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Only print somet
h
i
ng
f
o
r a->foo and n
o
t a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next