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: fix get_type() for select statements
2012-11-09
Dan C
a
r
pen
t
er
sval: type:
fix get_ty
p
e() fo
r
select statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpent
e
r
s
val: extra: cast
t
he parameter inform
a
tion t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rpen
t
er
sval: fu
z
zy
_
max: fix it
t
o
work with
s
v
als
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpent
e
r
s
v
al
:
t
y
pe: get_type(
)
should hand
l
e expression statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpente
r
sv
a
l: extra:
m
ore f
i
xes
t
o
match compariso
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-09
D
an Ca
r
penter
sval: math: don't ev
e
n bo
t
her trying to divide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
enter
sval: handle comparisons aga
i
n
s
t z
e
ro
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpenter
sval: p
a
ss type i
n
fo
r
mat
i
on to extr
a
_
u
ndefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: introdu
c
e estate_t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
C
a
r
p
enter
sval: d
e
lete unu
s
ed f
i
lter_range_list(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
enter
sval: valid
a
tion: ab
s
o
l
ute: add
a
couple n
e
w
t
h
i
ngs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: ex
t
ra: absolut
e
: c
h
ange how assignments are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sval: mat
h
:
p
utt
i
n
g bo
g
us type
i
nformation on
failu
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
val: fix cast_rl()
so
m
e
more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpen
t
e
r
sva
l
: fix a signedness
b
ug in
check_signed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Ca
r
pe
n
ter
sval: cast UNOPS to the right type in
s
match_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: introduc
e
sval_to_nums
t
r(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval:
get rid o
f
struct
d
ata
_
range
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpenter
sval: f
r
ee
t
he sval data ranges
i
n free
_
data_i
n
f
o_a
l
locs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: han
d
l
e
a
s
s
ignment
s
in smatch extra
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: fix
c
ast_rl() f
o
r
h
a
n
dling s
i
ngle
v
alu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
Car
p
enter
sva
l
: add
__s
m
atch_sval_info()
t
o che
c
k_debu
g
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
sval: update
match
_
co
m
pa
r
ison() an
d
friends
i
n
smatch
_
e
x
tra
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sv
a
l:
t
emp
o
rarily hack wha
t
sval_to_str
(
) prints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: improve cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
a
l
: introduce s
v
al_cm
p
_t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpente
r
type:
fix a validation
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Car
p
e
n
ter
t
ype: make get_type() handle
E
XPR_
P
OST
O
P and EXPR
_
C
OMPARE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type
:
intro
d
uce t
y
pe_signe
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
C
a
rpenter
type: use typ
e
_
p
o
sitive_bits() in g
e
t_
b
inop_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval:
f
ix sval_cmp()
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n Carpe
n
t
er
sval:
i
n
tr
o
d
u
ce
sval_positive_bit
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n Carpenter
s
v
al:
f
i
x
a bug in handling for loops that count d
o
wnwards
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Da
n
Carpe
n
ter
sval: r
e
move a w
h
o
l
e_range r
e
ference
i
n smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sva
l
: rem
o
v
e some references to wh
o
le_range
i
n
c
h
e
c
k_ker
n
el
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Car
p
enter
sval: remove a whol
e
_range re
f
e
r
ence
i
n
c
heck_locking
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Carpenter
sval
:
del
e
te unused sval_t
o
_ll() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
C
arpenter
sval:
m
ake w
h
ole_range
_
list_sval() tak
e
a type parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpent
e
r
type: introduc
e
c
ur_func_return_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
ter
sval: s
t
art getting rid
of extra_
u
ndefined
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Carpenter
sval
:
rename a
b
solute_id and
ma
k
e it sta
t
ic now it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpenter
sval: fix a bug in smatch_absolute
.
c and cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval:
d
el
e
te
s
om
e
u
n
used data_range
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Car
p
enter
sval: upd
a
te smatch_functi
o
n_hooks
.
c to use
d
a
ta_ra
n
g
e
_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
ter
s
val: delet
e
r
e
mainin
g
struct range_lis
t
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpente
r
s
v
al:
c
reate
cast_rl() whic
h
casts a rang
e
li
s
t to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpenter
sval: m
a
ke
s
val_c
a
st() take a typ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sv
a
l: delete a bun
c
h of "long
l
ong" funct
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval:
d
elete add_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: ch
a
nge ge
t
_v
a
lue_ranges() to get_valu
e
_
ranges_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sva
l
:
d
elete
a
bunch of unuse
d
s
t
u
ff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
ar
p
enter
sval: delete clone_perm
a
ne
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
a
r
penter
sva
l
:
convert estates to
use range_list_sva
l
i
nte
r
nally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: cr
e
at
e
clone_p
e
rm
a
nent_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al:
make an sval
v
ersion of
whol
e
_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sva
l
:
remov
e
p
o
ssi
b
ly_true_ra
n
ge_li
s
t() and relate
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
a
l
: delete unus
e
d invert_
r
ange_l
i
s
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: d
e
lete unus
e
d rl_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sv
a
l:
delete unused
is_whole_ra
n
ge_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sv
a
l: remove unused estate_get_si
n
gle_v
a
lue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval: clea
n
up est
a
te_get_si
n
gle_value_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
p
enter
sval:
u
pdate
alloc_dinf
o
_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Ca
r
penter
sval: de
l
et
e
alloc_estate_no_name
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
s
val
:
update remaining calls t
o
a
l
l
oc_estat
e
_rang
e
_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: update rem
a
in
i
ng alloc
_
es
t
a
t
e_range() ca
l
l an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpente
r
s
v
al: fix bug in handl
e
_ampersa
n
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Car
p
enter
sval: introduce valid_ptr_min/ma
x
_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update cal
l
s
t
o alloc_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete unused
e
state
_
ranges(
)
and estate_mi
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: update
c
all to estate_mi
n
()
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sval: up
d
ate check_err_
p
tr_dere
f
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval:
u
p
d
ate is
_
wh
o
l
e
_range() to
u
se svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val:
delete
u
nused range_lists_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Car
p
enter
sval: delete unused get_implie
d
_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pen
t
er
sval: update calls
t
o get_implied_
r
ange_
l
ist(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
s
v
al: create an sval version of range_lists_e
q
uiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
:
e
xtra: c
o
nvert m
a
tch_comparison(
)
to sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l: fix a bug
in rem
o
ve_
r
ange_sv
a
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpe
n
t
e
r
sva
l
:
extra: change
so
m
e range_list structs to range
_
l
is
t
_
s
va
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
an Carpenter
sval: update
f
u
n
ct
i
on_comparison() to
tak
e
an sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
a
r
penter
sval:
e
xtra: updat
e
in
c
rement/decrement_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
nt
e
r
s
v
a
l: ex
t
ra: update ma
t
ch_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extra:
u
p
date c
a
nonical
loo
p
code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: ch
a
nge the outp
u
t back to the original for now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpenter
sval
:
extra: u
p
d
a
te
m
erge
_
func(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
penter
sval: up
d
ate filter_ran
g
e_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
sval: upda
t
e add_fi
l
ter() to
t
ake svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: up
d
ate filter_range() to
t
ak
e
s
vals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
r
a
nges: remov
e
unuse
d
rl_con
t
iguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Ca
r
p
en
t
er
sval: make sva
l
versi
o
ns
o
f
smatch_
e
sta
t
e
.
c fun
c
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: fix sval_
c
m
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: make
r
l_m
i
n/max_sval() tak
e
a rang
e
_li
s
t_sval
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpenter
sva
l
:
u
p
d
ate smatch_db
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
ar
p
e
nter
sval: update smat
c
h
_
parse_call_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
an Carpenter
sval:
update s
m
atch_parse_call_math
.
c to use range_list_
s
vals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval:
u
pdate smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
Car
p
e
nter
sval: fi
x
some
b
ugs in add_
r
ange_
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpe
n
ter
sval: update s
m
a
t
c
h_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
penter
sval: update smatch_
m
a
th
.
c to use rang
e
_l
i
s
t_sv
a
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpente
r
s
v
al: update smatch_pro
j
ect
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next