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
This prints out error messages all the time that are always bogus. Disable.
2009-02-19
Dan Carpe
n
ter
This prints out
error
messag
e
s
a
l
l
the time that
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
Assignment always sets &isfr
e
e
d to s
o
mething else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
penter
Don't pri
n
t cros
s
_func errors
i
f th
e
called
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rem
o
v
e
call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
Call the
m
erge_ho
o
k
()
i
n
stead of setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
Oops
.
Mean
t
to commit this ear
l
ier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
A
d
d the
mer
g
e_ho
o
k()
b
ack in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Cle
a
r the
r
eturns
lis
t
s at the end of e
a
ch
f
unc
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Move the
i
mpl
i
ca
t
ions che
c
king to afte
r
th
e
scr
i
p
ts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
t
e
r
Rewrite
completely with ne
w
g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add some
functions
t
o hand
l
e
tracker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
ar
p
e
n
ter
Don't
s
egfa
u
lt all
the time whe
n
checking f
o
rever
l
oo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Test to see if
w
e are cat
c
hing cros
s
function de
r
efs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Use th
e
->possible states and remov
e
th
e
merge_hoo
k
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
"w
h
ile ((1))
{
"
is a forev
e
r l
o
op
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
fi
x
es to
t
he -> possib
l
e
se
t
ting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpe
n
ter
M
e
rge bra
n
ch
'
master'
into nul
l
_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n
C
ar
p
enter
Add va
l
idation sc
r
ipt for check_null_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
penter
C
l
e
a
n up
.
n
e
w->poss
i
ble is always null
h
ere
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oo
p
s
.
->possib
l
es wasn
'
t getting se
t
correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
U
se strip_expr() in split_conditions()
i
ns
t
ead reprod
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more operations t
o
get_val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpen
t
e
r
Re
t
u
rn
&merged inste
a
d of &und
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
m
ake get_value() return a value for bitwise or expressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Car
p
enter
Try
again
r
em
o
v
ing
s
t
ate
s
fr
o
m po
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Revert "Remove a state from it'
s
->pools when se
t
_
s
t
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Elimin
a
t
e
a warning
.
P
r
obably th
e
wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n ups
.
C
omments
.
Rename slis
t
_
stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
pen
t
er
H
a
h
a
.
I sti
l
l suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Cleanu
p
s
.
C
omments
.
Re
m
ove debugging code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also preserve the ->
p
ools in on
e
path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_sta
t
e_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
Remove __
o
v
e
rwrite_cur_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pen
t
er
T
here
wa
s
deb
u
gging
output
t
h
a
t accid
e
ntally go
t
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Re
m
ove a st
a
t
e
fr
o
m it
'
s ->p
o
ols when s
e
t
_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Don't delete
t
he
->pools o
n
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpe
n
ter
Try u
n
derstan
d
t
h
e implications from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
C
r
eate a st
a
te &merged
.
When w
e
merg
e
s
tuff it is
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpen
t
er
O
k
.
This time
s
match_
i
mpl
i
ed _really_ does som
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ignore
c
scope
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
er
S
mall
c
l
ea
n
ups
.
(
White
s
pace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Whitespace c
h
ang
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
d
d
some more
l
ocking
func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fi
x
implied pools so
t
h
a
t
at
leas
t
i
t d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
se
e
me
d
li
k
e tracker_
l
ist would be
u
se
f
ul in
a
l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
a
rpent
e
r
Ad
d
a READM
E
des
c
r
ibing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rp
e
nter
Add s
c
ript t
o
f
i
nd NULL
d
e
references between function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usa
g
e mess
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check
f
o
r
mal
l
oc(
)
a
s well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Ca
r
penter
Fix segfau
l
t w
h
en
h
a
n
dling
i
m
plicitly
decl
a
red
f
uncti
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we
don't acqu
i
r
e
locks when calling certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Try (and
f
ail
)
to
fi
n
d memory lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
A
l
most print a message
w
hen you come to
u
nrea
c
ha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
A
d
d che
c
k
t
o look f
o
r doubl
e
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Add checking for lock_kernel()/unlock_k
e
rn
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Make che
c
k
_
l
ocking check both spinlocks and se
m
aphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a n
e
w functio
n
sl
i
st_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Ca
r
penter
If there is a
n
i++ then
t
h
e
value of 'i'
is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add a ne
w
check_locking script t
h
at checks
s
pinl
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Save t
h
e pos
s
i
b
le s
t
at
e
s ins
t
ead of just
me
r
gi
n
g them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ign
o
re emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Me
r
ge branch
'
m
aste
r
' into
p
ools5
commit
|
commitdiff
|
tree
2009-01-20
D
an Ca
r
penter
Fi
x
likely() and unlik
e
ly()
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpent
e
r
Add
s
ing
l
e quo
t
e
s around the variable for co
n
sistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
penter
We
c
oul
d
save some memory by no
t
allocatin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arp
e
nter
Add a comment s
h
owin
g
where
t
he tests are su
p
pos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over from
October as part
o
f
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add ge
t
_
possible_stat
e
s
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
a
rpenter
Stuff left ove
r
from O
c
tobe
r
.
I
mplied
pool
s
wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
We
c
ould sa
v
e so
m
e
memor
y
by not al
l
oc
a
ting new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
r
penter
F
i
x
memory leak
.
Ad
d
mor
e
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge
h
ook
.
Ha
n
d
l
e
the
si
t
u
ations
lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() d
o
esn't accept NU
L
L arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpent
e
r
rename two func
t
ions:
g
e
t_v
a
riable_from_expr_simpl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
get_variable
_
from_expr()
uses a static bu
f
fer and yo
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Create
a
check_template
.
c
example script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carp
e
nte
r
Make
g
e
t_a
l
l
_states() not segfault e
v
er
y
tim
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x
get_value
(
) to
r
etu
r
n negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever
p
ass one parameter into
g
et_
v
al
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_
s
tates() t
o
match the func
t
ion def
i
ni
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpent
e
r
Remo
v
e add_st
a
te() and st
a
te_def
i
n
e
d
() d
e
finitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fi
x
leak
.
My problem is that I don'
t
understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rp
e
n
ter
Initia
l
commit
of
t
he "impli
e
d state pools" s
t
uff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Doh
.
We haven
'
t been us
i
ng sma
t
ch_e
x
t
ra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rp
e
nter
Get rid of
path_history
.
It'
s
never g
o
ing to be
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Make goto_s
t
ack stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed up merge_slist
now that the
slists are or
d
ered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Insert stuff onto lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused function merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nter
fi
x
: if (
*
foo) { (
*
f
o
o
)
->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
() and frie
n
ds
don't alw
a
y
s
return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n
C
arpenter
The checks from
here got
m
e
r
ged
into check_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an
C
arpenter
M
o
v
e the stuff from che
c
k_derefe
d
_params
.
c in
t
o
c
h
eck_
n
ull_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Fix bug in
o
r
_slist_sta
c
k()
.
if (a &
&
b
) wasn'
t
bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
n
ter
Add
a hook at
the e
n
d of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
C
a
r
p
ent
e
r
Forgot another strip_expr()
c
all
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
te
r
Handle ass
i
gnmeents i
n
side co
n
d
i
t
ions
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
O
n
ly print somethi
n
g for
a
->foo an
d
not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ig
n
ore array
d
ecla
r
ations
.
T
h
ose can't
b
e
N
U
LL obviou
s
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
I
t
'
s
only used in
s
match_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next