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
Add known_condition_false()
2009-02-22
Dan Carpenter
A
dd known
_
condit
i
on_f
a
lse()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Fix
h
andling of
continue in
s
ide do while stat
e
m
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpente
r
Don't set let people set states for unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Sm
a
ll
c
leanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
H
a
ndl
e
the iterators co
r
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carp
e
nter
Add support f
o
r
"
if
(
a?b:c) {
.
.
.
" ternary
c
o
ndition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
enter
Add some s
u
pport
for
_spin_trylock() and fri
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
p
enter
if (a || b) { a->foo
;
s
h
ould print an
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
a
rp
e
nter
This prints out
error messages all the ti
m
e th
a
t are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignmen
t
always sets
&isfreed to
somethi
n
g els
e
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
t
er
Don't p
r
int
c
ross_func err
o
rs
if the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
R
emove
c
a
ll
t
o alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Call the merge_hook() inst
e
ad
of
s
etting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
enter
Oops
.
Mea
n
t to commi
t
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
A
d
d t
h
e merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
C
lear the returns lists at the
e
nd o
f
each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arp
e
nter
Move th
e
implic
a
t
i
ons chec
k
ing to afte
r
th
e
scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completely
w
ith new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
Ad
d
s
ome fun
c
tions to ha
n
dle tra
c
ker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
D
on't
s
e
gfa
u
lt
a
l
l the ti
m
e when c
h
eck
i
ng forev
e
r loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Test to s
e
e if we are catc
h
ing cross functi
o
n
d
e
ref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
U
s
e
the ->
p
ossible
s
tates
and rem
o
v
e the
m
erge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"while
((1))
{" is a fo
r
e
v
er loop
.
Call strip_exp
r
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
fixes
to the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpenter
Merge branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Ad
d
valid
a
tion
s
cript fo
r
check_null_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpenter
Clean up
.
new->possible is alw
a
ys
n
u
ll
h
e
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Car
p
enter
Oops
.
-
>possibles wasn'
t
gett
i
ng set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Use st
r
ip_expr() in split_con
d
itio
n
s
(
) instead
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
A
d
d some more oper
a
t
i
ons to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpe
n
t
e
r
Return
&merged inst
e
ad of &un
d
e
f
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
m
a
ke get_val
u
e() return a value for
b
itwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pente
r
Try
a
gain
removing
s
tates from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpen
t
er
Reve
r
t "Remove a state
f
rom i
t
's ->pools wh
e
n set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
Eliminate
a warning
.
P
r
oba
b
ly
the wron
g
way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comme
n
ts
.
Renam
e
s
li
s
t_sta
c
k to named_st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpen
t
e
r
Ha
h
a
.
I
still suck
at pointe
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
C
leanup
s
.
Comments
.
Remove de
b
ugging
code from filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Clean
up
.
A
lso
preserve t
h
e ->pools in one
pa
t
h
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
en
t
er
Clean up
g
et
_
stat
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
te
r
Remov
e
__overwrite_cur_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
There was debugging output that accid
e
ntally got commi
t
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remove
a state from it's
-
>pools when set_state()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Don't delete
the ->pools on mergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
pe
n
ter
Try
u
nderst
a
n
d
the implicati
o
ns from
c
ompound c
o
nditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a state &merged
.
When we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ok
.
This
t
i
me smatch
_
implie
d
_re
a
lly_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
gnore csco
p
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nt
e
r
Small cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Whitespa
c
e
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Car
p
en
t
er
Add some
m
o
r
e lockin
g
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
ix impl
i
e
d
pools so t
h
at
a
t
le
a
st
i
t
d
oes something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Car
p
enter
It seemed like tracker_list would be usefu
l
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a REA
D
ME
describing
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd script to find NULL d
e
ref
e
r
e
nces between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pent
e
r
Fix usage messa
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc(
)
a
s
we
l
l as kmalloc(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpe
n
ter
Fi
x
segfau
l
t w
h
en hand
l
i
ng
im
p
lici
t
ly
d
eclared func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
rpenter
W
a
r
n
w
h
en we don't ac
q
uir
e
l
o
ck
s
when
c
alling c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) to find memory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Almost print a
me
s
sage w
h
en
you come
t
o unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d
c
heck
to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd checking for lock_kernel()/unlock_ke
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Make
check_locking c
h
eck
b
oth spinlocks and sem
a
phores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a ne
w
function slis
t
_
h
as_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
If there is an i++ then t
h
e value of '
i
'
is undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
n
ew check_lo
c
king scr
i
pt t
h
at checks s
p
inlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Car
p
e
n
ter
S
ave the possibl
e
states instead of just
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
n
t
er
Ig
n
ore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merge branch
'
mas
t
er' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan
Car
p
en
t
er
Fix likely()
a
n
d unli
k
ely
(
) han
d
l
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
Ad
d
s
i
ngle quotes around the variable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save s
o
me mem
o
r
y by not a
l
locatin
g
new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arp
e
nter
Add a comment
s
howing
where th
e
t
e
s
t
s are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Th
i
s
i
s left over from O
c
tober as part
o
f the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
ent
e
r
Add get_p
o
ssibl
e
_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Stuff left over from Oct
o
ber
.
Implied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
penter
We could s
a
ve some memory by
n
ot
a
ll
o
cating
new memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memor
y
leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Ad
d
a merge hook
.
Handle the
situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
t
e
r
str
c
mp() doesn't accept NULL
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
renam
e
two functions: get_variable_from_expr_si
m
pl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
get_vari
a
b
l
e
_
from_expr()
u
s
es a st
a
t
ic b
u
f
fe
r
an
d
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Crea
t
e a
check
_
tem
p
la
t
e
.
c example script th
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make ge
t
_all_st
a
tes() not segfault every ti
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix get_value() to
r
etu
r
n negat
i
ve values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pass one
pa
r
ame
t
er into get
_
v
a
lue(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix get_
a
ll_states() to match
the function definit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Remove add
_
st
a
te() and s
t
ate_defi
n
ed() definition
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
ix leak
.
My pr
o
blem i
s
that I d
o
n
't u
n
derstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
Initial co
m
mit of t
h
e
"
implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We
haven't
been
using smatch_extra
f
or a
w
h
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Get rid of
path_h
i
st
o
ry
.
I
t
's neve
r
going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Mak
e
goto_st
a
c
k static
.
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Spee
d
u
p merge_slis
t
n
o
w that
t
h
e slists are order
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Insert stuff onto l
i
sts in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delete a
n
un
u
sed function merge
_
s
t
ate_st
a
c
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpente
r
fi
x
: if (*foo) {
(
*foo
)
-
>bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
a
rpe
n
t
er
kmalloc() and friends don't alway
s
return a no
n
-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an
Carpent
e
r
The c
h
ecks from here got
mer
g
ed into chec
k
_null_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next