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
conditions: preserve the type in select assignments
2012-11-10
Da
n
Carp
e
nter
e
state: mov
e
estate_
g
et
_
single_value_sval() to smatch_
e
sta
t
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n C
a
rpe
n
ter
s
v
al:
t
ype: search harder
f
rom
s
tru
c
t member t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpent
e
r
sva
l
: h
a
ck i
s
so get_ab
s
olute_min/max_sval
(
)
never
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carpenter
s
v
a
l
: math: don't call sval_binop() with
b
ogus data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
e
x
t
r
a:
cleanu
p
set_related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpe
n
ter
sv
a
l
:
type: rem
o
v
e debug outpu
t
i
n
get_select_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carp
e
nter
sv
a
l: h
a
nd
l
e type prom
o
t
i
on in sval_binop(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carp
e
nter
sval:
extra: co
u
n
t
pointer types as equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: signed: fix
a type promoti
o
n
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpe
n
ter
sv
a
l: extra: fall back to
l
l
ong
_
c
type if we don't know
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rpenter
s
val: type: declare
type_positiv
e
_bits()
i
n the smatc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpe
n
ter
s
v
al: type: fix get_
t
ype() for
s
elect statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Ca
r
penter
sv
a
l: extr
a
: cast t
h
e
p
arameter infor
m
ation to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rp
e
nte
r
sval: fuzzy
_
m
ax
:
fix it
t
o
w
ork wit
h
sval
s
be
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpente
r
sval: typ
e
: get_type() s
h
o
uld ha
n
dle ex
p
res
s
i
o
n statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n
Carpenter
sv
a
l: extr
a
: m
o
re fixes to ma
t
ch c
o
mpa
r
ison
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpente
r
sval: math: don't even bother try
i
ng to divide by z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
a
l: handle co
m
p
ari
s
ons agai
n
st zer
o
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpenter
s
v
al: pass type
i
nforma
t
ion to extra
_
undefine
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: introduce e
s
tate
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
C
arpenter
sva
l
: delete unused fil
t
e
r_ra
n
ge_li
s
t() f
u
nc
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nt
e
r
sva
l
:
validation:
absolute: ad
d
a
c
o
uple new thing
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arp
e
nter
sval: extra: absolute
:
change how assignments are h
a
nd
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
p
enter
sval: math: put
t
ing
b
o
gus type
in
f
ormation
o
n failure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sva
l
: fix cast_rl(
)
some more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpen
t
er
sva
l
: fix
a
signedness
bug
i
n che
c
k_sig
n
ed
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: cast UNOPS to the right t
y
pe
in smatch_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Ca
r
pente
r
s
val: in
t
roduce sval_t
o
_n
u
ms
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpen
t
er
sval: g
e
t rid of struct dat
a
_
range
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rp
e
nter
sval: free t
h
e sv
a
l data ranges in
free_data_info_allocs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpen
t
er
s
v
al:
hand
l
e assignm
e
nts in sm
a
tch e
x
tra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: fi
x
cast_rl() f
o
r handling single values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
sval: add __smatch_sval_info(
)
to check_
d
ebug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
ter
sv
a
l:
u
pdate mat
c
h_
c
omparison()
a
nd friends in smatch_extra
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: temporarily hack what sval_to_
s
tr() prints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sv
a
l: i
m
pr
o
ve cast_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpenter
sval: in
t
roduce sva
l
_cmp
_
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
typ
e
: fix a
v
alidation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpenter
type: make get_ty
p
e
(
) handle EXPR_PO
S
TOP and EXPR
_
C
O
MPARE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type
:
intr
o
d
uce type
_
signed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan C
a
rp
e
nter
ty
p
e: us
e
type_positive_b
i
ts() in get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
Ca
r
pent
e
r
sval
:
f
i
x sval
_
c
m
p() a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
an Carpenter
sval
:
in
t
roduce
sval_posit
i
ve_bi
t
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n
Carpenter
sval
:
fix
a
bug
i
n
handling for loops
that count downwards
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
an Carpen
t
er
sval:
r
e
move a whole_r
a
nge reference in
s
match_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
s
val: rem
o
v
e
some
r
e
f
e
r
ences to whole_range in
c
he
c
k_kernel
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
ter
s
v
al:
remove a whole_ran
g
e r
e
ference in check_lockin
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n C
a
rpe
n
ter
sv
a
l: delete unused sval_to_ll() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpente
r
sv
a
l: make whole_range_list_sval()
take
a
type parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
ter
type: introdu
c
e cur
_
fu
n
c_return_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carp
e
nter
sva
l
: start
g
e
t
t
ing rid
o
f e
x
tra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: r
e
name
absolute_id and make it static
n
ow it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Carpenter
sval: fix a b
u
g in smatch_absolute
.
c and cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpent
e
r
sval: delete s
o
me
u
nus
e
d data_r
a
nge code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpen
t
er
s
v
al: update
sm
a
tch_function_hooks
.
c to
u
se data_range_
s
val
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sv
a
l: delet
e
remaining st
r
uct range_
l
is
t
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpent
e
r
sval: create cast_rl() which casts a range list to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpent
e
r
sval: m
a
ke sval_cast() take a type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval: delete
a
bunch of "l
o
ng long" fun
c
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: delete add_ran
g
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
ar
p
enter
sv
a
l:
change get_v
a
lu
e
_ranges() t
o
get_val
u
e_ranges
_
sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
rpenter
s
v
al: delete
a
bunch of unuse
d
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
:
delete clone_permanen
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
sva
l
: convert estate
s
to
u
se
r
ange_
l
ist
_
s
v
a
l internally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: create clone_perman
e
nt_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: make
an sval version of who
l
e
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: r
e
m
o
ve possibly_
t
rue_range_lis
t
() a
n
d related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
s
v
a
l: delete unused invert_range_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Ca
r
penter
sv
a
l: delete unused rl_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpe
n
te
r
s
v
al
:
delete unused is
_
whole_ran
g
e
_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arp
e
nter
s
v
al
:
r
e
m
ove unu
s
ed estat
e
_ge
t
_single_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
a
l: cleanup est
a
te
_
g
et_single
_
v
al
u
e
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
pent
e
r
sva
l
: update
a
l
loc_dinfo_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al
:
delete
alloc_estate_no_name
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sval: u
p
date
re
m
aining calls to alloc_
e
state_
r
ange_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpe
n
ter
sval:
u
p
date rem
a
inin
g
alloc
_
es
t
ate_range() ca
l
l and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: fix bug in handle_ampersand()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sval:
intro
d
uce
v
alid_p
t
r
_
min/max_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Car
p
enter
sva
l
: update calls to
alloc
_
e
s
ta
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
r
penter
sval: delete
u
nused estate_ranges() and
e
s
t
ate_min
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carp
e
n
t
e
r
sval: update ca
l
l to
e
state_mi
n
()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: update check_err_p
t
r
_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rp
e
nter
sval: update
i
s
_whole_r
a
nge()
t
o use s
v
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
d
elete unused range_lists_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
:
d
elete unused
get_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n C
a
rpenter
sva
l
: update calls to get_impl
i
ed_
r
ange_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval: create an sval version of range_list
s
_equiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: extra: c
o
nve
r
t m
a
tch_compariso
n
(
)
t
o sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: fix a bug
i
n
r
emove_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: extr
a
:
c
h
ang
e
some ra
n
ge
_
list structs to ran
g
e_
l
i
s
t_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpent
e
r
sval:
u
pdate
f
unction
_
compar
i
son() to take an sv
a
l
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval:
ext
r
a: update increme
n
t/d
e
c
rement_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Car
p
ente
r
sval:
extra: update m
a
tch_a
s
s
i
gn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpen
t
er
s
val:
extra: update canon
i
c
a
l loop c
o
de
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
ter
sval: change the output bac
k
t
o the orig
i
na
l
for now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n C
a
rpenter
sval:
e
xtra: update merge_
f
unc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
sval: u
p
d
a
t
e filter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Car
p
en
t
e
r
sval: update add_f
i
lter() to take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
enter
sv
a
l: u
p
date fi
l
ter_range() t
o
take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
ranges: remove un
u
sed rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next