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
Warn on double lock/unlocks.
2009-02-23
Dan
C
arpenter
W
a
rn on double lock
/
unl
o
ck
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpe
n
te
r
Print fewer
Unclear lockin
g
messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1))
{
.
.
.
is a know
n
_conditi
o
n
_
true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Car
p
enter
Add suppo
r
t
for those funny
g
cc ({
.
.
.
}
) bloc
k
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle declarations
inside switch statement blo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pent
e
r
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Add known_condition
_
fa
l
se
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
F
ix handling of continue inside do whi
l
e statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
D
on't set l
e
t people s
e
t states for u
n
reachable
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Sma
l
l cleanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
nter
H
andle the
i
t
era
t
or
s
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpent
e
r
Add support for
"
if (a?b:c) {
.
.
.
" te
r
na
r
y
condit
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add so
m
e support for _spin_trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
enter
if (a || b)
{
a
->foo
;
sh
o
uld pri
n
t an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
r
p
en
t
er
T
h
i
s
prints
o
ut erro
r
messages
a
ll the time
that
a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpent
e
r
As
s
i
g
nment alway
s
sets &isfreed to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
te
r
Don't print cros
s
_f
u
n
c
errors if the call
e
d
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Rem
o
v
e
call to alloc_s
t
ate(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Cal
l
the
merge_hook(
)
instead of s
e
tting
the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Oops
.
Meant to co
m
mit th
i
s
e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Add th
e
mer
g
e_ho
o
k(
)
b
ack in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
Clear the r
e
turns lis
t
s at the end of each f
u
ncti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Ca
r
penter
Move
the implicati
o
n
s c
h
ecking to after
t
he scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
R
e
w
rite compl
e
t
ely with ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some fun
c
tions to h
a
n
dle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
penter
Don'
t
segf
a
ult a
l
l the time when chec
k
ing forev
e
r loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Test to see if we are c
a
tchin
g
c
ross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
U
se the
-
>possible
s
tates and re
m
ove the mer
g
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
enter
"
while ((1)) {" is a fo
r
e
v
er loop
.
C
a
ll strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpenter
fixes to
t
he -> p
o
s
s
i
b
le sett
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge branch '
m
ast
e
r' i
n
t
o
null_
d
ere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add va
l
idatio
n
s
c
rip
t
for che
c
k_nu
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n Carpenter
Clean up
.
new->po
s
sib
l
e is alway
s
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Oops
.
->po
s
sibles w
a
sn't g
e
tti
n
g set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
n
ter
Use
strip_ex
p
r() i
n
split_con
d
i
tions() instead
r
eproduci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpe
n
ter
A
dd som
e
more
o
perat
i
ons
t
o
get_val
u
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Re
t
urn &merged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
m
ake get_va
l
u
e() return a value for b
i
twis
e
or
e
xp
r
essio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Try again removing sta
t
es from
pool
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
p
e
nter
Reve
r
t "Remo
v
e a state from it's ->pools whe
n
set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpent
e
r
Elim
i
nate a warning
.
Proba
b
ly the wrong way to
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
C
l
ean ups
.
C
o
mments
.
Rena
m
e sl
i
st_stack to n
a
med_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpent
e
r
Ha h
a
.
I stil
l
suc
k
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
C
lea
n
ups
.
Comment
s
.
Remove debuggin
g
code from fi
l
te
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ea
n
up
.
Also preserv
e
t
h
e ->pools i
n
one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Rem
o
ve __overwri
t
e
_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpe
n
ter
There w
a
s debugging
output that ac
c
identally g
o
t committ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
Remove a
state
from
it's -
>
p
ools whe
n
set_state
(
) is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Don't delete the -
>
pools
o
n merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try underst
a
nd the implicat
i
ons from comp
o
und con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Create a s
t
ate &m
e
rged
.
When
w
e merge stuff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
O
k
.
This time smatch_
i
mpli
e
d _real
l
y_
does
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rp
e
nter
I
g
nore cscope
f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small c
l
eanups
.
(White
sp
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arp
e
nter
W
hitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpe
n
t
e
r
Ad
d
some mor
e
locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
F
i
x impli
e
d
pools
so th
a
t at least it does
some
t
hin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
It seeme
d
like tracker_l
i
st would
b
e useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a README des
c
ribing s
m
atch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carp
e
nt
e
r
Add script to find NULL dereferences bet
w
een functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Ca
r
penter
Chec
k
f
or
malloc()
a
s
w
ell as
k
m
alloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix se
g
fa
u
lt when handling
implicitly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
W
a
rn when we don't acquire
locks whe
n
calling c
e
rtain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carpenter
T
r
y (and fai
l
)
to find m
e
mo
r
y le
a
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
m
o
st print a messag
e
when you come to unreachabl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
r
penter
Ad
d
check to look for
d
ouble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Ca
r
penter
Add check
i
ng for
l
ock_kerne
l
()/
u
n
lo
c
k_k
e
rn
e
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locking check both
spinlocks a
n
d semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
Add a new
funct
i
on
slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
e
n
ter
I
f there i
s
an i++ then th
e
value
o
f 'i'
i
s
un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Car
p
enter
Add
a new check_locking s
c
ript
t
h
at check
s
spinloc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nte
r
Sa
v
e the pos
s
ible states ins
t
ead of ju
s
t merging
t
hem
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branc
h
'mast
e
r' i
n
to p
o
ols5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
ter
We cou
l
d save s
o
me
m
emory
b
y not
al
l
ocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpen
t
er
Add a
comment show
i
ng where
the tests
are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left
o
v
er from October as
part of
t
he impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
r
penter
Add get_
p
ossi
b
le_stat
e
s()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ent
e
r
S
tu
f
f left over from October
.
Implied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpent
e
r
We could sa
v
e some
m
emory b
y
not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
F
i
x
mem
o
ry
leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Ca
r
penter
Add a me
r
ge
h
o
o
k
.
H
a
nd
l
e t
h
e
s
i
tu
a
tions like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
str
c
mp() doesn
'
t ac
c
ept NULL a
r
gum
e
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
rena
m
e
t
wo
f
un
c
tions:
g
e
t_variable_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_from_e
x
pr
(
) uses a stat
i
c buffe
r
and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Cr
e
at
e
a che
c
k_template
.
c example s
c
ri
p
t that
l
o
oks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpe
n
ter
Make get_a
l
l_s
t
ates() not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rp
e
nt
e
r
Fix get_value()
to return
negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e
only
e
ver p
a
ss one param
e
ter in
t
o get_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_sta
t
es() to
m
atch the
f
unc
t
ion definit
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
en
t
er
Remove add_s
t
ate() and state
_
def
i
n
e
d
(
)
definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
C
l
e
an up
.
Fi
x
leak
.
My problem is
t
hat I don't underst
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an C
a
rpen
t
er
Initial
c
ommit of t
h
e "implied s
t
a
t
e pools
"
s
t
uff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
Doh
.
We
haven't been u
s
ing smatch_extra for a whi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Get rid of path_his
t
ory
.
It's never going
t
o be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpente
r
Mak
e
goto_st
a
ck static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpe
n
ter
Spe
e
d up mer
g
e_slist now t
h
at the slist
s
are ord
e
red
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Inser
t
stuff onto lists in a sor
t
ed order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next