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
type: rename get_param_type_from_key() => get_member_type_from_key()
2012-11-12
Dan
C
arpent
e
r
sval
:
extra: hand
l
e
c
omparisons like
((
f
oo
=
= func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval: extra: db: do cast
t
h
e
p
arameter value
s
after all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n Carpenter
d
e
b
ug: add __smat
c
h
_
fuzzy_ma
x
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval: don
'
t overflow
in increment/decre
m
ent_state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n Ca
r
penter
sval
:
m
a
ke a typed versi
o
n of get_value_ranges_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpente
r
dma_on_stac
k
: improve printed messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Car
p
enter
sval: introduce "hard
m
a
x
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
D
an Carpenter
abs
o
lute
:
u
s
e the imp
l
ied max bef
o
re t
h
e type m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Da
n
Carpen
t
er
s
v
al: introduce sval_
t
y
p
e_
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Ca
r
p
e
nter
sval: debug
:
f
i
x rev
e
rsed conditio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
Da
n
Carpen
t
er
s
v
al: dele
t
e old
u
nus
e
d estate_undef
i
ned
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
Dan Carpenter
estate:
mov
e
e
s
tate_get_single
_
value_sval()
to sm
a
tch_estate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carpenter
s
v
al
:
t
y
p
e: search harder
from struct m
e
mber types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval
:
hack
i
s so get_
a
bso
l
ute_
m
in/ma
x
_
s
val() never
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Ca
r
pen
t
er
sval: math:
don't
c
a
l
l sva
l
_bino
p
(
) with bog
u
s
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
extra: cl
e
anup se
t
_related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
ente
r
sval: type: remove debug
output
i
n get_sele
c
t_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpenter
sva
l
: ha
n
dle type promotion in
s
val_bin
o
p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: extra: count poin
t
er types as equivalen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpen
t
er
sval: signed: fix a type
p
r
o
m
o
tion
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
a
rpenter
sval: extra: fa
l
l ba
c
k to llong_cty
p
e if we don't know
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
C
arpenter
sval:
ty
p
e
: declare type_positi
v
e_
b
its(
)
in the s
m
atch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
rpen
t
er
sval:
t
ype: fix
get_type() for
selec
t
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval:
extra: cast the p
a
rameter information to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sva
l
: fu
z
zy_max: fix it to work with sv
a
ls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sv
a
l
: type:
g
et_type(
)
shoul
d
h
and
l
e
expressi
o
n stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n Ca
r
penter
sval
:
extra: more
f
ixe
s
to match c
o
m
p
arison
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
enter
sval: math: don't eve
n
bot
h
er tryi
n
g to divide by ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpenter
sval: hand
l
e c
o
mparisons again
s
t zero
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
C
ar
p
enter
sval: pass ty
p
e i
n
fo
r
mation to extr
a
_
u
ndefined()
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
Dan Carpenter
sva
l
: delete un
u
sed filter_rang
e
_
list
(
) func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval
:
v
alidation: absolute: add a couple new thi
n
gs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval
:
extra: absol
u
te: c
h
ange ho
w
ass
i
g
nments are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpenter
sval: math: putt
i
ng bogus
ty
p
e inform
a
tio
n
on failure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
e
n
t
e
r
sval: fix cast_rl() some
more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
Car
p
enter
sval: fix a signedness bug in check_si
g
ned
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
sval: ca
s
t
U
NOPS
to
the right type in smatch_
m
ath
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpen
t
er
s
val: introduce sval_to_numstr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: get rid
o
f
str
u
ct data_range
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpent
e
r
sval:
free the
s
v
a
l
data ranges in free_
d
at
a
_info_a
l
locs
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpe
n
ter
sval: handle assig
n
me
n
ts
i
n smatch
e
xtra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n
Car
p
enter
sval: fix cast_rl() for handli
n
g single values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpenter
sval: add __smatc
h
_sval_info() to check_
d
ebug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
s
v
al
:
update mat
c
h_com
p
ar
i
son()
and friends in
s
m
a
tch
_
extra
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Ca
r
pent
e
r
sval: temporarily 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
sv
a
l:
improve cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
sval: intro
d
uc
e
sv
a
l_cmp_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type:
fix a validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpente
r
type: make g
e
t_type()
h
a
ndle EXPR_
P
O
STOP and EX
P
R_COMPAR
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpe
n
ter
type: introduce ty
p
e_signe
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
C
arpenter
type: use t
y
pe_po
s
itive_
b
its() in get_binop
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Ca
r
penter
sval: fix sval_cmp
(
) a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
s
v
al: int
r
oduce sval_positiv
e
_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpen
t
er
sval: fix a bug in handling
for loops that coun
t
d
ownwar
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
an Carpe
n
ter
sval: remove a
wh
o
l
e
_range reference in smatch_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
Carpent
e
r
sv
a
l: remove
s
o
me
references to
whole_ran
g
e
i
n check_kernel
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval
:
re
m
ove a whole_range
refe
r
ence i
n
chec
k
_loc
k
ing
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpen
t
er
sval
:
delete unu
s
ed sval_t
o
_ll
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Car
p
e
n
t
er
sval: make whole_r
a
ng
e
_
l
ist
_
s
v
al() ta
k
e a type paramet
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Car
p
e
nter
type: introduce cur_fu
n
c
_ret
u
rn_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpent
e
r
sv
a
l: st
a
r
t
getting ri
d
of extra_undefined
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
a
r
pent
e
r
s
v
al: r
e
name absolute_id and make it static now it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
C
arpenter
s
v
al:
f
ix a bug in smatch_ab
s
olu
t
e
.
c and cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Car
p
ent
e
r
sval: delete some unused da
t
a_rang
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
C
arpenter
sval: update sma
t
c
h
_functio
n
_h
o
ok
s
.
c to
use data_range_sv
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Carpenter
sval: de
l
ete rem
a
inin
g
struct
r
ang
e
_li
s
t code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpen
t
er
sval: create
c
ast_rl() which c
a
sts a ran
g
e
lis
t
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: make sval_cas
t
() take a type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Car
p
enter
sval:
d
elete a bunch of
"long long" functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete ad
d
_ran
g
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: chan
g
e get_
v
alue
_
ranges()
t
o
get_value_
r
a
n
ges_s
v
a
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
Carpenter
sva
l
:
d
elete
a bunch of unused stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sv
a
l: de
l
e
te c
l
one_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval
:
c
onv
e
rt estates to u
s
e r
a
nge
_
list_sval inte
r
nally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval
:
crea
t
e
clo
n
e_permanent_
s
v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l
:
make an sval ve
r
sion of wh
o
le_
r
ange
_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpente
r
sval: remove
possibly_true_r
a
nge_list()
and
r
elated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpente
r
sval: de
l
ete unused invert_rang
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
s
v
al: dele
t
e unused rl
_
min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carp
e
nter
sval
:
delete unused is_whole_ran
g
e_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: remove unused
estat
e
_
get_single
_
value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
s
v
a
l:
cleanu
p
es
t
ate_ge
t
_single_value_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: up
d
ate a
l
loc_dinf
o
_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Car
p
en
t
e
r
sval: d
e
let
e
alloc_estate_no_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
s
v
al: update remaining calls t
o
alloc_
e
state_r
a
n
ge_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: update re
m
aining all
o
c
_estate_range() call and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al:
fix bug in
h
andle_
a
mpersand
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval: introduce v
a
lid_ptr_min/max_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nte
r
sval: update calls to
a
l
l
oc_e
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al: de
l
ete unused estate_ranges() an
d
estate_
m
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval: up
d
ate call to esta
t
e_m
i
n()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
er
sval: update check_er
r
_ptr_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
va
l
:
update
i
s
_whole_ran
g
e() to u
s
e sval
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
ar
p
enter
sval: delete
u
nuse
d
range_li
s
ts_equi
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l: delete
u
nused get_implied_range_
l
i
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Car
p
enter
sval: update call
s
t
o get
_
implied_r
a
nge_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpente
r
sval: creat
e
a
n sva
l
vers
i
on of
r
a
nge
_
li
s
t
s_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
extra: convert matc
h
_compar
i
s
on() to sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sv
a
l: fix
a bug in
remove_r
a
n
g
e_sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next