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: extra: db: do cast the parameter values after all
2012-11-12
Dan Ca
r
penter
s
va
l
:
e
xtra: db: do cast the par
a
meter value
s
after all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n Carpen
t
er
debug: add __smatch_f
u
zzy_ma
x
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpente
r
sv
a
l: don't overflow in incr
e
ment/decremen
t
_state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpe
n
ter
sva
l
: make
a
typed version of get
_
v
alue
_
ranges_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan C
a
rpenter
dma
_
o
n
_st
a
ck:
i
mp
r
o
ve printed
messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Ca
r
pent
e
r
sval: introduce "ha
r
d max"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n Carpenter
absolute: use th
e
implied
max before the
ty
p
e max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpen
t
er
s
v
al: i
n
troduce sval_type_v
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpent
e
r
s
val: debug: fix rever
s
ed c
o
n
d
ition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-10
Dan Carpen
t
er
s
v
al
:
dele
t
e old unused estate_undefi
n
ed
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-10
Dan Ca
r
pe
n
ter
es
t
ate: move estate_
g
e
t
_sin
g
l
e
_v
a
lue_s
v
al() to smat
c
h
_e
s
tate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpente
r
sval:
t
y
p
e: search hard
e
r
from stru
c
t member typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carp
e
n
ter
sval: hack
i
s so get_
a
bs
o
l
u
te_min/ma
x
_sval() never
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: ma
t
h: don't cal
l
s
v
al_binop
(
) with bogus data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpen
t
er
extra
:
c
leanup set_related()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: type: rem
o
v
e
d
e
bug output in get_sel
e
ct_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carp
e
nter
sval: h
a
ndle type promotion
i
n
sva
l
_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
D
an C
a
rp
e
n
t
er
sval:
extr
a
:
c
ount pointer type
s
a
s equ
i
valent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpenter
sval: signed: fix
a
type promotion bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
e
n
ter
sva
l
: extra:
fall back to
ll
o
ng_ct
y
pe if we don't kno
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpente
r
sval: type: declare type
_
positive_bits()
i
n
the
s
ma
t
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Car
p
enter
sva
l
: typ
e
:
f
ix get_t
y
p
e
()
fo
r
select statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
enter
sval: extra
:
c
ast the parameter informa
t
ion to
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: fu
z
zy_max: fix it
t
o
w
ork with svals
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rpenter
sval:
type: get_type() sh
o
uld handle
e
x
p
ression sta
t
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval:
extra: more fixes
to mat
c
h
compariso
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Ca
r
penter
sval: math: don'
t
e
v
e
n
bother
trying to
divide
by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arp
e
nter
sval: handle comp
a
risons
against zero
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
sval: pass
type information to
extra_un
d
efined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
al:
introduce estate_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
sval: delete unused filter
_
ran
g
e_list() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n C
a
rpenter
sval: valida
t
ion: absolute
:
ad
d
a cou
p
l
e
new thi
n
g
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
t
er
sval:
e
xtra:
a
bsolute:
c
ha
n
g
e how assignments are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sva
l
: math:
p
utting b
o
g
us type information on
f
ailure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sva
l
: fix c
a
st_rl() some mor
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: fi
x
a signedn
e
ss bug in check_signed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval:
c
ast UNOPS to the ri
g
ht type in smatch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpenter
s
v
al: introduce s
v
a
l_to_nu
m
str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: ge
t
r
i
d of
struct
dat
a
_rang
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: fre
e
the sva
l
d
ata ranges in fre
e
_data_inf
o
_allocs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an
Ca
r
p
enter
sval: handle ass
i
g
nments in smatch ex
t
ra
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
sval: fix
c
as
t
_
r
l
() for handling single
v
a
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: ad
d
_
_sm
a
tch_sval
_
info() to c
h
eck_d
e
bug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
sval: update match
_
comparison() and fri
e
nds in smatch_ex
t
ra
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
al: temporaril
y
hac
k
wha
t
sval_to_str()
p
rints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sv
a
l: improv
e
cast_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpe
n
ter
sval:
introduce
sval_
c
mp
_
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpent
e
r
t
y
pe: fix a v
a
lid
a
t
i
on tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpenter
type: make get_ty
p
e
() handle EXPR_P
O
STOP an
d
EXPR_COMPARE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
type:
i
ntroduce type_signed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Ca
r
pen
t
er
type: use type_p
o
sitiv
e
_bits() in get_bi
n
op_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpen
t
er
sval:
fi
x
sval_cmp() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Carpenter
sval:
introdu
c
e s
v
al_posi
t
ive_bits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval: fi
x
a bug in handlin
g
for l
o
ops th
a
t cou
n
t
d
ownwa
r
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n C
a
r
p
ent
e
r
sv
a
l
:
re
m
o
ve a
w
hole_range reference in smatch_imp
l
ied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
s
val: remove s
o
me references t
o
whole_
r
a
n
ge in check_kernel
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: remove a whole_ra
n
ge re
f
e
rence
i
n
check_locking
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arp
e
nter
sval: delete u
n
used sval_to_ll(
)
f
u
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: m
a
ke whole_ra
n
ge_list_sval() take a typ
e
p
a
rameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
type: introduce cur_func_
r
eturn_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Ca
r
pent
e
r
sv
a
l: start g
e
ttin
g
r
id of extra
_
undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sv
a
l: r
e
name abs
o
lute_id and make it stati
c
now
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
ter
sval: fix
a
b
ug in smatch_absolute
.
c and cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: de
l
ete some unus
e
d data_range code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpenter
sval: upd
a
te sm
a
t
c
h_funct
i
on_hooks
.
c to us
e
data_range_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rpenter
s
val: delete remainin
g
s
truct ra
n
ge_list code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpenter
sval: cre
a
te cast
_
rl()
whi
c
h casts a range l
i
s
t
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Car
p
enter
sval: ma
k
e s
v
al_cast() take a type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: de
l
ete
a
b
u
n
c
h of "long
long" function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sv
a
l: delete add_ran
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: change
ge
t
_value_ranges() to
get_
v
alue_ra
n
ges_sva
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Car
p
e
n
ter
sv
a
l
:
delete a
bunch of
u
nused s
t
u
ff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
C
a
rpent
e
r
sva
l
: delete clone_perm
a
ne
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al
:
convert estates to use range_l
i
s
t
_sval internally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Carpenter
sval
:
c
r
eat
e
clone_
p
ermanent_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval:
m
ak
e
a
n sval versio
n
o
f w
h
ole
_
range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
remove possib
l
y_true_range_lis
t
()
a
n
d related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpente
r
s
v
a
l: delete
unused i
n
vert_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Ca
r
penter
s
val:
d
elete
unused rl_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
s
v
al: delete unuse
d
is_wh
o
le_r
a
nge_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: rem
o
ve unused est
a
te_ge
t
_single_value(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: clean
u
p
estate_get_single_value_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n C
a
rp
e
n
t
er
s
v
a
l
: up
d
ate all
o
c
_
d
info_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete alloc_estate_no_nam
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
s
v
a
l: updat
e
remaining
c
alls to all
o
c
_
est
a
te_range_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al: update remain
i
ng alloc_esta
t
e_range()
call and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an
Carpenter
sval
:
fix
bug in handl
e
_amp
e
r
s
and()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval: int
r
o
duce v
a
li
d
_pt
r
_mi
n
/max_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
: u
p
dat
e
calls to
a
lloc
_
estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
s
v
al
:
d
e
le
t
e u
n
u
s
ed estate
_
ranges() and estat
e
_min
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
a
rpenter
sval
:
u
pdate call to estat
e
_min
(
)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sv
a
l: updat
e
check_err_ptr_deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: upd
a
te is_whole_ra
n
ge() t
o
use svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpen
t
er
sv
a
l:
d
elete
u
nused
ra
n
g
e_l
i
sts_equiv(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpe
n
ter
sval: delete u
n
used get_i
m
pl
i
ed_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
update
c
a
l
ls to get_impli
e
d
_
r
ange_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: cre
a
te an sv
a
l version of range_
l
ists_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
s
v
a
l:
e
xtra
:
convert match
_
comparis
o
n
() to sva
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: fix a bug in remove_rang
e
_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
a
r
penter
sval:
extra:
c
h
a
n
ge some range_list structs to r
a
nge_list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next