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
smatch_implied: only print the nr_children message once.
2009-05-31
Dan Carp
e
nter
s
match_implied: o
n
ly print
the nr_ch
i
l
dren m
e
ssage
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
rpente
r
smatch_extra:
f
ix
(foo !=
4
2
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
rpenter
Fix overl
a
ppi
n
g ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carp
e
nter
check_m
e
mory
.
c:
f
ix reversed if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
a
n C
a
rpen
t
e
r
Fi
x
anot
h
er bug caused by funny tmp_range_l
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Merge branch 'ne
w
_implication
s
' into
d
evel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Fix
c
rashing bug caused
by the swi
t
c
h
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
debugging: print the li
n
e num
b
ers i
n
merge_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make swi
t
ch st
a
tements wor
k
agai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
an Carpenter
clean up
.
use tru
e
/fa
l
se_co
m
parison_range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Da
n
C
arpenter
code churn: rename
->pre_l
e
ft => ->left, -
>
p
r
e_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpen
t
er
Put a cap on i
m
plications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Impr
o
v
e
d
ebugging
.
Don't overw
r
ite s
m
->line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n
C
arpenter
M
icro optimization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carp
e
nter
clean up
i
n
merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
c
heck for
o
ut_of_memory() less
often a
n
d
o
n
l
y after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Better debugg
i
ng for chec
k
_m
e
mory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpent
e
r
A
d
d switch testing test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpenter
D
o
h
.
Too many implied s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Rem
o
ve clone_slist_an
d
_
states() and merge_slist
_
clo
n
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpenter
R
e
move switc
h
clo
n
ing
com
p
lexi
t
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
two is always non-null these days
.
don't ch
e
ck it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
remove unused m
e
rge_
p
o
ol
s
() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
don
'
t
print "list" v
a
r
iable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
Make my_pools => my_poo
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
introduc
e
c
lo
n
e_po
o
l_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rp
e
nter
clone_state(
)
doesn't copy my_
p
ools
.
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
Rework imp
l
ications to use
-
>pr
e
_left and
->p
r
e_ri
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
t
w
o
i
s always non-
n
ul
l
these
d
ays
.
don
'
t check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpent
e
r
Introduc
e
->
p
re_left and ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Ca
r
penter
Ma
k
e the RAM
limit more accurate and fle
x
ible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpen
t
e
r
Onl
y
clone t
h
e
s
tates if it
i
s a
s
w
i
tc
h
state
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpente
r
Do
n
't clone the false stat
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
r
p
enter
D
on
'
t clone all the
s
tates for every case statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpen
t
er
Make th
e
validation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Prevent some endle
s
s loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpen
t
er
Putti
n
g pare
n
s
ar
o
und something do
e
sn'
t
m
ake
it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
enter
Fix m
e
mor
y
l
e
a
k
.
free_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make struct
sm_s
t
ate more compa
c
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n
Carpe
n
ter
smatch_slist
.
c no longer
needs any functions from sma
t
c
h
_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete
all the and
i
n
g compound conditions cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
p
enter
check debug is useful for
debu
g
ging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nte
r
potential bu
g
fix for gotos with
i
m
pli
c
at
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make va
l
idation t
e
st harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rewor
k
smatch
i
mpli
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpente
r
get_value(): ha
n
dle a couple more bit operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Ca
r
pe
n
te
r
Set th
i
ngs
i
n
smatch extra instead of sma
t
ch i
m
p
l
ied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Handle switch stat
e
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
r
pen
t
er
Reve
r
t "Don't th
e
impl
i
cations for the stat
e
d
ete
r
m
i
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Ca
r
pe
n
ter
R
evert "H
e
re i
s
a b
u
g in handling com
p
o
und conditi
o
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
rpenter
handle if((foo = down_trylock()) <
0
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_me
r
ged_hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpen
t
er
Dereferencin
g
a v
a
ri
a
bl
e
doesn'
t
m
a
ke
it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
D
an Carpe
n
t
er
Redo check
i
ng for out
of
ra
n
ge arg
s
to ERR_PTR(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan
C
arpen
t
er
Here is a bug in han
d
ling compo
u
nd conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpenter
H
andle stra
i
ght forw
a
rd compari
s
ons
to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpente
r
Store the implications for ret
u
rn
_
imp
l
ies
_
state() assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Add: return_im
p
lies_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
R
e
name smatch_e
x
tra_helper
.
c to sma
t
ch_rang
e
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Eliminate set_cond
_
states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Small
clean up
.
Allocating f
i
lter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
pe
n
t
e
r
Ve
r
ify that the val
u
e passe
d
to ERR_PT
R
() isn't
to
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
penter
F
i
x co
m
piler int
<
-
>
ptr conversion w
a
r
n
ings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merg
e
adjacent range
s
.
1-2,3-4 become
s
1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save some allocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
F
i
x
str
n
c
at() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan
Carpenter
Im
p
ro
v
e
handling of
for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
ter
Handle once throu
g
h loops differe
n
tly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
penter
Fix mer
g
i
ng ranges
.
Completely broken
b
efore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
T
ypo: <= instead
o
f >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Reverse a
l
l
the
r
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don't the
implicati
o
n
s for
t
h
e state determining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
e
r
mat
c
h
_compariso
n
to handle less than, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
Change locking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpenter
Don't allocate so ma
n
y
e
xtra_undefined
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
r
penter
create a
l
loc_ex
t
ra_s
t
at
e
_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpente
r
remo
v
e true_compa
r
ison()
and do
_
compar
i
s
on()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
move (true|false)_compa
r
ison_ra
n
ge() to smatch_extra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pent
e
r
cl
e
ar -
>
my_lists for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nter
Print
m
ore --d
e
bug-implied infor
m
ation when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
Removed hard
code
d
o
p
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Fix ran
g
e c
o
m
par
i
son
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpe
n
ter
re
m
ove u
n
used func
t
i
o
n: range_list_inters
e
ction()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
Handle U
N
DEFINED ra
n
ge and di
s
play th
e
nam
e
correc
t
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carpenter
Fix state na
m
es
for ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Impl
i
ed ranges
.
Part #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
Update da
t
a
files for 2
.
6
.
3
0
-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
sm
a
t
c
h_extra
.
s
a
ve other
c
omparisons besi
d
es just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpe
n
ter
han
d
le:
i
f
(
(foo = try_lo
c
k()))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpente
r
r
e
name:
e
xpr_to_val() ->
get_
i
mplied_v
a
lue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Car
p
e
n
ter
Fi
x
handling of
i
f (IS
_
ERR(f
o
o = bar()
)
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpe
n
t
e
r
hand
l
e
if
c
o
nditiona
l
functions
a
re ass
i
g
ned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
enter
A
d
d
new restricted
known_conditio
n
_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
rename kno
w
n
_
conditio
n
_true() to implie
d
_
c
ondit
i
on
_
tru
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Add
E
RR_PTR() ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
te
r
__modu
l
e_pu
t
_a
n
d_
e
xit(
)
doesn
'
t
ret
u
rn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Separate the lis
t
of fre
e
d
a
rguments from dec
r
e
mented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
W
rite a scrip
t
t
o
prin
t
functions that return
NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
D
on
'
t free bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
Co
m
mit these essent
i
al fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next