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
D
a
n
Carpenter
Ad
d
a new check_
l
ocking s
c
ript that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an C
a
rp
e
nter
Save the possibl
e
state
s
inst
e
ad
o
f
just merg
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
g
nore emacs
g
a
rbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
ent
e
r
Merge
branch
'
master'
i
nto poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Fix
likely() and unlikely() hand
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
an
Carpenter
Add singl
e
quote
s
a
r
ound t
h
e
variable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save some memory
b
y no
t
allocating new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add a c
o
mment showing where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
This
i
s
l
e
ft over
from October as par
t
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
enter
Stuf
f
left over f
r
om October
.
Implied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpenter
We could save some memory by
not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memo
r
y leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carp
e
n
t
er
Ad
d
a
merge hook
.
Handle
the situations li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpe
n
ter
strcmp()
d
o
e
s
n
't
accept
N
ULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pent
e
r
rename two functi
o
ns:
g
et_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
get_
v
ariable_from_expr() uses a s
t
ati
c
b
uf
f
er and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Cr
e
ate a check_templ
a
te
.
c example script th
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_a
l
l_states() not segfault
ev
e
ry
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_value() to re
t
urn
negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pa
s
s one
p
a
rame
t
er
into get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fi
x
get_all_states() to mat
c
h the
fun
c
tion d
e
finition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
add_sta
t
e()
a
nd stat
e
_defined() d
e
fi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Clean
u
p
.
F
ix le
a
k
.
M
y problem is that I don't un
d
e
r
stand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rp
e
n
ter
Initial
c
om
m
it
o
f t
h
e "implied s
t
ate pool
s
" st
u
ff
.
.
.
.
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 sm
a
tch_
e
xtra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Car
p
e
n
ter
G
et rid of path_hi
s
tory
.
It
'
s never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Ma
k
e go
t
o
_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an C
a
rpenter
Speed up merge_
s
list now
t
hat the slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Insert stuff
o
nto l
i
sts in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpent
e
r
Delete an unused f
u
nc
t
i
o
n
merg
e
_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Car
p
enter
f
ix:
if
(
*foo) {
(*
f
oo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpente
r
kmalloc() and fr
i
ends don't always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carpenter
The
c
hecks
f
rom here got mer
g
ed into
c
heck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
ar
p
enter
Move
the st
u
ff
f
r
om check_der
e
fed_para
m
s
.
c into c
h
eck_nul
l
_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bu
g
i
n
or_slist_stack()
.
if (a && b)
w
asn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
dd a hoo
k
at
the end of a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgo
t
another
s
t
rip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handl
e
assig
n
meents inside c
o
nditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
C
a
rpen
t
er
Onl
y
print
something fo
r
a->foo
a
nd not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpe
n
ter
Igno
r
e array declarations
.
T
h
o
s
e can't be NUL
L
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpent
e
r
Make
c
ur_slist static
.
It's only use
d
in sma
t
ch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
W
h
ite space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carp
e
nter
Use merge_
s
li
s
t() inst
e
ad of tr
y
ing to handle
it
yourse
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
__pro
c
ess_continues()
i
s
suppo
s
e
d
to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
pente
r
New smatch_ign
o
re
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
(foo) = 1
is the
same
as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
Gene
r
aliz
e
stip_
c
asts()
.
It's now called
s
trip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
rpenter
Ig
n
o
r
e c
a
s
ts
.
foo((int
*)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Car
p
enter
C
r
eated
s
how_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
gnore stuf
f
like
foo
.
bar
.
We only
c
are about fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
What happens befo
r
e is that
p
arameters wo
u
l
d
get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Missed a crashing bug in th
e
int =>
s
t
ru
c
t conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpe
n
ter
I c
a
n't believe I was doi
n
g
s
t
a
cks wrong t
h
is
w
hole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed
smatch state from being an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpenter
I want
t
o reus
e
t
he name smatch_state
.
T
h
e c
u
rrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
Redo th
e
null pa
t
h thing
.
S
o long as t
h
ere is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Complica
t
ed
i
s just a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpent
e
r
Arr
a
ys a
r
e
c
omplicated so th
e
y shoul
d
n't be ret
u
rned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
rp
e
n
ter
If we call set_sta
t
e from insi
d
e a condi
t
ion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Ca
r
penter
I
f the poin
t
er i
s
initialized
to
non-null
t
hen
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
an Carpent
e
r
ignore the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpe
n
ter
W
he
n
we merge 2 slists we need to deal with the ca
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan C
a
rpenter
Cl
e
a
n
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Add nu
l
lify the p
a
th wh
e
n you have for(;;)
;
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
M
e
rge branch '
l
s' into
u
ltratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carp
e
nter
Merg
e
branch
'
unnul
l
i
fy' int
o
l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
L
o
t
s
of
d
o whil
e
(0) loops do
n
't
call bre
a
k so
it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpente
r
R
emo
v
e un
n
ee
d
e
d
c
heck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an Carpent
e
r
Fix or_slist_sta
c
k()
.
B
e
fore it just save
d
one
s
tack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
Carpenter
crap crap
c
r
ap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arpenter
Clean
u
ps and add s
o
me _
_
unnullify
_
p
ath stuff
.
Hopeful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpe
n
ter
Small clea
n
up
.
got
o
_stack shou
l
d only b
e
use
d
i
n smatch_s
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
Fi
x
bug savin
g
the false_
o
n
l
y
st
a
ck
.
Before co
d
e l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpenter
T
h
i
s
is the
s
tart of
th
e
smatch_extra st
u
f
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an
C
arpent
e
r
Fix
o
ver
w
rite_slist() so it tak
e
s
a
p
ointer
t
o a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
a
rpenter
Make smatch
_
ext
r
a de
p
end on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
an Carpe
n
ter
Mov
e
is_zero() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
Fix a big
bug
.
g
e
t_s
t
ate_slist() was
a
lways
getti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Merge
.
.
/
.
.
/smatc
h
/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rpen
t
er
Merge
branch '
d
evel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
Save the pre
con
d
ition
s
inside the condit
i
ons so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
ar
p
enter
The main change h
e
r
e was to com
p
letely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpe
n
ter
B
r
eak t
h
ings ou
t
into functions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Ca
r
penter
Ha
n
dle while an
d
for
loop
s
slight
l
y be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
D
an Carpente
r
I removed nullify_pa
t
h()
e
arlier but that
was a mis
t
ake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
e
r
I don't think
the specia
l
_kernel
_
macro
s
() funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
n
t
e
r
Add
a
fun
c
tion to
d
o a strcmp() with
a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Remove everything t
o
do with pa
t
h_id'
s
.
I could
n
't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nt
e
r
Replace the variab
l
e __nega
t
e with the
function __nega
t
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small clean up
.
Move the passing t
h
e who
l
e
condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpente
r
Crap
.
I mean
t
t
o
m
erge th
i
s earlier 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
a
ll th
e
logic f
o
r handlin
g
conditions in
t
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Oops
.
I
g
uess I deleted the wr
o
ng
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carp
e
n
ter
Don't pass the co
n
ten
t
s of sizeof
(
) to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
I
m
prove how the debug info for
m
erging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
The main thi
n
g is to
handle zero comp
a
risons
b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remo
v
e
u
n
need
e
d code
.
T
h
is stuff is handled in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next