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: delete old unused estate_undefined code
2012-11-10
D
an Carpenter
sval: del
e
te
o
ld
u
nused est
a
t
e
_undefined
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
Dan Car
p
e
nte
r
estate: move e
s
tate_get_single_value_sval() to sm
a
tc
h
_
estate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
a
r
penter
sval: type: se
a
rch harde
r
f
r
om stru
c
t
m
ember types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n
Carpenter
sval
:
hack
i
s so get_
a
bs
o
lute_min/max_
s
val() nev
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpent
e
r
s
v
al: math:
don't call s
v
al_binop() with
bog
u
s da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n
Ca
r
penter
extra: cleanup set_related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpen
t
er
sval: typ
e
: remove debug o
u
tput in get_select_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpen
t
er
s
v
a
l: han
d
le type pr
o
motion
i
n sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carp
e
nter
sval
:
extra: count po
i
nter types
a
s
equi
v
alent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n Carpenter
s
v
al: si
g
ned: fix a type promo
t
ion bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpenter
sval:
e
x
tra: fall back to llo
n
g_ctyp
e
if we don't know
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Ca
r
p
e
n
ter
sval: type
:
dec
l
are type
_
posi
t
ive_bits() in the smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpe
n
t
er
sval
:
type: fix get_type() for s
e
lect
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
s
v
al:
e
x
tra: cast the
p
ar
a
mete
r
inf
o
rmation to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: fuzzy_max:
f
ix it
to work
with
s
vals better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpe
n
ter
sval: type: get_type() should handle ex
p
ression state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpente
r
sv
a
l: extra: mor
e
fix
e
s to
m
atch c
o
m
p
a
rison
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carp
e
n
ter
sval: math:
d
o
n
'
t even bother trying
t
o divide by
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpente
r
sval: ha
n
d
le com
p
a
r
isons ag
a
i
nst zero
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpenter
sval: pas
s
ty
p
e information to extra_undefin
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
s
v
al:
i
n
t
roduce es
t
ate_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpen
t
er
s
v
al:
d
el
e
t
e
unused filter_range_li
s
t()
f
u
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
al:
v
a
l
i
dation: absolu
t
e: a
d
d a couple new thin
g
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: extra: abso
l
ute: change ho
w
assignments a
r
e handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: m
a
th: pu
t
ting bogus ty
p
e information on
f
ailure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpente
r
sval: fix cast_rl() some more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carpen
t
e
r
sval: fix a
s
ignedness bug
in che
c
k_signe
d
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Ca
r
pente
r
sv
a
l:
cast UNOP
S
to the rig
h
t type
i
n smatch
_
math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sval
:
i
n
t
rodu
c
e sval_to_n
u
ms
t
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
enter
sval: get rid of st
r
uct data_range
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
val
:
free th
e
sva
l
data ranges in free_d
a
t
a
_info_al
l
o
c
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
en
t
er
sval: handle assig
n
m
ents in
s
match extra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
en
t
er
sv
a
l:
f
i
x cast
_
rl() fo
r
handling sing
l
e values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpenter
sv
a
l: add __
s
ma
t
c
h
_sva
l
_info()
t
o check_debu
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: upd
a
te match_com
p
arison() and fri
e
nds i
n
smatch_ex
t
r
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Car
p
enter
sva
l
: temporarily hack
w
hat sval_to
_
str() prints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpenter
sva
l
:
improve cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sv
a
l:
introduce sval_cm
p
_
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
t
ype: fix a
validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type:
m
ake get_type
(
) handle EXPR_POSTOP and EXPR_COMPARE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
type
:
intr
o
duce type_
s
igned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
ty
p
e:
u
s
e
type_positive
_
bits() i
n
get
_
binop_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
an
C
a
rpenter
s
v
al: fix sval_cmp() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
C
a
rp
e
nter
sval: introduce sval_positive_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Car
p
enter
sval
:
f
i
x a bug in
handling fo
r
loops that cou
n
t downwards
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Car
p
enter
sval
:
r
emove a whole_rang
e
reference in sm
a
tc
h
_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Carpe
n
ter
s
v
al: remove som
e
re
f
e
rences
t
o whole_ra
n
ge in
check_kernel
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Ca
r
pent
e
r
sv
a
l: rem
o
ve a
w
hole_ran
g
e
r
eference i
n
check
_
locki
n
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval:
delet
e
u
nused
s
val_t
o
_ll()
f
un
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
s
v
a
l: make whole_range_li
s
t_sval() take
a
type param
e
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
type: introdu
c
e c
u
r_func_return_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
sval:
s
ta
r
t getting rid of ex
t
ra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval
:
r
e
name a
b
solute_id and
m
ake it static now it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Carpenter
s
v
al: fix
a
b
ug
in
s
match_absolute
.
c and
c
leanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
an
C
arpent
e
r
sval: del
e
te so
m
e
unused data_ra
n
ge code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
t
e
r
sval: upda
t
e smatch_f
u
nction
_
hooks
.
c
t
o
use data_range_sva
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpe
n
ter
sval
:
delete rem
a
i
n
ing
struct range_l
i
s
t code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
ter
sval:
cr
e
ate cast_rl() which
c
asts a r
a
nge list to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Car
p
e
n
ter
sva
l
: make s
v
al_c
a
s
t
() take a typ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sv
a
l: delete a bunc
h
of "
l
ong
long" function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval:
d
e
lete add_ra
n
g
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
e
nt
e
r
sval: change get_value_ranges()
t
o get_value_ranges_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sv
a
l: delet
e
a bunch of unused stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: del
e
te cl
o
ne_p
e
rman
e
nt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
n
t
er
sval: convert estates
to use range_list_sv
a
l internally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
:
create clone_perman
e
n
t
_
sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval: make an sval version of w
h
ole_r
a
n
g
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
e
r
sval:
remove possibly_true
_
range_list()
and related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: del
e
te unused invert_rang
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: dele
t
e unused
r
l_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delet
e
u
n
u
s
ed
is_whole_range_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
ar
p
enter
sv
a
l
: re
m
o
v
e u
n
used estate_get_singl
e
_v
a
lue(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
s
v
al: cl
e
a
n
u
p
esta
t
e_get_single_value_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Car
p
e
nter
sval: update alloc_dinfo_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpente
r
sval: de
l
ete allo
c
_estate_no_name(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Car
p
enter
sval: updat
e
r
emaining ca
l
ls to
a
llo
c
_estate
_
range_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
e
r
sval: update remaining
a
lloc_estate_
r
ang
e
()
c
a
ll and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: f
i
x b
u
g in
h
and
l
e_
a
mpersand(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
s
val: in
t
rodu
c
e v
a
lid_ptr_min/max_sv
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: upd
a
te calls t
o
a
l
loc_
e
state(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpen
t
er
s
v
al: delet
e
unused e
s
ta
t
e_ranges() a
n
d esta
t
e_min
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sval:
update c
a
ll to e
s
tate_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
p
enter
s
val:
u
pdate check_er
r
_pt
r
_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n C
a
rpenter
sval: up
d
ate is_whole_range(
)
to
use svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
e
n
ter
sval: delete unus
e
d
range_lists_e
q
uiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
d
elete unu
s
ed ge
t
_impl
i
e
d_rang
e
_li
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: update calls to get_imp
l
ied_r
a
ng
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: creat
e
an sval
v
e
rsion of
r
ange_lists
_
equi
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
penter
sval: ex
t
ra: convert matc
h
_comp
a
rison() to sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
penter
sval: f
i
x
a
bug in remove_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval
:
extra: c
h
ange
some range_
l
ist structs t
o
ra
n
ge_list
_
s
v
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sva
l
: update function
_
comparison() to take
an sva
l
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extr
a
: upda
t
e increment/d
e
cremen
t
_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carp
e
nte
r
s
v
al: extra: u
p
date m
a
tch_assign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
sval:
extra:
u
pdate can
o
nical lo
o
p
c
ode
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sv
a
l: change the output back to the o
r
igi
n
al
f
or now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
t
er
sval: ext
r
a: upda
t
e m
e
rge_f
u
n
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
ter
sval: update fi
l
ter
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arp
e
nter
sval: update add_f
i
lt
e
r() to
t
ake s
v
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
penter
sval: u
p
date
f
ilt
e
r_range() to take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next