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
Get rid of redundant harmonize_states()
2009-02-27
Dan Carpenter
Get rid of redundant harmonize_states
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpe
n
ter
A
d
d fu
n
c
t
ion __se
t
_true_false_
s
m
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an Car
p
ent
e
r
Only save an impl
i
ed list if a st
a
te has
been modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
On
l
y impl
i
ed stat
e
s that aren't already tr
u
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a p
a
rameter
i
nstead of
assum
i
ng the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
D
o
n
'
t ch
e
ck that there are bot
h
true
and fa
l
se state
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
r
p
enter
T
his check_order(
)
seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an
Carpe
n
t
e
r
New
f
unction
har
m
onize_s
t
ates()
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
D
an Carpenter
remove unnee
d
ed calls to __u
s
e_cond_true_states
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the implied st
a
te
t
o &m
e
rged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpenter
Make
cmp_tr
a
cker()
accessible to outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
enter
All
the st
a
te
s
a
r
e
implied
n
ot j
u
st uniqu
e
ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Impr
o
v
e
l
o
c
k check
o
utput
.
Add more validation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Add suppo
r
t
fo
r
do
w
n_int
e
r
ruptible() a
n
d fr
i
ends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
F
ix the U
n
clear lo
c
king thing
.
A
gai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
arn on doub
l
e lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpente
r
Print
fewer Unclear locking mess
a
ge
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpente
r
if ((1))
{
.
.
.
i
s a known_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add
support for tho
s
e funny gcc ({
.
.
.
})
b
lock s
t
at
e
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
arp
e
nter
Hand
l
e
de
c
larations inside switc
h
state
m
ent blo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Cleanu
p
is_zer
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known
_
condition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix
h
andl
i
ng of continu
e
i
nsi
d
e
do whil
e
sta
t
ement
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Don't s
e
t let people set
states f
o
r unreac
h
able
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
S
ma
l
l cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Handle the iterators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if (a?b
:
c) {
.
.
.
" tern
a
ry condit
i
on
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
A
d
d some suppo
r
t for
_
spin
_
trylock() and fri
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (
a
|| b)
{ a->foo;
s
h
ou
l
d print an erro
r
.
A
lso
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
an Ca
r
pen
t
er
This
p
rints out error messages
a
ll the time that
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
s
s
ignment alway
s
sets &
i
sfreed to something else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't print cross_func errors if the
c
al
l
ed function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
penter
Remove call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nt
e
r
Call the me
r
ge_
h
ook
(
) instead
o
f settin
g
the s
t
ate
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Oops
.
Mea
n
t to commit this earli
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pen
t
er
Add the merge_hook()
b
a
ck
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Clear th
e
returns lists at the end
of eac
h
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
M
ove t
h
e i
m
p
l
icati
o
ns
checking to after th
e
script
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite complet
e
l
y with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
en
t
er
Add some fun
c
t
ions to handle tracker
l
ists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
D
o
n
't
s
egfault all the
time when che
c
k
ing forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
e
s
t t
o
see i
f
we are catching cross function
d
erefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
U
s
e
the ->possi
b
le states and
remove the merge_hook(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1)) {"
i
s
a forever loop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
er
fixes to the ->
p
ossi
b
le s
e
t
t
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Ca
r
penter
Merge branc
h
'mas
t
e
r
' int
o
null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
Add validatio
n
script for check_null_de
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
penter
Clea
n
up
.
n
ew->
p
o
s
sible is alw
a
ys n
u
ll here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->p
o
ssibles
w
asn't getting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in split
_
conditio
n
s() instead r
e
pro
d
uci
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
A
dd
s
o
m
e more oper
a
tions to ge
t
_va
l
ue(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
t
urn &
m
e
r
ged instead
of &u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
make get_v
a
lue() retu
r
n
a valu
e
for b
i
twise or
expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
T
ry again r
e
m
o
ving s
t
at
e
s
f
r
o
m
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Reve
r
t "
R
emove
a
s
tate from
i
t'
s
->pools w
h
en set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
E
l
imi
n
ate a
w
arning
.
Pro
b
abl
y
t
h
e w
r
o
n
g
w
ay to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
enter
Clean ups
.
Comments
.
Ren
a
me s
l
ist_st
a
ck t
o
named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Ha ha
.
I
still
s
u
c
k at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
C
l
eanups
.
Co
m
ments
.
Remove debugging code
from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
l
ean up
.
Al
s
o
pr
e
serve the ->pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean up g
e
t_sta
t
e_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
move
__overwri
t
e_cur_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
r
pe
n
ter
There was debuggi
n
g out
p
ut
t
hat accide
n
tally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove a state fr
o
m it's -
>
p
o
ols when
set_st
a
te
(
) i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Don't dele
t
e the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
Try understand the imp
l
ica
t
ions f
r
om
compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Create a
s
ta
t
e
&
merged
.
When w
e
merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpente
r
Ok
.
This ti
m
e s
m
atch_implied _really_ does
s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
I
gnore
c
s
cop
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
Smal
l
cleanup
s
.
(Whit
e
space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add
some more locking fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pools
s
o
t
ha
t
at
l
eas
t
it d
o
e
s somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It se
e
med like trac
k
er_list
wou
l
d be u
s
e
ful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Add a REA
D
ME desc
r
ibing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
A
d
d
script to
f
ind NULL dereferences between fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpen
t
er
F
i
x usage mes
s
age
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Check for
m
alloc() as well as
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Fix segfault when h
a
ndli
n
g implicitly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpe
n
ter
Warn wh
e
n we don't acquir
e
l
ocks when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (an
d
fail) to
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpe
n
ter
Almo
s
t p
r
in
t
a message
w
hen you
come to unreacha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
heck
to l
o
ok for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
n
ter
Add checking
for lock
_
kernel()/unl
o
c
k_
k
ernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Make c
h
eck
_
l
ocking check b
o
t
h sp
i
nlocks
a
n
d sem
a
ph
o
res
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add a new funct
i
on sl
i
s
t
_has_
s
tat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If ther
e
is an i++ then th
e
value of 'i' is undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
Ad
d
a new
c
h
eck_locking
s
cri
p
t that che
c
ks spinlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carp
e
nter
Save the
p
ossible states i
n
s
t
ead
of
j
ust merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Ignor
e
emacs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
M
erge branch
'master' into pools
5
commit
|
commitdiff
|
tree
2009-01-20
Dan
Carpenter
F
ix likely()
a
nd un
l
ikely(
)
hand
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
ar
p
enter
Add singl
e
quotes around the variable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carp
e
nter
We could sav
e
some memory by not a
l
loc
a
ting
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an
Ca
r
penter
Add a comment showing w
h
ere
t
he tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an
Carpe
n
te
r
This
is le
f
t
over from Oc
t
ober as part of the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Add
get_possi
b
le_
s
ta
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff le
f
t
over from
October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We
could
s
ave so
m
e
memory by not allocatin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next