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
make get_value() return a value for bitwise or expressions.
2009-02-13
Dan Carpenter
m
ake
get_value()
r
eturn a va
l
ue f
o
r bitw
i
se or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Try again
r
emov
i
ng sta
t
es
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
R
e
v
ert "Remove a sta
t
e
f
rom i
t
's
-
>pools wh
e
n set_s
t
at
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
Eliminate a warn
i
n
g
.
Pro
b
abl
y
the
w
rong way t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
pe
n
ter
C
l
e
an ups
.
Comments
.
R
e
name
slist_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
enter
Ha ha
.
I still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
l
e
anups
.
C
o
m
ments
.
Remove d
e
b
u
gging code from f
i
lter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean
u
p
.
Also pre
s
er
v
e
t
h
e ->pools in one
p
ath of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
ar
p
enter
Clean u
p
get_s
t
ate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Rem
o
ve __over
w
rite
_
cur_
s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
The
r
e was deb
u
gging out
p
ut
that accid
e
ntally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Remove a
s
tate from
it's ->pool
s
w
hen
set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Don
'
t del
e
te t
h
e -
>
pools on
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
T
r
y
u
nders
t
a
n
d
the implications from comp
o
und con
d
itions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Crea
t
e a state &merged
.
When we merge stuff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Thi
s
time
smatch_imp
l
ied _really_ does
som
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ignore
csc
o
p
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small
clea
n
u
p
s
.
(Whi
t
e
sp
a
c
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpent
e
r
Whitespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
penter
A
d
d
some mor
e
locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
t
er
F
ix impl
i
ed pools s
o
that at
l
east it
d
oes something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
It s
e
emed l
i
ke t
r
acker_list wo
u
l
d
be u
s
eful in
a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpen
t
er
Add a README d
e
scribing
smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d
scri
p
t
to find
N
ULL derefere
n
ce
s
between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix usage m
e
ssa
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
C
h
e
ck for malloc(
)
as well as kmal
l
o
c
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arp
e
nter
Fix segfault wh
e
n hand
l
ing implicitly declared functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Ca
r
penter
Warn whe
n
we don't acq
u
ire locks wh
e
n
c
a
ll
i
n
g
certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
r
penter
Tr
y
(and
f
ail) to find m
e
m
o
r
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Al
m
ost print a messag
e
when you come to unre
a
chable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n C
a
rpente
r
Ad
d
check t
o
lo
o
k for do
u
ble frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
checking for lock_ke
r
nel()
/
u
nlo
c
k_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locki
n
g chec
k
both
spinlocks an
d
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d a new fu
n
ction slist_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pen
t
er
If there is an i++
t
h
en the
val
u
e
of 'i'
i
s undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpe
n
ter
Add a new check
_
lock
i
n
g
s
c
ript that check
s
spinlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Save the possible
states
instead of j
u
st merg
i
n
g
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ig
n
o
r
e
emac
s
garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Merge branch 'ma
s
ter' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Ca
r
penter
Fix likely() and un
l
ikely()
h
andling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add s
i
ngle qu
o
tes ar
o
und
t
he variable for
c
onsist
e
ncy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
penter
We
co
u
l
d
s
a
ve
s
om
e
memory by not allocating
new
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add a comm
e
n
t
s
howing where the tests are supp
o
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over from Octo
b
er as part of
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pent
e
r
Add get
_
possible_stat
e
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rp
e
n
ter
S
tuff left over from October
.
I
m
p
lie
d
po
o
l
s
wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
D
an C
a
r
p
enter
We
c
ould
s
ave some memory by not al
l
oc
a
ting ne
w
memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n C
a
rpenter
Fix m
e
mor
y
leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpente
r
Ad
d
a merge hook
.
Handle the situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
n
t
er
strcmp()
d
o
e
sn
'
t accept N
U
L
L
argum
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two functi
o
ns: get_variabl
e
_
from_e
x
pr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
n
t
er
get_variable_fr
o
m_
e
xpr
(
) uses
a
sta
t
i
c b
u
ffer and
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a ch
e
ck
_
templat
e
.
c example
s
cr
i
pt
t
hat loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Make get_a
l
l_states() no
t
segfa
u
l
t every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix get
_
v
a
lue() t
o
r
eturn negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Ca
r
penter
We
o
nly ever pass one pa
r
ameter into g
e
t_v
a
l
u
e
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix get_all_
s
tates() to
match
t
he function def
i
nition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
emove ad
d
_state
(
) and st
a
t
e_defined() de
f
initions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Clean up
.
Fix lea
k
.
My problem is that
I
d
o
n't
u
nde
r
stan
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an
C
arpenter
I
nitial com
m
i
t
of the "implied state pool
s
" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
oh
.
We h
a
ve
n
't b
e
en
using
s
m
a
tch_extra
for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
G
et rid of p
a
th_history
.
It's nev
e
r going
to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merg
e
_slist no
w
that
t
he
s
lis
t
s are order
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Ca
r
penter
Insert stuff
o
nto lists in a
so
r
ted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpent
e
r
D
e
lete an
u
n
used function m
e
rge_state
_
stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
n
t
er
f
i
x:
i
f (*
f
oo) { (*f
o
o
)
->b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Carpenter
kmalloc() and frie
n
ds don't always re
t
urn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
penter
T
h
e
c
hecks from her
e
got merged into check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
M
o
v
e
the stuff from check_de
r
e
f
ed_params
.
c
into
c
heck_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpenter
Fi
x
b
u
g in o
r
_slist_st
a
ck()
.
if (a && b) wasn't
b
e
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
ter
Add
a hook
at t
h
e e
n
d of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot
a
noth
e
r strip_
e
xpr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpente
r
Handle assignmeents inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
On
l
y print something
for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Ca
r
pe
n
ter
Ignore array d
e
clarations
.
Those can
'
t be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n
Carpenter
Make cu
r
_sli
s
t static
.
It's only
use
d
in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Car
p
enter
Whi
t
e space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
Use
m
e
r
g
e
_slist() ins
t
e
a
d of tryi
n
g to handle it yours
e
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__proces
s
_continues() is s
u
p
p
osed t
o
be
basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
e
w s
m
atch_ignore
.
c
f
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo)
= 1 is t
h
e
s
ame as
f
oo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
G
eneral
i
z
e
s
tip_cast
s
(
)
.
It's
n
ow c
a
l
led strip
_
expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Ignore c
a
sts
.
foo((
i
nt *)&
b
ar) is t
h
e same as
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Crea
t
ed show_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
Ignore stuff
like foo
.
ba
r
.
We only care
abo
u
t foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What ha
p
pe
n
s befor
e
is that par
a
meters
w
o
u
l
d get
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
Misse
d
a crashing bu
g
in the int =>
s
tru
c
t conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
I
c
an't believe I was doing stacks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Cha
n
g
e
d s
m
atch state
fr
o
m b
e
ing an int
t
o
b
eing pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
want t
o
reuse the name smatch
_
state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carp
e
nter
Re
d
o
the
null
p
ath thing
.
So long as
t
h
ere is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
C
l
ean u
p
.
Co
m
plica
t
e
d is just a boolean
.
Set it t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Arr
a
ys
ar
e
complicated s
o
t
h
ey shouldn
'
t be
r
eturned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
p
en
t
er
I
f we
call
set_state from inside a condition t
h
en it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
e
n
te
r
If
t
h
e point
e
r is initialized to non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ignore
t
he
sm
a
tch
binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carp
e
nte
r
Wh
e
n we mer
g
e 2 slists we need to deal with
th
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpente
r
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
A
dd nullify the path
w
hen yo
u
have for
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next