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: type: hack select types
2012-11-08
Dan Car
p
enter
sva
l
: math: putti
n
g bogus
t
yp
e
i
n
form
a
t
i
on on
failure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
val:
f
ix
c
a
s
t
_rl()
some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpent
e
r
s
val:
f
ix a
s
ignedn
e
s
s
bug in check_
s
ign
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: cast
UNO
P
S to
t
he right type i
n
sm
a
t
c
h_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Ca
r
penter
sval: introduce sval_to_numstr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
ter
sval: get rid of struct
data_range
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
pen
t
er
sval:
f
ree the sval data ranges in fre
e
_da
t
a_info_allocs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpe
n
ter
s
v
a
l:
h
a
ndle assignments in smat
c
h extra
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: fix
cast_rl() for
h
a
n
dli
n
g si
n
gle values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
en
t
er
sval
:
add
_
_smat
c
h_s
v
al_in
f
o() to check_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sval: update
match_
c
o
m
p
arison(
)
and friends in sma
t
ch_extra
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carp
e
n
t
er
s
v
al: t
e
mpo
r
arily hack what sval_to_str
(
) prints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sval: improve c
a
st_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Ca
r
pent
e
r
sva
l
: intr
o
duce sval_cmp_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Ca
r
penter
type: fix
a validat
i
o
n tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type: mak
e
get_ty
p
e() handl
e
EXP
R
_POSTOP and EXPR_C
O
M
PARE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
t
y
pe: in
t
roduce t
y
pe_sig
n
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
type:
u
s
e type_positi
v
e_bit
s
(
)
in get_bin
o
p_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
s
v
al
:
fi
x
sval_cmp() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
s
val: introdu
c
e sval_positive_b
i
ts()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
s
val:
fix a
b
ug in h
a
ndling fo
r
l
o
ops that count downwards
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpente
r
sval: remo
v
e a w
h
ole_range reference in smatch_impli
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval: remove some references to whole_range i
n
check_kernel
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpenter
sval: remov
e
a
w
h
o
le_rang
e
reference i
n
check_locking
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: delete
unuse
d
sval
_
to_ll(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
t
er
sval: make whole_range_list_sval()
ta
k
e a type parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
t
ype: intro
d
uce cur_func_return_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpen
t
er
sv
a
l: st
a
rt getting
r
id of extra_
u
ndefi
n
ed
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpenter
sval:
rename ab
s
olute_
i
d an
d
make it static now i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpent
e
r
sval: fix a bug
in
s
match_absolut
e
.
c and cl
e
anu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
t
e
r
sval: delete
s
om
e
unus
e
d data_range code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
s
v
al: update sm
a
t
ch_funct
i
on_hooks
.
c to u
s
e data_range_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: delete remainin
g
st
r
uct range_list code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
sval: create cast_rl() which
casts a r
a
n
g
e list to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carp
e
nter
sva
l
:
m
ake sval
_
c
ast() take a t
y
pe
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: de
l
et
e
a
bunch of "long long
"
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an
C
arpe
n
t
er
sval: delete add_range
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: cha
n
ge get_val
u
e
_
rang
e
s() to get_value
_
ra
n
ges_
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: dele
t
e
a
b
u
nch of
un
u
sed
st
u
ff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sval: delete cl
o
ne_permane
n
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carp
e
nte
r
sval: convert estates to use
r
ange_list_s
v
a
l
internall
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
ente
r
sv
a
l: c
r
e
a
te
clone_permanent_
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval:
m
a
k
e an sval ve
r
si
o
n of whole_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpente
r
sval: remove
possibly_true_r
a
nge
_
lis
t
() and
re
l
ated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
rpe
n
ter
sva
l
: de
l
e
te
u
nus
e
d
invert_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
delete unu
s
ed rl_min/m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval
:
delete unused is_whole_range_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval:
r
emo
v
e unused e
s
t
a
te_get_single_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l: cleanup estate_get_single_value_sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval
:
upda
t
e
a
lloc_dinfo_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l: delete alloc_estate
_
no
_
name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pen
t
er
sval
:
u
pdate re
m
aining calls to alloc_esta
t
e_range_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
s
v
al: update rema
i
ning a
l
loc_e
s
tate_range() call a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carp
e
nter
sva
l
: fix b
u
g in handle_am
p
ersand
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
r
p
e
n
ter
s
v
a
l: introduce
vali
d
_ptr_min/max_sva
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: u
p
date c
a
lls to alloc_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an
C
arpen
t
e
r
sv
a
l: delete u
n
used estate_r
a
nges() an
d
esta
t
e
_min
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an C
a
rpe
n
ter
sval: update call to esta
t
e_min()
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
er
sval:
u
p
date check
_
err_ptr_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: u
p
date is_
w
hole_range
(
) to use sv
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sv
a
l: dele
t
e unuse
d
range_l
i
sts
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
e
nter
sval: delete unused get_impli
e
d_
r
ange_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: update
c
alls to get
_
implied
_
ran
g
e_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
r
p
ente
r
s
v
al: create
a
n
sval vers
i
o
n
of range_lists_
e
qu
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sval: extr
a
: conve
r
t
m
atch_compari
s
on
(
) to sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Car
p
en
t
e
r
sval: fix
a
bug in remove_
r
an
g
e_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpenter
sval: extra: c
h
ang
e
some range_list struc
t
s to
range_
l
i
s
t_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpenter
s
v
al: u
p
date fun
c
tion_com
p
arison(
)
to take an sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpenter
s
val: ex
t
ra: update
i
n
crement/decrement_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
penter
sva
l
: ext
r
a:
u
pdate match_ass
i
gn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
r
penter
sval
:
extra:
u
pdate canonic
a
l loop code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: change the output back
t
o t
h
e orig
i
na
l
for now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpe
n
ter
sval: extra: up
d
ate merge_
f
u
n
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
p
e
nter
sval: u
p
d
a
te filter_range_li
s
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: update add_filter
(
) to
t
ake svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpenter
sval: update filter_ran
g
e(
)
to tak
e
s
vals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpenter
ranges: remove unus
e
d
rl
_
contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
ter
s
v
al: make
s
val ve
r
s
i
o
n
s of smatch_es
t
ate
.
c fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
C
arpenter
s
val: f
i
x
sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Car
p
enter
s
val: make rl_min/max_sval
(
)
t
ake a range_list_sval
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
s
v
a
l
:
update smatch_db
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval
:
update smatch_parse_call_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: update smatch_parse_call_math
.
c
to us
e
range_list_s
v
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
s
v
al: update smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan C
a
rpen
t
er
sval
:
fix some bugs in
a
dd
_
range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Ca
r
pent
e
r
sval: update smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Car
p
ent
e
r
c
heck_prec
e
d
e
nce:
fix
a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n Carpenter
sval: update
s
mat
c
h_ma
t
h
.
c to us
e
range_list_s
v
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
arp
e
nter
s
v
a
l
:
u
p
d
a
t
e sm
a
t
c
h
_pr
o
ject
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carp
e
n
ter
sval: update validat
i
on/ t
o
match
n
ew
o
u
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
ente
r
sval:
up
d
ate
c
h
eck_user_da
t
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval:
update
check_pa
r
am_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
Carpenter
sval
:
u
pdate che
c
k_de
b
ug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpent
e
r
sv
a
l: update che
c
k_db_in
f
o
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Carpen
t
er
sva
l
: s
t
art change range_
l
ists to use
data_range
_
sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpenter
range
s
: function_hooks: move
i
n_list_exact() to fu
n
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sv
a
l: update sm
a
tch_m
a
th
.
c to
u
se
t
h
e new sva
l
r
ange
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n
Car
p
enter
sval: create
true
/
false_comp
a
rison_range_sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an
Car
p
enter
sval: cut-and-paste bug: using min instead of max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: create
t
emporary dra
n
ge
_
sval_to_drange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next