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: update function_comparison() to take an sval.
2012-11-02
Dan Carp
e
nter
s
v
a
l
: up
d
ate fu
n
cti
o
n_comparison() to take an sval
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n
Carpenter
s
v
a
l: e
x
tra
:
update in
c
rem
e
nt/decrement_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
penter
sval:
e
xtra
:
update match_ass
i
gn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
sval: ex
t
r
a
: update c
a
nonical loop
co
d
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval:
c
h
ange t
h
e
o
utput back to
t
h
e
original f
o
r now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extra: update
merge_func()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
s
v
al: updat
e
filter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rp
e
nte
r
sva
l
:
update
a
d
d_filte
r
() t
o
take sv
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpenter
sval: update filter_range() to ta
k
e svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
nte
r
r
a
n
g
e
s: remove unused rl_co
n
ti
g
uous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: mak
e
s
val v
e
r
s
ions
of smatch_estate
.
c functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
v
al: fix sva
l
_cmp(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
e
r
sval: m
a
k
e rl_min/max
_
sval() ta
k
e a r
a
n
g
e
_
list_sva
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: updat
e
smatch_db
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: u
p
date smatch_parse_
c
al
l
_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
D
a
n Carpente
r
sval: u
p
date smatch
_
p
a
rse_call_mat
h
.
c to use rang
e
_list_svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpenter
sva
l
: update smatch_s
t
ates
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
arpenter
sval: fix some
b
ugs in
add
_
range_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sva
l
: update smatch_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sva
l
: update smatch_math
.
c
to u
s
e range_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpen
t
er
sval:
u
p
d
at
e
s
m
atch_project
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpe
n
t
e
r
sval: update validatio
n
/ to mat
c
h ne
w
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n Carpenter
sval: u
p
d
at
e
check_user
_
da
t
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpent
e
r
sval:
u
pdate check_
p
aram
_
ra
n
g
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Carp
e
n
t
er
s
val:
u
pdate c
h
eck_deb
u
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n Carpenter
sval: u
p
date check_db_info
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carp
e
nte
r
sval: start change
r
ange_lis
t
s to use data_range_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
ranges
:
function_hooks: move in_list_exa
c
t()
t
o function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
penter
sval:
update sm
a
tch_math
.
c to us
e
the new s
v
al range
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n
Carpenter
sval:
c
reate tru
e
/fals
e
_comparison_range_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpenter
sval
:
cut-and
-
paste b
u
g:
using min i
n
stead of max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
ter
sval: create temporary drange_sval_to_drange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpenter
sval: ranges:
int
r
o
d
uce r
a
nges_equiv_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpe
n
ter
s
v
al: create a
l
l
oc_range_perm_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan C
a
rpenter
sval
:
add in
t
erim he
l
pers ll_to_sval() and
drange_to_drange_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
penter
sval: fix absolute
--inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpenter
sval: introduce
estate
_
m
i
n/m
a
x_sval()
a
n
d estat
e
_
get_single_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
ar
p
ent
e
r
sval: update smatch_absolute
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: ranges: int
r
oduce struc
t
data_rang
e
_s
v
al as
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n
C
a
rp
e
nter
sval
:
introduce sval
_
i
s
_min/m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
u
pdate a few ge
t
_value() t
o
g
e
t
_
value_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sv
a
l: update smatc
h
_
capped
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nter
sval: up
d
ate smatch_flow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
a
l: update sma
t
ch_hel
p
er
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
a
r
pente
r
s
v
al: rem
o
ve type_mi
n
/max
(
)
w
h
i
ch
a
re
n
ot used any
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nter
sva
l
: change type_min/max()
=> sval_type
_
min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nter
sval
:
debug: fix rev
e
rsed
if con
d
ition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
C
a
rp
e
n
ter
sva
l
: update
c
heck_sign
e
d
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
er
sval:
ad
d
sval_ty
p
e
_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
penter
sval: fix sval_to_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check
_
snprintf
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al
:
up
d
ate c
h
eck_overfl
o
w
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpe
n
ter
sval: update smatch_buf_size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
penter
sval: implement parse_call
_
math_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sval: create a c
o
uple
s
v
a
l
allocators
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_unwind
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_t
e
mplate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_sizeof_pointer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
u
p
date va
l
idation/sm_propagate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
sval: u
p
date
check_retu
r
n_enomem
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sv
a
l
: upda
t
e check_r
e
t
u
rn_efa
u
l
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpe
n
te
r
sval: update ch
e
c
k
_propagate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
e
n
ter
sval: update
c
heck_proc
_
create
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pent
e
r
sv
a
l:
update check
_
pre
c
e
d
ence
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update
c
h
eck_param_range
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
a
r
pe
n
ter
sval: update
c
heck_or_v
s
_and
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
s
val: update check_mod_timer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
u
pdate check_mems
e
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
sv
a
l: u
p
date chec
k
_log
i
ca
l
_instead_of_bitwise
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
s
v
al:
u
pdate c
h
eck_kmalloc_wrong_
s
ize
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpenter
sval: update check_gfp_dma
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update
c
h
e
ck
_
ge
t
_user_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
s
v
al: up
d
ate che
c
k_fr
e
ein
g
_null
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arp
e
nter
sval: update check_err_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval: upda
t
e check
_
de
r
e
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pent
e
r
sval: update check_debug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sv
a
l: update check_bool_
i
mplications
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
update check_bogus_lo
o
p
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
sva
l
: updat
e
check_bogus_i
r
qrest
o
re
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pent
e
r
sval: update check_bit_s
h
i
f
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
val: update
check_a
s
sign_vs_compare
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
e
nter
sval: update check_allocation_funcs
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update access_
o
k_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
t
e
r
s
v
al: clean up
s
ome na
m
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
r
penter
sva
l
: implem
e
nt
t
he _sval ver
s
ions of
a bunch
of functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carp
e
nter
sval:
dele
t
e ge
t
_
a
bsolute_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval: upd
a
te
g
e
t_absolute_m
a
x
(
) ca
l
ls to
u
se sv
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
ente
r
ma
t
h: mov
e
smatch
_
math
.
c
to use
svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
t
y
pe: suppo
r
t some more types in get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
type: introd
u
ce sva
l
_t
y
pe_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
n
t
er
sval: creat
e
a new b
a
sic storage for storing the va
l
ue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carp
e
nter
unwind
:
only e
n
able with --sp
a
mm
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
db: don't
t
urn RaiseError on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan C
a
r
p
e
nter
dev_queue_xm
i
t: turn on by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpenter
db: add
a
com
m
en
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpenter
signe
d
:
t
i
ny whitesp
a
ce f
i
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
an Carpen
t
er
absolut
e
: fix param
e
ter inf
o
count
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpent
e
r
abs
o
l
u
te: fi
x
how modifications ar
e
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
d
ebug:
fix c
u
t
and pa
s
te bug i
n
p
r
int
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
C
arpenter
t
yp
e
: fix
g
et_binop_
t
ype() for bit
s
hift operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next