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
Call the merge_hook() instead of setting the state to &undefined.
2009-02-18
Dan Carp
e
nt
e
r
Call
the
m
e
r
g
e_hook() inste
a
d of
s
etting
t
he
s
tat
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Oops
.
Meant t
o
comm
i
t this earlie
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
Add the merge_hook() back i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear t
h
e returns lists at the end of
each f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move
the implications ch
e
cking to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
Rewrite co
m
plet
e
l
y
with
ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
A
d
d
some f
u
n
c
t
i
ons t
o
handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don
'
t segfault
a
ll t
h
e t
i
m
e when check
i
n
g
fore
v
er l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to
see if w
e
a
re ca
t
ching cross f
u
nctio
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Use the ->po
s
sible sta
t
es and remove the merge_hoo
k
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
"while ((1))
{
" is
a
forever loop
.
Ca
l
l strip
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
p
enter
fixes to
the -> possible se
t
ti
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rp
e
nter
Merge branch
'
m
aster' i
n
to null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
rpenter
Add validati
o
n s
c
r
ipt fo
r
check_null_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possible
i
s always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Oops
.
->
p
o
ss
i
bles wasn't getting set corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an
C
a
r
penter
Use str
i
p_exp
r
()
i
n spl
i
t_con
d
i
t
ions
(
) in
s
tead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some
more operat
i
ons to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
make get_valu
e
(
) return a
v
alue f
o
r bit
w
ise
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Try
a
gain r
e
m
oving states
from p
o
ols
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
v
ert "Remove
a state from it's ->p
o
ols when set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Eliminate a warning
.
Pro
b
ab
l
y the wrong
w
ay to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
C
lean
u
ps
.
Comments
.
Rename slist_s
t
ack to na
m
ed_
s
tack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
ente
r
Ha ha
.
I still suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
ps
.
Co
m
me
n
ts
.
R
emove debug
g
ing code f
r
om fi
l
ter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
r
penter
Clean up
.
Also prese
r
ve the
-
>
pool
s
in one p
a
t
h
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean u
p
get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
t
e
r
Remov
e
__o
v
erw
r
ite_cu
r
_s
l
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Th
e
r
e wa
s
de
b
ugging o
u
tput
t
hat ac
c
identally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Remove a state from
i
t
'
s
-
>poo
l
s whe
n
set_st
a
te() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Don't delet
e
the ->p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
Try under
s
tand the
implicatio
n
s from
c
o
mpound condi
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpente
r
C
rea
t
e a state &m
e
rge
d
.
When we me
r
ge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Ok
.
Thi
s
time smatch_implied _
r
eally_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Igno
r
e csco
p
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small clea
n
ups
.
(White
s
p
ace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pente
r
Whitespac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Add so
m
e mor
e
l
ockin
g
fun
c
ti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpente
r
Fi
x
implied pools
s
o that at le
a
st it
d
oes s
o
m
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
I
t
s
eemed l
i
k
e tracke
r
_list would be useful in
a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
A
d
d a REA
D
ME describing
sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Car
p
e
nter
A
dd sc
r
ipt to
find NULL dereferences bet
w
ee
n
functi
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
nter
Fix usage
m
e
s
s
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc() as well as kmal
l
oc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fi
x
segfault
w
hen hand
l
i
ng implicitly declare
d
fun
c
ti
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Warn when we don't acquire lock
s
whe
n
calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try
(
a
nd fail) to
f
ind mem
o
ry leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Almost pr
i
nt a messa
g
e wh
e
n you
c
ome to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add check
t
o l
o
ok for do
u
ble
f
rees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
hecking for lock_kernel()/unlo
c
k_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Make check_lo
c
king check bot
h
s
p
i
n
locks
a
nd semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
f
u
nc
t
ion
slist_has_
s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
en
t
er
If there is an
i++
t
he
n
the va
l
ue of
'
i' is undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
ter
Add a new ch
e
ck_locking
s
cript that chec
k
s spinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Save
t
he possible
states
i
nstead of just mergi
n
g them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Igno
r
e ema
c
s
garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an
C
arpenter
Merge branch 'm
a
s
t
e
r
' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We co
u
ld
s
a
ve so
m
e me
m
ory by not allocating new memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment showin
g
where the
tests
ar
e
supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Th
i
s i
s
left over from O
c
tober as part of the
i
m
plie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add ge
t
_possi
b
le_
s
t
a
tes
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
t
uff lef
t
ov
e
r from October
.
I
mplied p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some memory
by not alloca
t
ing ne
w
memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Car
p
e
nter
Fix
memor
y
leak
.
Add
more comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add
a
merge h
o
ok
.
Ha
n
dle the sit
u
a
tions like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
st
r
cmp() doesn't
a
c
cept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
rename two functi
o
ns: get_variable_f
r
om_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
get_
v
ariable_from_ex
p
r(
)
use
s
a static buffer an
d
y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Ca
r
penter
Create a
c
heck_templa
t
e
.
c example scr
i
pt that lo
o
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
M
a
ke get_all_states(
)
not segfault ever
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
a
r
p
enter
Fix ge
t
_va
l
ue() to ret
u
rn negative val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e
only ev
e
r pass o
n
e par
a
meter into get_
v
alue(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Fix get_a
l
l_s
t
ates()
to m
a
t
c
h the func
t
ion
definiti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Remove ad
d
_
s
tate()
a
nd state_defined() defi
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Clean up
.
F
i
x
leak
.
My prob
l
e
m
is
t
hat I do
n
't understan
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nte
r
Initial commit of the "implied sta
t
e p
o
ols" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
p
e
nte
r
Doh
.
We haven't been usi
n
g s
m
atc
h
_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get
rid of path_history
.
It's never g
o
ing to be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpe
n
te
r
Make goto_s
t
ack
s
ta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
D
an C
a
rpenter
Speed
up
m
e
r
ge_s
l
ist now
t
hat the s
l
ists a
r
e
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Carpenter
Ins
e
rt
stuff
o
nto lists in a sorted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Ca
r
penter
Delete an unu
s
ed funct
i
on mer
g
e
_
s
tate_sta
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpenter
fix: if (*foo) { (*
f
oo)->bar
;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
k
m
a
lloc() and f
r
ien
d
s
don't a
l
way
s
r
e
t
ur
n
a
n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The check
s
f
r
o
m
h
e
re
g
ot merge
d
i
nto ch
e
ck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff from chec
k
_
derefed_params
.
c
into chec
k
_n
u
ll_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix
bug in or_sl
i
st_stack()
.
if (a &&
b
) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpe
n
ter
Add
a
hook at
the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nt
e
r
Forgot anoth
e
r str
i
p_ex
p
r() call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assi
g
nme
e
nts i
n
side condi
t
ions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
On
l
y print s
o
m
ething
f
or
a->
f
o
o
and not
a
.
f
oo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Car
p
en
t
er
Ignore ar
r
ay declarations
.
Those can'
t
be N
U
LL
obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
ent
e
r
Make cur_slist static
.
It'
s
only used in sma
t
ch_state
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
Use mer
g
e_slist() instead of try
i
ng to
h
an
d
le it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
_
_
p
r
o
c
ess_continues()
i
s supposed to
b
e basi
c
all
y
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpente
r
New
smatch_ignore
.
c
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
(foo)
=
1 i
s
the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize
s
ti
p
_
casts()
.
I
t's
n
o
w called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next