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: introduce sval_bits_used()
2012-11-08
D
an Carpe
n
ter
sval: ad
d
__sma
t
ch_s
v
al_info
(
) to check_
d
ebug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpen
t
er
sval: upd
a
te match_compari
s
o
n() and friends in
s
match_extra
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpenter
sval
:
t
emporarily
hac
k
what sval_
t
o_str
(
)
prin
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Car
p
e
nter
sva
l
: improve
cast_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nt
e
r
sval: introduce s
v
al_cmp_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpe
n
t
e
r
type: fix a validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
type: make get_type() handle E
X
P
R_POSTOP and EXPR_C
O
MPARE
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
Carpenter
type: us
e
t
y
pe
_
positive_bits()
i
n
get_bino
p
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
s
v
al: fi
x
sval_c
m
p() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpente
r
sval: i
n
troduce
sv
a
l_p
o
si
t
ive
_
b
its()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Car
p
ent
e
r
sval
:
fix a bug
in handl
i
ng for loops th
a
t co
u
nt downwards
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n Carpenter
sval: remove a whole_range r
e
f
e
r
e
nce in
s
match_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Ca
r
pent
e
r
sval: re
m
ove some
refer
e
n
c
es to
whole_range i
n
check_
k
er
n
el
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rpenter
sva
l
: remove a whole_range refer
e
n
c
e
i
n check_locking
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Car
p
e
nter
sval: delete u
n
use
d
s
v
a
l
_to_ll() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rp
e
nt
e
r
sval: make whole_range_list_sval()
t
a
k
e a type p
a
rameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpenter
type: i
n
trodu
c
e cur_fun
c
_re
t
urn_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
s
val: st
a
rt gett
i
ng
rid o
f
extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carp
e
nter
sval: rename
absol
u
te_id an
d
make it static now it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpente
r
sval: fix a bug in sm
a
tch_absolute
.
c and cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Car
p
enter
sval: delet
e
some unused
da
t
a_range code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sv
a
l:
update smatch
_
fu
n
c
tion_hoo
k
s
.
c to use data_range
_
sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sva
l
:
d
e
lete remai
n
ing s
t
r
uct range_list
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rpenter
sval:
create c
a
st_rl() which casts a range
list
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
s
val: make sval_ca
s
t() take a type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carp
e
nter
sval:
de
l
e
te a bunch
o
f "long long" fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpent
e
r
sval: delete
add_
r
ange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Ca
r
penter
sval: chan
g
e
g
e
t_value_ranges() to g
e
t_value_ran
g
e
s
_
sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete a bunch of unused stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sval: delete clone_permanen
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
C
arpenter
sval: convert estate
s
to use range_list_sval in
t
ernally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Car
p
ente
r
sval: create clone_permanent_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
penter
sval: ma
k
e
an
s
val version of
whole_ra
n
ge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
ar
p
e
n
ter
sval: remove possibly_true_r
a
nge
_
list() and related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carp
e
nter
sval:
d
elete unused invert_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
ente
r
sval: delet
e
unused rl_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sv
a
l:
d
elete unused
i
s_whole
_
range_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carp
e
nter
sval
:
remove unused esta
t
e_g
e
t_
s
i
ngle_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
enter
sval: cleanu
p
estate_get_single_val
u
e_sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sva
l
: update a
l
loc_dinfo_rang
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
enter
sval
:
delete alloc_estate_no_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: up
d
ate remaining call
s
to alloc_estate_range_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update remai
n
ing al
l
oc_e
s
tate_r
a
nge() call
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpe
n
ter
s
v
al: fi
x
b
ug in ha
n
dl
e
_ampersand()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval:
in
t
roduce
v
a
l
id_ptr_min/max_
s
v
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
n
t
er
sval:
update ca
l
l
s
to
a
ll
o
c_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: delete unused estate_ran
g
es
(
)
and e
s
tate_m
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval
:
upd
a
te
c
all to estat
e
_min()
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval: upd
a
te check_err_ptr
_
deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
s
val
:
update is_whole_range() to use
sva
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
rpe
n
ter
sval: d
e
lete u
n
used range_lists_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sva
l
:
d
e
lete unused get_im
p
lied_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpen
t
er
sv
a
l
:
update calls t
o
get_implie
d
_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
er
sv
a
l: create
an sval version of range_lists_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: extra: con
v
ert
m
atch_comparison() 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 rem
o
ve_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
an Carpen
t
er
sval: extra: change some
r
ange_li
s
t s
t
ructs to range_list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpen
t
er
sval: upd
a
te functio
n
_
c
ompariso
n
() to take an sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
sval: extra: update in
c
rement
/
decrement_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
e
n
t
e
r
sval: extr
a
: update match_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpenter
sval: ext
r
a: upd
a
te canonical loop code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpe
n
ter
sval: change the outp
u
t back to the or
i
gi
n
al
f
or now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n
C
arpen
t
e
r
sval
:
extra
:
upda
t
e mer
g
e
_
f
u
nc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval:
u
p
date fil
t
er_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
pe
n
ter
sva
l
:
u
pdate a
d
d_
f
i
l
ter()
to
take svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
te
r
s
v
al: up
d
ate filter_r
a
nge() to take svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Ca
r
pen
t
er
ranges: remove unused
r
l_co
n
tiguous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
v
al: make sval
vers
i
o
n
s
o
f s
m
atch_estate
.
c functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rp
e
nte
r
sval: fix
s
val_cm
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
a
n Ca
r
penter
sval: make rl_min/max_sval() take a
rang
e
_list_sval
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpent
e
r
sval: update s
m
atch_d
b
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpente
r
s
val: update smatch_p
a
rse
_
call_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
arpe
n
ter
sval: update smatch_pa
r
s
e
_call_m
a
th
.
c to use ran
g
e_li
s
t_svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Ca
r
penter
sval: update smatch_
s
ta
t
es
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: f
i
x some
bugs
in add_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Ca
r
penter
s
val: update
s
ma
t
ch_
i
mplied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
a
rpenter
chec
k
_preceden
c
e: fix
a
s
e
gfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
a
r
p
e
nte
r
sval: update s
m
atch_math
.
c to
use ran
g
e_list_
s
va
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan C
a
rpent
e
r
sval: update sm
a
tch_project
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
val:
upda
t
e va
l
i
d
ation/ to m
a
tch new output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n
Carpenter
s
val
:
update ch
e
ck_user_dat
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
arpente
r
sval: u
p
date che
c
k
_
p
a
r
am_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
ar
p
ent
e
r
sval: update check_de
b
ug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval: u
p
d
ate ch
e
ck_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
: start c
h
ange range_lists t
o
use data_r
a
nge_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpe
n
t
e
r
ran
g
es: funct
i
on_hooks: move
i
n_lis
t
_exac
t
(
) t
o
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: update sm
a
t
c
h
_
math
.
c t
o
use the n
e
w 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_compari
s
on_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
v
al: cu
t
-and-paste
b
ug
:
using min in
s
te
a
d of m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpente
r
s
val: create
tempora
r
y
dra
n
g
e_sval_to_drange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpente
r
sva
l
:
r
anges: in
t
roduce range
s
_equiv_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sv
a
l: create alloc_range_perm_
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carp
e
nter
sv
a
l
:
add interim he
l
per
s
ll_to_sval() and d
r
ange_to_drange_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n
Carpenter
sval: fix absolute --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
v
al: intr
o
du
c
e estate_min/max_sval() a
n
d estate_get_single_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n C
a
rpe
n
ter
sval:
u
pda
t
e smatch_absolute
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan C
a
rpenter
sval: ranges:
i
ntroduce struct data_ran
g
e_sval as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
C
arpenter
sval: introduce s
v
a
l
_is_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nt
e
r
sv
a
l: update a few get
_
v
a
l
u
e
(
)
to
g
et_value_s
v
al
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next