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
extra: get max correctly
2012-11-12
Dan Carpenter
absolut
e
: use the implied max
b
ef
o
re the
type ma
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan
C
arpenter
sval: in
t
r
od
u
ce sval
_
t
y
p
e
_
v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
D
an Car
p
enter
sval: debug: fi
x
reve
r
sed condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
Dan
Carpente
r
sva
l
: delete old unused estate_undefined co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
D
an Carpenter
est
a
te: mo
v
e
estate_g
e
t
_
single
_
value_s
v
al(
)
to smatch_estate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n Carpenter
sval: type: sear
c
h hard
e
r
from struct member types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
s
v
al: hack is so get_absolute_mi
n
/max_sv
a
l() ne
v
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: m
a
th
:
d
o
n't
c
all
s
val_binop(
)
with bo
g
us data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arp
e
nter
extra: cleanu
p
s
et_rel
a
ted()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rpenter
sval: type: r
e
m
ove debug out
p
ut i
n
ge
t
_select_
t
y
pe
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Ca
r
p
en
t
er
sval
:
ha
n
d
l
e type
promo
t
i
o
n
in
sval_bino
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: e
x
tra
:
co
u
nt p
o
i
n
t
er types a
s
e
q
uivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sva
l
: si
g
ned: fix a typ
e
p
r
om
o
t
i
on
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sva
l
: extra: fall back
to l
l
ong_ctype i
f
we
d
o
n't know
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carp
e
nter
sval: type: declare
type_positive
_
bits()
i
n the smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n Carpe
n
ter
sval: type: fix get
_
type() for select
s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
an
C
arpenter
sv
a
l: extra: c
a
s
t
t
he
parameter information to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n Carpen
t
e
r
sval: fuzzy
_
max: fix it to wor
k
with svals better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rpen
t
er
sval: type: get
_
ty
p
e()
should handle expre
s
s
ion statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpente
r
sval: extra: more fixes to m
a
tch
compar
i
s
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval
:
mat
h
:
don't even bother
t
rying to div
i
de by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: hand
l
e
c
ompariso
n
s
against
zero
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpente
r
sval: pass type information to ex
t
r
a_undef
i
ned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
sval: in
t
roduce estate_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: delete un
u
sed filter_ra
n
ge_list() func
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpe
n
te
r
sv
a
l: validatio
n
: absolute: add a
co
u
p
l
e
new
things
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpen
t
er
sval: e
x
tra: abso
l
ute: change ho
w
a
s
signm
e
n
ts are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
r
p
enter
sval: math: putting bogus type information on failure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpen
t
er
sval: fix c
a
st_rl() s
o
me mo
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
sv
a
l: fix a
s
ignedne
s
s
b
ug in check_signed
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: c
a
st
U
NOPS to th
e
right typ
e
in
s
match_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
n
t
er
sval: introduce sval_to_numstr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
sval: get rid of struc
t
da
t
a_ran
g
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
s
v
al: free the sva
l
da
t
a r
a
nges in free_data_info_allocs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
C
arpenter
sval: h
a
ndle
ass
i
gnments in smat
c
h ex
t
ra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval:
fi
x
cast_r
l
() for handling single values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
n
ter
s
v
al: a
d
d _
_
smatch_sval_
i
nfo(
)
to check_debug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an
Carpenter
sva
l
: update
m
atch
_
comparison() and friends in
s
match_extra
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Ca
r
pent
e
r
sval: temporar
i
ly ha
c
k
w
hat sval_to_
s
tr() prints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
enter
sval: improve
c
ast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpe
n
ter
s
val: introduce
sval_
c
mp_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
C
a
rpen
t
er
t
y
pe
:
fix a va
l
id
a
tion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpent
e
r
typ
e
: m
a
ke
ge
t
_type() handle EXPR_POSTOP
and EXP
R
_COMPARE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
pente
r
type:
i
ntroduc
e
t
y
pe_signed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
C
arpenter
type: use type_positive_bi
t
s() in get
_
bi
n
op
_
type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sva
l
: fix
sval_cm
p
() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan C
a
rpenter
sval: i
n
troduce sval
_
positive_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
C
arp
e
nter
sval: fix a bug
i
n handling for lo
o
ps that coun
t
downwards
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval:
r
e
mov
e
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
D
a
n Carpenter
sv
a
l: re
m
o
v
e some r
e
ferenc
e
s
t
o w
h
ole_range in check_kern
e
l
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
sval
:
r
e
move
a
whole_range reference in check_lo
c
k
i
ng
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpenter
s
v
al: delete unused
sval_to_ll() fun
c
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpenter
sval: make whole_range_lis
t
_sval() take a type para
m
eter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carp
e
nter
t
y
pe: in
t
roduce cur_func_return_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: start getting rid of extra
_
undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpente
r
sva
l
: rename
a
bsolu
t
e_id and mak
e
it static now it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rpenter
s
v
a
l: fix
a bug in smatch_absolute
.
c
a
nd cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rpenter
sval: delete
s
o
m
e unu
s
ed data_ra
n
ge code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
an
C
arpenter
sv
a
l: update smatch_function
_
hooks
.
c to use data
_
range_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpen
t
e
r
sval: del
e
te
rem
a
i
n
ing struct range_list code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: cr
e
ate cast_rl(
)
wh
i
ch
c
a
s
ts a range l
i
s
t
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n C
a
r
pent
e
r
s
v
al:
make
sval_cast() take a type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpe
n
t
e
r
sval: delete a bunch of "long
lo
n
g" funct
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Ca
r
pe
n
ter
sval: delete
add_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nt
e
r
sval: change g
e
t_va
l
ue_ranges()
to get_value_r
a
nges_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Carpente
r
sval: del
e
te a
b
unch of unused stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval:
delete clo
n
e
_pe
r
manent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval:
convert estates to use range_
l
ist_sva
l
internally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: create clo
n
e_permanent_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
s
v
al: make an sval version of whole_ran
g
e_l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: remove p
o
ssibly_true_range_l
i
s
t
() a
n
d
related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l: delete unused inv
e
rt_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
s
v
al: delete unus
e
d
r
l_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: de
l
ete
unused i
s
_whole_rang
e
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: remove unused es
t
ate_get_sin
g
le_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval: clean
u
p estate_g
e
t_single_v
a
lue_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval: update allo
c
_din
f
o
_range(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpe
n
ter
sval
:
d
elet
e
allo
c
_es
t
a
te_no_na
m
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
p
e
nte
r
sval: upda
t
e rema
i
ning calls to
a
lloc_esta
t
e_range_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update
remainin
g
alloc_estate
_
range() call and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
p
e
n
ter
sval: fix bug
i
n ha
n
dle
_
ampersand()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: introduce valid_ptr
_
m
in/max
_
s
val
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Carpenter
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
Dan Car
p
enter
s
va
l
:
d
elete
u
nused estate_range
s
() a
n
d
estate_min
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update
c
a
l
l to estate_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: upda
t
e
c
heck_e
r
r_ptr_
d
e
r
e
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Ca
r
penter
sva
l
: update is_whole_
r
ange(
)
t
o use svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Carpen
t
er
sval: delete
unuse
d
range_lists_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sval: delete
unuse
d
get_i
m
plied_ra
n
ge
_
lis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval:
u
p
d
ate calls to get_impl
i
ed
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpente
r
sv
a
l: create an sval version
o
f r
a
nge_
l
i
s
ts_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpe
n
ter
sval: extra:
c
onvert
m
atch_co
m
par
i
son() to
sv
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Car
p
e
nte
r
sval: fix a bu
g
in rem
o
ve_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extra: change
s
o
me range_list struc
t
s to
r
ange_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Car
p
e
n
t
er
s
v
a
l: upd
a
te f
u
nction_comparison(
)
to ta
k
e
a
n sval
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extra: update increment/decremen
t
_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
sval: extra: upda
t
e
m
atch_assign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
enter
sval: e
x
tra: update canonical loop code
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
an Carpenter
sval:
c
h
a
ng
e
the output back
to
t
h
e
original f
o
r
n
ow
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpenter
sval:
ex
t
ra: upd
a
te
merge_fu
n
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next