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 Carpenter
F
i
x the Un
c
lear
locking thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Warn on
d
oub
l
e
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
P
r
int
fewer U
n
c
l
e
a
r
l
ocking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carp
e
n
t
er
if
((1)) {
.
.
.
is a
k
now
n
_condition
_
true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Ad
d
s
u
ppo
r
t
for those funny gcc
(
{
.
.
.
}) block st
a
temen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Handle
d
eclarati
o
ns inside switch statemen
t
blo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is_
z
ero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Add
k
n
own_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Fi
x
handling o
f
continu
e
inside do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carp
e
n
ter
D
o
n't s
e
t let
people set
states
fo
r
unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carp
e
nter
Smal
l
cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
arpenter
Handle the iterators cor
r
e
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpente
r
Add
support for "if (a?b
:
c) {
.
.
.
" ter
n
ary condition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
pe
n
te
r
Add some suppor
t
fo
r
_spin_tryl
o
ck() and
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
if (a ||
b) {
a
->foo; should p
r
int an er
r
or
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
This print
s
o
u
t error
m
e
ss
a
ges all the t
i
me that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
C
arp
e
nter
Assignment al
w
a
y
s sets
&
isfreed to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Don't pri
n
t cross_f
u
nc errors if the c
a
lled
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
R
e
move call to al
l
oc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
penter
Call the merge_ho
o
k() instead of setting t
h
e state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Oops
.
Meant
t
o commit this earli
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the merge_hook
(
) back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Clear
t
h
e
returns lis
t
s at the en
d
of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
t
er
Move
t
he implications checking to afte
r
the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite
completely with new goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Add som
e
f
u
nctio
n
s to handle tracker
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Do
n
't segfa
u
l
t
all the tim
e
when c
h
ecking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Test to s
e
e if we are catching cross function
d
erefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use
the
->p
o
ssib
l
e states and remov
e
t
he me
r
ge_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"while ((
1
))
{"
i
s
a
f
orever
loop
.
C
a
ll stri
p
_e
x
pr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
fixes to the -> pos
s
ibl
e
s
e
t
ting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Me
r
ge bra
n
ch
'mast
e
r' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
Add
v
a
lid
a
tion scri
p
t for check_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
C
a
rpenter
C
l
ean up
.
new->possibl
e
is a
l
wa
y
s null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
-
>
possi
b
les w
a
sn't getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use s
t
ri
p
_
ex
p
r() in split_conditions
(
)
i
n
stea
d
r
e
producing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add so
m
e
m
o
r
e
op
e
rations to
g
e
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&merg
e
d instead
of &undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
make get_
v
alue(
)
return a value for bitwis
e
or ex
p
r
e
s
sion
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Tr
y
again remov
i
n
g
states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pe
n
ter
Rev
e
r
t
"R
e
m
o
ve a state fro
m
it's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warn
i
ng
.
Probably th
e
wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clean ups
.
Comments
.
R
ename slis
t
_
s
tack to named_st
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpe
n
ter
Ha ha
.
I
s
till suck at po
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Cle
a
n
ups
.
C
omments
.
Remove debugging c
o
de from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pent
e
r
C
lean up
.
Also pres
e
rve
the
-
>pool
s
in one p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Clean
u
p ge
t
_sta
t
e_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
R
e
m
o
ve __overwrite_cu
r
_
slist
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpen
t
er
Ther
e
was debu
g
g
in
g
output that a
c
cid
e
n
t
ally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
R
e
move a stat
e
from it's ->
p
ools when set_state
(
)
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pente
r
Don't delet
e
the ->p
o
o
l
s on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Try understand
the imp
l
ications from compound con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Creat
e
a state &merge
d
.
W
h
en we
m
e
r
ge
stuff it
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ok
.
This time smatch_implie
d
_really_
doe
s
s
o
m
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpen
t
er
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(
W
hite
s
pa
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
ter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
ar
p
enter
Add
s
ome more
l
ocking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpen
t
er
F
i
x
implied
pools so that
a
t
least i
t
does s
o
me
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t se
e
med like tracker_list would be
u
sefu
l
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
enter
Add a README
d
e
scribi
n
g smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ad
d
script to find N
U
L
L derefer
e
nces b
e
tween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Chec
k
f
o
r
malloc() as
well as k
m
all
o
c()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pe
n
ter
Fix
segf
a
ult when handling
i
m
p
li
c
itly de
c
lared
f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
Warn when we d
o
n't a
c
quire locks
w
hen calling
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
Tr
y
(and
f
a
i
l) to f
i
nd m
e
m
ory lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost p
r
int a message when you com
e
to un
r
eacha
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add check to look for d
o
uble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add ch
e
c
king for loc
k
_kernel()/unlock_k
e
r
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locking c
h
eck
both spinlocks an
d
semaphor
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpen
t
er
A
d
d a new
function slist_has_s
t
ate
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpent
e
r
If there i
s
a
n i++ th
e
n th
e
value
o
f 'i'
i
s
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a new check_
l
oc
k
i
n
g
script
t
hat checks spi
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save
the possib
l
e s
t
ates instead of j
u
st me
r
ging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
I
gnore ema
c
s g
a
rbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Me
r
ge branch 'master' into p
o
o
l
s5
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpente
r
W
e coul
d
save
some
m
e
mory by
n
ot a
l
lo
c
a
t
ing new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add a com
m
ent
s
howing where the te
s
ts ar
e
suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
This is lef
t
over
from October a
s
part of t
h
e implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add ge
t
_poss
i
ble_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Stuff l
e
ft o
v
er fr
o
m Octob
e
r
.
Implied poo
l
s work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpe
n
t
er
W
e
could save som
e
m
e
mory by not al
l
ocating n
e
w memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpe
n
ter
Fix memory leak
.
A
d
d more comment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Add a merge hook
.
Ha
n
dle the situations li
k
e:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Car
p
enter
str
c
mp
(
) do
e
sn't
a
ccept NU
L
L
ar
g
uments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an C
a
r
p
enter
rename tw
o
functions: get_variable_fr
o
m_expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
get_variable
_
from_expr() us
e
s a
s
tatic buf
f
er
a
n
d yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
n
t
e
r
Cr
e
at
e
a che
c
k_templat
e
.
c exa
m
ple
s
cript that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_states() not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix
g
et_v
a
lu
e
() to r
e
turn
n
e
gative valu
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only
e
ver pass one parameter into
g
e
t
_
v
alu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Fix get_
a
ll_
s
t
a
tes()
t
o
match th
e
function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
R
e
m
ove
a
dd_state() and state_
d
efined
(
) d
e
fini
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
l
ean up
.
Fix leak
.
My pr
o
blem
is that I d
o
n't
u
nderstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an C
a
rpe
n
te
r
I
n
itial co
m
mit of the
"
imp
l
ied state pools" st
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
oh
.
W
e
have
n
't been
using smatch_extra for
a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of pat
h
_histo
r
y
.
It
'
s ne
v
er going to be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpente
r
Make goto_sta
c
k s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
pe
n
ter
Speed up merge_sli
s
t now that the slists
are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next