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
Clean up. Also preserve the ->pools in one path of merge_slist().
2009-02-11
Dan Carpenter
Clean
u
p
.
Also p
r
eserve
t
he ->po
o
ls in one
p
a
th
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpente
r
Clean up get_st
a
te_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There
w
a
s debu
g
gi
n
g output t
h
at accidentally got
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove a stat
e
from it's ->po
o
l
s
when set_state() i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Do
n
't delete
the
-
>
p
o
ol
s
on
m
ergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpente
r
T
ry understand the impl
i
catio
n
s from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Cr
e
ate a s
t
ate &merge
d
.
W
hen we me
r
ge stuff
i
t i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
a
r
penter
O
k
.
T
h
is time smatch_
i
mp
l
i
e
d
_really_ does some
t
h
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpent
e
r
Ignore csc
o
pe file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Small
cleanup
s
.
(Whi
t
e space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Whitespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
Add
som
e
more l
o
cking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pen
t
er
Fix impli
e
d
pools so
that
at le
a
st it do
e
s so
m
e
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pen
t
er
It seemed like
tracker_l
i
s
t would be
useful in a l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Car
p
e
n
ter
Add
a
README describing sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add script to find
N
ULL
der
e
ferences between funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n C
a
rpent
e
r
F
ix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpe
n
ter
C
h
eck for
mal
l
o
c
() as well as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
s
egfaul
t
whe
n
h
an
d
l
i
ng imp
l
icitly declared
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we don't acquire locks when calli
n
g
c
ertain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
T
r
y
(and fail)
t
o find
memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
Almo
s
t
p
r
i
nt a mes
s
age when you c
o
me to
unreachab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpen
t
er
Add c
h
eck to look for double
f
re
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Ca
r
penter
Add checking for
l
ock_kernel(
)
/
u
n
lock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpen
t
er
M
a
ke c
h
eck_lockin
g
chec
k
b
o
th spin
l
oc
k
s and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
A
dd a n
e
w function slist_has_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
If there is an i+
+
the
n
the value of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new ch
e
ck_lo
c
k
i
ng scrip
t
tha
t
checks spinlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Save the possib
l
e sta
t
es i
n
stead of just
m
er
g
in
g
t
h
em
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
I
g
nore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Me
r
g
e
branch 'master
'
into p
o
ols
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
Fix lik
e
ly() and unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
e
n
t
e
r
Add si
n
gle quotes around the va
r
iable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
pe
n
t
e
r
W
e
c
o
uld save some
m
emory
by not a
l
locating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Add a comm
e
n
t showing where t
h
e te
s
ts are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
This is left over from Octo
b
er a
s
p
a
r
t of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
en
t
er
Add ge
t
_po
s
sible_st
a
t
e
s()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
arpente
r
Stuff left over fr
o
m October
.
Implied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpent
e
r
W
e
could sav
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
ente
r
Fix me
m
o
r
y leak
.
A
d
d more c
o
mments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Add a
m
e
r
g
e
h
o
ok
.
Handle
t
he sit
u
ations
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
strcmp() doesn't accept NULL argu
m
ent
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpen
t
er
rename two functi
o
ns:
g
et_variabl
e
_
f
rom_expr
_
simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_f
r
o
m_expr() uses a
s
tatic bu
f
fer an
d
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
ar
p
ente
r
Cr
e
ate a check_template
.
c exa
m
ple scrip
t
t
h
at looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Ma
k
e get_
a
ll_s
t
ates() not
s
e
gfa
u
lt every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
F
ix get_value
(
)
t
o
r
eturn
negative
va
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
ent
e
r
We only ever pass one parame
t
er
into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x get_all_states
(
) to match th
e
function d
e
f
i
niti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Remove add_state
(
) and state_def
i
ned() defi
n
i
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
C
l
e
a
n up
.
Fix leak
.
My proble
m
i
s
that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Init
i
al commit of t
h
e "i
m
pl
i
ed
s
tate pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Doh
.
We haven
'
t
b
e
en
u
si
n
g smat
c
h_
e
xtra fo
r
a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
p
e
nter
Get rid of path_h
i
story
.
It's never going
t
o be us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make g
o
to_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpen
t
er
S
p
eed up m
e
rge_slis
t
now
that the sl
i
sts are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
I
n
sert stuff onto lists 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 function merge_state_s
t
ac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n C
a
rpenter
f
ix: if
(*
f
o
o) {
(
*f
o
o)
-
>bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
penter
k
m
a
lloc() an
d
friend
s
don'
t
al
w
ays return a
n
on-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The
checks from
here
g
ot merged in
t
o
c
h
e
ck_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpen
t
er
M
o
ve
t
he stuff fr
o
m chec
k
_derefed_par
a
ms
.
c into check
_
null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpen
t
e
r
Fix bug in o
r
_
s
lis
t
_
s
t
ac
k
()
.
if (a && b)
wasn't be
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Add a hoo
k
at the en
d
o
f
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
o
rgot anoth
e
r s
t
rip
_
expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Hand
l
e assignmeents
i
n
s
ide conditio
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
O
n
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
Dan Carp
e
n
t
er
Ignore
array declarations
.
T
ho
s
e can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan C
a
rpenter
Make cur_slist static
.
It's o
n
ly used in smatch_stat
e
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pen
t
er
Whi
t
e
spa
c
e ch
a
n
ge
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
Use merge_slist() in
s
tead
o
f
t
r
ying
t
o h
a
ndle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an
C
arpen
t
er
__proc
e
ss_continues() is supp
o
s
e
d to be b
a
sically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
C
a
r
p
enter
(fo
o
) = 1 is
t
he same as foo
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize stip_c
a
sts
(
)
.
It
'
s
now called s
t
rip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Igno
r
e casts
.
foo((in
t
*)&bar) is
the same as f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
C
reated show_st
a
t
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpent
e
r
Igno
r
e stuff like fo
o
.
ba
r
.
We
o
n
l
y
care
a
bout foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
What happens
b
efore is that parame
t
ers would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Misse
d
a crash
i
ng
bug in t
h
e int => struct con
v
ers
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
I can'
t
bel
i
e
v
e I was doing stacks wrong this wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
rp
e
nter
C
h
a
nged smatch stat
e
fro
m
bein
g
an
int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want to reuse the name s
m
a
tch_sta
t
e
.
The
c
urrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carpenter
Red
o
t
h
e null path
thing
.
So long
as there i
s
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pent
e
r
Clean up
.
Complicate
d
is just a bo
o
lea
n
.
Set
i
t
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Arrays are compli
c
ated so the
y
sho
u
l
dn'
t
be
r
eturned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
ente
r
If
we c
a
l
l s
e
t_s
t
ate from in
s
i
de a condition then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
If the pointe
r
is
initia
l
ized to
non-n
u
ll then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n
C
arpenter
ig
n
o
r
e
the
s
m
atc
h
b
i
nary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpent
e
r
When
w
e
merge 2
s
l
ists we
n
e
e
d to
d
eal with
t
he case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Car
p
enter
Clean
ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpenter
Add
n
ulli
f
y the path when you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Merge b
r
a
n
ch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Merge branch
'
unnullify' in
t
o
ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
t
e
r
Lots of do
w
hi
l
e
(0) loops
d
o
n
't
c
all
b
re
a
k so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Re
m
ove
un
n
eeded
c
heck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an
Carpenter
F
ix or_sl
i
st_stac
k
(
)
.
B
efore it jus
t
saved
o
ne stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
cr
a
p crap cr
a
p
.
do
not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
arp
e
nter
C
l
ean
ups a
n
d add
som
e
__unn
u
llify_path
s
tuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next