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: math: putting bogus type information on failure
2012-11-08
Dan Carpenter
sval: math: putting b
o
g
us type information on failure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
ter
sval: fix cast
_
rl() some
m
ore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
Carpenter
sval: fix a signe
d
ness bug in check_signed
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpent
e
r
s
val:
c
as
t
UNOPS to the right type in smatc
h
_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Ca
r
pen
t
er
sval: int
r
oduce sval
_
to_num
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an
C
arp
e
nter
sval:
g
e
t rid of struct data_ran
g
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an
Carpenter
sv
a
l: free the sval data range
s
in f
r
ee_data_inf
o
_a
l
lo
c
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: handle assi
g
n
m
ents in
smat
c
h extra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: fix ca
s
t_r
l
(
)
for handlin
g
single
v
alues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpenter
sv
a
l
:
add __smatch_sval_info() to check_d
e
bug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpen
t
er
s
v
al: update match_compari
s
on() and friends in
sma
t
ch
_
e
xtra
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpent
e
r
sval: temporar
i
ly hack
wh
a
t sva
l
_to_str()
prints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
s
v
al:
improve cast_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
C
a
r
penter
sval: introdu
c
e
sval_cmp_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
ty
p
e: fix a validation te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an
C
arpenter
type: make get_type() handle EXPR_P
O
ST
O
P and EXPR_
C
OM
P
ARE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpen
t
er
ty
p
e: introdu
c
e
t
ype_signed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
typ
e
: use type_po
s
itive_bits(
)
in get_
b
i
nop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval: fix sval
_
cm
p
() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
an
C
a
rpent
e
r
s
v
al: introduce sval_positive_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan C
a
rpent
e
r
sv
a
l: fix a bug
in handling for
loops that
c
ount
d
o
wnwards
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
sval
:
remove a whole_range reference in smatch_
i
mplied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
s
v
al: remove some ref
e
rences to whole_range in check_kernel
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arp
e
n
t
er
s
v
a
l
: remove a
whole
_
ran
g
e re
f
erence i
n
c
heck_locking
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval:
delete
unused sval_to_ll() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpent
e
r
sval:
m
ake whole_rang
e
_
list_sval() take a type par
a
me
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpenter
type: introduce c
u
r_func_
r
etur
n
_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
a
rpenter
sval: start ge
t
ting rid
of extra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Carpen
t
er
sval
:
rena
m
e absolute_id and m
a
ke it stati
c
now it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpe
n
ter
sval: fix a
bug in
smatch
_
abs
o
lute
.
c
a
nd cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
sv
a
l: delete
s
o
me unused dat
a
_
r
a
nge code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: upda
t
e s
m
atch_function_h
o
oks
.
c t
o
use data_range_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpente
r
s
v
a
l:
d
elete remaining struc
t
range_list
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carp
e
nter
s
v
al: create cast_r
l
() which
c
asts
a
r
a
nge list to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpent
e
r
sval:
make sval_cast() t
a
ke a t
y
pe
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delet
e
a bunch of "l
o
ng
long" functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
penter
sval: del
e
te add_rang
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Ca
r
pent
e
r
sval: change
get_value
_
ranges
(
)
t
o
g
e
t_value
_
range
s
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpente
r
s
v
al
:
delete a
b
unch of
unused stu
f
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carp
e
nter
s
val: delete
clone_p
e
rmanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: convert esta
t
es to
u
s
e
range_list_sval
int
e
r
nally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
s
val: cre
a
te clone_perman
e
nt
_
sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: make an sval ver
s
i
o
n of whole_ran
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
ente
r
s
v
a
l: remove possibly_true_ran
g
e_
l
ist() a
n
d related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
ent
e
r
sva
l
: delete unused invert_ra
n
g
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
s
v
al: delete unused rl_min/m
a
x(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval
:
delete unuse
d
i
s
_who
l
e
_ra
n
ge_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval:
remove unus
e
d estate_get_single_v
a
lue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sval: cleanup estate_get_s
i
ngle_v
a
lue_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sval: upda
t
e alloc_dinfo_rang
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete alloc
_
estate_no_
n
ame()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sval: u
p
date r
e
maining c
a
lls
to allo
c
_
estate_
r
ange_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an C
a
rpente
r
sva
l
: update remaining allo
c
_esta
t
e_ran
g
e(
)
c
all and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval
:
fix bug in h
a
n
d
le_ampersand()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpen
t
er
sval: introduce valid_ptr_mi
n
/
ma
x
_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Car
p
e
n
ter
sval: update calls t
o
alloc_es
t
ate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
s
v
al: delet
e
unu
s
ed estate_
r
anges() and estate_min
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sval: u
p
date call to estate_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sval:
u
p
dat
e
ch
e
c
k
_err_pt
r
_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: update is_who
l
e_range
(
)
to use svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval: dele
t
e unus
e
d
rang
e
_lis
t
s
_
eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: dele
t
e unused
g
et_implied_ra
n
ge_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
: update
calls to get_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval: cr
e
ate an sv
a
l
version of
ra
n
ge_list
s
_eq
u
iv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval
:
e
xtra:
c
onvert
match_comparis
o
n
() to
s
val
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: f
i
x a bug in re
m
o
v
e_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
sval: ex
t
ra: ch
a
nge some
range
_
l
i
st struc
t
s to range_
l
ist_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpenter
sva
l
:
u
p
d
at
e
fun
c
t
ion_compariso
n
() to
t
ake an sva
l
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Ca
r
p
e
nt
e
r
sval:
e
xtra: upda
t
e increment/dec
r
ement_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
a
rpenter
sval:
e
x
tr
a
: up
d
a
t
e match_assign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpen
t
er
sval: extra:
update canonical loop
c
ode
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
t
er
sval: change the ou
t
p
ut ba
c
k to the original for now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
sval: ex
t
ra: update mer
g
e_fu
n
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
enter
sval: updat
e
filte
r
_r
a
nge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
sv
a
l: up
d
ate
add_filte
r
(
)
to
t
a
k
e sva
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: update fi
l
ter_range() to ta
k
e sval
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
ranges: r
e
m
o
ve u
n
used r
l
_conti
g
uous
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: make sval
vers
i
o
ns
of smatch_estate
.
c funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
sv
a
l
:
f
ix sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval
:
make rl_min
/
max_sval() take a range_list_sval
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpe
n
ter
sval: u
p
da
t
e 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
sm
a
t
ch_pars
e
_
call_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval:
u
pdate
smatc
h
_
parse_call_m
a
th
.
c to use rang
e
_lis
t
_s
v
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
e
r
s
val: update smatch_state
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
er
s
va
l
: fix so
m
e bugs i
n
add_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Car
p
enter
sval: update smatch_i
m
plied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
pen
t
er
sval: update sm
a
tch_ma
t
h
.
c to use range_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sva
l
: update smatch
_
proje
c
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
pent
e
r
s
val: updat
e
validation/ t
o
mat
c
h new outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
enter
sval: update check
_
us
e
r_da
t
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan C
a
rpenter
sval: update check_param_
r
ang
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n Carpenter
sv
a
l: update check_debu
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
enter
sv
a
l:
u
pdate
c
heck_
d
b
_
info
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan C
a
r
p
e
n
ter
s
v
al: start change range_lists to use data_
r
a
n
ge_
s
val
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpente
r
rang
e
s: function_hooks: mov
e
in_list_exact() to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sva
l
: update sma
t
ch_math
.
c to use
the new sval
r
ange
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
val
:
c
reate
true/false
_
comparison_range_s
v
al
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
sval: cu
t
-and-paste
b
ug: usin
g
min instead of
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
v
a
l
: c
r
eate tempor
a
ry drange_sval_to
_
d
r
a
nge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
pe
n
ter
sval: ranges: i
n
t
r
o
d
uce r
a
ng
e
s_
e
quiv
_
sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next