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: ranges: set correct max in cast_rl()
2012-11-08
Dan Carpenter
s
val: i
m
p
r
ov
e
cas
t
_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
sval: introdu
c
e
s
val_cmp_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
pen
t
er
t
ype: fix
a
val
i
d
a
tion te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
a
r
penter
ty
p
e: make get
_
type() handl
e
EXP
R
_POS
T
OP and EXPR_COMPARE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type: introduce type_signed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n Carpen
t
er
type: use type_positive_bits
(
) in get_binop_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carp
e
n
t
er
sval:
f
i
x sv
a
l_cmp() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval: int
r
oduce sva
l
_pos
i
ti
v
e
_bits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpen
t
er
s
val: fix a bug in h
a
n
d
ling fo
r
loops
t
hat c
o
unt downwards
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval
:
remove
a
who
l
e_r
a
nge refere
n
ce in smatc
h
_impli
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
s
val
:
remove
so
m
e reference
s
to
w
hole_r
a
nge i
n
chec
k
_kernel
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
C
ar
p
enter
sval:
r
emov
e
a wh
o
le_range
reference
in c
h
e
c
k_l
o
c
king
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
sv
a
l: delete unus
e
d
sval_
t
o_ll()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
r
p
ente
r
sv
a
l
:
m
ake whole_ran
g
e
_
list_sval() take a type pa
r
amete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
type
:
introduce cur_func
_
re
t
urn
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpe
n
ter
sval
:
start
g
e
tting rid of extra_unde
f
ined(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: re
n
ame absolute_
i
d
and make
i
t
st
a
t
ic now i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: fix a bug in s
m
at
c
h_absolute
.
c and c
l
eanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Car
p
ente
r
sval: delete som
e
unused
d
ata
_
range
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Carpe
n
ter
sval: update smatch_functio
n
_h
o
oks
.
c to
use data
_
range_s
v
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Ca
r
penter
sv
a
l
:
dele
t
e r
e
maining struct range_list code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Car
p
ente
r
sval: create
cast_rl() which
casts a range list to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rp
e
nter
s
v
a
l: make
s
val_cast() take
a
ty
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sva
l
: delete a bunch of "long long" func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete ad
d
_
r
a
n
ge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval:
cha
n
ge get_
v
alue_ranges
(
)
to
get_v
a
lue_ranges_sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval: dele
t
e
a bunch of unused stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
s
val: delete clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sv
a
l: con
v
ert estates
t
o use rang
e
_list_sval int
e
r
n
ally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval
:
create
clo
n
e_permanent_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
n
t
e
r
sva
l
:
m
a
k
e an sval version of
w
h
ole_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carp
e
nter
sval: remov
e
possibly_true_range_list() and
r
elat
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sval: del
e
t
e
unus
e
d
inv
e
rt
_
range
_
list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Ca
r
penter
sval: delete unused
r
l_min/ma
x
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
e
r
sval: d
e
lete un
u
sed is_whole_range_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval: remove
unused esta
t
e_get_single_value(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: cleanup
e
s
tate_get
_
s
ingle_val
u
e_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
e
r
sval: upda
t
e al
l
oc
_
dinfo_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pent
e
r
sval: d
e
lete alloc_
e
s
tate_no_name(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carp
e
nter
s
v
al: update remai
n
ing calls
to a
l
loc_
e
s
t
ate_rang
e
_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpen
t
e
r
sval: update re
m
aining a
l
loc_est
a
te_range()
call and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
arpenter
sva
l
: fix
b
ug in handle_am
p
e
r
sand()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al
:
in
t
roduce val
i
d
_ptr
_
min/max_s
v
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sv
a
l: u
p
date calls to a
l
loc_esta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: delete unused estate_r
a
ng
e
s(
)
and estate_min
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
s
val: update c
a
ll
t
o e
s
tate_min()
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: update chec
k
_err
_
pt
r
_deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update is_who
l
e_ra
n
ge() to
u
se sva
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval:
d
elete
unu
s
ed
ra
n
ge_lists_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval:
d
elete unused get_implied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Carpenter
sv
a
l: u
p
da
t
e
calls to ge
t
_implied_range_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sv
a
l: create an
sval version of r
a
ng
e
_
l
ists_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sval: extra:
c
o
nvert match_comp
a
riso
n
(
) to s
v
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
a
r
p
enter
sva
l
: fix
a bug in remove_ra
n
g
e_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval
:
extr
a
:
c
h
ange some range_list structs to range_list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: update
f
u
ncti
o
n_compariso
n
(
) to tak
e
an sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extra: update inc
r
ement/decrem
e
n
t
_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpente
r
sval: extra: update match_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extra: update canoni
c
a
l loo
p
code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carp
e
nter
sval: ch
a
nge the o
u
tput back to
t
he origina
l
fo
r
now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpenter
sval: extra:
u
pd
a
t
e
merge
_
func()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
ent
e
r
s
v
al: u
p
date filte
r
_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carp
e
nter
sval: update add
_
filter() to take sv
a
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
an Ca
r
penter
sval: upd
a
te filter_
r
a
n
ge() to
take
svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Car
p
enter
r
a
nges: re
m
ove unused
rl_conti
g
uous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
penter
s
val: make sval
v
ersions of
smatch_e
s
t
a
te
.
c
fun
c
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: fix sv
a
l_cmp(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
an Carpenter
sval: make r
l
_min/max_sval() tak
e
a
range_list_sval
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
Carpenter
sval: update smatch_db
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpente
r
sval
:
update s
m
atch_parse_call_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
an Carpenter
s
val: update smatch_parse
_
call_math
.
c to us
e
r
ange_lis
t
_svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
an Car
p
enter
sval: update smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: fix so
m
e bugs
in
add_ra
n
ge_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpent
e
r
s
v
al: upda
t
e smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
arp
e
nter
sval: update sma
t
c
h_math
.
c to use
range_list_sv
a
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n
C
arpenter
sva
l
: update smatch_projec
t
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpen
t
er
sv
a
l: update validation/ t
o
m
a
tc
h
ne
w
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
Carpent
e
r
sval: updat
e
c
h
eck_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sv
a
l: update check_param_
r
ange
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
enter
sva
l
: update che
c
k
_de
b
ug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan C
a
rpenter
sval: update check_db_info
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Carpente
r
sval: start chan
g
e range_list
s
t
o use da
t
a_r
a
nge
_
sva
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
penter
r
a
nges: function_h
o
ok
s
: mov
e
in_lis
t
_exact() to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval:
u
pdate smatch_math
.
c to use the
n
ew
s
val range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval:
c
reate true/fals
e
_com
p
ari
s
on_r
a
nge_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
penter
sval: cut-and-pas
t
e bug: using min inst
e
ad of max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carp
e
nter
s
v
al: create tempor
a
r
y dran
g
e_
s
val_to_
d
ran
g
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpenter
sva
l
: ranges: introduce range
s
_equiv_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Ca
r
p
enter
s
val: create
a
lloc_ra
n
ge_perm_s
v
a
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sv
a
l:
a
dd i
n
te
r
im
helpers ll_to_sval()
a
nd dra
n
ge_to_drang
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: fix
a
bsolut
e
--info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan C
a
rpenter
sval
:
introduce e
s
tate_mi
n
/ma
x
_
sval() and estate_get
_
sing
l
e_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
t
er
sv
a
l: update smatc
h
_a
b
solute
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Car
p
ente
r
sval: r
a
nges: intro
d
uc
e
struct data_ra
n
ge_sva
l
a
s
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval:
i
n
troduce sval_is_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpe
n
ter
sval: update a few get_val
u
e
(
) to get_
v
alue_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sv
a
l: update smatch_cap
p
ed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpente
r
sval: update smat
c
h_fl
o
w
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update
s
match_he
l
per
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sva
l
:
r
emove type_
m
i
n/m
a
x() which are not used an
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next