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
Remove unneeded allocation.
2009-02-03
D
a
n Carpenter
Add
c
h
e
ck to look for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
r
p
ent
e
r
Ad
d
checking for l
o
ck
_
kernel()/unlock_
k
ernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
a
k
e check_locking check both
spinlocks and
s
em
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a n
e
w function s
l
ist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If the
r
e is
a
n i
+
+ then the
value of 'i' is
undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Ad
d
a
n
e
w chec
k
_locking script t
h
a
t
checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Save the po
s
si
b
le state
s
instea
d
of just mer
g
i
n
g them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emac
s
gar
b
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge
branch 'master
'
into
p
ools5
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carp
e
n
ter
Ad
d
a comme
n
t s
h
owing w
h
ere
the tes
t
s ar
e
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an
C
a
rpenter
This is left over
f
rom October as pa
r
t o
f
the i
m
plied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
A
dd g
e
t_possible_st
a
tes()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over from Octo
b
er
.
I
mplied p
o
ols w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Carp
e
nter
W
e
co
u
ld save so
m
e memory by not all
o
c
ating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix
m
e
mory
l
e
ak
.
Add mo
r
e comm
e
nt
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merg
e
ho
o
k
.
Handle
t
h
e
s
i
tuations lik
e
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
str
c
m
p()
doesn't
a
ccept NU
L
L argum
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
two functio
n
s
:
get_variable_fr
o
m_expr_simp
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ge
t
_variable
_
from_expr
(
) uses a
s
tat
i
c
buff
e
r
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
nter
Create
a
che
c
k_template
.
c
e
xample script tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Ma
k
e get_all_states() no
t
segfault every tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix get_v
a
lue() to return negative v
a
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpe
n
ter
We
only ever pass one parameter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix
g
e
t_all_state
s
() to
m
atch the
function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remo
v
e add_state() a
n
d state
_
defined(
)
defi
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nte
r
Clean
u
p
.
Fix
l
eak
.
My p
r
oblem is that I don't und
e
r
stand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an C
a
rpenter
Ini
t
ial commit of
the "implied state poo
l
s
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Doh
.
We haven't been us
i
ng smatch_extra f
o
r a w
h
il
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid
o
f path_hist
o
ry
.
It's
n
ever going to b
e
u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Make goto
_
stac
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpe
n
ter
Speed up m
e
rg
e
_slist n
o
w t
h
at
the
slists ar
e
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Ins
e
rt stuff onto lists in a sorted
order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Delete an un
u
sed functi
o
n merge
_
state_stack(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
f
ix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc(
)
and friends don't alwa
y
s re
t
u
rn
a n
o
n-n
u
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The check
s
from here got merged into check
_
null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff
from check
_
derefe
d
_para
m
s
.
c into
ch
e
ck_nul
l
_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
rpenter
F
i
x bug in or_slist_
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 Carpenter
Ad
d
a
hook at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forg
o
t another strip_
e
xpr() ca
l
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nte
r
Ha
n
dl
e
assignmeent
s
inside
c
ondi
t
ions be
t
ter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print something
f
or a->foo and not
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpe
n
t
e
r
Ignore arr
a
y declarat
i
ons
.
Thos
e
can't be NULL obviousl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
pent
e
r
Make cur_slist static
.
It
'
s only u
s
ed in smatch_
s
tates
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space cha
n
ge
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_sli
s
t() inste
a
d
of trying to ha
n
dle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
__process_contin
u
es() is supposed to be basi
c
ally the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
rpenter
N
e
w smatch_igno
r
e
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo)
= 1 is the sa
m
e
as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
Gene
r
alize stip_casts()
.
I
t
's now called strip_ex
p
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpe
n
t
e
r
Ignore
c
a
sts
.
foo((int *)&
b
ar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an
Carpen
t
e
r
C
r
eated
show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Ignore stuff l
i
ke foo
.
bar
.
We o
n
ly care abo
u
t foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpente
r
Wh
a
t happen
s
before
i
s
that parameters would get as
s
i
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Mis
s
ed
a
cr
a
shing bu
g
in
the int => struct conver
s
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nt
e
r
I can't believe I
w
a
s do
i
n
g
sta
c
ks wrong this
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpente
r
Ch
a
nged sm
a
tch state from being an int to bein
g
po
i
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carp
e
nter
I want to reuse
t
he name sm
a
t
c
h_
s
tat
e
.
T
he cur
r
ent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
R
e
do the n
u
ll path thing
.
So long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean
u
p
.
Compli
c
at
e
d is just a
b
o
o
lean
.
Set it
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpen
t
er
M
e
r
g
e branch 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
D
an Ca
r
penter
S
a
ve the pre
condition
s
inside the
c
onditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpenter
The
m
ain change her
e
was to comple
t
ely rewrite
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpente
r
Break th
i
ngs out into
f
unctio
n
s a bit
.
Clea
n
u
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpen
t
er
Handle while and for l
o
o
ps slig
h
tly
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpe
n
ter
I rem
o
v
e
d nullify_path() e
a
rlier but t
h
at
w
a
s a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
ar
p
enter
I
d
on't think
t
h
e
sp
e
cial_
k
ernel_macros() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nt
e
r
Add
a
f
u
nctio
n
to do a st
r
cmp() wi
t
h a symbol na
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
R
e
move ever
y
thi
n
g to do w
i
th path_
i
d's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
nter
Replace the
v
a
riable __nega
t
e with the function
_
_
neg
a
te()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Small clean
u
p
.
Move the passing the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
C
r
ap
.
I meant to mer
g
e this e
a
rlier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Add a com
m
en
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Mo
v
e
d
al
l
the l
o
gic for
h
a
n
dling condi
t
i
o
n
s int
o
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
O
ops
.
I gu
e
s
s
I deleted the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpent
e
r
D
o
n't pass
t
h
e co
n
ten
t
s
o
f sizeof() t
o
the
client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
Improve
how the deb
u
g info for merging states
g
ets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpen
t
er
The
ma
i
n thing
is to hand
l
e zero comparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
Remo
v
e
u
n
needed c
o
de
.
This stuff is handled
in
smatc
h
_fl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We ne
e
d to be able to b
r
e
ak d
o
wn (fo
o
!= 0) f
o
r
B
UG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
I
d
e
ntif
y
for(;;)
type loops as forever l
o
ops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Add support f
o
r
B
UG_O
N
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
a
rpente
r
What I
'
v
e
s
een is stuff like thi
s
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything that we do
n
't h
a
ndl
e
is obviously complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Merge br
a
nch
'
devel'
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpente
r
Add a comment to get_variable_from_expr_
s
i
mple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Ca
r
penter
Add a c
o
mme
n
t
to get_var
i
able
_
from_exp
r
_sim
p
le()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
C
arpe
n
ter
The nul
l
ify_path(
)
he
r
e is a b
u
g
.
It over-wri
t
es all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
__pr
i
nt_cur_slist() is a usef
u
l func
t
ion for debuggin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
If
y
ou h
a
ve some
t
hing like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpenter
Update the lin
e
numbers f
o
r
e
ac
h
s
tat
e
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
a
r
penter
Change the merge rules
f
or custom merge sc
r
i
pts
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
Move SM_DEBUG
t
o
a he
a
der so everyone can
use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
en
t
er
Add a custo
m
merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carp
e
nter
Update
t
h
e
lin
e
number at
the
v
er
y
start of the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change the debug output a b
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
D
an Carpenter
Add a --debug option
.
It has
t
o
be
the first opt
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carp
e
n
t
e
r
Make sure
t
h
e v
a
r
iable name is NULL t
e
r
m
i
n
a
t
ed othe
r
wise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan
Car
p
enter
Small clean ups
.
No
change in behav
i
or
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
D
a
n Carpente
r
This
is an off by one
e
rr
o
r rea
l
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next