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
Clean up. Freeing the sm_states.
2009-03-05
D
a
n Carpe
n
te
r
Cle
a
n up
.
Freeing the s
m
_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
n
ter
Oring
the slists seems lik
e
m
e
rge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
A
d
d a
-
-debug-implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpenter
c
heck_memory: Fix s
e
gfa
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan C
a
r
penter
kche
c
ker:
hel
p
er script to invoke sma
t
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpen
t
er
chec
k
_
m
emory: n
e
w
c
o
d
e
.
n
o
t u
s
ed yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
t
er
Fix bug in
compound conditi
o
ns and
a
dd validation
t
est
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_locking: handle functions w
i
th
n
o
return statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
Fix so security_fixup_
o
ps(
)
do
e
s
n
'
t
trigg
e
r
the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
ix 'or'ing state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carp
e
nte
r
Fix
N
UL
L
d
e
ref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
For some reason smatch can
'
t find th
e
se head
e
r
file
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
enter
F
i
x str
i
ng memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpen
t
er
Remove
unneede
d
allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Remove outdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an
C
arpenter
Do
n
't __free_sm_stat
e
()
u
ntil end of functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
f
ree_slist() after calling get_all_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
d
o
n't realloc
a
te t
h
e ->po
s
s
i
ble states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpent
e
r
Get rid
o
f unused line h
i
story c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
F
i
x s
o
m
e memory leaks in __implied_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d free_tra
c
kers_and_
l
ist() an
d
free_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carp
e
n
t
er
Add
n
ew free_stack() f
u
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpente
r
rename del_slist_stack() to free_
s
tack_and_s
l
i
sts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an
Car
p
enter
r
ename
del_
s
list() -> free_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
C
a
rpenter
F
ree all the sm_sta
t
es at the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpent
e
r
Add ->po
s
si
b
le to __print_sl
i
st
(
)
o
u
tpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save all
t
he pool
s
a state g
o
es through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpe
n
ter
Add and fix smatch imp
l
ied
t
es
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
C
a
rpenter
Preserve the ->pools and ->possible f
o
r implied state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Fi
x
han
d
ling
m
utually
e
x
clu
s
ive
st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
Get rid of re
d
u
n
dant harmonize_states
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n C
a
rpen
t
er
A
d
d
functi
o
n __set_
t
rue_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
e
r
Onl
y
save
a
n im
p
lied
l
i
st i
f
a
s
tat
e
has
b
een modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
arp
e
nt
e
r
Only impli
e
d
states
t
h
a
t
aren't already true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a
p
aramete
r
instead of assu
m
ing the o
u
tput
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpen
t
er
Don't che
c
k that t
h
ere ar
e
b
o
th true and fals
e
states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This c
h
eck_order
(
) seems su
p
e
r
f
luous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
Ne
w
functi
o
n harm
o
n
ize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
call
_
_spli
t
_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
remove unn
e
eded
c
a
l
ls
to __use_c
o
nd_true_s
t
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 implied
s
tate to
&merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make cmp_tracker()
accessible t
o
outsid
e
f
iles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
Al
l
the
s
tates
are imp
l
ied not
j
u
st u
n
ique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
Improve loc
k
c
hec
k
output
.
Add more val
i
d
a
tio
n
samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Add
s
upport fo
r
d
o
w
n
_in
t
er
r
u
pt
i
ble() and frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Fix
the Unclear locki
n
g thin
g
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
rpenter
Warn on
d
ouble lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arp
e
n
ter
Prin
t
fewer Unclear locking
messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
if
(
(
1))
{
.
.
.
is a k
n
own_condition
_
true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpente
r
Add
s
u
ppor
t
f
or
t
hose funny
gcc ({
.
.
.
}) block
stateme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Hand
l
e
decl
a
rat
i
on
s
inside switch sta
t
ement
b
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Cl
e
anup is_z
e
ro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_c
o
nd
i
t
ion_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arp
e
nter
Fix handli
n
g of co
n
tinue
inside do wh
i
le statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don'
t
set le
t
people set
s
tat
e
s for u
n
reachab
l
e
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carp
e
nter
Handle t
h
e itera
t
ors correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Ca
r
penter
Add support for
"
if (a?b:c)
{
.
.
.
" ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpe
n
te
r
Add so
m
e support
for _spin_trylock() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if
(
a |
|
b) {
a->
f
o
o
; should print an
err
o
r
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
This prints out error mes
s
ages a
l
l the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Car
p
ent
e
r
Assignment always sets &isfreed
t
o
somet
h
i
n
g else li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
D
on'
t
p
rint cro
s
s_
f
u
n
c errors
if t
h
e
c
all
e
d fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
emove
c
all to alloc
_
stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Call
the merge_hook() instead
o
f s
e
tting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpenter
Oops
.
Mean
t
to commit t
h
is earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Add the merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
Clear th
e
returns lists at the end of each fun
c
t
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Move the impl
i
cations checking to after the
scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Rewrite co
m
pletely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Add some f
u
nctions to handle tracker
l
is
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
Don't seg
f
ault a
l
l the time when checking
f
orever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Test
to see
i
f
we
a
re
c
a
tchin
g
cross functio
n
derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
Use
the ->possib
l
e st
a
te
s
and
remove the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Car
p
enter
"wh
i
le ((
1
))
{
" is a
for
e
ver 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
Carpenter
fixe
s
t
o
t
he
-> possible se
t
ting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Ca
r
pen
t
er
Merge branch 'mas
t
e
r' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpente
r
Add va
l
idation s
c
ript for
c
he
c
k_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpenter
Clean up
.
new->possib
l
e is always
n
ull here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
O
ops
.
->possibles wasn't getting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Use strip_expr() in
split_conditions() instea
d
reproducin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add
so
m
e more opera
t
ions to get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpen
t
er
Return &merged ins
t
ead of &u
n
de
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpe
n
te
r
make get_value()
r
e
turn
a
value for bit
w
ise o
r
e
x
pression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again removing states fr
o
m
p
ools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carp
e
nt
e
r
Reve
r
t
"
Re
m
o
v
e
a state fro
m
i
t
's
-
>
p
ools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
ent
e
r
Eliminat
e
a
war
n
ing
.
Probab
l
y th
e
wrong w
a
y
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
pente
r
Clean ups
.
C
omm
e
nts
.
Rename s
l
ist_
s
tack to n
a
me
d
_
stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
a
r
penter
Ha ha
.
I s
t
ill suc
k
at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpent
e
r
Clean
u
ps
.
Comments
.
Remove d
e
b
u
gging code f
r
o
m filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Clean up
.
Also preserve
t
he
-
>
p
ools
i
n
o
ne
p
a
th of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Car
p
enter
Cl
e
an up get_stat
e
_
slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Re
m
o
v
e __overwri
t
e_cur_sl
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nte
r
There was debu
g
ging o
u
tp
u
t that ac
c
ident
a
lly got committ
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remove a state from it
'
s -
>
pools whe
n
set
_
s
t
ate(
)
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Don't delete the ->pool
s
on
m
er
g
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
Try understand t
h
e implications from
compoun
d
conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Create a
state &merged
.
When we mer
g
e stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
pen
t
e
r
Ok
.
This time smat
c
h_implied _really_ does so
m
e
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ignore csc
o
pe f
i
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next