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
Fix 'or'ing states.
2009-03-03
Da
n
Ca
r
pen
t
er
Fix 'or
'
ing sta
t
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpenter
Fix NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some reason smatch can't find these hea
d
e
r
f
iles
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
p
enter
Fix string
m
em
o
ry leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
Remove
u
nnee
d
e
d
a
l
l
o
cat
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Remove
o
u
tdated c
o
mment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
ter
D
o
n't
_
_free_sm_state(
)
until
e
nd
o
f functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
free_slist() after
calling get_all_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Car
p
enter
don't
reall
o
c
a
t
e the
-
>possibl
e
stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get rid o
f
unused l
i
ne history code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an C
a
rp
e
n
t
er
Fix
s
ome memory leak
s
in __implied_states_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Add free_track
e
rs_
a
n
d
_list() and free_tracker
_
list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Add n
e
w free_s
t
ack()
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_slist_stack() to
f
ree_stack_and_slist
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
renam
e
del_
s
list() ->
f
ree_s
l
ist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Free all the sm_sta
t
es
a
t the end of
e
a
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
an Ca
r
penter
Add ->pos
s
ib
l
e to __p
r
int_slist()
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpen
t
e
r
Save
all the pool
s
a state g
o
e
s through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add and fix sma
t
ch i
m
pl
i
ed tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpe
n
ter
Preserve the ->pools and ->possible
f
or i
m
plied
stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
Fi
x
han
d
ling m
u
tually exclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Get
r
i
d of r
e
d
u
n
d
ant harmonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add
functi
o
n __set_true_fa
l
se_
s
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only s
a
ve an impl
i
e
d
list if a state h
a
s
b
een m
o
difi
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpent
e
r
On
l
y i
m
plied states that aren'
t
alr
e
ady true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Ca
r
pen
t
er
Take
a
pa
r
ameter inst
e
ad of
a
s
s
uming the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
Carpenter
D
on't c
h
eck that the
r
e are both tr
u
e an
d
false states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
This check_orde
r
()
s
eems superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
New functi
o
n harmo
n
i
z
e
_
s
t
ates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
ca
l
l __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
remove
unn
e
e
ded calls t
o
__use_cond_true
_
st
a
t
e
s
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpent
e
r
Don't set the impl
i
ed st
a
te to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpenter
Make cmp_tracker() accessible to o
u
tsi
d
e file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Car
p
enter
All
the states ar
e
implied not just unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpen
t
er
Imp
r
ove lock chec
k
output
.
Add mo
r
e va
l
i
dation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add
s
upp
o
rt for
d
own_int
e
rrup
t
ible() and
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Unclear lockin
g
t
h
ing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
W
ar
n
on double lock
/
unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
P
r
int fe
w
er
U
n
c
lear lock
i
ng mes
s
age
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpen
t
e
r
if (
(
1)) {
.
.
.
is a
k
nown_c
o
nditi
o
n_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add
s
u
p
port for
those funny gcc ({
.
.
.
}) blo
c
k statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle dec
l
arations
i
nside
s
witch statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Cleanup is
_
zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Ad
d
known_condi
t
ion_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
te
r
Fix handling of c
o
nt
i
nue inside do while statemen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Don
'
t se
t
l
e
t peo
p
le set states
f
or u
n
reachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
S
mall cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Han
d
le t
h
e iterators corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Add support for "
i
f
(a
?
b
:
c) {
.
.
.
" ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
Add some sup
p
ort for _
s
pin_trylock() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
if (a
|
| b)
{ a->foo; should pr
i
nt an e
r
ror
.
Al
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints
out err
o
r messages all th
e
t
i
me that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
Assignm
e
nt al
w
ays
s
ets &isfreed to somethi
n
g else
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don't print cross_func errors i
f
the called func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Remov
e
call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Call the merge
_
h
ook() instead of s
e
tting t
h
e sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Oops
.
Meant to
commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
A
dd the merge_
h
o
ok
(
) back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpente
r
Clear t
h
e
ret
u
rns list
s
at the
e
nd of each
functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
M
ove
the
i
mplicat
i
ons
c
h
e
cking to afte
r
t
he scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Rewrite
c
omp
l
e
tely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pen
t
er
A
dd some f
u
nctions to handle trac
k
er lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
penter
Do
n
't segfa
u
l
t
a
l
l the time whe
n
ch
e
cking forever loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Test to see if we a
r
e catching cross fun
c
tion deref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
U
s
e the ->possible states a
n
d
remo
v
e the
m
erg
e
_hook(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"
while
(
(
1
)
)
{" i
s
a forever loop
.
Call
s
t
rip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes t
o
the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Mer
g
e branch 'master' int
o
nu
l
l_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Add valida
t
ion script f
o
r
c
heck_n
u
ll_
d
e
re
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clea
n
up
.
new->po
s
s
i
ble is always null
h
ere
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpent
e
r
Oops
.
->po
s
sibles wasn'
t
get
t
ing set c
o
rrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Use
s
trip_e
x
pr()
in
split_conditions() i
n
stead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpe
n
ter
A
d
d some more opera
t
i
ons to
get_
v
alue
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&
merged i
n
stead of
&undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
make get_value()
return a value
for
bitwise
or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Try again
removin
g
s
tates
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpen
t
e
r
Revert "Re
m
ove a
state from i
t
's ->pools wh
e
n set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Probably the wrong way
t
o d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
C
l
ean u
p
s
.
Comments
.
Rename slist_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Ha ha
.
I sti
l
l suck at p
o
inters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanu
p
s
.
Comm
e
nts
.
Remove debug
g
ing cod
e
fr
o
m filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also preserve th
e
->pools
in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
l
e
a
n up
g
et
_
state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
R
e
mov
e
__
o
v
e
rwrite_cur_sl
i
st
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
T
h
e
re was d
e
b
u
ggin
g
output that accidentally got co
m
mitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state f
r
om it'
s
-
>
po
o
ls
w
h
e
n set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
on't d
e
lete t
h
e ->pool
s
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Try understand the implications f
r
om compo
u
nd co
n
dition
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Create
a
st
a
te &merged
.
When
we
merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ok
.
This ti
m
e smatch_implie
d
_
r
eally_ does somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ignor
e
c
s
c
o
pe f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
enter
S
m
a
ll
c
l
e
anu
p
s
.
(
W
hite sp
a
ce)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pent
e
r
W
hitespace
c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some mo
r
e lockin
g
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpente
r
Fix implied
pool
s
s
o
that at
l
east i
t
doe
s
someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
It s
e
emed like tracker_list wo
u
ld be useful
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add a READ
M
E describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpen
t
er
Add
s
crip
t
to find NULL
d
ereferences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpente
r
Fix usage mess
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
enter
Check for
m
alloc(
)
a
s we
l
l as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next