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: s/range_list_stack_sval/range_list_stack/
2012-11-12
Dan Carpenter
sval: s/ran
g
e_list_st
a
ck_sval/
r
ange_
l
ist_stack/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
s
val: s
/
r
a
ng
e
_list_sval
/
range_list
/
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
D
an Carpente
r
sval: renam
e
dat
a
_
r
ange
_
sval
b
ack to data_range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval: sig
n
ed: pretty much re-write the wh
o
le
t
hing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Ca
r
penter
s
val: extra:
handle compariso
n
s like ((foo
=
= f
u
ncti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
D
a
n Carpenter
sval: extra: db: do cast the paramet
e
r values after all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan C
a
rpenter
debug: add __s
m
atch
_
fu
z
zy_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan
Car
p
enter
s
v
al: don't overflow
i
n increment/decrement_s
t
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carp
e
nte
r
sval: make a typed
version of get_valu
e
_ranges_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan
Carpenter
dma_on_stac
k
: im
p
rove print
e
d messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval:
i
ntroduce "har
d
max"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Da
n
Carp
e
n
te
r
absolute:
use the implied max bef
o
re the ty
p
e max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
s
val: in
t
roduc
e
sval_typ
e
_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sv
a
l: debug: fix reversed c
o
ndition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
D
an Carpe
n
t
er
s
v
al: de
l
ete
ol
d
unused esta
t
e_undefined
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
Dan
Carpe
n
t
er
estate: move estat
e
_get_
s
ingle_valu
e
_sval() to smatch
_
estate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: t
y
pe: search har
d
er from
struct member types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
an Carpente
r
s
val: h
a
ck is so g
e
t_absolute_min/max_sval() never
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpenter
sval:
math
:
d
o
n'
t
call sval_b
i
nop() with bogus data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpenter
extr
a
: cleanup set_related(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
ent
e
r
sval: type: remove deb
u
g
output in get_select_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: han
d
le type promotion in
s
v
al_
b
inop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
Carpe
n
t
er
sval:
e
xtra: c
o
unt
p
ointer ty
p
es a
s
equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sv
a
l
:
signed: fix a type promo
t
ion bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
ar
p
enter
sval:
extra: fa
l
l bac
k
to
l
long
_
ctype if w
e
d
o
n't
k
now
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
en
t
er
sval
:
ty
p
e: decl
a
re type_positive_b
i
ts() in the
s
match
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
C
arpenter
s
v
a
l: type: fi
x
get_
t
ype(
)
for sel
e
ct
s
ta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpen
t
er
s
v
al: extra: cast th
e
parameter info
r
mation
to th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carp
e
nter
sv
a
l
:
fuzzy_max: f
i
x it to
work
w
ith svals
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpenter
sval
:
type: get_t
y
pe() sh
o
u
l
d handle expression statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: extra
:
mor
e
fixes to mat
c
h comp
a
rison
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpenter
sv
a
l: math:
d
on't even bother
trying to divide by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: handle
c
o
m
p
arisons
against zero
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
a
rpen
t
er
sval:
p
ass t
y
pe informatio
n
to e
x
tra_undefi
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Ca
r
p
e
nter
sval: introdu
c
e
e
state_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: delete unused filter_range_list() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carpen
t
e
r
sval: valid
a
tion: ab
s
olute: add a couple new
t
h
ings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: ext
r
a: absolute: chan
g
e how assignments are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sv
a
l: math
:
putting b
o
g
u
s t
y
pe in
f
ormati
o
n
on failu
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpe
n
t
er
sv
a
l
:
f
ix cast_rl() some
m
ore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpen
t
er
s
v
al:
f
ix
a
signedness
b
u
g
in check_signed
.
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
ight type in
smatch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: i
n
t
r
oduce sv
a
l_to_numstr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
r
p
enter
sva
l
: get rid o
f
s
t
ruct
d
ata_range
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sval: fr
e
e
t
he
sval d
a
ta
r
anges in free_d
a
ta_info_
a
llocs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sv
a
l:
h
andle
a
ss
i
g
n
ments in smatch e
x
tra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpenter
sva
l
: fi
x
c
as
t
_rl()
for h
a
ndling single
val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
C
a
rpenter
sv
a
l: add __s
m
atch_sval_info() to check
_
deb
u
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: update match_c
o
mparison() and friends
in smatch_extra
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
en
t
er
sval: tempora
r
il
y
hack what
s
va
l
_to_str(
)
pr
i
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: im
p
rove cast_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carpenter
s
val: intr
o
duce sval_cmp_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
type: fix
a validation tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
type:
make get_type
(
)
handle
E
X
P
R_PO
S
TOP a
n
d EXPR_COMP
A
RE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
typ
e
: in
t
roduc
e
type_signed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
C
arp
e
nter
t
ype
:
u
s
e ty
p
e_pos
i
tive_bits() i
n
g
et_binop_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Car
p
en
t
er
sval: fix sva
l
_cmp(
)
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
C
a
r
penter
sval: introdu
c
e sval
_
positive_bits(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
an
Carpenter
sva
l
: fix a
b
ug in
handling for loops that c
o
unt down
w
a
r
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
Carpenter
sv
a
l: remove
a
whole_ran
g
e reference in smatc
h
_
i
m
plied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval
:
remove some re
f
erences to whole_range
i
n che
c
k_ke
r
nel
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
C
a
r
p
enter
sval: rem
o
ve a
whole_range referen
c
e in c
h
eck_locking
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Carpenter
sva
l
: de
l
e
te unused sval_to_ll
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpente
r
s
v
al: make whole_range_lis
t
_sval() take a t
y
p
e
parame
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
te
r
type: introduce cur_func_ret
u
r
n_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: start
g
ettin
g
r
id of
e
xtr
a
_
u
ndefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rpenter
sval
:
rename absolut
e
_id and m
a
ke it static
n
ow it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
t
e
r
sval: fix a bu
g
in smatch_absolu
t
e
.
c and c
l
eanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
sval: d
e
lete some unused
d
ata_range code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
rpente
r
sva
l
: update
s
match_fun
c
ti
o
n_hooks
.
c to use
d
ata_ra
n
ge_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carp
e
nte
r
sval: delete remaining str
u
c
t
range_
l
ist co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval:
c
re
a
te
c
ast_rl() w
h
ich cast
s
a
r
an
g
e list to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpenter
sval:
m
a
ke
sval_cas
t
(
) take a t
y
p
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
arpenter
sva
l
: delete
a
bun
c
h of "long
long
"
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
s
v
a
l: del
e
te add_r
a
n
g
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sval:
c
hange ge
t
_v
a
lue_
r
a
n
g
es() to g
e
t_value
_
ranges_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n C
a
rpenter
sval
:
delete
a
bunch of unused
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
enter
sval: de
l
ete clon
e
_permanent(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nte
r
sval: convert estates
t
o us
e
r
ange_list_sval int
e
rnally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
e
r
s
v
a
l
: create clone_permanent_sv
a
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
a
l: make
an s
v
al version
of whol
e
_
r
ange_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
e
r
sval: remove p
o
ssibly_true_range_li
s
t
() an
d
re
l
ate
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
s
v
al
:
delete
unused invert
_
r
a
nge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: del
e
te unused rl_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: delete
u
n
used is_whole_range_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carp
e
nter
sval: remove unused estate_get_singl
e
_
v
a
l
ue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
s
v
a
l: cl
e
a
n
up estat
e
_get_single
_
v
a
lue_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carp
e
nter
s
v
al: updat
e
all
o
c_dinfo_r
a
nge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Ca
r
pen
t
er
s
val: delete alloc_estate_no_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n C
a
rpen
t
er
sval
:
upda
t
e re
m
aining
calls
t
o alloc_e
s
tate_r
a
nge_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
: update remaining all
o
c_
e
state_range() call and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an
C
arpenter
sval: fix bug
i
n handle_ampersand()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpent
e
r
sval: intro
d
uce valid_ptr_min/max_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: up
d
a
t
e
calls to alloc_estate
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval: del
e
te
u
n
used estate_ranges(
)
and
estate_m
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
u
pdate call to estat
e
_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
sval: update ch
e
ck_err
_
ptr_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
e
r
sval:
updat
e
is_whole_r
a
nge()
t
o
us
e
svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete un
u
s
e
d r
a
nge_lists_e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: delete unuse
d
get_implied_r
a
ng
e
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next