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 function __set_true_false_sm()
2009-02-27
D
a
n
C
arp
e
nter
A
d
d function __s
e
t_true_
f
alse_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
n
ly save an imp
l
ied list if a
s
t
a
te has
b
een
mo
d
ifie
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an
Carpente
r
Only
implied states that
a
r
e
n
't already
true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
e
nter
Take a paramete
r
instead
o
f assuming
the
output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpenter
Don't
c
h
e
ck t
h
a
t
there are both t
r
ue and false st
a
tes
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This c
h
ec
k
_order() seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New function harmoni
z
e_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call _
_
split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Carpenter
remove
unn
e
e
de
d
calls to __us
e
_c
o
nd_true_s
t
ates(
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
ter
Don't set t
h
e
implied s
t
ate to &m
e
rged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
ter
Mak
e
cmp_tracker() accessi
b
le to o
u
ts
i
d
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
All the
states
are
i
mplie
d
no
t
just
un
i
que ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpen
t
er
Improve lock
check output
.
Add more validatio
n
s
a
mples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
Add support for down_inter
r
uptible() and
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
Fix the Unclear
lo
c
king thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Wa
r
n o
n
d
o
uble
lock
/
unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Pr
i
nt fewer Unclear locki
n
g messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
if ((1)) {
.
.
.
i
s a
known_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpente
r
Add suppor
t
for those funny gcc ({
.
.
.
}) block st
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
p
e
nte
r
Han
d
le declarations i
n
side
s
witch s
t
atement bloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Ca
r
pente
r
Clean
u
p
is
_
zero(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpente
r
Add known_con
d
it
i
on_fals
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix han
d
ling of continue inside
do while state
m
e
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Don
'
t set let people s
e
t
s
t
ates for unre
a
chable c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
arp
e
nter
S
m
all
c
leanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pe
n
t
e
r
H
andle the ite
r
ators correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Add supp
o
r
t fo
r
"if (a?
b
:c)
{
.
.
.
" ternary condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
Add some support for _spin_trylo
c
k() and
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a
|
| b) { a->f
o
o; should pri
n
t an
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nt
e
r
T
his prints
out error messages a
l
l the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpenter
Assign
m
ent always
s
ets
&
isfreed to something el
s
e
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't print cross_fu
n
c error
s
if the c
a
ll
e
d f
u
nct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Remove call to alloc_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
Call the
merge_ho
o
k
(
) instead o
f
setting the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to commit this ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Add the merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Clear the returns lis
t
s
at
t
h
e
end of each
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
Move the impl
i
cations chec
k
ing to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Rewrite completely
with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Add some functi
o
ns to handle
t
racker l
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Don't segfaul
t
all the time w
h
e
n check
i
ng f
o
re
v
er loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Test to see
if we are cat
c
hing cross fun
c
tion deref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Use t
h
e
->possib
l
e
s
ta
t
es
a
n
d remove the m
e
r
ge_
h
o
ok
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
er
"while ((1)) {" is a forever loop
.
Call str
i
p
_
expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixe
s
to t
h
e -> possibl
e
se
t
ting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
e
nte
r
Merge branch 'master' into
n
ull_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n C
a
rpen
t
er
Ad
d
va
l
idation script
f
o
r
check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n
Carp
e
nter
Clea
n
up
.
n
e
w
-
>p
o
s
sible is always null her
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
O
ops
.
->possibles wa
s
n't g
e
tting
s
et correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpenter
Use strip
_
exp
r
()
in split_conditions() in
s
tead repr
o
d
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Retur
n
&
merged
instead o
f
&undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
mak
e
g
e
t_valu
e
() ret
u
rn a value for bitwise or expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try agai
n
r
e
moving state
s
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpe
n
ter
Revert "Remov
e
a
s
tate
f
rom it's ->pool
s
when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
E
l
iminate a
warning
.
Probabl
y
the wrong way
t
o do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cl
e
a
n ups
.
C
omments
.
Rename slis
t
_s
t
ack to named
_
stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Car
p
e
n
t
er
Ha ha
.
I
stil
l
suc
k
at
pointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
C
o
mments
.
Remove debugging
c
od
e
fro
m
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
Clea
n
u
p
.
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 Carpenter
Cle
a
n up get_state_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Re
m
ove __over
w
rite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
There
w
as debugging output that
accidentally got commit
t
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Rem
o
v
e a state from
i
t's ->po
o
ls when set_sta
t
e()
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
en
t
er
Don't delete the ->pools
o
n merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try u
n
d
e
rstand the implicat
i
o
n
s from
compound con
d
itions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a
s
tate &merged
.
When we merge stuf
f
i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
ente
r
Ok
.
This time smatch_impl
i
e
d
_really
_
d
oes someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Igno
r
e
c
scope fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
S
m
all cle
a
nups
.
(White
s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Ca
r
penter
Whi
t
esp
a
ce chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more
l
ocking funct
i
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Fix implied pools s
o
that at least it does some
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpente
r
It
s
eemed lik
e
tracker_lis
t
would b
e
useful in a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
A
dd a
R
EA
D
ME describi
n
g
smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Add sc
r
ipt to find NULL
derefer
e
nces
bet
w
e
en functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
a
rpent
e
r
Fix usage
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpente
r
Ch
e
c
k for malloc() as
w
el
l
as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault when handling implicitly declared
f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Warn when we
d
o
n't a
c
quir
e
l
o
c
k
s when c
a
lling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) to find me
m
ory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Alm
o
s
t
pr
i
nt a m
e
ssage when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
Add chec
k
to loo
k
for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d checki
n
g for loc
k
_
k
ernel
(
)/unloc
k
_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Make
check_locking
c
heck both spinl
o
c
ks and
semaph
o
res
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Ad
d
a
new func
t
ion slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If ther
e
is an i++
then the value of 'i' is u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add
a
new
c
he
c
k_locki
n
g
script t
h
at checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Save the
possib
l
e state
s
i
n
stead of ju
s
t mergi
n
g
t
h
em
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Ignore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge br
a
nch 'm
a
s
t
er
'
into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely() and unlik
e
ly() hand
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
C
arpenter
Ad
d
single q
u
otes around the v
a
riable fo
r
consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
ar
p
e
n
t
er
We co
u
ld save
som
e
memory b
y
no
t
a
l
locating new m
e
m
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpe
n
ter
Add a comment show
i
ng where the tests
are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Th
i
s is left ove
r
from Octobe
r
as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpe
n
ter
Add g
e
t
_
p
o
ssible_st
a
tes()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stuff left
o
ver from October
.
Implied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
W
e
could s
a
ve some memory
by not allocating n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
rpe
n
ter
Fix memory leak
.
Add more comment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next