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
All the states are implied not just unique ones.
2009-02-24
Dan
Carpenter
All
the st
a
tes are implied not j
u
st unique
ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
Improv
e
lock check
ou
t
put
.
Add m
o
re validation sample
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
rp
e
nter
Add support for down_
i
nterruptib
l
e
(
)
and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix
t
h
e Uncle
a
r
locki
n
g
t
hing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpe
n
ter
War
n
o
n double lock
/
unl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpe
n
ter
Print
f
ewer Unclear
locking message
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
i
f ((1))
{
.
.
.
i
s
a
known_conditio
n
_true
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support
for those
f
unny gcc ({
.
.
.
}) block st
a
tements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
H
a
ndl
e
de
c
l
arations i
n
side
s
witch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Clea
n
up is_zer
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pente
r
Add
known_c
o
ndition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carp
e
nte
r
F
i
x handling
o
f
continue inside
d
o while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
D
o
n'
t
set l
e
t pe
o
ple set
s
t
ates
f
or
unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Small
c
leanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Ca
r
pe
n
ter
Handle the iterators
correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if
(
a?b:c) {
.
.
.
" ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
penter
Add some support for
_spin_trylo
c
k
(
) and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpen
t
er
if (a
|
|
b) { a->foo; s
h
ould
p
rint an er
r
or
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
Thi
s
prints
out error messages all the time th
a
t are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carp
e
n
t
er
Assignment
alwa
y
s sets &isfreed to
s
ometh
i
ng else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
Don't print cros
s
_fun
c
erro
r
s
if
t
h
e called f
u
nc
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
n
ter
Rem
o
ve c
a
ll to
a
lloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
Call the me
r
ge_hook
(
) inste
a
d
o
f
setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ent
e
r
Oops
.
Mea
n
t
t
o
c
om
m
i
t this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
A
dd
t
he me
r
ge_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Clear the r
e
tur
n
s lists at the e
n
d of each f
u
nct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
M
ove the implic
a
tions checking to a
f
t
e
r
t
he
s
c
ri
p
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Rewrite compl
e
tel
y
with
n
ew goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
Add some
funct
i
ons to handle tracker lis
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Do
n
't seg
f
ault al
l
the time when
che
c
kin
g
forever
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Te
s
t t
o
see if
we are
c
atching cr
o
ss function de
r
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
U
se t
h
e ->poss
i
ble states a
n
d remove the me
r
ge
_
hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
"while ((1)) {" i
s
a for
e
v
e
r
loop
.
Call strip_
e
xpr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
pen
t
er
M
erge branc
h
'
m
aster' into
n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
pe
n
ter
Add
v
a
li
d
a
t
i
o
n
script
for chec
k
_nul
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n Carpenter
C
l
ean up
.
new
-
>
possible is
always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
pent
e
r
O
o
ps
.
->p
o
ss
i
b
l
es wasn't
g
etting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpent
e
r
Use str
i
p_expr() i
n
split_conditions() i
n
st
e
a
d
reprodu
c
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add s
o
me more operations to g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nt
e
r
R
eturn
&
m
e
r
ged i
n
s
tead o
f
&undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
m
a
ke get_value() return a
v
alue
for bitw
i
se
o
r expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again remo
v
i
n
g st
a
tes fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
a
r
pe
n
ter
R
evert "Remove a st
a
te from i
t
's ->poo
l
s
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Elimin
a
te
a
warning
.
Probably the wr
o
ng
w
ay to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
s
.
Co
m
ments
.
Re
n
ame sli
s
t
_
stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
Ha ha
.
I still s
u
ck
at
p
ointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cle
a
nups
.
Co
m
ments
.
Remove debugging c
o
de from filter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
C
lean up
.
Also preserve the ->pools in
o
n
e
path
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean u
p
get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpente
r
R
e
move __ove
r
w
r
ite
_
cur_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nter
There was debugging output that accid
e
ntally got co
m
m
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Remove a
s
t
at
e
from it
'
s -
>
pools when
s
e
t_s
t
a
te
(
)
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Don'
t
de
l
e
t
e t
h
e
-
>p
o
ol
s
on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpenter
Try und
e
r
s
tand the
i
mplicati
o
n
s from compoun
d
con
d
i
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cr
e
a
te a
sta
t
e &merged
.
When we
merge
stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ok
.
This time
s
match_imp
l
ied
_r
e
a
l
l
y_ do
e
s someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpenter
Ignore cscope f
i
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
enter
Small cleanups
.
(White
sp
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
d
d some
m
o
re locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nter
F
i
x imp
l
ied
p
o
ols
s
o
tha
t
at least it does so
m
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
It
seemed
l
i
ke tracker_
l
ist would
b
e
usef
u
l
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Add a RE
A
D
M
E
d
e
scri
b
ing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd scri
p
t to
fin
d
NULL dereferenc
e
s
b
etween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Fix u
s
age
m
ess
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Check for
m
alloc() as well as k
m
alloc(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
F
ix seg
f
ault w
h
en hand
l
ing implicitly declared functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
W
arn when we do
n
't acquire
l
ocks wh
e
n calling
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
Try (an
d
fail) to find
m
e
mory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Almos
t
print a
mess
a
ge
w
he
n
yo
u
come to unreach
a
b
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add che
c
k to l
o
ok for double
f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
A
dd checking for lock_kernel()/un
l
ock_kernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carp
e
n
t
er
Make chec
k
_
l
ocking
c
heck b
o
th spinlock
s
a
n
d
sem
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
te
r
Add
a
new function slis
t
_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If th
e
re is an i+
+
then the value
o
f 'i'
i
s u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new che
c
k_locking scrip
t
t
h
a
t che
c
ks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
ave the possi
b
l
e
states instead of
j
ust merging the
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an
Carpent
e
r
I
g
n
ore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'master' into p
o
ols5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could
s
ave some memory by not
a
llo
c
ating
new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add a
c
omment
s
h
o
wing wher
e
the tes
t
s
are supp
o
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
This is left ov
e
r
from October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpen
t
er
A
d
d get_po
s
sib
l
e_stat
e
s()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
r
p
enter
Stuff lef
t
over from Oct
o
ber
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some memory by not alloca
t
i
ng
n
ew
mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpenter
Fix memory
leak
.
A
d
d more comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpente
r
Add a merge h
o
ok
.
Handle th
e
situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
a
r
penter
strcmp() d
o
esn't
a
c
cept NUL
L
argumen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
rename two functions: get_var
i
able_fro
m
_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
pente
r
get_variable_from_expr() uses
a static buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Crea
t
e
a check_temp
l
ate
.
c
e
x
a
mple s
c
ript that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Ma
k
e g
e
t_all_states
(
) not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix get_value() to re
t
u
rn n
e
gativ
e
values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nt
e
r
We on
l
y e
v
er pass
one param
e
ter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpen
t
er
Fix g
e
t_all_sta
t
es()
to
mat
c
h
t
he
functi
o
n definit
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
ter
Remo
v
e
a
d
d_state() and s
t
ate_d
e
fined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Clean up
.
F
ix leak
.
My problem is that
I don't unders
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
I
n
itial com
m
i
t of the "implie
d
s
tate pools" s
t
uff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We h
a
ven't been usi
n
g smatch_extra for
a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next