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 Ca
r
penter
rename
d
el_slist_stack() to
f
r
ee_s
t
a
c
k_and_s
l
i
s
ts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Carpenter
ren
a
me de
l
_slist() -> free_slis
t
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Car
p
enter
Free all the
sm_states a
t
the
end of
each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpe
n
ter
A
d
d ->possible to __print_slist() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save all the pools a state goes
through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
enter
Add a
n
d fix smatch implie
d
test
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
Preser
v
e the
->pools and -
>
possible for
imp
l
ie
d
state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Fix handli
n
g mutu
a
lly exclusi
v
e
s
tat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get rid of red
u
ndant har
m
onize_stat
e
s
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
A
dd funct
i
o
n __s
e
t_tr
u
e
_f
a
lse_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carpe
n
te
r
Only save an
i
m
pl
i
ed
l
ist if a s
t
ate
has been modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
n
ly
implied stat
e
s that aren't already tru
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Car
p
e
nt
e
r
Take a parameter instea
d
of
assuming the
o
ut
p
u
t
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpen
t
er
Don
'
t
check that there are
b
oth true an
d
fal
s
e
sta
t
es
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
This check_orde
r
()
seems s
u
p
er
f
lu
o
u
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
enter
New functi
o
n
harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_e
x
pr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
ente
r
rem
o
ve unneeded ca
l
ls
to
_
_us
e
_cond_true_
s
tate
s
();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
te
r
Don't set
t
h
e
implied state to &merg
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpenter
Make c
m
p_t
r
a
c
k
e
r() acc
e
ssibl
e
to
o
utside file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All
the s
t
ates are imp
l
i
e
d not
j
us
t
unique one
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
ter
Improve
l
ock che
c
k
output
.
A
dd more validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Add sup
p
ort for dow
n
_inte
r
r
u
p
t
i
ble() and
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
F
i
x
the Unclear locking thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Wa
r
n on doubl
e
l
o
ck/u
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Print
fewer Unclear locking m
e
ss
a
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carp
e
n
t
er
if ((1)) {
.
.
.
is
a
k
n
own_condi
t
ion_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
dd su
p
port
for th
o
se
funny gcc ({
.
.
.
}) block sta
t
ements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Handle declarat
i
ons inside switch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Clean
u
p
i
s_zer
o
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
e
r
Add known_co
n
dit
i
on_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Fix handling of
continue inside do whi
l
e
statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Don't set let peopl
e
s
e
t states for u
n
r
e
ach
a
bl
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
Dan Ca
r
penter
Handle the iterators correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
Add support for "if (a?b
:
c
)
{
.
.
.
"
t
er
n
ary co
n
dition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
C
arpent
e
r
A
d
d
some support
f
or _spin_try
l
ock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Car
p
e
n
te
r
if (a || b) {
a
-
>foo; s
h
o
uld pri
n
t an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpenter
Th
i
s prints out error messages all the time t
h
at are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
C
a
rpenter
A
ssignment always s
e
ts &i
s
freed to somethi
n
g
else
l
ike
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Do
n
't pr
i
n
t cross_fu
n
c erro
r
s if
t
he cal
l
ed fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rp
e
nter
R
e
move call to alloc_
s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Call the
m
erge_hook(
)
in
s
te
a
d of setting
the st
a
te
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant t
o
commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
d
d
t
he mer
g
e_hoo
k
() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns lists at
t
he end of ea
c
h function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the imp
l
i
c
at
i
ons checki
n
g t
o
after the
scr
i
p
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
nter
Rewrite compl
e
tely
wi
t
h n
e
w goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Add some f
u
nctions to handle tracke
r
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
er
Don't segfault al
l
t
h
e ti
m
e
w
hen che
c
king for
e
ver loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Tes
t
t
o
s
ee if we are c
a
tching cross f
u
nct
i
o
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
U
se
t
he ->
p
os
s
ible states and remove the me
r
g
e
_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
"while ((1))
{" is a fore
v
er loop
.
Call strip
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
er
f
i
x
es to the -> p
o
ss
i
bl
e
settin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpente
r
Merg
e
branch 'm
a
ster' into n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Ad
d
val
i
dati
o
n script
for check
_
null_de
r
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
p
e
nte
r
Clean up
.
new->possible is
a
l
ways n
u
l
l
h
ere
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Oops
.
->p
o
ssib
l
es wasn't ge
t
ting
set correctl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Use strip_expr() in s
p
lit_cond
i
tio
n
s
(
) i
n
stead r
e
produ
c
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Add
s
ome more operations to ge
t
_value(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Retu
r
n &merged inste
a
d
o
f &unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carp
e
n
t
er
make
g
et_v
a
lue() return a value
for bitwise or ex
p
ressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try aga
i
n
removin
g
st
a
t
es from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert
"
Rem
o
ve a state from it's -
>
pools
wh
e
n se
t
_
s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Elimina
t
e a warning
.
Probabl
y
the wr
o
ng
way
t
o
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
an ups
.
Co
m
ments
.
Re
n
a
m
e slist_stack to n
a
me
d
_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Ha ha
.
I s
t
ill suck
at poin
t
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
C
o
mments
.
Re
m
ove debugging code
f
r
om filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean up
.
A
lso
preserve the -
>
pools in
on
e
path
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_st
a
t
e_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpent
e
r
Remove __o
v
erwri
t
e_cur_sli
s
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
T
h
ere was debu
g
gin
g
o
utput
that accidentally got committ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpente
r
Re
m
ov
e
a state fro
m
it's ->pool
s
when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Don't delete the
->pools on
m
e
rg
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Try unde
r
stand th
e
implic
a
tions from compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
C
r
eate a
state &me
r
g
e
d
.
When w
e
merge stuff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Car
p
enter
Ok
.
T
his time s
m
atch_implied _really
_
d
o
es something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Car
p
enter
I
g
n
o
re c
s
c
ope file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
Small cleanups
.
(
W
hite spa
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
W
hitespa
c
e change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpe
n
t
e
r
Add s
o
me more lock
i
ng functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
p
en
t
er
Fix implied pools so that at least it
d
o
e
s something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
It seemed like tracker_l
i
st wo
u
ld be useful in a
lo
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
A
dd a READM
E
describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pente
r
Add script to find N
U
LL deref
e
r
e
nces betw
e
en functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix u
s
age messag
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Check
f
or mall
o
c() as well as kmal
l
oc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
F
ix segfault
when
handling implic
i
tly declared funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
Warn when we don't a
c
q
u
ire locks
when
c
a
lling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
Try (and fai
l
)
to
f
ind memory lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Almost print a message when yo
u
c
o
m
e
t
o unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add check
t
o look for d
o
uble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Add
checking for
l
oc
k
_kernel()/unlock_
k
ernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
a
r
penter
Make check_lock
i
ng
check both spinlocks
and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new functio
n
slist_has_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an
i
++ then
t
he value
o
f
'i' is undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a n
e
w che
c
k_l
o
cking script t
h
a
t
checks spinlo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Ca
r
penter
S
a
ve the possible states ins
t
ead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
e
r
Ignore em
a
cs garb
a
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
M
er
g
e bra
n
ch 'mast
e
r' int
o
pools5
commit
|
commitdiff
|
tree
next