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
Add a new check_locking script that checks spinlocks.
2009-02-02
Dan Carpen
t
e
r
Add a ne
w
che
c
k_
l
ocking script t
h
at
checks spinlo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
ar
p
e
n
ter
Save the possible state
s
instead
o
f
j
ust merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
r
penter
I
gn
o
re em
a
cs garba
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
en
t
er
Merge branch
'
ma
s
ter'
i
nto
pools
5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpente
r
Fix likely() and unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add sing
l
e quot
e
s arou
n
d the
variable
for c
o
nsistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Carpenter
We could save s
o
me me
m
o
ry by n
o
t
alloca
t
ing new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpen
t
er
A
dd a comment sho
w
ing where the tests are s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
T
h
is is
l
eft
over from Oc
t
obe
r
as part of the im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpenter
Add get_possi
b
le_stat
e
s()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
r
penter
Stu
f
f
l
eft o
v
e
r
from October
.
Impl
i
ed pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpent
e
r
We could save som
e
memory by
n
ot alloca
t
ing new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
er
Fix m
e
m
ory leak
.
Add more comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hoo
k
.
Handle
t
h
e situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
s
t
r
c
m
p() d
o
esn't accep
t
N
U
LL
argument
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpent
e
r
r
e
n
ame
two functions:
get
_
vari
a
b
le_from_ex
p
r_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
g
e
t_va
r
ia
b
le_fro
m
_exp
r
(
) u
s
es
a
s
t
a
tic bu
f
fer an
d
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpente
r
Creat
e
a
c
h
eck_template
.
c exampl
e
script
that loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Mak
e
get_all
_
states()
not segfa
u
l
t
ev
e
ry time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
Carp
e
nte
r
Fi
x
g
et_value() to return
ne
g
ative v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
We only ever pass
o
n
e parame
t
er i
n
to get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
n
t
er
F
i
x get_a
l
l_s
t
ates()
t
o
match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Rem
o
v
e
a
dd_stat
e
()
a
nd state_defined() defi
n
itio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Clean up
.
F
i
x
lea
k
.
My probl
e
m is
t
hat I
do
n
't un
d
erstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit of t
h
e
"implied state
p
o
o
l
s
" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
penter
D
o
h
.
We h
a
ven't been
using
s
mat
c
h_extra fo
r
a whi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Get r
i
d of path_history
.
It's
n
e
ver going to b
e
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an
C
arpenter
Make goto_stac
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Sp
e
ed up merge_sli
s
t no
w
t
h
at the slists
a
re ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpen
t
er
Insert st
u
ff onto lists in a sorted
o
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpente
r
Dele
t
e a
n
unused f
u
nction merg
e
_state_
s
tack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpente
r
fix: if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmal
l
oc() and friends don't alw
a
y
s re
t
urn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carpenter
The
c
hecks
from
h
ere
g
ot me
r
ged into check_nul
l
_
d
er
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Car
p
ent
e
r
Move
the
s
tuff
f
r
om check_de
r
efed_params
.
c into ch
e
ck
_
null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
F
ix
bug
i
n o
r
_slist_st
a
ck()
.
i
f
(
a && b
)
wasn't bei
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
a
r
p
enter
Add a
h
ook at th
e
en
d
of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
o
rgot ano
t
her strip_expr()
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Han
d
le assign
m
eents in
s
ide condition
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Ca
r
pen
t
er
Only prin
t
something
f
or a->foo and no
t
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
an Carpe
n
ter
I
g
nore array declaration
s
.
Th
o
se
c
a
n
't
be NULL ob
v
i
o
u
s
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n
Carpente
r
Make cur_s
l
ist static
.
It's only used in smatch_
s
tates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
White space chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
Use merge
_
sl
i
st() inste
a
d of trying
t
o handle it yo
u
rself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
_
_pro
c
ess_continues()
i
s
supposed to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
New smatch_igno
r
e
.
c fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpenter
(
f
oo)
= 1 is the same as foo
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
Genera
l
ize stip_casts()
.
It's now calle
d
str
i
p_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ign
o
r
e cast
s
.
foo((int *)&bar
)
is the same a
s
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Created s
h
ow_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
C
arpenter
Ignore stuff li
k
e foo
.
bar
.
We
o
nly
care
a
b
out foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
What hap
p
ens before
i
s that parame
t
ers wo
u
ld g
e
t assig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a
c
r
as
h
i
ng bug in the i
n
t => stru
c
t conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
C
arpenter
I
can't
b
elieve I
w
as doing st
a
cks
wrong
t
his
w
ho
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
C
arpenter
Changed smatch state
f
rom bei
n
g an
int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I w
a
n
t
t
o
r
e
use the name s
m
atch_state
.
The cu
r
rent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Re
d
o the n
u
ll path
t
hing
.
So long as t
h
ere is o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
C
o
mp
l
i
c
ated is just
a
bo
o
lean
.
Se
t
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
A
r
rays are co
m
p
li
c
a
ted so they
s
h
ould
n
't be
r
etur
n
ed
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
If
we call set_s
t
a
t
e fr
o
m inside
a co
n
ditio
n
then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
If the
point
e
r is initi
a
lized to n
o
n
-nu
l
l then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
ig
n
ore
t
he smat
c
h binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nter
W
h
e
n
we merg
e
2 slists we
n
eed to
d
ea
l
with t
h
e case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Da
n
Carpenter
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Ca
r
pent
e
r
Add nul
l
ify the path w
h
en
you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
r
p
enter
Merg
e
br
a
nch
'
l
s'
into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Merge
b
ranch 'unnullify' into
ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of do while
(
0) loops don't call bre
a
k
s
o it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
C
arpenter
Remove
unneeded chec
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
penter
Fix
o
r_s
l
ist_sta
c
k
(
)
.
Before it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
Carpe
n
ter
crap crap crap
.
do not
use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean up
s
and ad
d
some __unnullify_path stuff
.
H
o
pe
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
S
m
all cleanup
.
goto_sta
c
k should only
be used in smatch_s
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Ca
r
penter
Fix bug saving the false_on
l
y
s
t
ack
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
This is the st
a
rt of
the
smatch_extra
s
tuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
Fi
x
overwrit
e
_slist() so it takes a pointer to a
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
enter
Make smatc
h
_extra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpente
r
Move
is_ze
r
o()
t
o smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carp
e
nter
Fix a big
b
u
g
.
g
et_
s
tate
_
slist() was always
getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
Merge
.
.
/
.
.
/smatch/dev
e
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an C
a
rpenter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
Save the pre condit
i
ons inside the condi
t
ion
s
so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
T
h
e main change here w
a
s
to comp
l
ete
l
y
rewr
i
te ho
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Ca
r
penter
Break thi
n
gs out into functions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carp
e
nter
Hand
l
e
while and for loops sli
g
htl
y
b
ett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
rem
o
ve
d
nullify
_
p
a
th() e
a
rl
i
er but that was a mistak
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
I don't think
the
s
pecial_kernel_macros() f
u
n
c
ti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
n
ter
Add a fu
n
ctio
n
to
d
o a strc
m
p(
)
with a symb
o
l
n
ame
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove ever
y
th
i
ng to do with p
a
th_id's
.
I
c
ouldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace the variable __negate wit
h
t
he function __negat
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpen
t
e
r
Small clean up
.
Move the pa
s
sing th
e
whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
e
nt
e
r
Crap
.
I meant
to
m
erge this
e
arlier
when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved all the logic for handling con
d
itions into
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Oops
.
I guess
I
deleted the wron
g
list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Do
n
't pa
s
s the content
s
of sizeof() to the clie
n
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an C
a
rpenter
Imp
r
ove how the debug
i
nfo for merg
i
ng
s
tates
ge
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
t
e
r
The main thing is
t
o
h
andle zer
o
c
omparison
s
be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
R
e
mov
e
unneed
e
d code
.
This
s
tuff is
hand
l
e
d
in sm
a
tch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next