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
Free all data_info at the end of a function.
2009-03-03
Dan Carpenter
Fix NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some
r
eas
o
n smatch can't find
these heade
r
files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpente
r
Fix string
memory lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
R
emove u
n
needed allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
R
e
m
o
ve outdated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Do
n
't
_
_free_sm_s
t
ate
(
) u
n
t
il end of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
free_slist()
a
f
ter calling get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
d
on't r
e
allocate th
e
->possible states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpe
n
ter
Ge
t
r
id of un
u
s
e
d
lin
e
h
istory
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
en
t
er
F
i
x
s
ome mem
o
ry leaks in
__im
p
lied_states_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add fr
e
e_trac
k
ers_and_li
s
t
(
) and free
_
tracker_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add
new free_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carp
e
nter
rename
del_slist_stac
k
() to free_s
t
ack_and_slists
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
penter
rename d
e
l_slis
t
() -> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Free
all
the
s
m_
s
t
a
tes at the en
d
of e
a
ch function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpen
t
er
Ad
d
->poss
i
ble to __print_slist() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan C
a
rpenter
Save al
l
the po
o
ls a
s
tate goe
s
throug
h
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add and fix
s
match implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
Carpente
r
Preserve t
h
e
->
p
oo
l
s
a
nd ->possible for impli
e
d states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Fix ha
n
dling mutually exclusi
v
e states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Get rid of redundant
h
armonize_st
a
tes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Ad
d
function __set_tr
u
e_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
enter
Only save
an i
m
plied list if a state h
a
s been modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
On
l
y
i
m
p
lied sta
t
es that a
r
en't already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
Take a parameter instead of assuming
t
he ou
t
put is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
D
on'
t
check that t
h
er
e
are bot
h
true and
f
alse st
a
tes
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
T
h
is c
h
eck_order
(
)
s
eems
s
upe
r
fluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
enter
New
function
h
a
rmonize_states(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
ca
l
l _
_
split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove
unneeded calls to __
u
se_cond_true_s
t
ates();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carp
e
nter
Don't set the
i
mplied state to
&
m
er
g
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
M
a
ke cmp_tracker(
)
accessible to outs
i
de file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rp
e
nter
All
t
he states are implied not just unique on
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
enter
Improve
lock check output
.
Add more validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add s
u
pport
for
d
o
w
n_in
t
erruptible() and
f
r
iends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the
Un
c
l
ear locking
thing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Warn
o
n do
u
ble loc
k
/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
P
r
int fewer Un
c
lear lockin
g
messa
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
if ((1
)
)
{
.
.
.
is a known_
c
o
ndition_true(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an
C
arpenter
Add support for
those funny gcc ({
.
.
.
}
) block statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rp
e
nter
Han
d
le declaratio
n
s
i
nside sw
i
t
c
h st
a
tement
b
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rp
e
nter
Clea
n
up is_z
e
r
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Add known_condi
t
ion_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Ca
r
penter
Fix handling of
c
ontinue inside do while state
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don'
t
set let
people set sta
t
es fo
r
unr
e
achable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
S
m
all
c
leanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle the it
e
rators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Add s
u
pport
for "if (a?b:c) {
.
.
.
" ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
a
r
p
e
n
ter
Add
s
o
me suppor
t
for
_
sp
i
n_trylock() and
f
riends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
penter
i
f
(a ||
b) { a
-
>f
o
o
; shou
l
d
print an error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints o
u
t
e
rror messages
a
l
l the time th
a
t are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nter
Assignmen
t
a
l
w
ays s
e
ts &isf
r
ee
d
to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don't p
r
int cross_func e
r
rors if
t
he called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Remove call
t
o all
o
c_s
t
a
t
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Call the merge_hook() instead
of
s
etting the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
O
o
ps
.
Meant
to commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Add the merge_hook() bac
k
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Clear the returns li
s
ts at the
e
nd of each functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Move
t
he implications checking to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Rewrite completely
with n
e
w
g
o
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Ad
d
some fun
c
t
i
ons to handle tracker
l
i
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't segfault all the ti
m
e
whe
n
che
c
kin
g
f
orever
loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
r
p
e
nt
e
r
Te
s
t t
o
se
e
if we are catching cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
r
pente
r
Use the ->poss
i
b
l
e stat
e
s
and remove the mer
g
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"while ((1)) {" is a forev
e
r
l
oop
.
Call st
r
i
p
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes
t
o the -> pos
s
ible
setti
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpente
r
Merge
b
ranch 'mas
t
er' into
null_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validat
i
on script for check_null_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n C
a
rpenter
Clean up
.
new->possible is al
w
a
y
s null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
O
ops
.
->possible
s
w
asn't get
t
ing set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Use
stri
p
_expr() in split_condit
i
ons() i
n
stead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an
Carpente
r
Add
some more o
p
era
t
ions to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpent
e
r
Ret
u
rn &m
e
rged instead of &und
e
fin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
make get_va
l
ue() return
a value for bitw
i
se or expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpe
n
t
er
Try again re
m
oving states from poo
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Ca
r
penter
Rev
e
rt "Remove a state from
i
t
's ->pools whe
n
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Elimi
n
ate a warning
.
Pr
o
b
ably th
e
wrong wa
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
Clean ups
.
Comments
.
Ren
a
me sl
i
st_stack to n
a
me
d
_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck at
p
o
i
nters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Cle
a
nups
.
Comme
n
t
s
.
Remove deb
u
ggin
g
code
from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean
u
p
.
Also preserve the ->pools in one pa
t
h
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Remo
v
e __overwrite_cur_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
p
e
nter
There was debugging outp
u
t that
a
cc
i
de
n
t
a
lly go
t
committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Ca
r
penter
Remove a state fro
m
i
t's ->p
o
ols when set_state()
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Don't
delete
t
he ->po
o
ls on mer
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand the implications
from compoun
d
condition
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
pe
n
ter
Create a
state &
m
erged
.
When we merge s
t
u
f
f it
i
sn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
er
Ok
.
This time smatch_i
m
pli
e
d _
r
eally
_
does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpenter
I
gnore c
s
cope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Ca
r
pente
r
W
hitesp
a
ce cha
n
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ad
d
som
e
more lockin
g
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
Fix implied pools
s
o
t
h
at
a
t
l
eas
t
it does somet
h
in
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
It seemed
l
i
k
e tra
c
ker_
l
ist would be
useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nte
r
Add a README des
c
ri
b
i
n
g
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
a
rpente
r
Add script
t
o
fi
n
d NULL deref
e
renc
e
s
between fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carp
e
nter
Fi
x
usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Ch
e
ck for malloc() as well as k
m
a
l
loc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
ent
e
r
Fix segfault
when h
a
ndling
i
mplicit
l
y declared
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next