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
Don't check that there are both true and false states. Reshuffle.
2009-02-26
Dan Ca
r
penter
D
o
n
'
t chec
k
t
h
at there are b
o
th
true and false st
a
tes
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
Thi
s
check_order() see
m
s
s
uperfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Ca
r
p
e
nter
New functio
n
h
armoniz
e
_
states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
cal
l
__split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove unneeded
calls to
__use_co
n
d_true_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpent
e
r
Don't
s
et the implied state to
&
m
e
rged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Make cmp
_
tracker() accessible to outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
enter
All the states are i
m
plied
n
o
t
just unique on
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
Improve lock check output
.
Add more valid
a
tion s
a
mpl
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carp
e
nte
r
A
dd sup
p
or
t
for down_interruptible() and f
r
iends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
F
ix
the Unclear lock
i
ng
t
hing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
W
arn on dou
b
le lo
c
k/unloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear locking
messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
is a known_condition_true(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
e
r
Add support for tho
s
e funn
y
gc
c
({
.
.
.
}) block statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
ente
r
Han
d
le
declarations i
n
side sw
i
tch
s
tatement b
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpen
t
er
Cleanup is_z
e
ro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
A
d
d known_conditi
o
n_
f
alse()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix han
d
ling of co
n
t
i
nue inside d
o
whil
e
stat
e
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Don't set let people set
s
tates for
u
nre
a
chabl
e
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle
t
h
e
itera
t
ors correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support
for "if (a?b:c)
{
.
.
.
" ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Add som
e
support for
_
spin_tryl
o
ck(
)
a
n
d frien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
i
f (
a
|| b) { a->foo
;
should print
a
n
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
an
C
arpente
r
This prin
t
s out e
r
ror message
s
all
th
e
time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment a
l
w
ays sets
&
i
s
f
reed to so
m
et
h
i
ng
els
e
lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
Don't p
r
int cross_func errors if the called
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
R
emove call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call th
e
merge_hook() instead of set
t
ing t
h
e state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oop
s
.
Meant t
o
commit
thi
s
e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Add
t
he me
r
ge_hook(
)
back i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
C
lear the returns lists at the
end of each func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Move th
e
implications
checking to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completel
y
w
i
th new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
A
d
d so
m
e
f
unctions to
h
and
l
e tracker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't se
g
fa
u
lt all th
e
time when checking forever lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Test to see if we are ca
t
ch
i
n
g cr
o
ss function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Use the ->possible st
a
tes and
r
emove
the
m
erge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while
(
(1)) {" is a
f
orever loop
.
Call
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
fixes to the
-
> possible setti
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
ter
Merge branch 'm
a
ster
'
i
nto n
u
ll_de
r
ef
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpente
r
Add
v
a
l
idation script for c
h
e
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpenter
Cle
a
n
up
.
new->possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
p
enter
O
ops
.
-
>
possibles wasn't getti
n
g set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Use strip_expr()
i
n
s
plit_co
n
ditio
n
s
(
) inst
e
ad reproduci
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some
m
or
e
op
e
ra
t
ions to
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpente
r
Return &merged i
n
stead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
m
ake get_v
a
lue() return a
value for bit
w
i
s
e o
r
e
x
p
r
e
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
D
an
C
ar
p
e
nte
r
Try aga
i
n removing states
f
r
o
m
p
o
ol
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Car
p
ente
r
R
e
v
ert "Remove a
state from
i
t
's ->poo
l
s when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Pr
o
b
a
bly
th
e
wrong way to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
ups
.
C
omments
.
Rename sl
i
st_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
penter
Ha ha
.
I still suck
at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpe
n
ter
Cl
e
an
u
ps
.
Co
m
ments
.
Remove debugg
i
ng code from filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean
u
p
.
Also pr
e
serve the -
>
pools in o
n
e path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
lea
n
up get_sta
t
e_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remo
v
e __ove
r
write_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
Ther
e
w
a
s debugging
o
utpu
t
that ac
c
i
d
entally
g
ot committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state fr
o
m i
t
's -
>
pools when s
e
t_state
(
) is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
enter
Don't delete t
h
e ->pools
on
m
e
r
g
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try under
s
tand the
i
mplic
a
tions from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rp
e
nter
Cre
a
te
a
state &merged
.
Wh
e
n
w
e
m
erge stuff
i
t isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time sm
a
tch
_
impl
i
ed _really_
does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
ar
p
enter
Igno
r
e cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cle
a
n
ups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpent
e
r
Whitespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpent
e
r
Add som
e
m
ore lockin
g
f
u
ncti
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpen
t
er
F
i
x impl
i
ed pools
s
o tha
t
at least it does someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
e
nt
e
r
It seemed like tracker
_
list
w
ou
l
d
be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
Add a README describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
er
Add script to
find NULL der
e
feren
c
es between fu
n
c
t
ion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fix usage messag
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Car
p
enter
Chec
k
f
or malloc(
)
as
well a
s
kma
l
loc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix segfaul
t
when handling implicitly declared
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Warn when
w
e
don't acquire locks when calling c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Ca
r
penter
Try (
a
nd fail
)
to find memory l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Almost
print a message w
h
en
you come
t
o u
n
reachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
ar
p
enter
Add
c
h
eck to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd c
h
ecking for lock_kernel()/un
l
ock_kerne
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Make check_lo
c
king check both
spinlock
s
an
d
semaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Add a
new function slist
_
h
as_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
If there is
an i++ th
e
n
the va
l
ue of 'i'
i
s undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
new check_locking
s
cript that che
c
ks
s
pinl
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpe
n
ter
Save the possibl
e
states instead of just merging th
e
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
C
a
rpe
n
ter
Ignore
e
macs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
M
erge branch 'master' into po
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
F
i
x likely() and unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
Ad
d
si
n
gle quotes around the variable
for
c
onsi
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Ca
r
penter
We could
s
ave so
m
e mem
o
ry by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Ca
r
pe
n
ter
Add a c
o
mment showing
w
here the tes
t
s are sup
p
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over from Octo
b
er as par
t
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_s
t
ates()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
enter
Stuff left over
from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
We could sa
v
e some
m
emory by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n
C
a
rpenter
F
i
x m
e
mory leak
.
Add mor
e
com
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
Add
a
me
r
ge hook
.
Handle the situati
o
ns like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
t
e
r
st
r
c
m
p() doesn't accept N
U
L
L ar
g
ument
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpen
t
er
rename two functio
n
s: get_variabl
e
_from
_
expr_
s
imple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nte
r
get_variable_fr
o
m_expr() uses a s
t
atic buffer and
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next