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
rename del_slist_stack() to free_stack_and_slists()
2009-03-02
Dan Car
p
enter
rename del_slist_stack() to
free_stack
_
a
n
d_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
rename
d
e
l_slist() -> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fre
e
all the
sm_stat
e
s at
t
he end
of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Car
p
enter
Add ->possible to
__print_slist() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Sa
v
e all the pools a state goes throug
h
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpe
n
ter
Ad
d
and fix
smatch implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carp
e
nter
Preserve t
h
e
->pools
and -
>
p
oss
i
b
l
e
f
o
r
i
m
p
l
ied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
pen
t
er
F
i
x handli
n
g
mutually exclu
s
ive
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Get
r
id of redundant h
a
rmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
en
t
e
r
Add function
_
_set_true_fals
e
_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carp
e
nter
Only
save
a
n implied list if a
state h
a
s been
m
odified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Ca
r
pen
t
er
Onl
y
implied st
a
tes that ar
e
n'
t
already
t
rue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n C
a
rpente
r
Take a parameter instead of assu
m
ing
t
he output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carp
e
nter
Don
'
t
chec
k
that
there are
b
oth true
and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
T
his check_order() seems superflu
o
us
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
New function harmon
i
ze_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
cal
l
__s
p
lit_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
C
a
rpenter
remove unnee
d
e
d
calls to __use_co
n
d_tru
e
_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
Carpenter
Don't set the implie
d
state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
pente
r
Make
c
mp_tr
a
ck
e
r() accessibl
e
t
o ou
t
side files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
All the sta
t
e
s ar
e
implied not just unique o
n
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arp
e
nter
Improve
l
o
ck check output
.
A
dd more validation sampl
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Add support for down_inte
r
ruptible() and
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpente
r
Fix the Unclear locking thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
e
n
ter
Warn on d
o
uble lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Print fewer
Uncle
a
r
locking mess
a
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
C
arpent
e
r
if ((
1
)) {
.
.
.
is a known_condition
_
true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support f
o
r thos
e
funny
gcc ({
.
.
.
}) blo
c
k statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Ha
n
dl
e
declar
a
t
ions inside switch sta
t
emen
t
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpen
t
er
Cleanup is_zer
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nte
r
Add kno
w
n_c
o
ndition_
f
als
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix h
a
ndling of con
t
in
u
e
i
nside do
w
hile statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't s
e
t let peop
l
e set st
a
tes for unreachab
l
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
D
a
n Carpenter
Handle the
ite
r
ators
c
orrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
enter
A
d
d support for
"
if (a?b:c) {
.
.
.
" tern
a
ry conditi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
A
dd some su
p
p
o
rt for _spin_trylock()
an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a || b) { a
-
>foo;
s
h
ould print
an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpe
n
te
r
This prints out error
m
essages all the time that
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
As
s
ignm
e
nt always sets &isfreed to som
e
th
i
ng else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
te
r
Don
'
t print cross_func errors if
t
he
c
all
e
d
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
t
er
Remove call t
o
alloc_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
C
a
ll t
h
e merge_ho
o
k() instea
d
of se
t
ting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpenter
Oop
s
.
M
eant to
c
ommit this e
a
rlier
.
:/
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 Ca
r
pen
t
er
Clear th
e
re
t
urns lis
t
s at the end of each func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpent
e
r
Move th
e
implications che
c
k
i
ng to after
t
h
e
scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Re
w
r
i
te completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Add some
f
unctions to
h
an
d
l
e tracker
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't segfault a
l
l the time when checki
n
g fo
r
ev
e
r
l
oo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Test to see if
w
e a
r
e
c
atching
c
ro
s
s
functio
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use t
h
e ->possible states and remove the mer
g
e
_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"while ((1)) {
"
is
a
forever loop
.
C
a
ll strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
fixes to the ->
p
o
ssib
l
e setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge bra
n
ch '
m
aster' into n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
A
d
d val
i
da
t
ion
s
cript for c
h
eck_nul
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpenter
Clean
u
p
.
n
e
w->pos
s
ible is alwa
y
s
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n C
a
rp
e
nter
O
o
ps
.
->
p
ossibles wasn't
gettin
g
s
et correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Use strip_expr() in sp
l
it_condition
s
() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpe
n
ter
Ad
d
s
o
me mor
e
operat
i
ons to get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
R
e
tu
r
n &merged instead o
f
&un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make
g
e
t
_val
u
e() re
t
urn
a
v
alue
for bitwise or expre
s
sio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
T
ry again
r
e
moving state
s
f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Reve
r
t
"R
e
m
ove a state from
it
'
s ->pools
w
hen set_stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpente
r
El
i
minate a warning
.
Probably the wrong way to
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
an ups
.
C
o
mment
s
.
Rename
s
list_stack to named_st
a
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha ha
.
I sti
l
l suck at poin
t
ers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Cleanups
.
Co
m
ments
.
Remov
e
debugging
code from f
i
l
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
an up
.
Also preserve the ->pools
i
n one p
a
t
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Cl
e
an up get_
s
tat
e
_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove __
o
verwrite
_
cur_sl
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpenter
The
r
e
was debugging output that a
c
cidentally got co
m
m
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Rem
o
v
e
a state
f
rom it's ->pools
when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the
->p
o
o
l
s o
n
m
e
rg
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
e
r
Try
u
nderstand th
e
implications
fro
m
compoun
d
condi
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Create a state &merged
.
Wh
e
n w
e
m
e
rge stuff it
i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ok
.
This
t
ime smatch_i
m
pl
i
ed _
r
eally_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ignore cscope fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
Small
cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Whitespace chang
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
A
dd so
m
e mo
r
e
loc
k
i
ng func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Fix implie
d
pools s
o
that at least it does so
m
eth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
It se
e
med like tr
a
c
k
e
r_list would be
useful in
a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add
a
READ
M
E descr
i
bing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add sc
r
ipt to find NULL dereferences betwee
n
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpe
n
ter
Fix us
a
ge
m
e
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Check for mal
l
oc(
)
a
s well as km
a
lloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
enter
F
i
x
seg
f
au
l
t when handling im
p
l
icitly
d
e
clared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpente
r
Warn when
we don't
a
cquire locks when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Try (and
fai
l
) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Almost pri
n
t a message when you come to
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
C
arpenter
Add check to
l
ook for double
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpente
r
Add checking
for lock_
k
e
r
nel()/u
n
lo
c
k
_
k
er
n
el(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nt
e
r
M
ake c
h
eck_loc
k
ing check both spinlocks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d a n
e
w
f
unction slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
If there is an i++ th
e
n the value o
f
'
i
'
is un
d
ef
i
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add a new check_l
o
cking scrip
t
that checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
ar
p
enter
Save the possible states instead of just
m
erging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carp
e
nter
Ign
o
r
e
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Me
r
ge branch 'master' into pools5
commit
|
commitdiff
|
tree
next