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
Add option --assume-loops.
2009-03-08
Dan Carpenter
Add optio
n
-
-ass
u
me
-
lo
o
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
Add an opt
i
o
n -
-
no-implied to
turn of implica
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
implied
p
o
ols:
cleanup how
i
mplied po
o
ls a
r
e
c
reated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
check_memory:
separate
o
ut
a malloce
d
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Ca
r
pe
n
ter
All along I was a
d
ding the po
o
ls
to the wron
g
p
lac
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean
u
p
.
Move a cou
p
le ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
Ad
d
a
s
anit
y
check that ->
p
ossible ha
s
a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clea
n
up
.
Freeing the sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
O
r
ing the slists seems lik
e
m
e
r
g
e
_sli
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a
--debug-implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carpenter
check_me
m
ory:
F
i
x segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
k
c
hecker:
h
elper script
t
o inv
o
ke sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
che
c
k_memory: new code
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bug in
c
omp
o
un
d
conditions an
d
add validation tes
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
chec
k
_loc
k
ing: ha
n
dle
f
u
nc
t
ions with no ret
u
r
n
state
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an
Carpenter
Fix so security
_
fi
x
up_ops(
)
doesn
'
t trigger the O
O
M
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pe
n
ter
Fi
x
'
or'ing states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
N
U
LL dere
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For so
m
e r
e
ason s
m
atch ca
n
't find these
h
eader f
i
les
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpe
n
t
er
F
i
x
string memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
R
e
move unneed
e
d
a
llocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Remov
e
o
u
tdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
D
o
n't
_
_fr
e
e_sm_state() until e
n
d of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
arpente
r
free_slist() af
t
er calling get_all_st
a
tes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an
C
arpenter
don't reallocate t
h
e
-
>
possible states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Get r
i
d of unused li
n
e his
t
or
y
co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
arpenter
F
i
x
some memory leaks in __im
p
lied
_
s
t
ates_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Ad
d
free_tra
c
k
e
rs_and_list() an
d
free_tra
c
ker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Ad
d
new free_stack() fu
n
c
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Ca
r
penter
rena
m
e del_
s
list_stack() to fr
e
e
_
st
a
ck_and_
s
lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
ent
e
r
rename
del_slis
t
() -> free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an C
a
rp
e
nter
Fr
e
e all the sm_sta
t
es at the
e
nd of
each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n
Carpenter
Add ->possible to __
p
rint_sli
s
t(
)
outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Car
p
ente
r
S
ave all the pools a state goes thr
o
ugh
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
Add
and fix sm
a
tch imp
l
ied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Preserve the ->po
o
ls and ->possible for implied s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Fix handling mutually exclusive
s
tat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Get rid of redundan
t
harmonize_
s
tates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nte
r
Add fun
c
tion __set_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpenter
Only
save an implied list if a state
has
b
e
e
n
modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Only impli
e
d st
a
tes
th
a
t aren't alr
e
ady tru
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a
parameter instead of a
s
s
um
i
n
g
the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
Don't check that there
a
re both true and
false
s
tates
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
a
r
penter
T
h
i
s
check
_
orde
r
() seems su
p
erf
l
uous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
e
r
New
f
unction
h
ar
m
onize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call __split_exp
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remov
e
unne
e
d
e
d ca
l
ls to __use_
c
ond_true_st
a
t
es(
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Do
n
't set the
i
m
plie
d
state t
o
&merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
e
r
Make cmp_tracker() accessible to outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
All the state
s
are implied no
t
just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improve lock check
o
utput
.
Add more
v
a
lidation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpent
e
r
Add su
p
port for do
w
n_interruptible() an
d
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Ca
r
pent
e
r
Fix the Un
c
lear loc
k
i
ng thing
.
A
g
ain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on double lock/un
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Uncl
e
ar locking mes
s
ages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
C
a
rpenter
if ((1))
{
.
.
.
is a kn
o
wn_conditi
o
n
_
true
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
t
er
A
d
d
suppo
r
t for thos
e
f
u
nny
gcc ({
.
.
.
}
)
block statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpent
e
r
H
a
ndle declarati
o
ns inside switch sta
t
e
m
ent bloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Cleanup is_
z
er
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an
C
arpenter
Add kn
o
wn
_
condition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
F
i
x han
d
l
i
ng of
c
ontinu
e
ins
i
de do while s
t
atements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Don't set let p
e
ople
set states for
u
n
reachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Small cle
a
nup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
H
andle the
i
terators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
A
d
d support f
o
r "if
(a?b:c) {
.
.
.
" tern
a
ry conditi
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
Add som
e
support for _sp
i
n_trylock() and frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
Carpenter
if (a ||
b
) { a->foo; shou
l
d print an er
r
or
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
h
is
prints out
e
rror
message
s
all t
h
e
time that
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
p
enter
A
ssignment always
s
ets &isfreed
to so
m
ething else
lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Don't print
c
ros
s
_f
u
nc e
r
r
o
rs
i
f the ca
l
led func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
rpenter
R
e
m
ov
e
call to
a
lloc_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
n
t
er
Ca
l
l th
e
merge_hook()
ins
t
ead
o
f set
t
ing the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Oops
.
Meant to commit this earlie
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
Add the merge_
h
ook()
back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Cl
e
ar th
e
re
t
urn
s
lis
t
s at the end of ea
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Mo
v
e the implication
s
checking to
a
fter th
e
script
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Rewrite comp
l
e
tely
wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Add some functions to handle track
e
r lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Don't segfault a
l
l
the t
i
me when checking fo
r
ever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Test to see if
we are catchin
g
cross func
t
i
o
n der
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Use the
->possibl
e
st
a
t
e
s
and remov
e
the merg
e
_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
p
e
nter
"while ((
1
))
{
" is
a foreve
r
loop
.
Call st
r
ip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
fixes to
t
he
-
> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge b
r
a
n
ch 'mast
e
r
' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
pe
n
ter
A
dd
vali
d
ation s
c
r
i
pt
f
or
check_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpen
t
e
r
Clean up
.
new->possibl
e
is al
w
ays
n
ull h
e
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Oops
.
->poss
i
bles
w
asn't ge
t
ting
s
et correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_e
x
p
r
() in split_conditions() inst
e
a
d
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
A
d
d some
m
ore operations
t
o
g
e
t
_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &m
e
r
g
ed instead of
&
u
ndefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
make get_val
u
e(
)
return a value for
b
i
twise or expressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pe
n
t
e
r
Try again removing s
t
ates fro
m
p
ools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remove
a state fr
o
m it's ->pool
s
when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Elimina
t
e
a
w
arning
.
Pro
b
ably the wro
n
g wa
y
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clean ups
.
Comments
.
R
e
na
m
e
slist_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Ha h
a
.
I still suck at
pointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Cleanups
.
Comments
.
Remov
e
d
ebugging
c
ode fr
o
m filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean
up
.
Also preserv
e
the ->pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_stat
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
Rem
o
ve
_
_
over
w
rite
_
cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next