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
Handle declarations inside switch statement blocks.
2009-02-22
Dan Ca
r
penter
H
andle declarations inside swi
t
ch
s
tatement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
C
l
eanup i
s
_ze
r
o
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpente
r
Add known_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix han
d
ling of continue in
s
i
de do
w
hile statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
n
t
er
Don't set let people s
e
t
states for unreach
a
b
l
e co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Small clea
n
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Handle
t
he it
e
r
a
to
r
s cor
r
ect
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
Ad
d
support fo
r
"if (a?b
:
c) {
.
.
.
" tern
a
ry
conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Add s
o
me su
p
po
r
t
f
o
r _spi
n
_t
r
yl
o
ck() an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a
|
|
b)
{
a->foo; should
p
rint
a
n error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpen
t
er
T
h
is pr
i
nts o
u
t error
m
essag
e
s all t
h
e time that
a
re
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carp
e
nter
A
ssig
n
m
ent always sets &isfreed to something else li
k
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't prin
t
c
ross_f
u
nc
e
rrors if the
c
all
e
d function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
t
e
r
Remov
e
cal
l
t
o alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call
the merge_ho
o
k() instead of setting the st
a
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Oo
p
s
.
Meant to
c
ommit t
h
is ear
l
ier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
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 returns lists
a
t the end of eac
h
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Move
the imp
l
ications
c
hecking to after t
h
e
s
c
r
ipts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Rewrite completely with new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpen
t
er
Add some function
s
to handle tracker l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Don't segfault all th
e
time when c
h
ec
k
in
g
forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Te
s
t to se
e
if we are ca
t
ching cross
f
unc
t
i
on derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Use the
-
>possible
states and remov
e
the merge_
h
ook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"whil
e
((1)) {" is a f
o
re
v
er
l
oop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
fixes to the
->
p
ossible set
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Me
r
ge bran
c
h 'mast
e
r'
i
nto n
u
ll_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validat
i
on script for check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carp
e
nter
Cl
e
an u
p
.
new->possible is always n
u
l
l
h
ere
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
pe
n
ter
Oops
.
->possibles wasn
'
t
g
etting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Ca
r
p
e
n
t
er
Use
s
trip_expr() in
split_co
n
di
t
i
ons() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some
more operat
i
ons
to ge
t
_v
a
l
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged
i
n
s
tead
o
f &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpe
n
ter
make get_value() return a value for
bitwise
or exp
r
ession
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try a
g
ain
re
m
o
ving states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Reve
r
t "Re
m
ove a
state from it
'
s ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Eliminate
a
warni
n
g
.
Probably the wrong
way
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
e
r
Clean ups
.
Comment
s
.
Rename slist_stac
k
to nam
e
d_
s
t
a
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Ha ha
.
I still suc
k
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
enter
Cleanups
.
C
omments
.
Remove debugging
code fro
m
f
i
lte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
p
enter
Clean up
.
Also preserve the ->pools in
o
ne path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Cl
e
an u
p
get_stat
e
_s
l
is
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
__overwrite_cur
_
sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
T
h
ere
w
a
s
debugging output that accidentally
got commi
t
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Re
m
ove
a
state
from it
'
s -
>
pools w
h
en
s
et_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Do
n
't delete
t
he ->pools on m
e
rg
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Tr
y
underst
a
n
d the implic
a
tion
s
f
rom c
o
mpound condit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
te
r
Create a state
&
me
r
g
e
d
.
When we merge
stuff
i
t isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
t
e
r
Ok
.
This time smatch_implied _real
l
y_ d
o
e
s
somethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Small cl
e
anups
.
(Wh
i
te
space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pen
t
er
W
hit
e
space
c
hange
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Add some more
locking
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
ix imp
l
i
ed poo
l
s s
o
th
a
t at least
it
d
oe
s
somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
It seemed
like
t
r
acker
_
list would be useful in a lo
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nte
r
Add a RE
A
D
M
E
de
s
c
r
ibing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Ca
r
penter
A
dd script to find NULL de
r
ef
e
r
ences be
t
w
een functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
C
heck
f
or malloc() as
w
ell as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Fix segfaul
t
when hand
l
ing i
m
plicitly decl
a
r
ed function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
rpente
r
Warn
when w
e
don't acquire
locks when c
a
lli
n
g certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpe
n
t
e
r
Try (and f
a
il)
t
o
f
ind me
m
ory le
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Almos
t
prin
t
a me
s
sage when
you
come to
u
nreac
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carp
e
nt
e
r
A
d
d check to look for d
o
ub
l
e f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
h
ecking
for lock_k
e
rnel()
/
unlo
c
k
_kern
e
l(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Make check
_
lockin
g
c
h
e
ck both spinlo
c
k
s and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Add a
ne
w
fun
c
tion slist
_
has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If
t
he
r
e
is an i++
t
hen
t
he value of 'i'
is undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arp
e
nter
Ad
d
a
new ch
e
c
k_l
o
cking script that chec
k
s spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Save the
po
s
s
i
ble st
a
tes instead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpente
r
Ignore emac
s
garba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Merge branc
h
'mast
e
r' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We
c
ould
s
a
ve
s
ome memor
y
by not a
l
locating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add a comment s
h
owing
wher
e
t
he tests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ente
r
This i
s
left ov
e
r f
r
o
m October
a
s part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add g
e
t_pos
s
ib
l
e_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Stu
f
f
l
eft over from October
.
Implied
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpente
r
We could save som
e
memory by not allocat
i
ng ne
w
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
A
dd
more comme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
A
dd a m
e
rge hook
.
Handle the situatio
n
s
l
i
k
e:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpen
t
er
strcmp() do
e
sn't accept NULL argum
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
rename
t
wo fun
c
tions: get_variabl
e
_from_exp
r
_
s
imple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
g
et_vari
a
ble_from_expr()
u
ses
a
stati
c
buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arp
e
nter
Create a
c
heck_te
m
pl
a
te
.
c ex
a
m
ple
s
cript that
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
M
a
ke get_all_stat
e
s() n
o
t segfault every ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Car
p
enter
Fix get_va
l
u
e
() to re
t
urn negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpente
r
W
e only ever pass one parameter
i
nto get_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fi
x
get_all_sta
t
es() to match t
h
e f
u
n
ct
i
on definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
te
r
Re
m
ove add_
s
tat
e
() a
n
d
state_de
f
i
n
ed() defini
t
i
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean u
p
.
Fix
l
e
ak
.
My pr
o
b
le
m
is that I don't
u
n
d
e
rsta
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Initial commit of the "i
m
plied s
t
a
t
e po
o
l
s" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We have
n
't been using smatch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Get r
i
d of p
a
th_
h
istory
.
It's never going to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
arpent
e
r
Make goto_stac
k
sta
t
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed u
p
merge_
s
list
n
ow
t
h
a
t
the slists a
r
e o
r
dered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpen
t
er
Inser
t
st
u
ff onto lists in a
s
orted or
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
e
n
ter
D
e
lete an unused
f
unction merg
e
_sta
t
e_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n
C
a
rpente
r
fi
x
:
i
f (*foo) { (*foo)
-
>bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kma
l
lo
c
() and friends do
n
't a
l
ways return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rp
e
nter
T
he checks from h
e
re got
m
erged into check_null_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next