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
Clear the returns lists at the end of each function.
2009-02-18
Dan C
a
rpen
t
er
Clear the returns li
s
ts at
th
e
en
d
of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the
impl
i
cati
o
ns c
h
eckin
g
to
after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpe
n
t
er
R
ewrite completely with
n
ew goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Ad
d
some functions to handle tracker li
s
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't segfault all the time when
c
hecking fo
r
ever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Test to see if
w
e are catching c
r
oss
function d
e
refs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Use the -
>
p
ossible
states and remove the merg
e
_hook
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while
(
(1)) {" is a forever
l
oop
.
C
all strip_
e
xpr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes
to the ->
p
o
s
sible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
ter
M
erge branch 'master' into null_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
Add validat
i
on script for check_null_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpent
e
r
Clean up
.
new-
>
po
s
s
ible is
a
lways null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Oops
.
-
>possibles wasn'
t
gettin
g
set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Use strip_ex
p
r() in split_condi
t
io
n
s() instea
d
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Add some
m
ore op
e
rati
o
ns to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Return &merged instead o
f
&un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpente
r
ma
k
e get_value()
r
eturn a value
for
b
itwise
o
r
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Tr
y
agai
n
removing sta
t
es fr
o
m pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "R
e
mo
v
e a state
f
r
o
m it's ->
p
ools wh
e
n set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Ca
r
p
e
nter
Eliminate a warni
n
g
.
Probably the wron
g
way
t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean
u
ps
.
C
o
m
men
t
s
.
R
e
name slist_stack to n
a
m
e
d_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Ha
ha
.
I sti
l
l
suck at poi
n
t
er
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Cleanups
.
Comments
.
Remo
v
e debugging code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
e
nter
Clean
up
.
Also pre
s
er
v
e the ->p
o
ols
i
n one path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean
u
p get_state_
s
list()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remove
__overw
r
ite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
T
he
r
e was debugging output
that acci
d
entally got
comm
i
tted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Re
m
ove a s
t
ate from it's ->poo
l
s when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete t
h
e ->pools on me
r
gin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
ry under
s
tand th
e
implication
s
from com
p
ound cond
i
tion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Create a state &merge
d
.
Whe
n
we merge stuff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Thi
s
time smatch_implied
_really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
I
g
nore cscope f
i
l
es
.
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
Dan Carpe
n
ter
W
h
itespace ch
a
nge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add
some
m
o
re
l
o
cking func
t
io
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
te
r
Fix
i
mplie
d
p
ools so that
at least it doe
s
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
I
t
seemed like
t
racker_list woul
d
be useful in a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
A
d
d a REA
D
ME
d
escribing
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Add script t
o
find N
U
LL dereferenc
e
s
b
etween
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
er
F
i
x usage mess
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Check for m
a
lloc()
as w
e
ll
a
s
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix segfault when
h
andling implicitly
d
eclared funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an
Carpenter
W
arn
w
hen we don't
ac
q
uire locks when
calling cer
t
ain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
T
ry
(
a
nd fa
i
l) to find memory lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n C
a
rpen
t
er
Alm
o
s
t print a messa
g
e when you come
t
o un
r
eachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
arpente
r
Add check to look for d
o
u
ble
f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add ch
e
cking for l
o
ck_ker
n
el()/unlock_kernel(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
M
a
ke check_locking chec
k
b
oth sp
i
nlo
c
ks and sem
a
p
h
or
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
en
t
er
A
dd a ne
w
function slis
t
_
h
as_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If the
r
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 Carpent
e
r
A
dd a new chec
k
_locking scr
i
pt that
c
h
ecks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
a
ve the po
s
sible
s
ta
t
es instead of j
u
st
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
r
p
enter
Ig
n
ore
e
macs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge
b
ranch
'mast
e
r' into p
o
ols5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely()
a
nd unlikely() ha
n
dling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
an Car
p
e
nte
r
A
d
d
single quotes around
t
he
v
a
r
iab
l
e
f
or c
o
n
s
istency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
an Carpe
n
t
e
r
We
c
ould save some memor
y
by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpent
e
r
Add a comment
s
howin
g
w
h
e
re the test
s
are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
This is left over fro
m
October as par
t
of
th
e
i
m
plie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add g
e
t_pos
s
ible_s
t
ates()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
tuff left
o
ver
from October
.
Implied pools
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpen
t
e
r
We co
u
l
d
save som
e
mem
o
r
y
by not al
l
ocatin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix memor
y
leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
A
d
d a merge hook
.
Handle
t
h
e
situations
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
s
t
rcmp
(
) doesn
'
t accept
N
ULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
r
e
name two
f
unc
t
ions: get_variable_fro
m
_
e
xpr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
n
ter
ge
t
_
variable
_
from_expr() uses a stat
i
c b
u
ffer an
d
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Crea
t
e a check_tem
p
late
.
c example
script t
h
at looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
p
ent
e
r
Mak
e
ge
t
_al
l
_states()
not seg
f
ault
e
very ti
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Ca
r
pent
e
r
Fix get_valu
e
() to return ne
g
ative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We on
l
y ever pas
s
one parameter in
t
o
g
e
t_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
F
ix get_all_sta
t
es() to match the function
d
ef
i
nition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arpenter
Remove
a
dd_stat
e
() a
n
d state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
C
l
ean up
.
Fix lea
k
.
My
problem is that I
d
on't
u
n
d
erstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
rpenter
Ini
t
ia
l
c
o
mmit of the "implied state
p
ools"
stuf
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
Doh
.
W
e
haven't been using smatch_extra for
a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get r
i
d of
path_his
t
ory
.
I
t'
s
nev
e
r g
o
i
n
g
t
o be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carp
e
nte
r
Make go
t
o_st
a
ck
static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an
Carpenter
Speed up merge_slist now tha
t
the slis
t
s are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Inse
r
t stuff onto lis
t
s
i
n a sor
t
ed
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Del
e
te an unused f
u
n
ction merg
e
_state
_
stack(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
f
i
x:
if (*foo) {
(
*
foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmall
o
c(
)
and f
r
iends don'
t
always re
t
urn a no
n
-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Car
p
ente
r
T
h
e checks from here got merged in
t
o check_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff from ch
e
ck_deref
e
d_par
a
ms
.
c
i
nto check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpent
e
r
Fix
b
ug in or_
s
list_stack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
dd a hook
a
t
the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot another strip
_
expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
a
n
dle assignm
e
ents insi
d
e c
o
nditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print
some
t
hing for a->f
o
o and not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Car
p
enter
Ignore array declarations
.
T
hose can't be NULL obv
i
ously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpente
r
Make cur_slist st
a
tic
.
It's only u
s
ed in
s
matc
h
_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
hi
t
e space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpente
r
Us
e
merge_slist() i
n
stead
o
f t
r
y
i
ng
to handle
i
t
y
ourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
_
_
proces
s
_c
o
nt
i
nues(
)
is suppo
s
ed to be basica
l
ly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
N
e
w s
m
a
tch_igno
r
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
pent
e
r
(foo) = 1 is the same as f
o
o =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
eneral
i
ze stip_
c
a
s
ts
(
)
.
I
t's now ca
l
led s
t
rip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Ca
r
pe
n
ter
I
g
nore casts
.
fo
o
((int *)&bar) is the sam
e
as
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next