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
Fix the Unclear locking thing. Again.
2009-02-23
Dan
Carp
e
nter
Fix
t
he Unc
l
ear locking t
h
ing
.
A
gain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Ca
r
p
enter
Warn on
d
o
u
b
le
lock/u
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
er
Print fe
w
er Unclear locking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
i
f
((1)
)
{
.
.
.
i
s
a k
n
own_condi
t
ion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
pent
e
r
Add su
p
port for t
h
ose fun
n
y gcc ({
.
.
.
}
) bl
o
ck statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Handl
e
declarations inside switch statement
blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Cleanup is_
z
ero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
A
dd known_con
d
i
t
ion_fa
l
se(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Ca
r
penter
Fix handling
of contin
u
e inside
do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don'
t
set let people
s
et
states
f
o
r u
n
reachable cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Small cl
e
anup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpen
t
er
Handle th
e
it
e
rators c
o
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add su
p
port
f
o
r "if (a?b
:
c)
{
.
.
.
" ternary condit
i
on
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
A
dd s
o
me support f
o
r _spin_trylock()
an
d
friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpen
t
er
if (a || b) { a->foo; should
p
rint an
e
rror
.
A
l
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
p
e
nter
This prints
out
e
rror me
s
s
a
ges a
l
l the time that
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
s
s
ignme
n
t always sets &isfreed to somethin
g
else lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpent
e
r
Do
n
't print cross_fun
c
errors
i
f the calle
d
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove
c
all to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the mer
g
e
_hook(
)
instead of
s
etting the st
a
te
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Oops
.
Meant to
c
ommit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpente
r
Add t
h
e m
e
rg
e
_ho
o
k() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Clear the returns lists at the en
d
of
each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pente
r
Move t
h
e implication
s
ch
e
cki
n
g to after the s
c
r
i
pts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite
compl
e
tely
wit
h
ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Ad
d
some functions to h
a
ndle tra
c
ker list
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfau
l
t
a
ll the time when checking forever
l
o
op
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Test to see
i
f we a
r
e cat
c
hing cross func
t
io
n
der
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
Use t
h
e ->possibl
e
states and remove
t
he
m
erg
e
_h
o
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"whi
l
e ((1))
{
"
is a forever
loo
p
.
Call strip_
e
xpr(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
fixes to the ->
p
ossible
s
etting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
M
e
rge branch 'm
a
ste
r
' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an
Car
p
ent
e
r
Add validation script
f
o
r check_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n Carpenter
Clean up
.
new->possible is
a
lways null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpente
r
O
ops
.
->pos
s
ib
l
es wasn't get
t
i
n
g se
t
co
r
rectl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
U
s
e
strip_expr() in split_conditions() instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more ope
r
a
t
ions
t
o get_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
C
a
r
penter
Return &merged
in
s
t
e
ad of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value() return a
v
a
l
ue for bitwise or expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Try agai
n
removing sta
t
e
s
from
p
ools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
R
e
v
e
rt
"
R
e
m
o
ve a
s
tate from it's -
>
pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Elim
i
nate a warning
.
Probably t
h
e
w
r
o
ng way
t
o do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean
u
ps
.
Comments
.
R
e
nam
e
slist_stack t
o
n
amed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck at pointe
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Cleanup
s
.
Comme
n
ts
.
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
t
h
e ->pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an
u
p
get_state_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remov
e
_
_
o
verwrite_cur_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
he
r
e was debugging
output that
a
c
c
identa
l
ly got committe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state fro
m
it's ->po
o
ls when set_sta
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try
u
n
der
s
tand
th
e
im
p
lications from
compound conditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate
a
st
a
te
&merg
e
d
.
W
h
en we merge stuff it
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpent
e
r
Ok
.
Th
i
s
t
ime smatch_implied _really_
d
oes
someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ig
n
or
e
csc
o
pe files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpe
n
ter
S
m
all
c
leanups
.
(
White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace
c
h
a
nge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
A
dd some mo
r
e locki
n
g
fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
ix i
m
plied pools
s
o
that
at leas
t
it does s
o
meth
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t
seemed like tracker_l
i
st would be useful in a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
A
dd 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 N
U
LL d
e
references be
t
wee
n
f
un
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arp
e
nter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
C
heck for
m
a
lloc()
as well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Fix
s
eg
f
aul
t
w
hen h
a
ndling imp
l
icitly decl
a
red f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpente
r
Warn
w
hen we d
o
n'
t
acqui
r
e lo
c
ks when callin
g
cert
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
C
arpenter
Try
(
and fai
l
) to find memo
r
y
l
eak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Alm
o
st print a message when you come to unreach
a
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d
c
heck t
o
lo
o
k for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carp
e
nter
Add
c
he
c
k
i
n
g
f
o
r
lock_kernel()/unlock_
k
e
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
ak
e
check_locking chec
k
both sp
i
nlocks and
s
emaphore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add
a
new functio
n
slis
t
_has_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpent
e
r
I
f
t
her
e
is an i++
t
hen the v
a
lue of
'
i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_loc
k
ing script tha
t
checks
s
pinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Save the possible states i
n
stead of just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Ignore
e
m
a
c
s
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpe
n
t
e
r
Merge branch 'master' in
t
o pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Carpenter
F
i
x
likely() an
d
unlikely() handlin
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Ad
d
single
q
uotes a
r
ound the variab
l
e for consist
e
ncy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpenter
We could save some memory by not
a
l
l
ocating new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
r
pente
r
A
dd
a
comment showing where the tests are supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
e
nter
T
h
is is
l
eft over from October a
s
part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Ad
d
g
et_possible_s
t
ates()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpe
n
ter
S
tuf
f
left over from Oct
o
be
r
.
I
m
plied poo
l
s wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save some me
m
or
y
by not
allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
nter
Fi
x
me
m
ory leak
.
Add
more
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rp
e
nter
Ad
d
a
m
e
rge hoo
k
.
Handle th
e
situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpent
e
r
strcmp() doe
s
n't accept NULL ar
g
uments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
pen
t
er
rename two func
t
ions: get_varia
b
le_from_exp
r
_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpente
r
get_va
r
iable_from_expr(
)
uses
a
static buffe
r
and yo
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpente
r
Crea
t
e a ch
e
ck
_
template
.
c exampl
e
s
cript that
l
ooks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
M
a
ke get_all_states() not segf
a
u
l
t
e
very time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpe
n
ter
Fix get_valu
e
() to return
n
eg
a
tive values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
We on
l
y
e
ver pass one p
a
rameter i
n
to
g
e
t
_
v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an C
a
r
p
enter
Fix g
e
t_all_
s
t
a
tes
(
)
t
o match the function
d
efinition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
a
dd_
s
tate() and stat
e
_d
e
fined(
)
definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Clean up
.
Fix leak
.
My proble
m
is t
h
at I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit
of the
"
implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
t
e
r
Doh
.
W
e
hav
e
n't
b
een using
smatch
_
extra fo
r
a wh
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
G
e
t
rid of path_histor
y
.
It's
never
g
oing to be u
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next