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
Oring the slists seems like merge_slist()
2009-03-05
Dan Carpenter
Ori
n
g the slists seems
l
ike merge_slis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Ad
d
a --debug-i
m
plie
d
o
p
tio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpen
t
e
r
check_memory:
F
ix
segf
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
kchecker: he
l
per
scr
i
pt
to invoke smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpenter
che
c
k
_
memory
:
n
e
w code
.
not use
d
y
e
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
Fix bug in comp
o
und condition
s
and add validat
i
on test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_locki
n
g: handle f
u
nctions with no return stat
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix so security_f
i
xup_op
s
() do
e
sn't trigger t
h
e OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpenter
Fi
x
'or'ing states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carp
e
nter
F
ix NULL dere
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpenter
F
o
r
some r
e
ason smatc
h
c
an't find these
h
eader f
i
les
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix st
r
ing memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
rpente
r
Re
m
ove
unneeded all
o
cation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rp
e
nter
Remove outda
t
ed com
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Don't _
_
free_
s
m_s
t
ate() un
t
i
l end of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
fre
e
_slist(
)
aft
e
r c
a
lling get_al
l
_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
ent
e
r
don't reallo
c
a
te the
-
>possible stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
ar
p
enter
Get ri
d
o
f
u
nused line
h
i
stor
y
co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pente
r
F
i
x
some memory
leaks
i
n
__
i
mp
l
ied_states_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d
free_
t
rackers_an
d
_list() and free_tracker
_
li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add new
f
r
e
e_s
t
ack() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
rename del_slist_st
a
ck(
)
to free_st
a
ck_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arp
e
nter
rename del_slist() -> fr
e
e
_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
e
r
Free all the sm_states at the en
d
of each
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpe
n
ter
Add -
>
p
ossible to __
p
rint_slist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n
Car
p
ent
e
r
Save
al
l
the pools
a state goes through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
Ad
d
and fix
s
match impli
e
d tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Ca
r
penter
Preserve the
-
>pools a
n
d ->possible for implied s
t
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Fix handling mutually exclus
i
ve states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get rid of redu
n
dant harmo
n
ize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add function
__set_true_false_s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n C
a
rp
e
n
t
e
r
Only save an implied list if a
s
tate has been mo
d
ified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
te
r
Only i
m
plied stat
e
s
th
a
t
a
r
e
n
't alread
y
tru
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carp
e
nter
Take a parameter
i
n
stead
o
f assuming the output
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carp
e
n
ter
Don'
t
chec
k
t
h
a
t t
h
ere are
b
ot
h
t
r
ue and false states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Ca
r
penter
This
check_order(
)
seems
s
up
e
rf
l
uou
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
New function harmonize_states(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call
_
_spl
i
t_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remo
v
e
unnee
d
ed
c
all
s
to __use_co
n
d_
t
rue_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Do
n
't se
t
t
he implied st
a
te
to &merg
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make c
m
p_
t
rac
k
er() accessible to outside
f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All the states
a
re implied not just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carp
e
nter
Improve lock check
o
utput
.
Add more vali
d
a
t
ion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Ad
d
s
u
pport for down_int
e
rrupti
b
le() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
F
i
x th
e
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 double l
o
ck/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear
l
ockin
g
m
e
ssag
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
i
f ((1)) {
.
.
.
is a k
n
own_condit
i
on_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpe
n
ter
Add support for those
funny gcc
(
{
.
.
.
}) bloc
k
statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Handle declarations inside switch
statement bloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Ca
r
penter
Clean
u
p is_zero
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Add known_co
n
dit
i
on_false(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Fi
x
handl
i
ng of contin
u
e in
s
i
d
e do while stateme
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpe
n
t
e
r
Don't set let pe
o
ple set state
s
for unre
a
cha
b
le code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Small clea
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rpenter
Han
d
le
the iterators corre
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if
(
a?b:c
)
{
.
.
.
" ter
n
ary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpen
t
er
A
dd
some support for _spin
_
trylock() an
d
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
i
f
(a || b)
{ a->foo; shou
l
d print an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints out
error messages all
t
he tim
e
t
hat are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
Ass
i
gnme
n
t alw
a
ys s
e
ts &
i
s
freed to so
m
et
h
ing els
e
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n
't prin
t
cross_func errors if
t
he
c
all
e
d func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
R
e
move call to alloc_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Ca
l
l t
h
e
merge_h
o
o
k() in
s
tead of
sett
i
ng the
s
t
ate
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
ter
Oops
.
Me
a
nt to commit
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the
merg
e
_hook() bac
k
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
C
lear the retu
r
ns lists at
the end of each f
u
ncti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the imp
l
i
c
a
t
i
ons
c
h
ecking to afte
r
the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Rewrite
co
m
plet
e
ly with ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some
f
un
c
tion
s
to handle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
Don't seg
f
au
l
t all the time when checking fo
r
e
v
e
r l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
T
e
st to
s
e
e if we are ca
t
ching cross fu
n
c
t
i
on derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->po
s
sible sta
t
e
s
and
r
emove th
e
mer
g
e_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"
whil
e
((1))
{
" is a
f
orever loop
.
Cal
l
strip_ex
p
r()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
fixes to
t
he -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
Merge
branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
rpenter
Add vali
d
ation scrip
t
for check_null_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an Carpenter
Cl
e
an
up
.
new
-
>pos
s
ib
l
e is always
n
u
ll
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oo
p
s
.
->possibles was
n
'
t
ge
t
t
i
ng s
e
t
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Us
e
stri
p
_expr
(
)
in split_condi
t
ions() ins
t
ead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Add
some more
o
perations
to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Ret
u
rn &merged instead
o
f
&unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
mak
e
get_value
(
) re
t
urn a va
l
ue for bitwise or expressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Try agai
n
r
e
m
o
ving states
f
rom pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Re
v
e
r
t
"Remove
a stat
e
from it's ->pools when
s
et_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpe
n
t
er
Elimina
t
e a war
n
ing
.
P
robabl
y
t
he wrong way
t
o d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
ter
Clean ups
.
C
o
mments
.
Renam
e
slist_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
H
a ha
.
I
sti
l
l suck a
t
point
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
Remove debu
g
g
ing co
d
e fro
m
fil
t
er(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean up
.
Also preserve the ->
p
ools in one pat
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
arpenter
Clean up get_
s
tate_
s
list()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Re
m
ove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
T
here was debugging
outp
u
t that accide
n
tally got
commit
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
te
r
Remove a st
a
t
e
from it's ->pools when set_state()
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
te
r
Don't delet
e
the ->pools on mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Try under
s
tand the imp
l
ications
f
ro
m
compound condi
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Crea
t
e a state &merg
e
d
.
When we merge st
u
ff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This tim
e
smatch_implied _
r
eall
y
_ does
s
o
m
e
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ignore
cscope file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arp
e
nte
r
S
m
all cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next