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
Use the ->possible states and remove the merge_hook().
2009-02-18
Dan Carpenter
U
se
the ->
p
o
s
sib
l
e stat
e
s and remove
t
he m
e
r
ge
_
h
o
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpente
r
"w
h
ile ((1
)
) {" i
s
a forever
l
oop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the -
>
possib
l
e setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Mer
g
e branch 'mast
e
r'
i
nto n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n
Carp
e
nter
Add validat
i
on
script
f
o
r
check_nul
l
_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
lean up
.
new->possi
b
le is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Oops
.
->possibles wasn't getting set c
o
rrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpen
t
er
U
se strip_exp
r
() in spl
i
t_conditions() ins
t
ead
repro
d
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Add so
m
e more op
e
ratio
n
s to g
e
t
_
v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retur
n
&merged
i
nstead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
make
get_val
u
e(
)
return a value
for
b
it
w
ise or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
te
r
Try again
r
emoving st
a
tes
f
rom pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
v
e
rt "R
e
move a state f
r
om it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Eli
m
inate a
w
ar
n
in
g
.
P
r
obably t
h
e wrong way
t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Cle
a
n ups
.
Co
m
ments
.
Ren
a
me slist_s
t
a
ck to
named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
Ha ha
.
I
s
ti
l
l
su
c
k at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
nups
.
C
o
mment
s
.
Remove debu
g
ging code from fil
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Clean up
.
Also
p
reser
v
e the ->pools
in one path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carp
e
nt
e
r
Clean up
get_st
a
te_sl
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __
o
verwrite_cur
_
sl
i
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
enter
Ther
e
was d
e
bugging ou
t
p
u
t
t
hat accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Remove a s
t
ate fr
o
m it's ->po
o
ls when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Don't delet
e
the ->pools o
n
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Try understa
n
d t
h
e implicat
i
on
s
f
r
om com
p
o
u
nd condi
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
C
reate a sta
t
e &merged
.
When we me
r
ge
stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ok
.
This tim
e
smatch_
i
m
plied _really_
d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
Ignor
e
cs
c
ope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small
c
leanups
.
(Whit
e
space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Whi
t
e
space cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Add some more l
o
cking fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Fix imp
l
ied
pools so
that at least it does
some
t
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
It seemed like tracker_list would be useful in a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add a
R
EAD
M
E descr
i
b
ing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add sc
r
i
p
t to f
i
nd NULL dereferences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Ca
r
penter
Fix usage messag
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for
ma
l
loc() as
well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
s
eg
f
au
l
t wh
e
n
h
andli
n
g implicit
l
y
declared funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
War
n
when we d
o
n't acquire locks when calling cert
a
in
.
.
.
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
Dan Carpenter
Almo
s
t print a
m
essage when y
o
u come
to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add check to look for double f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Ca
r
p
ent
e
r
Add
c
h
ecki
n
g for
l
ock_ker
n
el()/un
l
ock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_
l
o
c
king che
c
k
b
o
t
h sp
i
nlock
s
and semap
h
ores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pe
n
t
er
Add a new
f
u
n
c
t
ion slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
If there
is
an i++ then t
h
e
value
o
f 'i' is un
d
efi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_locking sc
r
i
p
t th
a
t
checks spinl
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
ent
e
r
Sav
e
the po
s
si
b
le
s
tates instead of jus
t
m
e
r
ging th
e
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ign
o
re e
m
acs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an
Car
p
enter
Mer
g
e branch
'
mast
e
r'
into po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Dan
Carpenter
F
i
x likely() and unlikel
y
()
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpenter
Add si
n
gle qu
o
tes around the v
a
ria
b
l
e for co
n
sisten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could
s
ave
s
ome memo
r
y
by not
a
l
l
ocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comme
n
t show
i
ng where the tests are s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
This is left
over from October as part of the
i
m
plied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpenter
Add
g
e
t
_poss
i
ble_st
a
tes()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
St
u
ff left
over
f
r
o
m October
.
Imp
l
ie
d
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some memory by not allocat
i
ng new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Da
n
C
arpenter
Fix memory
leak
.
Add more co
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Add a merg
e
h
ook
.
Handle
t
he situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
strc
m
p() doesn't accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
r
ename
t
wo functions:
get_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
get_
v
a
r
iabl
e
_
from_expr() uses a
s
ta
t
ic buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a che
c
k_template
.
c
exa
m
ple s
c
ript that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Mak
e
get_all_states() not
s
e
g
fault every
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_
v
a
l
u
e
(
) to return
n
e
g
ative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e onl
y
ever pass one p
a
r
a
m
e
t
er into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_stat
e
s() t
o
matc
h
the function de
f
in
i
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove a
d
d_state() and
s
t
ate_defined()
d
efinitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Clean up
.
Fix leak
.
My problem is
t
ha
t
I
don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Initial commit of the "imp
l
i
e
d stat
e
pools"
s
tuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We have
n
't
b
een using s
m
atch_ext
r
a
f
or a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpe
n
te
r
Get rid of path_hi
s
tory
.
I
t
'
s
ne
v
e
r going to be use
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_s
l
ist no
w
th
a
t
t
he slists
a
re order
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpent
e
r
Insert stuf
f
onto lists i
n
a
s
orted
o
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
D
e
lete an unused function
m
erge_state_sta
c
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan C
a
r
pen
t
er
fi
x
:
if (
*
fo
o
) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Car
p
e
nte
r
km
a
l
l
oc() and friends don't
alw
a
ys
r
e
turn
a
no
n
-
n
ul
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The
c
hecks fr
o
m here got merged into
c
h
e
ck_null_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff from check_derefed_p
a
rams
.
c
i
nto check_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or_slist_s
t
ack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
d
d a hook at the end of a f
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot another strip_exp
r
() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Handle assignmeents
inside conditions
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only prin
t
something for
a
-
>foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Car
p
enter
Ignor
e
array declarations
.
Those
can't
b
e NULL obv
i
ou
s
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carpente
r
Make cu
r
_sl
i
s
t
s
tatic
.
It's onl
y
used in
s
m
a
t
ch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
W
h
ite
s
p
a
ce changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpen
t
e
r
Us
e
merge_sl
i
st() instead of trying to handl
e
it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
te
r
_
_pro
c
ess_
c
ontinues
(
)
is supposed to b
e
basi
c
ally t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ig
n
o
r
e
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
e
r
(foo)
=
1 is
the same a
s
foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
Generalize stip_casts()
.
It's
n
o
w
called st
r
ip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpen
t
er
Ign
o
re ca
s
ts
.
foo((int *)&bar) is the sam
e
as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
C
r
eated show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Ig
n
ore stuff lik
e
foo
.
bar
.
We only care abo
u
t fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
C
arp
e
nt
e
r
W
h
at happens be
f
ore is that pa
r
ameters w
o
uld g
e
t
assi
g
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Ca
r
pent
e
r
M
i
ssed a c
r
a
s
h
ing bug in the
i
n
t => stru
c
t
co
n
version
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I c
a
n't believ
e
I w
a
s doing stacks wr
o
ng
t
his whol
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch state from being
a
n i
n
t to being pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next