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
sval: rename get_implied_min/max_sval() to get_implied_min/max()
2012-11-12
Dan Carpen
t
e
r
sval: ren
a
me get_implied_min/ma
x
_
s
v
a
l() to get_
i
mplied_min
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carp
e
nter
sv
a
l
:
s/get_implied_valu
e
_sva/ge
t
_implied_
v
alue
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
s
v
a
l:
s/get_value_
s
val/get_
v
alue/g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carp
e
nte
r
s
va
l
:
s/get_
i
m
p
lied_r
e
turn_sval/ge
t
_imp
l
ie
d
_return/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Da
n
Carpe
n
t
e
r
s
v
al
:
s/ran
g
e_list_stack_s
v
al/range_l
i
st_stack/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carp
e
nter
sval: s/range_list
_
sval/ra
n
ge_list/g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Da
n
Carpenter
sval: rename data_rang
e
_sval back to
data_
r
ange
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval
:
sign
e
d: pretty much re-w
r
ite t
h
e
whole thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval: extra: handle comparisons l
i
k
e
((foo == f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval: extr
a
:
d
b: do
c
a
st
t
he param
e
ter value
s
afte
r
a
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpe
n
ter
debug: add
_
_sm
a
tc
h
_
f
uz
z
y
_
max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n Car
p
enter
sval: don't overflow in increment/decremen
t
_state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpente
r
sv
a
l: make a typed v
e
rsion of get_value_
r
anges_sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
D
an Carpenter
dma_on_stack: imp
r
ove printed
m
es
s
a
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sv
a
l
:
introduce "har
d
m
a
x
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n
C
arpenter
absol
u
te:
u
se the impl
i
ed max
b
e
f
ore the type max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sva
l
:
introduce
s
v
a
l_type_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan C
a
r
p
enter
sv
a
l: debug
:
fix rev
e
r
sed condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-10
D
an Carpenter
sva
l
: delete old un
u
sed e
s
t
a
t
e
_un
d
efined code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-10
D
a
n
C
arp
e
nter
e
state
:
move
estate_get_single_value_
s
va
l
()
to sm
a
tch_
e
st
a
te
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sva
l
: type: search harder f
r
om struc
t
memb
e
r
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
s
v
a
l: hack is so get
_
absolute_min/m
a
x_sval
(
) never
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n Carpenter
s
val: math:
d
o
n't call sval_binop(
)
wit
h
bogus
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpente
r
extra: clea
n
up
set_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
enter
sval: ty
p
e: remove debug outp
u
t in get_select_ty
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: handle typ
e
promotion in sval_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpenter
sv
a
l: extra:
c
ount poi
n
ter
t
yp
e
s as equiva
l
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
enter
sval: signed: fix a type
p
romoti
o
n bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: extra: fall ba
c
k t
o
l
l
ong_ctype
i
f we don't k
n
ow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
a
rpenter
s
v
al: t
y
pe: declare
t
ype_p
o
sitive_bits() in the smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpent
e
r
s
v
a
l: type: fix get_type(
)
for select
state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carpen
t
er
sval: extra: cas
t
the par
a
mete
r
inform
a
tion to
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpe
n
ter
sval: fuzzy_max: fix i
t
to work with s
v
als bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpen
t
er
sv
a
l: ty
p
e: get
_
type() shou
l
d handle expression statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carpenter
sval: extra: more fixes to match com
p
ar
i
son
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rpenter
sval: ma
t
h: don't
even bothe
r
trying to divide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Ca
r
pe
n
t
er
sval: handle comparisons aga
i
nst zer
o
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpente
r
sval: pass type
i
n
f
ormatio
n
to extra_un
d
e
fined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
ter
sval: introduce
es
t
at
e
_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpen
t
e
r
sval: delete unused filter_range_
l
ist(
)
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
Carpent
e
r
sval: validation:
a
bsolute: add
a
coup
l
e new things
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
a
l: extra: absolute: chan
g
e
how assig
n
m
ents are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpenter
sval:
math: putt
i
ng bogus type
i
nform
a
t
i
on on failure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpe
n
ter
sval: fi
x
cast_rl
(
) some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
ar
p
enter
sval: fi
x
a sig
n
edness
bug in check_signed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
enter
sval: cast
UNOPS to th
e
ri
g
ht type in s
m
a
t
c
h
_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sva
l
:
i
ntroduc
e
sval_to_numstr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Car
p
enter
s
v
al:
get ri
d
of struct dat
a
_r
a
n
ge
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
a
r
penter
sval: free the sv
a
l dat
a
r
anges in free_data_
i
nfo_allocs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpent
e
r
sval: handle assi
g
nments
i
n smatc
h
extra
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carp
e
nter
sva
l
: fix
cast_
r
l() for handli
n
g single values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
r
p
e
n
t
e
r
sval: add __smat
c
h_s
v
al_info() to
c
hec
k
_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carp
e
nter
sval: updat
e
m
atch_comparis
o
n() and f
r
i
e
nds in
smatch_ex
t
ra
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval
:
temporarily hack what
sval_
t
o_st
r
()
p
rints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carpenter
sva
l
: improve
c
ast_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Ca
r
p
enter
sval
:
i
ntroduce sval_cmp_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type: fi
x
a valid
a
tio
n
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
type: ma
k
e get_t
y
pe
(
)
handle EXPR_POSTOP and EXPR_COMPARE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
t
ype: i
n
tro
d
u
ce typ
e
_sign
e
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
ty
p
e: use type_positive_bi
t
s(
)
in get
_
bino
p
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan
C
arp
e
nter
sval: fix sv
a
l
_
cmp() a
b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carp
e
nter
sv
a
l: introduce sval_
p
os
i
t
i
v
e
_
b
i
ts
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan C
a
rpenter
sval: f
i
x
a bug in h
a
ndling for loops that count downwards
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Carpenter
sval: remove a
w
hole_r
a
nge re
f
ere
n
ce
i
n sma
t
ch_
i
mplie
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval: remove some ref
e
rences
to whol
e
_range in check_kern
e
l
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpenter
s
va
l
: re
m
ove a w
h
ole_range ref
e
ren
c
e
i
n
c
heck_locking
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpent
e
r
sval: delet
e
unused sval_to_ll(
)
funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Car
p
en
t
e
r
s
v
a
l:
make whole_ra
n
ge_l
i
st_
s
val() take
a
type
pa
r
ameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Carpe
n
t
er
type:
introduce cur_
f
u
n
c_return_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpenter
sval: start
getting rid of extra_undefin
e
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: rename absolute_
i
d
and make it stat
i
c
now it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpen
t
er
sval: fix a bug in sma
t
ch_
a
bsolut
e
.
c
a
nd clea
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
pente
r
sv
a
l: delete some unused
data_range code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpente
r
sval
:
update
s
match_function_ho
o
ks
.
c to use
d
at
a
_ran
g
e_sv
a
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Carpenter
sval: delet
e
remainin
g
struct ra
n
ge_list code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpen
t
er
s
val:
c
reate cast_rl() which cast
s
a range list to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Carp
e
nter
sval:
make sval_cast() take a type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
t
er
sval: delete a bunch of "long long"
f
uncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: dele
t
e
add_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: change get_value_ranges() to get
_
v
a
lue_ra
n
ges
_
sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete
a b
u
nc
h
o
f
unused stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: dele
t
e clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sv
a
l: co
n
vert e
s
tates to use range_
l
ist_sval inte
r
nall
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sv
a
l: crea
t
e
clone_p
e
r
manent_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval: m
a
ke an sval version of whole_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
enter
sval: rem
o
ve poss
i
b
l
y
_
true_range_list() and related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sv
a
l:
d
el
e
t
e
u
nused invert_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carp
e
nter
sval: delete unused rl_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carp
e
nter
sval: delete unused
i
s_whole_range_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: remove unus
e
d
estate_get_single_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
cleanup e
s
t
ate_get_s
i
ngle_value_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update al
l
o
c_
d
info_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete alloc_estate_no_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
s
v
al: update r
e
maining calls to alloc
_
estate_range_li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: update remaining all
o
c_e
s
t
ate_range() c
a
ll and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sv
a
l
: fix bug in
h
a
ndle_a
m
persand()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
C
arpenter
sval: int
r
oduce valid_ptr_min
/
max_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: updat
e
ca
l
ls to
a
l
loc
_
estate(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpent
e
r
sval:
de
l
ete unus
e
d estate_ranges() and estate_min
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
s
v
al: up
d
a
te call
to est
a
te_min()
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next