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
Improve lock check output. Add more validation samples.
2009-02-24
Da
n
Carpen
t
er
Improve lock check
output
.
Add
m
o
r
e
validation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d su
p
port
for down_interrupti
b
le() and fr
i
ends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
Fix the Unc
l
ear locking thing
.
Aga
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpent
e
r
Wa
r
n on double lock
/
unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
P
r
int fewer Unclear lo
c
king messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if (
(
1)) {
.
.
.
i
s a known_condition_t
r
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
Add sup
p
ort for those funny g
c
c ({
.
.
.
}) block
s
t
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
p
enter
H
andle
d
e
claration
s
insi
d
e switch s
t
ate
m
ent blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arp
e
nter
C
l
eanup
is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Add know
n
_condi
t
i
o
n_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpen
t
er
Fix handling of
cont
i
nue
insid
e
do while st
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpent
e
r
Do
n
'
t set le
t
people set sta
t
es f
o
r un
r
e
acha
b
le code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Smal
l
cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Ca
r
pente
r
Handl
e
the iterato
r
s
corr
e
ct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Add support f
o
r "if (a?b
:
c) {
.
.
.
" ternary condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d some support fo
r
_s
p
in_trylock() and
frien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
ter
if (a || b) { a->foo; sh
o
uld print an erro
r
.
A
lso
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
ente
r
This prints out error
m
essag
e
s a
l
l the time
that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
ssignment always sets &isfreed to something el
s
e
l
i
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Don'
t
print cross_
f
u
n
c errors if t
h
e called
f
uncti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
R
e
m
o
ve call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
C
all the
m
er
g
e_hook(
)
instead of settin
g
the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
O
o
p
s
.
M
e
an
t
to commit this earlie
r
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Add the
me
r
ge_hook() bac
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Clear the returns lists
a
t the
end of
e
ac
h
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
M
ove the imp
l
ications
checking to
a
fter
the
sc
r
ipts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
r
penter
R
e
wri
t
e completel
y
with
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpent
e
r
Ad
d
some functions
to handle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Carpenter
Don't segfault all the ti
m
e
when check
i
ng
f
orever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to s
e
e if
w
e are catching cross
funct
i
on
derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nte
r
Use the ->possible
s
t
ates
a
nd rem
o
ve the
m
erge_h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpent
e
r
"while ((1)) {" is a forever
loo
p
.
Ca
l
l strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
fixes to the ->
poss
i
b
le settin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carp
e
nter
M
e
rge branch
'
m
a
ster' into
n
ull_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Add validation sc
r
ipt
for check_
n
u
l
l
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
rpente
r
Clean up
.
new->
p
ossibl
e
is
alw
a
ys nul
l
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles wasn't gettin
g
set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr
(
) in
sp
l
it_conditions()
inste
a
d reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add som
e
more
operat
i
o
n
s
t
o
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Retu
r
n
&
m
e
rged
inste
a
d of &und
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_valu
e
(
) return a va
l
ue for
b
itwise or exp
r
essio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
t
er
T
r
y agai
n
remov
i
n
g
s
tates from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Rever
t
"Remove
a state from it's ->p
o
ols when set_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
E
liminate a
warni
n
g
.
Probably the
w
rong way to
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Co
m
men
t
s
.
Rename sli
s
t_stack
to name
d
_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I s
t
ill suc
k
at pointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cl
e
anu
p
s
.
Comments
.
Remove debugging
c
ode
fr
o
m filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
enter
Clean up
.
Also pre
s
erve the ->pools in o
n
e
pa
t
h of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_sta
t
e_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove _
_
ov
e
rw
r
ite_cur_s
l
i
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging out
p
ut
th
a
t
accid
e
nta
l
ly got
c
o
mm
i
tted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
Remove a
state from it's ->poo
l
s whe
n
set_st
a
t
e
() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Don't delete the ->pools on mergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Try underst
a
nd th
e
i
mpli
c
ations from c
o
mpound c
o
nditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create
a sta
t
e &merg
e
d
.
When we m
e
rge stuff
i
t isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
Ok
.
T
h
i
s
time
s
m
atch_i
m
plied _really_ do
e
s
s
ometh
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Igno
r
e cscope
f
ile
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpent
e
r
Small
cleanup
s
.
(
White s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
a
rpen
t
er
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
A
d
d some m
o
r
e
l
o
c
k
ing functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
F
i
x
i
mp
l
ied pools so that at least it
does
s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed l
i
ke tracker_list
wou
l
d be u
s
eful in a lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add a
RE
A
DME describing smatc
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add script to fi
n
d
NULL dereferences between
f
u
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fix us
a
ge message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Check
fo
r
mallo
c
() a
s
we
l
l as k
m
alloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
i
x
seg
f
ault when handl
i
ng implicitly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpen
t
er
Wa
r
n when we don't acquire locks
when calli
n
g certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (a
n
d fail
)
to find memory l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Almost prin
t
a message
when you come to unr
e
achable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add check to l
o
ok for double fre
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
A
d
d ch
e
cking for lo
c
k_kern
e
l()/unlock_kernel(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Mak
e
check_locking c
h
eck
both spinlocks and s
e
maphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Ca
r
penter
Add a
n
ew functi
o
n
sl
i
s
t_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
If t
h
e
re is a
n
i++ th
e
n
the value of 'i' is undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
c
heck_locking scr
i
pt that c
h
ecks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
n
t
e
r
Save
the possible s
t
a
tes instead
of just
me
r
ging
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Ig
n
ore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
M
erge bran
c
h 'master' into po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
a
r
p
enter
Fix like
l
y()
and unlik
e
ly(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Ca
r
penter
Add
single quotes aro
u
n
d
t
h
e variable for
c
onsi
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
pente
r
We
could save som
e
memory by not allo
c
atin
g
new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pen
t
e
r
Add a
comment showin
g
whe
r
e the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
nt
e
r
This is
left ove
r
from Octob
e
r as part
o
f
t
he implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possibl
e
_
s
tates()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
arpenter
Stuff lef
t
ove
r
from Octobe
r
.
Implied
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some memory by not alloc
a
ting
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Ca
r
p
e
nter
Fix memory leak
.
A
dd
more com
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpent
e
r
Add
a me
r
ge
h
o
o
k
.
H
a
n
dle the situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
strcmp() doesn'
t
accept NULL a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpen
t
e
r
rename two functions: g
e
t
_
variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_fr
o
m_ex
p
r() uses
a stat
i
c buffer
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpenter
Creat
e
a
c
heck_template
.
c
e
x
a
mple script that loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Make get
_
all_s
t
ates() not segfa
u
lt every
t
i
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to retur
n
negative v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
We
only
e
v
e
r p
a
ss o
n
e p
a
ramete
r
into get_valu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
rpenter
Fix ge
t
_all_states() to match the functi
o
n definitio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_state(
)
and state_defin
e
d
()
d
efinitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpe
n
ter
Clean
up
.
Fix leak
.
M
y probl
e
m is that
I
d
on'
t
und
e
rs
t
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Init
i
a
l co
m
mi
t
of the "implied state po
o
ls" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next