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
fixes to the -> possible setting.
2009-02-18
D
a
n
Carpe
n
te
r
fixes to the
-> possible settin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpente
r
Merg
e
branch
'master' into nul
l
_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Da
n
C
arpenter
Add validat
i
on scri
p
t for check_n
u
l
l
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
a
rpe
n
ter
Clea
n
up
.
new
-
>p
o
ssible
i
s
always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Oops
.
->poss
i
b
l
e
s
wasn't
getting set co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Ca
r
penter
Use strip_exp
r
(
)
in
split_conditions() inst
e
ad reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add
some more oper
a
ti
o
ns to ge
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
a
r
penter
Return &merged instea
d
of &
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
a
ke get_value(
)
return a value for bitwise or expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try
a
gain removing
states f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
ent
e
r
Revert "Rem
o
ve a
state from it's -
>
pool
s
w
h
e
n set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate
a warning
.
P
r
o
bably
t
he wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
l
e
a
n ups
.
Comm
e
nts
.
Renam
e
slist
_
stack to na
m
ed_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Ha ha
.
I still
s
uck at poi
n
t
ers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nt
e
r
Cle
a
nups
.
Comments
.
Remove debuggin
g
code from f
i
lter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean
u
p
.
A
ls
o
preserve the
-
>pools i
n
o
n
e path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clea
n
u
p
get_state_slist(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remove __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was d
e
b
u
g
ging out
p
u
t
that accidentally got commi
t
t
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
R
e
move a st
a
te
from it's ->pool
s
when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Don't
delete the
->p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
ry understand the implica
t
ions f
r
om compound
c
on
d
ition
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a state &
m
erged
.
When we merge
s
tuf
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carp
e
nter
Ok
.
This ti
m
e
s
match_im
p
lied _really_ does som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
I
g
nore cscop
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small c
l
eanu
p
s
.
(White s
p
ace
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
pente
r
Whi
t
es
p
ace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
A
d
d some
more l
o
cking funct
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix im
p
lied pools so
that at least it does
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
ter
It see
m
ed
like
t
ra
c
k
e
r_
l
ist woul
d
be useful in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
e
r
Add a READM
E
describing sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an C
a
r
p
ent
e
r
Add
script to
f
ind NULL dereferen
c
es
betw
e
en
f
u
n
c
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fi
x
usag
e
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
C
h
e
c
k for
m
alloc
(
) as wel
l
as
k
malloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Fix
s
egfault whe
n
hand
l
ing implic
i
t
ly decla
r
ed functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Warn w
h
en we do
n
't acquire loc
k
s
w
hen c
a
llin
g
ce
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fai
l
) to
fin
d
memory l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Car
p
ent
e
r
Almost print
a m
e
s
sage when you co
m
e to un
r
e
achab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
pent
e
r
Add check to loo
k
for double
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
A
dd
ch
e
c
king for lo
c
k
_
ke
r
n
el()/unloc
k
_k
e
rnel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
ter
Make ch
e
ck_locking che
c
k b
o
th spinlocks and
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Add a new function
s
list_has
_
state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
ter
If t
h
ere is an
i
++ then
t
he value o
f
'i' is un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
new chec
k
_locki
n
g script that
c
h
ecks
spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possible states instead of just mergi
n
g them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
pe
n
t
e
r
Ignore emacs ga
r
bage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge b
r
anch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save
s
ome memory by not al
l
o
c
ating n
e
w memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
a comment showing whe
r
e the t
e
sts are
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over
fr
o
m October as
p
art of the impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add get_p
o
ssibl
e
_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpen
t
er
Stuff left over from October
.
I
mplied
pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Carp
e
nter
We could save some memory by not allocating new mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Ca
r
pente
r
Fix memory l
e
ak
.
Add mo
r
e comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpent
e
r
Add a merge
hook
.
Handle
t
he
s
ituations
l
ike:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp()
d
o
e
s
n't a
c
cept N
U
LL
arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carp
e
nte
r
ren
a
me two functi
o
ns
:
get_vari
a
ble_from_expr_
s
imp
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
ar
p
enter
get_
v
aria
b
l
e
_
f
ro
m
_expr() uses a static buff
e
r
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an C
a
rp
e
n
te
r
Create a check_t
e
mplate
.
c exampl
e
s
cr
i
p
t
that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Mak
e
get_all_
s
tate
s
() not se
g
f
a
u
lt every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Fix get_value
(
) to r
e
turn
negative valu
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpente
r
W
e only ever pa
s
s
o
n
e
parameter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Car
p
enter
F
ix get
_
all_st
a
tes(
)
to ma
t
ch th
e
function definitio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpente
r
Remove add_stat
e
() an
d
state_
d
efi
n
ed() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fi
x
leak
.
My problem i
s
that I
d
on't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
In
i
tia
l
commit of the
"
imp
l
ied state pools
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
Doh
.
We have
n
't been usi
n
g smatch_extra f
o
r a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpen
t
er
Get rid of
pa
t
h_his
t
ory
.
It's ne
v
er going
t
o be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make
g
oto_stac
k
st
a
ti
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_slist now that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
Insert stuff on
t
o lists in a s
o
rted orde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Carpenter
Delet
e
an
u
n
used
f
unction merg
e
_state_st
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nter
f
ix: if (*foo) {
(*foo)-
>
b
ar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
ter
kmall
o
c() and frie
n
ds
do
n
't always
return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The checks
from here got m
e
rge
d
into chec
k
_
null
_
dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Mo
v
e the
st
u
ff from chec
k
_dere
f
ed_params
.
c i
n
to ch
e
c
k
_
null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Fix bug
i
n or
_
slis
t
_
s
tack()
.
if (a &&
b
) wasn't
be
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
ter
Add
a
hoo
k
at the end
of a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
arpenter
Forgo
t
a
n
o
ther st
r
ip_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpe
n
ter
Handle
ass
i
g
nm
e
e
n
t
s
inside co
n
ditio
n
s better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
ar
p
enter
Only pri
n
t something for a-
>
foo and
not a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
nter
I
g
nore arr
a
y declarat
i
o
ns
.
Those ca
n
'
t be NULL ob
v
iously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make c
u
r_sli
s
t
static
.
I
t's on
l
y used in smatch_s
t
a
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Ca
r
penter
White space change
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
Use merg
e
_s
l
ist
(
)
instead of tryi
n
g
to handle it yo
u
rself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
_
_
p
r
o
cess_continues() is supp
o
s
ed
t
o
b
e basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
r
p
enter
N
e
w smatch
_
i
gnore
.
c fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
n
t
er
(foo) = 1 is the
same as foo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Ge
n
e
ralize stip_casts()
.
It's
now
c
al
l
ed strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nte
r
I
g
nore c
a
sts
.
foo((int *)&bar) is
t
h
e same
as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
ent
e
r
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpente
r
Ignore st
u
ff l
i
ke
foo
.
b
a
r
.
We
o
nly care ab
o
ut foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpe
n
ter
What happens before i
s
that p
a
r
a
meters would get assi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpent
e
r
Missed a crashin
g
bug in
t
he
i
nt
=> struct
conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpent
e
r
I can'
t
believe I
w
a
s doing
s
tacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Ch
a
nged smatch state
f
ro
m
b
e
ing a
n
i
n
t
t
o
b
e
ing pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
I wa
n
t
to reuse the name sma
t
ch
_
state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
Redo t
h
e null path thin
g
.
So long
as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
lean u
p
.
Comp
l
icated is just
a boo
l
ean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge b
r
anch 'de
v
el'
commit
|
commitdiff
|
tree
next