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
Handle known conditions when they are a simple value.
2009-03-04
D
an Carpenter
check_memory:
F
ix
s
e
g
f
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpente
r
kchec
k
er:
helper scr
i
pt t
o
inv
o
ke smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Ca
r
penter
ch
e
ck_
m
emory
:
new code
.
not used y
e
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Ca
r
pent
e
r
Fix bug in compoun
d
condi
t
ions a
n
d ad
d
validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carp
e
nter
check_lockin
g
:
h
a
ndle func
t
ions with no return statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Ca
r
penter
Fix so se
c
urity_fixup_ops() doe
s
n
't t
r
igger the OO
M
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpe
n
t
e
r
Fix 'o
r
'
i
ng
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carp
e
nter
Fix NU
L
L
deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpenter
For some r
e
as
o
n smatch can't find the
s
e header files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
s
tring memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove unneeded allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpent
e
r
R
emove
o
utdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Ca
r
pente
r
Don'
t
_
_
fre
e
_sm_state()
until end of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
f
ree_sl
i
st()
a
ft
e
r calling get
_
all_s
t
ate
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
do
n
't reallocate the
-
>possibl
e
state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an
Carpenter
Get rid
o
f un
u
sed l
i
n
e
his
t
ory co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
F
i
x
some m
e
mory
l
eaks in __i
m
p
l
ied
_
s
t
ates_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add free_trackers_and_
l
ist
(
)
a
n
d free_
t
ra
c
ker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add
n
ew free_s
t
ack(
)
f
u
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_sl
i
st_stack() to fr
e
e_stack_and_
s
lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
ren
a
me del_slist() -> fre
e
_
s
l
ist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
ente
r
Free all t
h
e sm_st
a
tes
a
t the end of each f
u
nctio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carp
e
nter
Add ->p
o
ssib
l
e to __print_s
l
ist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save
a
ll t
h
e pools a state goe
s
t
h
rough
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add an
d
f
ix smatch
i
m
plied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Preserve
t
h
e
->p
o
o
l
s and ->
p
ossible for
implied st
a
te
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Fix h
a
ndling mutually
e
xclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
G
e
t rid of redun
d
an
t
harmoniz
e
_states
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add fu
n
ct
i
on __set_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Car
p
ente
r
Onl
y
s
a
ve an implied
l
ist if a state has been modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
C
a
r
p
enter
Only implie
d
states that are
n
'
t
a
lr
e
ady t
r
u
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
Take a parame
t
er instead of assuming the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an
Carpenter
Don't
c
h
e
ck
t
hat there
are bo
t
h true and false stat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
This check_o
r
der() seems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nt
e
r
New function
h
a
rmonize_st
a
tes
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Carpenter
call __sp
l
it_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Car
p
ent
e
r
rem
o
ve
unnee
d
e
d calls
t
o __use_cond
_
true_st
a
tes();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpente
r
Don't set t
h
e imp
l
ied
state to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpente
r
Mak
e
cmp_tracker
(
) acce
s
sibl
e
t
o
outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
All the states are implie
d
n
ot just unique o
n
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improve lock check output
.
Add more valida
t
ion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d
sup
p
ort
f
o
r down_int
e
rr
u
p
tible(
)
a
n
d
frie
n
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Fix
t
he U
n
c
l
ear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
W
a
rn on double lock/unloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Print fewer Uncle
a
r l
o
cki
n
g message
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
i
s
a known_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n C
a
r
penter
Add
s
upport
for thos
e
funny gcc ({
.
.
.
})
block statemen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Handle decl
a
rations inside switch statement
b
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanu
p
is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
Add known_condition_f
a
ls
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Fix handling of c
o
ntinue insi
d
e
do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Don't s
e
t let people
set states fo
r
u
nreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Sm
a
ll cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ha
n
d
l
e
the iterators co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpenter
Add support for "if (a?b:c) {
.
.
.
" ternar
y
cond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpent
e
r
Add som
e
s
upport for _s
p
in_
t
r
y
lock() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
i
f (a |
|
b) { a
-
>foo
;
should
pr
i
nt an
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
p
en
t
er
Th
i
s prints
out error
messages a
l
l the
time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
enter
Assig
n
ment al
w
a
y
s
set
s
&is
f
reed
t
o something
els
e
li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't print cross_func e
r
rors if the call
e
d
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to alloc_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Call the merge_hook
(
) i
n
s
tead of setting
the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to commit this
e
arlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
A
dd the merge_hook()
back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpe
n
te
r
C
lear
the returns lists
a
t the end of e
a
ch
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
M
ove
the
i
mplicat
i
ons ch
e
cking to after
t
h
e
scr
i
pt
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
e
write
completely
w
ith new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpenter
Add some f
u
n
cti
o
ns to handle
t
racker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
Don'
t
segfault a
l
l
the ti
m
e w
h
e
n
chec
k
ing forever
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Test
to s
e
e if we
a
re catc
h
i
n
g cro
s
s functi
o
n
dere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Use the ->p
o
s
s
ible states and remov
e
the
merge_hoo
k
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"while ((1))
{" is
a
forever loop
.
Ca
l
l
str
i
p_ex
p
r()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
fixes
to t
h
e -
>
possib
l
e
s
ett
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
C
arpen
t
e
r
Me
r
ge
b
ranch 'master
'
into nul
l
_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
en
t
er
Add validation scr
i
pt for c
h
eck_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n
C
a
r
p
enter
Clean up
.
ne
w
-
>
possible is al
w
ay
s
nu
l
l here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles
w
asn't getting s
e
t correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_ex
p
r() in split_condi
t
ion
s
(
) instead reprodu
c
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add s
o
me more operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pe
n
ter
R
eturn
&
merged in
s
tea
d
of &
u
ndefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
make get
_
v
a
lu
e
() r
e
t
urn a value for
bit
w
ise
o
r expr
e
ssio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpente
r
Try aga
i
n r
e
moving
sta
t
es f
r
o
m
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Re
m
ove
a state from i
t
's ->pools when set
_
stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Elimina
t
e a warnin
g
.
Probably the wrong way
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ea
n
ups
.
Com
m
ents
.
Renam
e
sli
s
t_stack to
nam
e
d_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
t
er
Ha ha
.
I sti
l
l
suck
a
t pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cle
a
nups
.
Comments
.
R
e
move deb
u
gg
i
ng code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
.
Also
p
reserve
the ->pools in one pa
t
h of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
p get_state_
s
list()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remo
v
e __o
v
e
r
write_cur_
s
list()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debuggi
n
g outpu
t
that accidentally got comm
i
tted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remove a
s
tate
from it's ->pools when set_stat
e
()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't
d
elete t
h
e
->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Tr
y
u
n
derstand th
e
imp
l
icat
i
o
ns from co
m
p
o
und condit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Create a
s
tate &me
r
ged
.
When we merge
s
tuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
O
k
.
T
his
t
ime
s
match_im
p
lied _really_ does som
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpe
n
t
er
Ignore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Smal
l
cleanups
.
(
White spac
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carp
e
nter
Whitespace cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Add
some more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next