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
Carpe
n
ter
Fix t
h
e
U
nclear locking
t
h
i
ng
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Warn on double
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Print
f
ewer Unclear loc
k
in
g
messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
if ((1))
{
.
.
.
is a kn
o
wn_condition
_
true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
pe
n
ter
Add support for th
o
se f
u
nny
gcc ({
.
.
.
}) block statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
H
andle declarati
o
ns in
s
ide swit
c
h statement
b
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Clean
u
p
is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Add kno
w
n_condit
i
on_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
F
ix handling of conti
n
ue inside do
w
hile s
t
ate
m
en
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Don't set let
people se
t
states
f
or u
n
reachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Small
c
leanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Car
p
enter
Handle
t
he iterators corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpenter
Ad
d
suppo
r
t for
"
if (a
?
b:c) {
.
.
.
" ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carp
e
nter
Add some support f
o
r _
s
p
in_trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Ca
r
p
enter
if (a || b) { a->foo; should prin
t
an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Th
i
s prints ou
t
e
r
r
o
r messa
g
es all the t
i
me that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignment a
l
ways s
e
ts &
i
sf
r
e
ed to something e
l
s
e like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Do
n
'
t print cross_f
u
nc
e
rrors if the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Re
m
ove call
t
o alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
Call the mer
g
e_hook() instead
of
set
t
i
ng
t
he state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
Oops
.
Meant
t
o commit this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpe
n
t
e
r
Ad
d
t
h
e m
e
rge
_
hook() back i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Clear
the
returns li
s
ts at the
end of ea
c
h function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Mov
e
the implicati
o
ns
c
hecking to after
the
s
cripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rew
r
ite complet
e
ly wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some
functions
to h
a
ndle tracker l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
pe
n
ter
Don't segfau
l
t all the time when chec
k
i
n
g forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
er
Tes
t
to s
e
e if we are catching c
r
os
s
functi
o
n
de
r
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
->possi
b
le sta
t
es and remov
e
th
e
merge_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
"whil
e
((1)
)
{" is a for
e
ver loop
.
Call st
r
ip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
e
r
fixes to
t
he -> pos
s
i
b
l
e
s
e
t
ting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpen
t
er
Me
r
g
e branch 'master' into null_
d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
r
pe
n
te
r
Add vali
d
ation script f
o
r check_nul
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
r
penter
Clean up
.
new->possib
l
e is
always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpen
t
er
Oops
.
-
>
po
s
sibles
wasn'
t
getting
s
e
t co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_ex
p
r(
)
in split_conditions(
)
instead re
p
r
o
ducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an
C
arpent
e
r
Add s
o
me mor
e
oper
a
tions to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Re
t
urn
&merged instead of &un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
mak
e
g
e
t_value
(
) return a va
l
ue for bitwise or expre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again remo
v
ing states fr
o
m pool
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Revert "Re
m
ove a state from i
t
's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Elimi
n
ate a
warning
.
Prob
a
bl
y
the
w
r
ong way to
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comm
e
n
ts
.
R
e
name s
l
ist_s
t
a
ck to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carp
e
n
te
r
Ha ha
.
I still
suck
at point
e
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Cleanup
s
.
Comments
.
Remove
d
ebuggin
g
code from filt
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean up
.
Also preserve the ->p
o
ol
s
in one pa
t
h
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean up get_state_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Remove
_
_overwrite_cu
r
_slist(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpent
e
r
There
w
as deb
u
gging ou
t
p
ut th
a
t
a
c
cidentally
got com
m
itted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Rem
o
v
e a sta
t
e
from it's ->pools w
h
en set_state() 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 unde
r
sta
n
d the i
m
plications from compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpente
r
Create a
state &me
r
ged
.
When
w
e
m
erg
e
stuff
i
t isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This tim
e
smatch_
i
mplied _real
l
y_ doe
s
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carpenter
Ignore csco
p
e fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cle
a
nups
.
(W
h
ite
s
pace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
r
p
enter
Whites
p
ace
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some mo
r
e
l
o
cking functi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpente
r
F
ix
im
p
lied pools s
o
that at least i
t
d
o
es somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
t
er
It
seemed l
i
k
e
t
r
a
c
ker_li
s
t woul
d
be
useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add a
R
EADME describing s
m
atch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
A
d
d scr
i
p
t
to find
N
ULL de
r
eferences between fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
nter
Fix us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpente
r
Check for m
a
lloc() as well
a
s
k
m
al
l
oc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
a
rpenter
Fix seg
f
a
ult
when
handling implicitly declare
d
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
W
a
r
n
when we
don't
acquir
e
locks when calling
c
erta
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Try (and fai
l
) to f
i
n
d m
e
mo
r
y leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpent
e
r
A
l
most print a m
e
ssage
w
hen you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
rpenter
A
dd check
to l
o
ok for
doub
l
e
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking
for lo
c
k_ke
r
nel()/
u
nlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
te
r
Make check_
l
o
c
k
i
ng check bo
t
h
s
p
inlock
s
and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a n
e
w
f
unction slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpen
t
er
I
f
there
is a
n
i++
t
hen the value o
f
'i' is un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carp
e
nter
Add a new check_locking
s
cript that
checks spinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Save
the
p
ossib
l
e states instead of
j
us
t
merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emac
s
gar
b
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
M
e
rge bran
c
h
'maste
r
' into
poo
l
s5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a co
m
men
t
showi
n
g wher
e
the tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an
Carp
e
nter
This is
le
f
t ov
e
r
f
r
om October as part
o
f the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pente
r
Add get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ente
r
Stuff left
o
ver fr
o
m O
c
tober
.
Implied po
o
ls work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
W
e cou
l
d
s
ave some memor
y
b
y not
a
l
loca
t
i
n
g new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add more c
o
m
me
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
A
d
d
a mer
g
e
hook
.
H
andle
the situations
l
ike:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
strc
m
p(
)
do
e
sn't a
c
cept N
U
LL
a
rguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
rena
m
e t
w
o functions: g
e
t_vari
a
ble_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
get
_
varia
b
le_from_exp
r
() uses
a static buf
f
e
r
and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Create a chec
k
_te
m
plate
.
c ex
a
mple script that
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Car
p
e
nter
M
ake g
e
t_a
l
l_stat
e
s()
n
ot segfa
u
lt every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix ge
t
_va
l
u
e
(
) to
ret
u
rn
neg
a
tive v
a
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We
o
nly ev
e
r pass one paramete
r
in
t
o get
_
valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix get_all_states() to match the
f
u
ncti
o
n definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
a
rp
e
nt
e
r
Remove add
_
s
t
ate() and s
t
ate_defined() definit
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
C
lea
n
up
.
Fix le
a
k
.
My problem is t
h
at I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pent
e
r
Ini
t
ia
l
commit of the "impli
e
d state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
W
e
haven't
b
een using smatch_ext
r
a for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rpent
e
r
G
e
t rid
o
f
path_
h
is
t
ory
.
I
t's ne
v
er going
t
o
be
use
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Make goto_
s
t
a
c
k static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Sp
e
e
d up merge_slist now that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
pe
n
ter
I
nsert stuf
f
on
t
o l
i
sts in
a
sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next