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
Small cleanup.
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle
the iterator
s
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
Add s
u
ppo
r
t f
o
r "if (a?b:c)
{
.
.
.
"
ternary
cond
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some suppo
r
t fo
r
_spin
_
t
rylock() a
n
d frie
n
ds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an C
a
rpenter
i
f
(a || b) { a->foo; s
h
ould p
r
in
t
an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
penter
Thi
s
prints out error messages all the t
i
me that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
Assignment al
w
ays s
e
ts &isfr
e
ed to
s
omething
e
lse li
k
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Don't print cross_func errors if the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove c
a
ll to allo
c
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
C
a
ll t
h
e merge_hook() inst
e
a
d
of s
e
tt
i
n
g the s
t
ate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
O
o
ps
.
Meant to commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add th
e
merge_hook()
b
ack
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns
l
ists at the e
n
d of each functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
o
ve the i
m
pl
i
cat
i
ons checking
t
o after
the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Rewr
i
te c
o
mpl
e
tely
w
ith new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pente
r
Add some function
s
to handle track
e
r li
s
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Do
n
't segfault
all t
h
e
t
ime when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if we are catching cross fu
n
ction
d
ere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Use the
-
>possible sta
t
e
s
and remo
v
e the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"wh
i
l
e
(
(
1
)
)
{" is a forever loop
.
Cal
l
s
trip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
fixes to the -> possible
s
ett
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge bra
n
ch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Car
p
enter
A
d
d
v
alidation
s
cript for check_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
enter
Clean u
p
.
new->possible is
always
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Oops
.
-
>
p
o
ssible
s
wasn't gett
i
ng
se
t
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Use st
r
i
p
_expr() in split_cond
i
tio
n
s() instead repro
d
ucing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Ad
d
some
m
ore operations
t
o
get_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Retur
n
&merged
i
nste
a
d of &u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get
_
value()
return
a value for bitwise o
r
e
x
press
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Try a
g
ai
n
re
m
oving states fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpe
n
te
r
Revert "Remove a sta
t
e
f
rom i
t
's ->po
o
ls when se
t
_
st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Eli
m
in
a
te a warnin
g
.
Pro
b
ably th
e
wrong wa
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
Clean ups
.
Comments
.
R
ena
m
e sli
s
t_stac
k
to
nam
e
d_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
H
a ha
.
I s
t
ill suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cleanups
.
Comments
.
R
e
m
o
ve debugging
code
f
rom filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Als
o
p
res
e
rve the ->
p
ools in o
n
e path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Clean
up get_st
a
te_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Re
m
ov
e
__overwrite_cur_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpent
e
r
T
h
ere was debuggi
n
g output that accidentally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a sta
t
e fr
o
m it's
->poo
l
s
when
set_s
t
ate()
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nter
Don't
d
elete
t
he ->pools on mergin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try unde
r
stand the implications fr
o
m c
o
mpound
condi
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
pent
e
r
Create a state
&
merged
.
When
w
e
me
r
ge stuff
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This ti
m
e smatch_
i
mplied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ignore csc
o
pe
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Small clea
n
u
p
s
.
(White sp
a
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more l
o
c
king
func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpente
r
Fix impl
i
ed
p
ool
s
s
o
that
a
t l
e
as
t
it does som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
s
eemed li
k
e tr
a
cker_lis
t
w
o
uld be u
s
e
f
ul in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
A
d
d a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add s
c
ript
to find NU
L
L derefere
n
ces between f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix u
s
age message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Check for
malloc() as well as kmallo
c
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
penter
Fix
segfault when
h
andling implicitly
d
e
c
lared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpent
e
r
Warn when we don't
acquire lo
c
k
s
w
h
en c
a
ll
i
ng
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpen
t
e
r
T
r
y
(a
n
d fai
l
) to
f
in
d
m
emory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Ca
r
pe
n
t
er
Almost
p
ri
n
t a
m
e
s
s
a
ge when
you
c
ome t
o
unreachab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpen
t
er
Add ch
e
ck to
look fo
r
double
f
rees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carpe
n
ter
Add c
h
ecking for lock_ke
r
nel()/unlock_kernel(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Car
p
enter
Make check_locking check
b
o
t
h spinlocks and semap
h
o
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Add
a
new f
u
nction s
l
ist_h
a
s_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
If there is an i++ then the
val
u
e of 'i' is u
n
d
ef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a new check_locking
s
c
ript t
h
at
c
he
c
ks spinl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
S
a
ve the possible states i
n
stead of just mergi
n
g th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
gnore emacs
garb
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Merg
e
branch 'master' into po
o
l
s
5
commit
|
commitdiff
|
tree
2009-01-16
Dan
Carpenter
We could save some
m
emory by not
allocating new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pen
t
er
A
d
d a comment s
h
o
wing
where the tests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
This is left
over from Octobe
r
as part of the
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add get_possible_s
t
ates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
S
t
uff
l
e
f
t ov
e
r from October
.
Implied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpenter
W
e
could
s
ave s
o
me
m
e
mory by not
al
l
oca
t
ing new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n
Carpent
e
r
Fix memory leak
.
A
dd m
o
r
e comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a
merge hook
.
H
andle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
e
r
s
trcmp()
doesn't accept N
U
LL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
rename tw
o
funct
i
ons: get_vari
a
b
l
e_from_expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
n
t
er
g
e
t_variable_from_expr()
uses a static bu
f
f
e
r
a
n
d you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Create a check
_
template
.
c example
s
cript that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Car
p
enter
Make get
_
all_
s
tates() n
o
t segfault every tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpen
t
er
Fix get_value() to return
negat
i
v
e
v
a
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
We only ever pass one par
a
meter into get_val
u
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
F
i
x
get_all_state
s
() to m
a
tch th
e
function
d
e
f
inition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Remove add_
s
tate() and state_defin
e
d
(
) definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
My
pr
o
blem is that
I don't understa
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpente
r
I
n
it
i
al commit of the "implied state poo
l
s"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Do
h
.
We haven't been using smatch
_
e
xtra for
a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get ri
d
of pa
t
h_h
i
story
.
I
t's ne
v
e
r
go
i
ng to
be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpen
t
er
Ma
k
e g
o
to_st
a
c
k
sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpent
e
r
Speed
up merge_slis
t
now that the slist
s
are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Ins
e
rt stuff onto list
s
in
a
sorted ord
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delete an unused function merge_state_st
a
ck()
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
C
arpen
t
er
kmalloc
(
) and friends don't always
r
eturn a
n
on-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
arpenter
The
checks from he
r
e got merged into check
_
n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpent
e
r
Move the s
t
uff
from check_derefed
_
params
.
c int
o
check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
i
x
bug i
n
or_slist_stack()
.
if (
a
&
&
b)
wa
s
n't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpent
e
r
Add a hook at th
e
end
of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgo
t
another strip_expr()
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Handle assignmeents ins
i
de
c
onditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next