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
New function harmonize_states()
2009-02-25
D
a
n Carpenter
New function harm
o
nize
_
state
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carp
e
nter
call
_
_split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpenter
remove
unnee
d
e
d
c
alls to _
_
use_cond_true_sta
t
es();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Don't set the implied state to &merg
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make cmp_tracker() acc
e
ssible to outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpenter
A
l
l
t
he
s
t
a
tes a
r
e implied
not just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
a
rpenter
Im
p
rove lock check
o
utput
.
Add m
o
r
e validation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpent
e
r
Add support for down_interrup
t
ibl
e
() a
n
d
f
riend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpent
e
r
Fi
x
the Unclear loc
k
ing thi
n
g
.
A
gain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carp
e
n
te
r
W
a
rn on double lock/unloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
P
r
int fe
w
e
r Uncle
a
r locking
me
s
sages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
if ((1)) {
.
.
.
is a
k
n
own
_
condition_t
r
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
Add sup
p
ort for tho
s
e f
u
nny gcc ({
.
.
.
})
b
l
o
ck st
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpe
n
ter
Ha
n
dle
d
ec
l
a
ratio
n
s inside s
w
itc
h
sta
t
ement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpen
t
er
Cleanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Ad
d
known
_
con
d
i
t
io
n
_
false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Fix h
a
ndlin
g
o
f continue inside do while
s
tateme
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Ca
r
p
e
nter
Don't set le
t
people set states for unreachab
l
e code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an
Carpente
r
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
Handle
t
h
e
iterators
corre
c
tl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
Ca
r
p
e
nt
e
r
Add support fo
r
"if (a?
b
:c) {
.
.
.
"
t
ern
a
ry
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some suppo
r
t for _
s
pin_trylock
(
) and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
if (a ||
b
) { a->fo
o
; should
print an err
o
r
.
A
l
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
This pr
i
nts o
u
t er
r
or
messa
g
es all the
time
th
a
t are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
Assignment always sets &isfreed to
s
o
mething else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don
'
t print
c
ross
_
func
e
rrors if the called funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Remove
call t
o
alloc_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Call th
e
merge_hook() instead of setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Oops
.
Mea
n
t to commit this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpenter
Add
the merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Clear the retur
n
s lists at the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Move
the implicatio
n
s ch
e
cki
n
g to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Rewrite complet
e
ly wi
t
h new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add some f
u
nct
i
o
ns to handle track
e
r
lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't segfault all the ti
m
e when checking foreve
r
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpent
e
r
Test t
o
s
ee
i
f we
are catc
h
ing c
r
os
s
funct
i
on derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
U
se the
->possible s
t
at
e
s and remove
the merg
e
_h
o
o
k
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"
whi
l
e ((1)) {" is a fo
r
ever loop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the -> possible set
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
ter
Mer
g
e branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation scrip
t
for c
h
ec
k
_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
en
t
er
Cl
e
a
n
up
.
new->poss
i
bl
e
is a
l
way
s
null he
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->po
s
sibles
wa
s
n
't getting se
t
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Ca
r
p
e
nter
Us
e
strip_expr
(
) in
spl
i
t_c
o
nditions
(
) inste
a
d r
e
producing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpe
n
ter
Add some m
o
re operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retu
r
n &merged instead of &und
e
fin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
ma
k
e get_va
l
ue(
)
return
a value
f
or bitwise or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try again remov
i
ng st
a
tes from pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
v
e
rt "Remove a state fr
o
m it's ->pools wh
e
n set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elim
i
n
a
te a warning
.
Probably the wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean u
p
s
.
Comment
s
.
Rena
m
e slist_stack t
o
n
amed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
H
a
ha
.
I stil
l
suck at poin
t
er
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
leanups
.
Com
m
ents
.
Remove deb
u
gg
i
ng code f
r
om filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean up
.
Also preserve t
h
e
->pools i
n
o
n
e path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
t
e
r
Clean
u
p
get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
__o
v
e
r
write_cur_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
There was debuggi
n
g output
that accidentally got committe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
Remove a s
t
ate f
r
om it's ->
p
ools when set_st
a
te
(
) i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Don't delete the ->p
o
ol
s
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Try understand the im
p
licat
i
ons fr
o
m compou
n
d c
o
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpent
e
r
Create
a
state &merged
.
When
we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
penter
Ok
.
This time
s
match_i
m
plie
d
_
r
e
al
l
y
_
does somet
h
in
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ign
o
re cscope fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
Whitespa
c
e ch
a
n
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ad
d
some mo
r
e locki
n
g
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix im
p
lie
d
pools so t
h
at at least
i
t
d
oes something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed l
i
k
e
tracker_list would be
u
seful i
n
a
l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Add a READM
E
des
c
ribing
s
matc
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Add script to
f
in
d
NULL deref
e
rences betw
e
en functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Check for malloc() as well as km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault when
handling i
m
pli
c
i
tly dec
l
ared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Car
p
ent
e
r
W
a
rn when
we don't acquire
lock
s
when
c
alling c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and
fail
)
to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpe
n
ter
A
l
most print a m
e
ssage when
you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
pe
n
t
er
Add check to look f
o
r d
o
u
ble frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Car
p
enter
Add checki
n
g for lock_kern
e
l()
/
u
n
lock_kerne
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make ch
e
c
k_
l
ocking check b
o
th sp
i
nlo
c
ks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpe
n
t
e
r
Add a new funct
i
o
n slis
t
_ha
s
_
s
tat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpen
t
er
If the
r
e
is
a
n i+
+
then
t
he value
o
f
'i' is u
n
def
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add a new check_
l
ocking s
c
ript that c
h
ecks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
S
a
v
e th
e
possible states in
s
tead of
j
ust
merging
t
hem
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpe
n
ter
Ignore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge
b
r
a
nch 'master' into
p
oo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely() and unlikely(
)
hand
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add s
i
ng
l
e quotes around the var
i
able for consi
s
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Car
p
enter
We
c
oul
d
save some me
m
ory by
n
ot all
o
cating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
A
dd a commen
t
s
howing where
t
he test
s
are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This
i
s left over from October as part o
f
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpenter
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Stuff left over
f
rom Oc
t
ober
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Ca
r
p
e
nte
r
We cou
l
d save som
e
memory
by not allocating new m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
e
r
Fix me
m
ory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Add
a
merge h
o
ok
.
Handle the situa
t
i
o
ns li
k
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't
a
c
cep
t
NULL argum
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpent
e
r
ren
a
me tw
o
f
u
nctions: get_va
r
iable
_
from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Ca
r
p
e
nter
get_variable_f
r
om_expr() us
e
s a st
a
tic buffer and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Cre
a
te a
c
heck_te
m
plate
.
c exampl
e
script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_st
a
tes() not segfault ev
e
ry
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next