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. new->possible is always null here.
2009-02-16
D
a
n Car
p
enter
Clean up
.
new->p
o
ss
i
ble is a
l
ways null h
e
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Oops
.
->p
o
ss
i
bles wasn't getting set cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
a
r
penter
Use st
r
ip_expr() in
split_con
d
itions() i
n
stead rep
r
o
d
ucing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Add
s
ome more
op
e
rati
o
ns
t
o
g
et_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Return &
m
erged i
n
stead of &
u
ndef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpe
n
ter
make get
_
val
u
e
() re
t
urn a value for bitwise or expressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again
removing states fro
m
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Re
v
ert "
R
emove a
s
ta
t
e
from it'
s
->po
o
ls when set
_
s
tat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpe
n
ter
E
l
imina
t
e
a
w
a
rning
.
Probably the
w
rong way t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
s
.
Comments
.
Renam
e
sli
s
t_stac
k
t
o named_s
t
ack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I
s
t
ill suck
at poi
n
ters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpe
n
ter
Cleanups
.
C
om
m
ents
.
Remov
e
debugging c
o
de from filter(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
ter
C
lean up
.
Also preserve the ->p
o
o
ls in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
Clean
u
p get_stat
e
_
s
list()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
m
o
v
e
_
_overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Th
e
r
e
w
a
s
de
b
uggin
g
o
u
t
p
ut
that
ac
c
identally got
c
ommitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pe
n
ter
R
e
move a state from i
t
's ->pools when set_
s
t
ate() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Don't d
e
let
e
the ->pools on mer
g
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Tr
y
u
n
ders
t
and th
e
implic
a
tions
f
rom compound
conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
C
r
eate a
state &merged
.
W
hen we merge s
t
uff
i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
O
k
.
This t
i
me smatch_implied _really_
does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
I
gnore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
t
er
Small cleanups
.
(Wh
i
te space
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
ter
W
h
i
tespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
ter
Add
s
ome more
l
ock
i
n
g
func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pent
e
r
Fix
implied poo
l
s
so th
a
t at least it does some
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
It se
e
med
li
k
e tracker_list w
o
uld b
e
useful in
a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describing sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
A
d
d script to fin
d
NULL d
e
r
e
f
er
e
nces between functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
pe
n
ter
F
i
x usage
m
essage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Chec
k
for
m
alloc() as w
e
ll as kma
l
loc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix
s
e
g
f
a
u
l
t
when
h
andling
i
mplici
t
ly declared functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpe
n
te
r
Warn when
we don't a
c
quire loc
k
s wh
e
n calling cer
t
ain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpent
e
r
T
ry (
a
n
d
f
ail
)
to
f
ind memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Alm
o
st
p
r
int a message when you
com
e
to unreach
a
bl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpe
n
te
r
A
d
d
che
c
k t
o
l
ook
f
or double free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
n
ter
Add check
i
ng for lock_kernel(
)
/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make c
h
e
c
k
_locking che
c
k both
s
pinlocks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
A
d
d a new f
u
nction slist_
h
as_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
I
f
there is an
i
+
+ then the val
u
e of 'i' is unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add a new
c
heck_locking script that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Save the possi
b
le sta
t
es
i
n
stead of ju
s
t merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpe
n
t
er
Ignore emacs garb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Ca
r
pe
n
t
er
Merge
b
ran
c
h '
m
as
t
er
'
i
n
to p
o
ols5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fi
x
li
k
ely() an
d
unlikely()
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpe
n
ter
Add single
quot
e
s
a
round the
varia
b
le for co
n
sis
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpenter
We cou
l
d
save s
o
me
m
emory by
n
ot alloc
a
ting new memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment showing
w
here
t
he
t
e
s
t
s
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
This is left over from October a
s
part of th
e
im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_
p
oss
i
b
l
e_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
e
r
S
tuff left over from O
c
t
o
be
r
.
I
mplied pool
s
wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
e
n
ter
W
e
could s
a
v
e some memory by not allocating
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Ad
d
more comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
Add a m
e
rge ho
o
k
.
H
a
n
dle the situation
s
li
k
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
s
t
rcmp() doesn't acce
p
t NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
rename two functions:
g
et_variable
_
from_e
x
pr_si
m
p
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
get_var
i
able_
f
r
o
m_expr() uses
a s
t
atic buffer
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
t
e
r
Create a check
_
t
e
m
p
la
t
e
.
c examp
l
e script tha
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Make get_all
_
states(
)
n
o
t
segfault e
v
ery time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_va
l
ue() to
retu
r
n negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
ar
p
enter
We
o
nly ever pass one paramet
e
r
i
nto get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fi
x
g
e
t
_
all
_
states() to
m
atch the f
u
nction definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Remove add_
s
tate()
and state_def
i
ned(
)
d
efinitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Cl
e
an up
.
Fix
l
e
ak
.
My p
r
o
b
le
m
i
s
that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpent
e
r
Ini
t
i
a
l
c
om
m
it of th
e
"
i
mp
l
ied s
t
ate pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been
us
i
ng smatch_
e
x
tra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Get rid of pa
t
h_history
.
It's n
e
ver
g
oing t
o
b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an
C
arp
e
nter
Make goto_s
t
ack
s
tati
c
.
commit
|
commitdiff
|
tree
2008-10-13
D
an
Carpenter
Spee
d
up merge_slist n
o
w t
h
at the
slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an
C
arpenter
Insert stu
f
f on
t
o lists in a sorte
d
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
t
e
r
Delete an unused function merge_s
t
ate_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan C
a
rp
e
n
ter
fix: if (*foo) { (*
f
o
o)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
C
a
rpen
t
er
kmalloc() and friends
d
on't a
l
wa
y
s return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
ter
The
c
h
ecks from here
got merge
d
into check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Move the stuff from check
_
derefed_p
a
rams
.
c int
o
ch
e
c
k
_
n
ul
l
_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpent
e
r
Fix bug
in or_slist_stack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Ad
d
a
h
ook at
t
h
e
end
o
f a f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Ca
r
penter
Forgot anothe
r
strip_exp
r
() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rp
e
nter
Han
d
l
e assignmeents insid
e
conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
On
l
y print somet
h
ing
for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
penter
Ignor
e
ar
r
ay d
e
clarations
.
Those can't be
N
U
LL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
It
'
s only used in
s
match_s
t
at
e
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
Carpenter
White spac
e
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
Use merg
e
_slist() instead of tryin
g
to handle it yo
u
r
self
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
__pr
o
c
e
ss_c
o
ntinues() is supposed to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
Ne
w
smatch
_
igno
r
e
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carp
e
n
t
er
(foo)
= 1 i
s
the same as
f
oo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rp
e
nt
e
r
Gen
e
ralize
stip_casts()
.
It's
now calle
d
s
t
rip_exp
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Ignor
e
casts
.
foo((int *)&bar) is the
s
ame a
s
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Car
p
e
nter
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpente
r
Ignore s
t
uff
lik
e
foo
.
bar
.
We onl
y
care about
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens before is
t
hat
parameter
s
would get assi
g
ne
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
Missed
a
cr
a
shing bug in th
e
int => struc
t
conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpente
r
I can't bel
i
eve I was d
o
i
ng stacks wron
g
this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Ch
a
n
g
ed sm
a
tch state from b
e
in
g
an
int to be
i
ng po
i
nte
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
want to
r
euse
t
he
name
s
m
atch_
s
tate
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
rpenter
Redo the
n
ull p
a
th thing
.
S
o long as
t
here is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Car
p
ent
e
r
Clean up
.
Compli
c
a
t
ed
i
s just
a bo
o
lean
.
Set
i
t to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Array
s
are complicated so they shoul
d
n't be returned
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
r
p
ent
e
r
If we call set_state fr
o
m
i
nside
a condit
i
o
n then
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next