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
Don't __free_sm_state() until end of function.
2009-02-02
D
an Carpenter
M
a
k
e check_loc
k
ing check both spinlocks and
s
e
maphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new function sli
s
t_has
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If ther
e
is an i++
the
n
the value
o
f 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
a
r
p
enter
Add a new check_loc
k
i
n
g script that checks spinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nt
e
r
S
ave the possible s
t
ates in
s
tead
o
f just merg
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpenter
Ignore ema
c
s garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
M
erge b
r
anch
'mas
t
er' into
p
o
o
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
nter
F
i
x li
k
ely() an
d
unlik
e
ly
(
) h
a
ndling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
Carpenter
Add single quote
s
arou
n
d
t
he variable
f
or consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
Carpe
n
ter
We could save some me
m
or
y
by not allo
c
a
t
ing new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add a
c
omment
showing where
t
h
e
tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This
i
s left over from
October a
s
part of t
h
e i
m
pl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
ar
p
enter
Add get_p
o
s
sible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
e
r
Stuff l
e
ft over from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could
s
av
e
some
memory by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
F
ix me
m
ory l
e
ak
.
A
d
d more comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge
h
ook
.
Handle the situ
a
t
i
o
n
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
pen
t
er
strcmp() doesn't accept
NULL
a
rgum
e
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
arpen
t
er
rename two functions: get_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpenter
get_variable_from_exp
r
() uses a static buffer and
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Cre
a
te a che
c
k_te
m
pl
a
te
.
c ex
a
mp
l
e scri
p
t th
a
t look
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Make get_all_states() not segfa
u
lt every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
F
ix get_va
l
ue() to ret
u
rn negative
v
alu
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arp
e
n
ter
We only
e
v
er p
a
ss one
para
m
eter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Fix
get_all_states()
to match the
function defin
i
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpe
n
ter
R
emove add_state() and state_de
f
ined() d
e
finiti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
i
x
l
eak
.
My problem is that I
d
o
n'
t
und
e
rstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial
com
m
it of the "i
m
plied st
a
te pools"
s
t
uff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Doh
.
We haven't been
u
sing sm
a
tc
h
_extra
for a w
h
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Get
r
id of pat
h
_history
.
It's nev
e
r going
to
b
e used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an
C
arpe
n
t
er
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge
_
slist now that the s
l
ists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Carpenter
I
n
s
e
r
t stuff on
t
o
l
i
s
ts in a sorted
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
pen
t
er
Delete
a
n
unused
f
unction m
e
rge_stat
e
_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
a
rpenter
fix:
if (*foo)
{
(*f
o
o)-
>
bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Ca
r
p
enter
kmall
o
c()
a
nd friends
d
o
n't always r
e
t
u
rn
a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
checks from he
r
e got merged
in
t
o chec
k
_null_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move
t
h
e stu
f
f
fro
m
check
_
d
ere
f
ed
_
par
a
ms
.
c into che
c
k_
n
u
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix b
u
g in or_slist
_
stack()
.
i
f (a &
&
b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook
a
t
th
e
end of a
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Forgot another strip_ex
p
r(
)
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpe
n
t
er
H
andle
as
s
ig
n
meents
i
n
s
i
de condit
i
ons
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
ent
e
r
Only print
s
omet
h
ing for a->fo
o
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpenter
Ignore array
dec
l
arations
.
T
h
ose can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
Ca
r
pe
n
ter
Make
c
u
r_slis
t
s
t
at
i
c
.
It
'
s
only use
d
in
s
m
at
c
h_st
a
tes
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
Whi
t
e space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
U
s
e merge_slist() instead of trying
t
o h
a
ndle it yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carp
e
n
ter
__process
_
c
ontinues(
)
i
s
supp
o
se
d
to be
b
asically th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
New smatch_ignore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
(foo) = 1 is the same a
s
f
oo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize s
t
ip_casts()
.
I
t's
n
ow
called
s
t
r
ip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
n
o
r
e
casts
.
foo((int *)&bar)
is the sam
e
as
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
n
ore stuff like foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What ha
p
p
e
ns bef
o
re is
that par
a
meters would get assig
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpe
n
t
er
Missed a c
r
a
s
hi
n
g bug in th
e
int
=> struct con
v
ersion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
I can'
t
b
e
lieve I was doing stacks wrong this w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Ch
a
nged
smatch state f
r
om being an int to
being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
I want to
reuse the
n
ame smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Redo t
h
e
null path
t
hing
.
So long as there
i
s one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpent
e
r
Clea
n
up
.
Comp
l
icate
d
is just
a
b
oolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are complicated so they should
n
't be
returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f we call
s
e
t_
s
tate from inside a
c
ondition th
e
n
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I
f th
e
point
e
r
is init
i
alized to non
-
null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
ig
n
o
re the
s
match binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n C
a
rpenter
When we merge 2
s
lists we n
e
e
d
to deal w
i
th the c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpente
r
Clea
n
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
A
dd nullify the path when you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
n
t
er
Merge branch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
C
a
rpenter
M
e
rg
e
b
ranch
'
unnullify' into
l
s
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of do while(0) loops d
o
n
'
t
call break
s
o i
t
d
o
e
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
R
emove unnee
d
ed check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix or_slist_stack()
.
Befor
e
i
t
just saved
o
n
e
s
t
ack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpent
e
r
cr
a
p
crap
crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpenter
Clean ups an
d
add some
__
u
nnullify_p
a
t
h
s
t
uff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Small cleanup
.
got
o
_stack should only
b
e used
in smatch_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpente
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix
bu
g
sa
v
ing the false
_
only stack
.
Before
code li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Thi
s
i
s th
e
start
of t
h
e
s
m
a
tch_
e
xtra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
C
a
rpenter
Fix ov
e
rwrite_
s
list() so it takes a pointer t
o
a poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
a
r
penter
Make sma
t
ch_
e
xtra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpe
n
ter
Mo
v
e i
s
_z
e
ro() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
F
i
x
a
big bu
g
.
get_stat
e
_sl
i
st()
was alwa
y
s getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carp
e
n
t
er
M
e
rge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
arpent
e
r
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
r
penter
Save the pre cond
i
tions inside the conditions so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
p
e
nter
The ma
i
n chan
g
e
here was
to com
p
letely rewrite
h
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
B
reak things o
u
t
into f
u
nction
s
a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Ca
r
p
e
n
ter
Handle while
a
nd for loops
s
l
igh
t
ly bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
arpenter
I remo
v
ed
nullify_
p
ath()
e
arlier but
t
hat was a
m
istake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
enter
I
d
on't think the spec
i
al_kernel_
m
acros
(
) func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Ad
d
a functio
n
to do a strcmp()
with a symbol
name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rem
o
ve e
v
erythi
n
g to do with path_id'
s
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace
t
he vari
a
bl
e
_
_
n
e
gate with t
h
e fu
n
c
t
ion __ne
g
a
t
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
S
m
a
l
l clean up
.
Mo
v
e the pass
i
ng the who
l
e condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Ca
r
penter
Cra
p
.
I
m
eant t
o
me
r
ge this ear
l
ier
when I
d
i
v
ided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
e
r
Add a
c
omment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Ca
r
penter
Moved all th
e
log
i
c for handling conditions i
n
to a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Oops
.
I guess I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
er
Do
n
't pass the contents of
s
izeof(
)
to the cl
i
en
t
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next