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 some support for _spin_trylock() and friends.
2008-09-25
Dan Ca
r
penter
I
gnor
e
a
r
ra
y
declarations
.
Thos
e
can't be
N
ULL obvi
o
usly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpente
r
Make cur_slist static
.
It
'
s only use
d
in sm
a
t
ch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
White s
p
ace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
merge_slist() in
s
t
ead of tr
y
i
ng to han
d
le
it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__
p
r
o
cess_co
n
tinue
s
() is
s
up
p
osed
to be
basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
ter
New smatch_ig
n
o
re
.
c fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpenter
(foo) = 1 is
the same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
General
i
ze
stip_casts()
.
It's now called s
t
ri
p
_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore ca
s
ts
.
foo((int *)&bar) is the
s
a
m
e
as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carp
e
nter
Created show_stat
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rp
e
n
t
er
Ignore stuff like fo
o
.
ba
r
.
We only care about
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Ca
r
pen
t
er
What happens before i
s
th
a
t parameters would
g
et assign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
Missed
a
crashing bug in the int => struc
t
c
on
v
ersion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpent
e
r
I
c
an't believe I was
doing st
a
ck
s
wr
o
n
g this whol
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
C
a
rpen
t
er
Changed smatch
s
tate from being an int to
b
eing pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want
to reuse t
h
e name smatch_
s
ta
t
e
.
The
current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
R
e
do the n
u
ll path thing
.
S
o
long as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Clean up
.
Complicate
d
i
s
jus
t
a
boolean
.
Set it
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are complica
t
ed so
they shouldn't be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
If we call
set_
s
tate from inside a condition
t
hen
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If the pointer is initialized to
n
on-nul
l
then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpent
e
r
i
gnor
e
t
h
e s
m
atch bin
a
ry
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
W
h
e
n
w
e
merge 2
slist
s
w
e
n
e
ed to de
a
l with the cas
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
C
lean
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
Add null
i
fy t
h
e path whe
n
you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpenter
Me
r
ge branc
h
'ls' int
o
ultr
a
tmp
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Merge branch 'unnullify' into
l
s
commit
|
commitdiff
|
tree
2008-09-13
Da
n
C
a
r
penter
Lot
s
of
d
o while(0) loops don't call break
s
o
it does
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
t
er
Rem
o
ve unnee
d
ed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpenter
Fix or_slis
t
_stack()
.
Before it just save
d
one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
Carpenter
crap
c
rap crap
.
d
o not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups and ad
d
som
e
__unnull
i
fy_path stuf
f
.
Hopef
u
lly
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Sm
a
l
l
cleanup
.
goto_st
a
ck
should only
b
e us
e
d in
s
match
_
sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
Carpent
e
r
Clea
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix bug s
a
ving the
f
alse
_
only
s
tack
.
B
efo
r
e
c
o
de lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is the s
t
a
rt of the smatc
h
_extra st
u
ff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Ca
r
p
e
nter
Fix over
w
rite_sli
s
t(
)
so it take
s
a pointer to a po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
e
n
t
e
r
Make s
m
atch_extra depend
on smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Car
p
en
t
er
M
o
ve
i
s_ze
r
o()
t
o
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a
b
ig bug
.
get_state_slist() was al
w
ays gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
Merg
e
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpent
e
r
Save
t
he
pre c
o
nditions i
n
si
d
e
t
he
co
n
ditio
n
s so
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
The m
a
in change
here was
to c
o
mpletely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break t
h
i
n
gs out into fu
n
c
t
i
ons a bit
.
Clean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpent
e
r
Handle while a
n
d for loops
slightl
y
b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
rpenter
I rem
o
v
e
d
nullify_path() earlier but
t
hat
w
as
a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpe
n
ter
I
don't t
h
ink the
spe
c
i
a
l_kernel
_
m
acros()
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Add a funct
i
on t
o
do a strcmp(
)
with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove everything to do wi
t
h path_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Replace the
variable __negate wit
h
the function _
_
negate
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Smal
l
c
lean up
.
Move th
e
p
a
ssing the whole con
d
ition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
C
r
ap
.
I meant to merge th
i
s
earlier when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpen
t
e
r
Add a c
o
mme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Mo
v
e
d
al
l
the logic
f
o
r handling condi
t
ion
s
into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
Oops
.
I
g
u
e
ss I deleted the wron
g
li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
D
on
'
t
p
a
ss
the cont
e
nts of sizeof()
to t
h
e
c
l
ient
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve
h
ow
t
he
d
eb
u
g info for merg
i
ng states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main
t
hing is to ha
n
dl
e
zero com
p
arisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Ca
r
penter
Remove unneeded code
.
T
his stuff
i
s
ha
n
dled in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
pe
n
ter
We need
t
o be able
t
o
br
e
a
k down (foo != 0) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
I
d
e
nt
i
fy for(;;
)
typ
e
loops as fo
r
e
v
er loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpen
t
er
Add sup
p
or
t
for BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
What
I
've seen i
s
stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anythi
n
g t
h
at we don't handle is obv
i
ously com
p
l
i
c
ated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
M
er
g
e br
a
n
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add a comment to
g
et_v
a
ri
a
ble_fr
o
m_ex
p
r_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
Add a comm
e
nt to get_va
r
i
a
bl
e
_from_
e
xpr
_
simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
The
n
ul
l
ify_p
a
th() here i
s
a bug
.
It o
v
er-wr
i
tes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an C
a
rp
e
nt
e
r
__print
_
cur_slist()
is a useful function for d
e
b
u
ggi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
I
f
y
o
u have s
o
m
ethi
n
g like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update
the line numbers for each s
t
a
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Car
p
enter
Cha
n
ge
t
he merge
r
ules
f
or custom m
e
rge
sc
r
ipts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpen
t
er
Move S
M
_DEBUG to a h
e
a
der so eve
r
yone can use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
A
d
d a custom mer
g
e fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update the lin
e
number
at the v
e
ry
s
tart of the func
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change the debug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
D
an
C
arpenter
Add a --debug option
.
It has t
o
be the
f
irs
t
optio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n Carpenter
Make s
u
r
e the va
r
iabl
e
name
is NULL termin
a
ted otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpent
e
r
S
mall c
l
ea
n
ups
.
N
o
change
i
n
b
e
havior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpen
t
er
This is
an off b
y
one error
really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpen
t
er
The spar
s
e_initialize()
f
unction
now take
s
a
fi
l
elist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpent
e
r
Re
m
o
v
e
a
n
off by one
e
rror
d
ete
c
ting the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
P
a
tch
i
t
with the stuf
f
from th
e
web
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
enter
This is an unm
o
dified tar ba
l
l
.
commit
|
commitdiff
|
tree