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
Try again removing states from pools.
2009-02-13
Dan Carpenter
Try again
r
emo
v
ing states from poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nte
r
Rever
t
"Remove a
s
t
ate from it's ->pools when
s
et_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
penter
Elim
i
n
a
te
a
warni
n
g
.
P
r
obabl
y
the wro
n
g
wa
y
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean ups
.
Comments
.
Rename slist_stack to n
a
med_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha ha
.
I still su
c
k at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Cleanups
.
Comments
.
Remove
debugging code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
ter
Clean up
.
A
l
so pre
s
erve the -
>
pools in one path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __o
v
erwrite_cur_s
l
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpe
n
t
e
r
T
h
ere was
debugging output that accidentally got c
o
mmitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Re
m
ove a st
a
te fr
o
m it's -
>
pools whe
n
s
e
t_sta
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
Don't
del
e
te
t
he ->pools
on mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try un
d
e
rstand the implications from com
p
o
u
nd
c
ondi
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Create a
st
a
te &merged
.
When we mer
g
e stu
f
f it i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Ok
.
This t
i
m
e smatch_implied _really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ignore cs
c
ope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
n
t
e
r
Small cleanups
.
(
W
hite
s
pace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
ente
r
Whitespace
c
hange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Add s
o
me more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
en
t
er
Fi
x
i
m
plied pools
so
that
a
t least
i
t does
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
ar
p
enter
It see
m
ed like trac
k
er_list would
b
e useful
i
n
a l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
A
d
d a R
E
AD
M
E des
c
ribing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d script
t
o
find
N
ULL dereferences b
e
tween function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpe
n
ter
Fix us
a
ge message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Check for ma
l
loc() as well
a
s
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Fix
segfaul
t
when handling
i
mplic
i
t
l
y
d
eclared fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
n
ter
W
a
rn when we don't acquire locks wh
e
n cal
l
ing certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) t
o
fi
n
d me
m
o
ry leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Al
m
o
st p
r
int a message
w
hen you
come to un
r
each
a
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Ad
d
che
c
k to look f
o
r double
f
rees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Ca
r
penter
A
dd checking for lock_kernel()
/
unloc
k
_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Ca
r
penter
Make che
c
k_locking check bot
h
sp
i
nlocks and semapho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add
a new funct
i
on slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
If the
r
e is an i++ then the
value of 'i' is
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
A
d
d a new check_locking s
c
ript that c
h
ecks sp
i
nlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
ave the possible s
t
a
t
e
s
i
nstead of jus
t
merging
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
Ignor
e
emacs gar
b
age
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Merge bra
n
ch
'maste
r
' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fi
x
likely()
a
nd un
l
ikely(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
a
rpen
t
er
Add single
q
uotes around the variable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
t
e
r
We
could sa
v
e some
m
emory by
n
ot allocating new mem
o
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment show
i
n
g wher
e
the tests are
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
T
his is
left over from O
c
tober a
s
part
of t
h
e implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add get_possible_states(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Ca
r
penter
St
u
ff left ove
r
from October
.
I
mplie
d
pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpenter
We could sav
e
som
e
memory by not al
l
o
c
ating new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fi
x
memor
y
leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
arpenter
Add
a
merge hook
.
Ha
n
dle the
situation
s
li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
s
trcmp(
)
do
e
sn't ac
c
ep
t
NULL
arg
u
ment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpent
e
r
r
en
a
m
e
two functions: get_variable_
f
rom_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
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
D
an Carpenter
Create a chec
k
_template
.
c exa
m
ple script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_states()
n
o
t segfaul
t
ev
e
r
y
t
i
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rp
e
n
t
e
r
Fix get_
v
alue() to return
n
egative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
W
e only ever
p
as
s
one parameter into
get_val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpente
r
Fi
x
get_a
l
l_states() to match
t
he function
d
efiniti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add
_
state() and state_de
f
in
e
d() def
i
nit
i
on
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
ix l
e
ak
.
My problem i
s
that I d
o
n't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
penter
I
nitial com
m
it o
f
the "
i
mplied
sta
t
e pool
s
" st
u
ff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Car
p
enter
Doh
.
We haven'
t
been u
s
in
g
smatch
_
extra
for
a
wh
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_his
t
o
r
y
.
I
t's never going
to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Mak
e
goto_stack
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Spee
d
up me
r
ge_
s
list now
th
a
t the
s
lists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpen
t
er
I
nser
t
stuff onto lists in a sorte
d
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
p
enter
Delete
a
n unus
e
d function merge
_
state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
f
i
x: if (*
f
oo)
{
(*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
ter
kmalloc
(
) a
n
d friend
s
d
on't
a
lways return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The c
h
ecks from
here got m
e
rged into c
h
eck_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
r
penter
M
o
ve
the stuff from check_
d
erefed
_
p
a
r
a
ms
.
c into c
h
e
ck_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
nter
Fix bug in or_
s
list
_
stack(
)
.
if
(
a
&
& b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Ca
r
p
e
n
ter
Add a
hook at the
end o
f
a
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot an
o
ther strip_e
x
pr() c
a
ll
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpente
r
Han
d
le ass
i
gnmeents in
s
ide condit
i
ons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Onl
y
print somethi
n
g for a->foo and
no
t
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan C
a
rpenter
Ignore array de
c
lar
a
tions
.
Those
can't b
e
NULL 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 on
l
y
u
s
ed
in smat
c
h
_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
White space
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Use merge_s
l
ist() in
s
tead of
t
rying to
handle
i
t your
s
elf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
_
_
process_continues
(
) is supposed to be basical
l
y the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
N
e
w s
m
at
c
h_ignor
e
.
c
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
(foo) = 1 is the same as
f
oo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
Gen
e
r
alize
s
tip_casts()
.
It's n
o
w c
a
lled s
t
rip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
n
o
re
casts
.
foo((int *)&bar
)
is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpen
t
er
C
reated show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
te
r
Ignore stu
f
f like foo
.
bar
.
W
e only care about
fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
W
h
at happens before is that parameters woul
d
get assi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
e
n
t
er
Missed a crashing bug in th
e
int
=> struc
t
co
n
v
e
rsion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't believe I
was doing stacks
wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed sm
a
tch state fr
o
m be
i
n
g a
n
int to being
point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I want
t
o reuse the name
s
match_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the null path
t
h
i
n
g
.
So lon
g
a
s there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean u
p
.
Complicated i
s
j
u
st a boolean
.
S
e
t
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
Arr
a
ys
a
re co
m
plicated so
t
hey shouldn't
b
e
retu
r
ned b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpenter
I
f
we c
a
ll set_s
t
ate f
r
om i
n
side a condition
t
h
en it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
If
the po
i
nt
e
r is in
i
t
ialized to
n
on-null
t
hen set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Ca
r
pent
e
r
ignore the smatch
b
inary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
an Car
p
enter
When we merg
e
2 slists
we need to deal with the
c
ase
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan C
a
rpenter
Cl
e
a
n ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
n
t
e
r
Add
nul
l
ify
t
he path wh
e
n
y
ou have for(;
;
);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
a
rpen
t
er
Merge branch 'ls' int
o
ultratmp
commit
|
commitdiff
|
tree
next