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: remove possibly_true_range_list() and related
2012-11-05
Dan Carpente
r
sval: remove
possibly_tr
u
e
_range_li
s
t() and
relate
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
s
v
al: d
e
l
ete unused i
n
v
er
t
_
range_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: delete unused
r
l_min/max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
va
l
: delete
u
nused is_whol
e
_
r
ange_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpe
n
te
r
sval:
r
emove unuse
d
estate_get_single_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval
:
cleanup estate_get_single_value_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
: upd
a
te all
o
c_d
i
n
f
o_ran
g
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval: d
e
lete
alloc_estate_no_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
u
pdate r
e
maining
c
a
l
ls t
o
allo
c
_estate_r
a
n
ge_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
:
update remaining alloc_estate_range
(
) call and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: fix bug in ha
n
dle_ampe
r
sand(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: introduce valid_ptr_
m
in/max_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l:
u
pdate
c
alls to all
o
c_e
s
tat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arp
e
nter
sval: delete unu
s
ed
e
state_r
a
nges() a
n
d estate_
m
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sva
l
:
update call to estate_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
:
upda
t
e check_err_ptr_dere
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: update is
_
whole_range
(
) to use s
v
a
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sval:
delete
unused range_list
s
_
equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
penter
sval: d
e
lete unused get_im
p
lied_rang
e
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpente
r
sva
l
:
update calls to get_i
m
p
l
i
ed_range
_
lis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
enter
sval: create an s
v
al version of range_lists_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
s
val:
e
xtra: convert ma
t
ch_compa
r
ison() to sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval:
fix a bug
in r
e
move
_
range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
C
a
r
pent
e
r
sva
l
: extra: change some ran
g
e_list structs to range_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: update functi
o
n_comparison() to take an sval
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpen
t
e
r
sval: ex
t
ra: update
i
ncremen
t
/decrement
_
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extr
a
:
update
m
atch_assign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
s
val: extra: update canonica
l
loop c
o
de
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n
C
arpenter
s
v
al: change the output ba
c
k to th
e
original f
o
r now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
p
enter
sval: e
x
tra:
u
p
d
ate merge_func()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpente
r
sv
a
l
: updat
e
filter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carp
e
nter
sval: update add_fi
l
t
e
r
(
) to
take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpen
t
er
s
v
al: update
f
ilter_r
a
nge()
t
o take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
a
r
pente
r
ra
n
g
es: remo
v
e unused
r
l
_
contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: make
s
val versions
o
f
s
match_e
s
tate
.
c
fun
c
ti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
ter
sval: fix
s
val_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
D
an Carpenter
sval: make rl_min
/
m
ax
_
s
v
al
(
) take
a
r
a
n
g
e
_lis
t
_
s
val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
D
a
n C
a
rp
e
nter
sval: upd
a
te
s
match_db
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
arpe
n
t
e
r
sval: update sma
t
ch_p
a
rse_cal
l
_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
arpente
r
sval
:
upd
a
t
e
smatch_parse_call_math
.
c to use range_list_svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Car
p
enter
sva
l
: update smatch_st
a
tes
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
s
va
l
: fix
some bugs in
add_
r
ange_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
a
rpenter
sval: upda
t
e smatch_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
p
e
nter
sv
a
l: upd
a
te smatc
h
_math
.
c to u
s
e ran
g
e_list
_
sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
v
al: update s
m
atch_project
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
Carpente
r
sval: update validation/ to match
n
e
w
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan C
a
rpenter
sval: update ch
e
ck_
u
ser_d
a
ta
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
enter
sval:
u
pdat
e
c
h
eck_param_range
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
val: upd
a
te che
c
k_d
e
bug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan C
a
rpe
n
t
er
sval: update che
c
k_
d
b
_
i
n
fo
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval:
s
t
a
rt chang
e
range_
l
i
sts to use dat
a
_
range_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carp
e
nter
ranges: fu
n
ctio
n
_hooks: move in_list_exact()
t
o function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpent
e
r
sval: update sm
a
tch_math
.
c to
u
s
e the new sval ra
n
ge
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpen
t
er
sval:
c
r
eate true/false_compari
s
on_rang
e
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n
C
a
rp
e
nter
sv
a
l: cut-and-p
a
st
e
bug: using min instead
of max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
p
ent
e
r
sv
a
l:
cre
a
te te
m
po
r
ary
d
range_sval_to
_
dr
a
nge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
val: r
a
nges: introduce ranges_e
q
uiv_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
arpent
e
r
s
v
a
l: create allo
c
_range_perm_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpente
r
sva
l
:
a
dd
interim
h
elper
s
ll_to
_
sval()
and
dran
g
e_to_dra
n
ge
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
penter
s
v
al: fi
x
absolu
t
e --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpente
r
s
val: introduce estate_min/max_sval(
)
and
estate_get_
s
ingle_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpente
r
sv
a
l
: upd
a
te smatch_absolu
t
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
ter
sval: ranges: i
n
trodu
c
e struct data_range_sval
as a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: int
r
oduce sva
l
_is_min/m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n C
a
rpente
r
sv
a
l: update a few get_
v
alue(
)
to get_valu
e
_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sval: up
d
a
te sma
t
c
h
_capped
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpe
n
ter
sval: update smat
c
h_f
l
o
w
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an
C
arpen
t
er
sval: upd
a
te smatch
_
helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpenter
sval: re
m
o
ve
ty
p
e_
m
in/max() whic
h
ar
e
not used an
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
r
p
en
t
er
sval:
c
hange
type_min/max()
=
> sval_type_m
i
n/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpe
n
ter
s
v
a
l: debug: fix reversed if condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_
s
igned
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: add sva
l
_type_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
C
arpent
e
r
sval: fix sval_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an Car
p
en
t
er
sv
a
l: update check_snprintf
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpenter
sval: update
check_o
v
erflo
w
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
er
sval: update s
m
atch_buf_si
z
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: im
p
lement parse_call_mat
h
_
sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
C
ar
p
enter
sval: create a couple sval al
l
ocator
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpen
t
er
s
val: u
p
d
a
t
e
c
h
e
ck_u
n
wind
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpenter
sv
a
l
:
update
check_template
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
e
r
s
val: update check_s
i
zeof_pointer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Ca
r
pente
r
sval: update validation/s
m
_prop
a
gate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an
Carpenter
sval: u
p
d
a
te
check_ret
u
rn
_
enomem
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
pen
t
er
s
va
l
: update che
c
k_
r
etur
n
_e
f
ault
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_
p
ro
p
agate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Car
p
enter
sval:
u
pdate
check_proc_creat
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n
Carpe
n
ter
sv
a
l:
u
p
date
c
h
e
c
k_
p
recedence
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
sval: update ch
e
ck_param_
r
ange
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sva
l
: update chec
k
_or_vs
_
and
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
p
e
n
t
er
sva
l
: update check_mod_tim
e
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sv
a
l: update chec
k
_mem
s
et
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sval
:
update
c
heck_l
o
gical_in
s
tead_of_bitwise
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval
:
updat
e
c
heck_k
m
all
o
c
_
wrong_size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carp
e
nter
s
v
a
l
: update check_gfp_dma
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval: update check_ge
t
_user_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
rpen
t
er
sva
l
: update check_fr
e
eing_null
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
r
pen
t
er
sval: u
p
date check_err_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sval: upda
t
e
check_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
enter
sval: update chec
k
_
d
ebug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next