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
math: ignore fuzzy maxes that are type_min() + 1
2012-11-12
Dan Carpenter
sval: make a ty
p
ed version
of
g
e
t_
v
alue_
r
anges
_
sv
a
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n
Carpenter
dma_
o
n_stack: improv
e
p
rinte
d
messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
D
an Carpenter
sval: introduc
e
"hard max
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
ab
s
olut
e
: use th
e
implied m
a
x bef
o
re the t
y
pe max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carp
e
nter
sval: introduce sval_type_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-12
Dan
Carpenter
sval: debug:
f
ix r
e
versed condit
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-10
Dan Carpenter
sval: delete old unused
esta
t
e_undefined code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-10
D
a
n C
a
rpent
e
r
estat
e
: move
e
state
_
g
e
t
_single_value_sva
l
(
)
to
smatch_estate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpen
t
er
sval: typ
e
: se
a
rch h
a
rder from
str
u
ct member types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
enter
sv
a
l: hack
is so
g
et
_
abso
l
ute_min/max_sval() n
e
ver
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carp
e
nter
sval: ma
t
h: don't c
a
ll sval_
b
i
n
op() with bo
g
us
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
Car
p
e
n
ter
e
x
t
r
a
: cleanup set_related
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpenter
sval: type: remove debug ou
t
p
u
t
in get_sel
e
ct_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpenter
sval
:
handle t
y
p
e
promo
t
ion in s
v
al_
b
ino
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpenter
s
va
l
: extra: count pointer types as equivale
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Ca
r
p
e
n
t
er
sval: signed:
fi
x
a ty
p
e p
r
omot
i
on
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Ca
r
penter
sva
l
: extra:
fa
l
l
b
ack t
o
l
l
ong_ctype
if
we
d
on't
k
now
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
e
n
ter
sval: type: decl
a
re
type_positive_bits() in the
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval:
t
ype: fix get_type() for sele
c
t
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
r
pent
e
r
sval: extra:
cast
t
he p
a
ra
m
ete
r
information to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval:
f
uzzy
_
max: fi
x
it t
o
w
o
r
k with svals better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carpen
t
e
r
sval: t
y
p
e
: get_type() should handle ex
p
re
s
sion
statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
a
r
penter
sval:
e
xtr
a
: mor
e
fix
e
s to
match compar
i
so
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
enter
sval: math: don't
ev
e
n
b
o
t
her
t
ryin
g
to d
i
vide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
val: handle comparison
s
against
z
ero
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
ter
sval: pa
s
s typ
e
inf
o
r
m
a
t
i
o
n to extr
a
_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sva
l
: i
n
tro
d
u
c
e estate_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
al:
del
e
te un
u
sed filter_range_li
s
t() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
r
p
en
t
er
sval: va
l
idation: abso
l
ute: add a c
o
uple n
e
w th
i
ngs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
sval
:
extra: absolute: change
how assignme
n
t
s are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
C
a
r
p
e
nter
sval: math: putting b
o
gus type inform
a
tion on fa
i
lure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpe
n
ter
sval: fix cast_rl() some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
n
t
er
sval: fix a signedness bug in check_sign
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
ar
p
enter
sval: cast UNOPS
t
o the r
i
g
ht ty
p
e in smatch_mat
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpen
t
er
s
val: in
t
roduce
sval
_
to_numstr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arp
e
nter
sv
a
l: get ri
d
of st
r
uct d
a
ta_range
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
sval:
f
r
ee the sval data r
a
nge
s
in fr
e
e_data_info
_
allocs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
al: handle assi
g
nments in smatch
ext
r
a
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
r
pe
n
ter
sval: fix cast_rl
(
)
f
or handling single valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
pe
n
ter
sv
a
l
:
a
dd
__
s
match_s
v
al_info() to check_
d
eb
u
g
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carp
e
nter
sval: update
match_c
o
mpa
r
ison() and friends in smatch_e
x
tra
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: t
e
mp
o
raril
y
ha
c
k what
sval_to_str() prints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sva
l
:
i
mp
r
ove cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
al: introduce sval_cmp_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
type: fix a
val
i
dation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Ca
r
penter
typ
e
: make get_type() handle EXP
R
_POSTOP and EXPR_COMPAR
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpente
r
type: i
n
tr
o
duce type_s
i
gne
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan C
a
rpenter
type:
use type_positi
v
e
_bits()
i
n get
_
binop_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval:
fi
x
s
val
_
c
mp()
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval: introduce sval
_
positive_bit
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n Carp
e
nte
r
sval:
f
i
x
a
b
u
g
in han
d
ling for loops that c
o
unt downwards
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Car
p
enter
sva
l
: r
e
m
o
v
e
a whole_r
a
n
g
e ref
e
rence in
s
match_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Car
p
enter
s
v
a
l
: remo
v
e some references to w
h
ole_
r
a
nge in check_kernel
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
r
penter
s
val: remove a whol
e
_range referenc
e
in che
c
k
_
locking
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: d
e
le
t
e unused sval_
t
o_
l
l() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
s
val: make w
h
ole_ra
n
g
e_list_s
v
al()
take a type paramete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpente
r
type: introduce c
u
r_func_return_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: start getti
n
g rid of
e
xtra_un
d
efine
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
s
val: rename
a
bsolute_id
a
nd make it static now it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carp
e
n
ter
sval: fix a bug in smatch_a
b
solute
.
c and c
l
eanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpen
t
er
s
v
al: delete some unuse
d
da
t
a
_
r
ange code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: update s
m
atch_function
_
hooks
.
c
t
o use data
_
ra
n
ge_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sva
l
: delete remainin
g
struct range_list code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
sv
a
l
: create
cast_r
l
() which
casts a
ra
n
ge
list to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: make sval_cast() take a type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n C
a
r
p
enter
sval: delete a bunch of
"lo
n
g long" functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
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: change
get_value_ranges() to get_value_
r
a
n
ges
_
s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: delete a bunch of
u
n
use
d
stuf
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete
clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rp
e
nter
sval: convert estates to use range_list_
s
val int
e
rnally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpe
n
t
e
r
sval:
c
reate clone_perma
n
ent_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Ca
r
penter
sva
l
: ma
k
e an sv
a
l
v
ersion
of whole_range_l
i
s
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpe
n
t
e
r
sval: remove
possibly_true_range_list()
and related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpe
n
ter
sval:
d
elete un
u
sed
i
nvert_range_l
i
st(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: delete unused rl_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
s
v
al: delete unu
s
ed
i
s_whole_
r
ange_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval
:
remove unused estate_get
_
s
i
ngle_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: cleanup estate_get_singl
e
_value_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sv
a
l
:
update alloc_
d
inf
o
_r
a
nge
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
t
er
sva
l
: delete alloc_est
a
te_no
_
name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rp
e
nte
r
sval: update remaining
calls to al
l
oc
_
estate_range_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sval
:
u
p
date remainin
g
al
l
oc_es
t
a
te_range() call and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al:
f
i
x
bug in handle_am
p
ersa
n
d(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpente
r
sval: intr
o
duce
val
i
d_ptr_m
i
n/max_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpen
t
er
sv
a
l: update
calls to
a
l
loc_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: delet
e
unused
estate_ranges() and esta
t
e_
m
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
u
p
d
a
te call to estate_min
(
)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update check_err_ptr_deref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update
i
s
_wh
o
l
e
_ra
n
ge()
t
o
use sv
a
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Ca
r
p
e
n
t
er
s
val: delete unused range_lists_
e
quiv(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: d
e
lete unused get_
i
mplied_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update ca
l
ls to get_implied_r
a
n
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
er
sval: create an sval version of rang
e
_lists_equiv(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: ex
t
ra: convert match_compa
r
ison() to sv
a
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
s
v
al: fix a bug in remove_ra
n
ge_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpe
n
ter
s
val: extra: change some range_list structs to r
a
n
ge_list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n
C
arpenter
sval: update function_c
o
mparison() to take a
n
sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpenter
sval: ext
r
a:
update incremen
t
/decrement_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
an C
a
rpenter
sval:
e
xtra: updat
e
m
a
tch_assi
g
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next