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
C
arpenter
This
prints
o
ut
e
rror messages a
l
l
t
h
e
time that a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
Assignme
n
t a
l
w
a
ys se
t
s &isf
r
ee
d
to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't
print c
r
oss_fun
c
error
s
if the called fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
R
e
m
o
ve cal
l
to alloc_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Cal
l
the merge_
h
ook
(
) instead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Oops
.
Meant to commit
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the merge_hook()
b
ac
k
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Carpen
t
er
Cle
a
r
the re
t
urns lists at the end
of e
a
ch function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Move th
e
implicatio
n
s
c
heckin
g
t
o
after the s
c
ripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
R
e
wr
i
te completely with new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add some functions to handle tracker
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
Don
'
t segfault all th
e
time when check
i
ng foreve
r
loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if
w
e ar
e
catc
h
ing
cros
s
f
unction
dere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Use th
e
->possible states and remove the
mer
g
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpent
e
r
"while ((1)) {
"
is a forever lo
o
p
.
Call stri
p
_e
x
pr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the ->
possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Mer
g
e branch 'master' into null_
d
er
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validatio
n
script for chec
k
_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
l
ean up
.
new->possible
is always null he
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles was
n
't getting set
c
orr
e
c
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
t
e
r
U
s
e
s
t
rip_
e
xpr() in split_condit
i
o
ns(
)
instead
r
eprod
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Add some
more
o
pera
t
io
n
s to get_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Return
&
me
r
ged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
make get_value()
retur
n
a value
f
or bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Try
a
gain removing states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Revert
"
Rem
o
ve a sta
t
e fr
o
m it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elimin
a
te a warning
.
Probably the w
r
o
ng way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
C
lean ups
.
Comme
n
t
s
.
Rename slist_stack
t
o named
_
st
a
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still
s
uck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cleanups
.
Commen
t
s
.
Remove debu
g
ging cod
e
fro
m
f
i
l
ter
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpenter
Clean up
.
Also preserve the ->pools in
o
ne p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up get_s
t
ate_slis
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Remove __o
v
erwrite_cur
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
The
r
e was debug
g
ing output
that accide
n
tally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
R
e
move
a
sta
t
e
f
r
o
m i
t
'
s ->
p
ools w
h
en set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Do
n
't del
e
te
the ->p
o
ols on
m
erging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Try un
d
erstand the implic
a
tions from
c
o
m
pound c
o
ndi
t
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arp
e
nter
Create a sta
t
e &merged
.
Whe
n
w
e merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pent
e
r
Ok
.
This time
smatch
_
i
m
plied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpent
e
r
Ignore c
s
c
o
p
e files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Small cleanups
.
(White spac
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Wh
i
tesp
a
ce
c
hange
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Add some more locking functi
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Fix implied pools so that at le
a
st
it d
o
es
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
s
e
emed like tracke
r
_list would be usefu
l
in a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpen
t
er
Add a
READ
M
E describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add script to find NULL dere
f
erences betw
e
en fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Fix usa
g
e
mess
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
heck
for malloc()
as
w
e
ll as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
F
i
x
segfault when h
a
ndl
i
ng implicitly declare
d
f
unction
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpente
r
Warn when we don't acqu
i
re locks when callin
g
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arp
e
nter
Try (and
f
a
il) to find m
e
mory le
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpen
t
er
A
l
most print a message when
y
ou come
to
u
nreachabl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add check to
l
ook for dou
b
le
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Add
checki
n
g for lock_ke
r
nel()/unlock
_
k
ernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Make chec
k
_locking
c
h
eck b
o
th spinlocks
a
nd semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpent
e
r
Add a new functio
n
sl
i
st_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there
i
s
an i++ t
h
en the valu
e
o
f
'i' is unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d
a new check_locking script that checks
s
p
i
n
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
nter
Sav
e
the
pos
s
i
ble states ins
t
ead
of j
u
st me
r
ging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
a
r
pente
r
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Merge bran
c
h 'master' int
o
p
o
ols5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
ter
W
e
co
u
l
d sav
e
some memory by
n
o
t al
l
ocating new me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
Add a comment showing w
h
e
r
e the test
s
a
r
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
This is left ove
r
from October as
p
art
o
f
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add get_possible_s
t
ates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stuff left over from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
We could save some memor
y
by not allocati
n
g new me
m
o
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add more commen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Add a merg
e
hook
.
Handle t
h
e s
i
t
u
ations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carp
e
nter
s
t
rcmp() d
o
esn't accept NULL
a
rg
u
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
rename two functions: get_
v
ariab
l
e_from_expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpen
t
e
r
g
e
t_variable_from_exp
r
()
u
s
es a
s
tatic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
penter
Create
a
check_template
.
c exa
m
ple
scrip
t
that look
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_states() not segfau
l
t e
v
ery time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
F
ix ge
t
_v
a
lue() to
r
eturn negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpen
t
er
We o
n
ly ever
p
a
ss one pa
r
amete
r
into
g
et_va
l
ue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix get_all_states
(
)
t
o
match the
f
u
nction definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arp
e
n
ter
Rem
o
ve add_state(
)
and state_de
f
ine
d
(
) definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix
l
eak
.
M
y problem is that I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initia
l
co
m
mit of the "impl
i
e
d s
t
a
t
e p
o
ols
"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We have
n
't been using smatc
h
_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid o
f
path_history
.
It's never going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Make
g
o
to
_
stack s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
S
pe
e
d up
m
erge_sli
s
t
now that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rp
e
nte
r
In
s
ert stuff onto li
s
t
s
in
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unus
e
d fun
c
tion merge
_
state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*f
o
o) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
k
m
a
l
lo
c
() and fr
i
ends don't al
w
ays
r
eturn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
h
e checks from here got merged
i
n
t
o
c
h
eck_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Move
t
h
e
s
tuff from check_de
r
e
f
ed_p
a
ram
s
.
c
into check
_
null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Fix bug in o
r
_slis
t
_stack()
.
if (
a
&& b) wasn
'
t bei
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nter
Add a hook a
t
the
e
n
d of a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Forgot another
s
t
rip_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
t
e
r
H
andl
e
assig
n
meents
i
n
side con
d
i
tions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
On
l
y print something f
o
r a->
f
oo and
not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan C
a
rpenter
Ignore array declarations
.
Those
c
an't be NU
L
L
o
bviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make
c
u
r_slist
stat
i
c
.
It's
only used in smatch_sta
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Car
p
ent
e
r
W
hit
e
space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
e
nter
U
se merge_slist() instead of
tryi
n
g
to hand
l
e it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next