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: signed: fix validation test and update format
2012-11-07
Dan
C
arpenter
sval
:
fix sv
a
l_cmp() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Car
p
e
n
t
e
r
sval:
i
n
troduc
e
sval_positi
v
e_bit
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n Carpe
n
ter
sval: fix a bug
i
n han
d
ling
f
or
lo
o
ps
t
hat count
d
o
w
n
wards
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
s
val: re
m
ove a whole_range ref
e
rence
i
n sm
a
tch
_
implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
s
va
l
: remove so
m
e r
e
fer
e
nces to whole_r
a
nge in c
h
eck_kernel
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpe
n
ter
s
val: re
m
ove a w
h
ole_
r
a
nge reference in check_locking
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
sval:
del
e
te unused
s
val_to_ll
(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
sv
a
l: make whole_range_list_sval() take a type para
m
eter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Car
p
ent
e
r
type: int
r
oduce cur_func
_
return_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval
:
st
a
rt getting rid of extr
a
_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpenter
sval: rename absolut
e
_id
and make it
s
tati
c
now it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
C
a
rpent
e
r
sva
l
: fix a bug i
n
smatch_abso
l
u
t
e
.
c
and cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Car
p
ent
e
r
sval: de
l
ete some unused data_range code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n C
a
rpenter
sva
l
: update smatch_function_hooks
.
c to us
e
data_range_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
pen
t
er
sval: d
e
lete remaining
s
truc
t
ra
n
ge_lis
t
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpenter
sval: creat
e
ca
s
t_rl
(
) which
ca
s
ts a
r
a
nge list
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
sval: make
sval_ca
s
t(
)
take
a
type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sva
l
:
delete a bunch of "long long"
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sva
l
: delete ad
d
_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval
:
change get_value_ranges()
t
o
get_value_ranges
_
s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpente
r
sv
a
l: delete
a bunch of unused stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
d
ele
t
e clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
enter
s
val: convert estates t
o
use range_list_
s
val internally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
C
a
rpenter
sval: create clone_permanent
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: make an
s
val vers
i
o
n
of who
l
e_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
ar
p
enter
sval: remove
p
os
s
ibly_true_ran
g
e
_
list() and rela
t
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpe
n
ter
s
v
a
l: de
l
ete
u
n
u
sed invert_rang
e
_lis
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete unused rl_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: delete u
n
use
d
i
s
_whole_range_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Ca
r
penter
s
val
:
re
m
ov
e
unused estate_get_single_
v
a
l
u
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: cleanup estate_get_sin
g
le_value_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: updat
e
al
l
oc_dinfo_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: delet
e
alloc_estate_
n
o_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
: update remaining calls to alloc_estate_r
a
n
g
e_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpente
r
sval: u
p
date
r
emaining
alloc_e
s
tate_range() call and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Carpenter
sval: fix b
u
g in handle_ampersand()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al: intro
d
uce valid_ptr_min
/
max_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
update calls
t
o a
l
loc_es
t
a
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: delet
e
unused estate_ranges() and estate_
m
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: update call to estate
_
m
i
n()
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: updat
e
check_err_
p
tr_deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
s
v
a
l
: update
is_
w
hole_ran
g
e()
t
o
u
se svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval: delete
unused ran
g
e_list
s
_equ
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval
:
delete unuse
d
get_i
m
plied_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval: updat
e
calls to
get_implied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sval: create an
sval v
e
rsion of range_lists_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
t
er
sval: extra: convert match_comp
a
rison() to sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: fix
a b
u
g in remove_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: extra: change so
m
e r
a
nge
_
list stru
c
ts to range_list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: update function_compa
r
ison() to
t
ake an
s
v
a
l
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpent
e
r
s
v
a
l
:
ext
r
a: update in
c
rement/decrement_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
pent
e
r
sval: ex
t
ra: upda
t
e match_
a
ssign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
s
val: extra: up
d
ate canonic
a
l loop code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpenter
sval: ch
a
nge
t
he
output back to the or
i
ginal
for now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpenter
sval: ex
t
ra: upd
a
te merge_
f
unc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpen
t
er
s
v
al: update filter_
r
an
g
e_
l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sva
l
: update add_
f
ilte
r
()
t
o t
a
ke svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpenter
sva
l
:
update fil
t
e
r_r
a
n
ge() to ta
k
e sv
a
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
range
s
: remove unused rl_contiguous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
s
v
al: m
a
ke sval versions of smatch_estate
.
c funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
e
nter
s
v
al:
fix s
v
al_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval:
make r
l
_min/max_sval()
t
a
k
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 Carpenter
s
v
al: updat
e
s
m
a
t
ch_parse_cal
l
_mat
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpe
n
ter
s
val:
update s
m
atch_parse_call_m
a
th
.
c to use range_li
s
t_s
v
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Ca
r
penter
sval: update smat
c
h_state
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpe
n
t
er
sval:
f
ix s
o
m
e bu
g
s in add_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
an Carpenter
s
v
al: update smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
Carpenter
sval: update sma
t
ch_math
.
c to use
range_list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
v
al: upd
a
te sma
t
c
h
_project
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
penter
sval
:
upda
t
e validat
i
on/ to match
new output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sva
l
:
u
p
da
t
e check_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Ca
r
p
e
nt
e
r
sval: u
p
date check_param_rang
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sva
l
: upd
a
te ch
e
ck_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
C
a
rpenter
sva
l
:
u
pdate chec
k
_
db_info
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n
Carpent
e
r
sva
l
: star
t
change ran
g
e_lists to
u
s
e
data_r
a
nge_
s
val
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Car
p
enter
range
s
: functi
o
n_h
o
oks: move
in_list_exact(
)
t
o
fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpent
e
r
sval: update
smatch_math
.
c to use t
h
e
n
ew sv
a
l range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: create true
/
false_comparison_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carp
e
nter
sval: cut-and-paste bug
:
using min instead of
m
ax
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpente
r
sval: crea
t
e temporary drange_sva
l
_
t
o_drange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpe
n
ter
sval: r
a
nges:
i
ntroduce
ranges_equiv_s
v
al(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpenter
sval: cr
e
ate alloc_range_perm_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
val:
add interim helpers ll_to
_
sv
a
l
() and drange_to
_
drange_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval:
fix absolute --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
sval
:
introduce e
s
t
a
te_m
i
n/max_sval() and es
t
ate_get_singl
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n
Carpenter
sval: update smatch_abso
l
ute
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpenter
s
val
:
ran
g
es: introduce struct dat
a
_range_sval as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
C
arpen
t
e
r
s
v
al: in
t
roduce sval_is_min/max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
C
arpenter
sval: upda
t
e a few get_value() to get_value_
s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
e
n
ter
sval: update
smatch_capped
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carpenter
sval: update smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
s
val: update smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sva
l
:
remove type_min/max()
which
a
re n
o
t used any
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpe
n
ter
sva
l
: change type_min/max() => sval_
t
ype_
m
in/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: de
b
ug
:
fix reversed if condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sval: update check_sig
n
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: add
s
val_type_mi
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpente
r
sval: fix s
v
al_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sv
a
l: update
che
c
k_
s
n
p
rin
t
f
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next