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
implied pools: cleanup how implied pools are created.
2009-03-07
Dan Car
p
enter
implied po
o
ls: cl
e
anup how impl
i
ed pools ar
e
created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
an Carp
e
nter
check_memory
:
sepa
r
ate out
a
malloced
st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All along I was adding the pools to the wrong place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
penter
Clean up
.
M
o
v
e a cou
p
le ifd
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
penter
Add a sanit
y
check that ->possibl
e
ha
s
a
->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Clean u
p
.
Freeing the sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
O
r
ing the slists seems like merge_sli
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpe
n
ter
Ad
d
a
--debug-implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Car
p
enter
check_memory:
F
ix se
g
fau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
t
er
kchecke
r
:
h
e
lpe
r
s
c
r
ipt to invo
k
e smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpente
r
che
c
k
_memory: new cod
e
.
not us
e
d yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bug in compoun
d
conditions and ad
d
validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
C
arpent
e
r
check_lo
c
ki
n
g
:
h
a
ndl
e
functions with no return
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpenter
Fix so
s
e
c
urit
y
_fixup_o
p
s() doesn't
trigger t
h
e OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
ente
r
F
ix '
o
r'ing st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
Fix NULL
deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carp
e
nter
For some re
a
son smatch can
'
t
fin
d
these header fi
l
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
i
x string
me
m
ory
l
eaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Ca
r
penter
R
emove unneeded allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Remove
o
utdated comm
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
D
o
n
't __fr
e
e_sm_state() until end o
f
functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
f
r
e
e_sl
i
st
(
) after calling get_all_stat
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpen
t
er
don'
t
r
e
a
llocat
e
t
he ->possible s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Car
p
ente
r
Get
r
i
d of unused line history
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
F
ix
some mem
o
ry leaks in
_
_
implied_states_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add f
r
ee_tr
a
ckers_
a
nd_l
i
s
t() and
f
ree_
t
racker_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add
n
ew free_stack
(
)
fu
n
cti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
re
n
ame
d
el_sli
s
t
_
stack() to free
_
stack_and_slists(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
rename
d
el
_
sl
i
st() -> free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpent
e
r
Free all the sm_states at the end of each fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan
Carpent
e
r
Add ->po
s
sible to __print_sl
i
s
t() o
u
t
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Ca
r
penter
Save
a
ll the p
o
o
ls a state goes through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n C
a
rpenter
A
d
d
a
n
d
fix smatch implied test
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
e
nter
Preserve the ->pools and ->po
s
si
b
le for impl
i
ed s
t
at
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Fix
h
andling mutually ex
c
lusive
s
tates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get rid of redu
n
dant har
m
o
n
ize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
enter
Add fu
n
ction __set_t
r
ue_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
O
n
ly save a
n
implied list if a state h
a
s
been mod
i
fied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Carpent
e
r
O
n
ly imp
l
ied
states that
a
ren't
alr
e
a
dy t
r
ue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
C
a
r
penter
Take a parameter
inst
e
ad of assuming the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don
'
t che
c
k that the
r
e
ar
e
b
oth true a
n
d false states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpen
t
er
This
c
heck
_
o
rde
r
() seems superfl
u
ous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Ca
r
pe
n
t
e
r
New f
u
n
c
ti
o
n
ha
r
mo
n
ize_stat
e
s(
)
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
D
an
C
a
rpenter
remove unneeded calls to
_
_
u
s
e_cond_tru
e
_
st
a
tes
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
D
o
n't s
e
t the
i
m
p
lied state t
o
&
merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
Ma
k
e cmp_trac
k
er()
a
ccessible
t
o out
s
ide files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All
the state
s
a
r
e
imp
l
ied no
t
just unique
ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arp
e
nter
Im
p
rov
e
lock
check output
.
Add mor
e
validati
o
n samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpent
e
r
Add s
u
pport
f
o
r dow
n
_interrup
t
i
ble() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Fix t
h
e Unclear locking t
h
i
ng
.
Ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Warn on double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
rpen
t
er
Print
f
ewer Unc
l
e
ar locking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
i
s
a
k
nown_condition_tr
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Ad
d
s
u
pp
o
rt for
those funny gcc ({
.
.
.
}
)
block st
a
te
m
ent
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Car
p
enter
Hand
l
e declarat
i
ons in
s
ide s
w
itch statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Cleanup
is_zer
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
A
d
d
known_condi
t
ion_fal
s
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handl
i
ng
o
f
continue
insid
e
do while
s
tatements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpe
n
ter
Don
'
t se
t
let
p
eopl
e
set
s
tat
e
s for
unreacha
b
le code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
S
m
all cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle
th
e
ite
r
at
o
rs c
o
rrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if (a?b:c) {
.
.
.
" ternary
con
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Car
p
enter
Add
s
o
m
e support for _spin_tr
y
lock() and friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a || b)
{
a->foo; should print an e
r
ror
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
This pr
i
nts out error
m
essages a
l
l
the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
Assignment
a
lways sets &isfreed to something
e
lse l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpent
e
r
D
o
n
't p
r
int cross_func
e
rrors i
f
the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpent
e
r
Remove call to al
l
oc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
C
al
l
the
m
erge_
h
ook() instead
of se
t
ting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Oops
.
Meant to commit
this earli
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
Add the merge
_
h
ook() bac
k
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Clear the returns
list
s
at the end
of each
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Move th
e
i
mpl
i
cation
s
checking to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
e
nter
Rew
r
ite co
m
ple
t
ely w
i
th new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
te
r
Add some fu
n
ctions to handle
tracke
r
lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault a
l
l
t
h
e
time when checking forever loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if
w
e are catc
h
in
g
c
ros
s
f
unc
t
ion dere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
U
s
e
t
he ->possible states and remo
v
e t
h
e merge_hook(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
"
w
h
ile
((1)) {
"
i
s a f
o
rever l
o
op
.
Call st
r
ip_
e
x
pr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
fixes
to the
-> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
M
erge bran
c
h
'mas
t
er' in
t
o null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
A
d
d valid
a
tion script f
o
r chec
k
_nu
l
l
_
d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
l
ean up
.
new->pos
s
ible
i
s always null
h
ere
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Oops
.
->possibles wasn
'
t getting
s
et co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
n
ter
Use s
t
rip_expr() in split_condition
s
() i
n
stead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
rpenter
A
dd
some
m
ore o
p
e
rati
o
n
s to get_v
a
lue
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&
m
erged instea
d
o
f &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an
C
arpenter
make
get_value() re
t
urn a
valu
e
f
or bitwise or
ex
p
re
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Tr
y
again removing
s
tates fr
o
m
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
e
nter
Reve
r
t "Remov
e
a state fro
m
it's
-
>
poo
l
s when
s
et
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
E
l
iminate a warning
.
Probably
t
he wrong way to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean ups
.
Comments
.
Rename sli
s
t_stack to named_st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
pen
t
er
Ha ha
.
I still suck at poi
n
te
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
eanups
.
Comme
n
ts
.
R
e
m
ove debuggi
n
g code from filter
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carp
e
nter
Clean up
.
Al
s
o preserve t
h
e
->pools in one path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean up
get
_
state_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
_
_
overwrite
_
cur_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Th
e
re w
a
s deb
u
gg
i
ng output
t
h
a
t accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Remove a state from it'
s
->pools when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next