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
states: introduce get_all_state_slist()
2012-11-05
Dan
Ca
r
penter
sval: cleanup estate_
g
et_single_value_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pe
n
te
r
sval: upd
a
te allo
c
_d
i
nfo
_
rang
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
s
v
al: delete alloc_es
t
ate_no_n
a
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pente
r
sval: u
p
da
t
e rema
i
ning cal
l
s to alloc_es
t
at
e
_ran
g
e_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update r
e
maining alloc_estate_
r
an
g
e() c
a
ll an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sv
a
l
:
fix bug in handle_ampersand()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
C
arp
e
nter
sv
a
l:
i
ntrod
u
ce
v
a
lid_ptr_min
/
ma
x
_
s
v
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l: update calls
to allo
c
_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: dele
t
e
u
nused estate_ran
g
es() and estate_m
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an C
a
rpen
t
er
s
val: upda
t
e call to estate_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: update check_err_ptr_
d
eref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
arpenter
sval:
update is_whole_range() to use svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
e
nter
sval: dele
t
e unu
s
e
d ra
n
ge_lists_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
C
a
rpent
e
r
sva
l
:
d
el
e
te unused get_implied_ran
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: update cal
l
s to get_implied_
r
ange_
l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
sval:
cre
a
te an sva
l
version of rang
e
_li
s
ts_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carp
e
nter
sva
l
:
extra: con
v
e
rt match_co
m
p
arison() to sv
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an
Carpe
n
ter
sv
a
l: fi
x
a
bug in remo
v
e_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
v
a
l: extr
a
: change s
o
m
e ra
n
ge_li
s
t
stru
c
ts to range_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpen
t
e
r
sv
a
l: upda
t
e
f
unction_compa
r
ison() t
o
t
a
ke an sval
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
C
a
rp
e
nter
sval: extra: upd
a
te increment/decrement_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
v
al: ext
r
a:
update
matc
h
_assi
g
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
en
t
er
sval: extra: update can
o
n
i
cal
l
oop co
d
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpenter
sval:
c
hange
the output back to
t
he original for now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
s
v
al: extr
a
:
u
p
d
ate
merge_
f
unc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: updat
e
filter_range
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: update
a
dd_filter() to t
a
ke sval
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: up
d
ate filter_
r
ange() to take
svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpente
r
ra
n
ges: remove unused rl_con
t
iguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
sval: make sval ver
s
ions of
s
match_estate
.
c functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: fix sva
l
_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Car
p
en
t
er
sval: m
a
ke rl_min/ma
x
_s
v
al()
tak
e
a
range_
l
ist_sval
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval:
u
p
d
a
te smatch_db
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
Carpen
t
er
sval: update s
m
a
t
ch
_
pa
r
s
e_call_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carp
e
nter
s
val:
update smatch_parse_call_math
.
c to use
range_list_svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sv
a
l
:
u
p
date
s
match_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: fix s
o
me
b
ugs in
a
dd_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpe
n
t
e
r
sval: u
p
date smat
c
h_
i
mp
l
ied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpenter
check_precedence:
fix a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
Carpe
n
ter
sval: updat
e
smatch_
m
ath
.
c to use
r
a
nge_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
arpenter
sva
l
: update
smatch_p
r
oject
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
Carpenter
sval: upda
t
e v
a
lidation/ to match
new output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Da
n
Carpenter
sval
:
update check_user_
d
a
ta
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
an
C
ar
p
ente
r
sval: update c
h
eck_para
m
_ran
g
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n Carpenter
sva
l
: update check_d
e
bug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
enter
sval: updat
e
c
h
e
ck_db_info
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
an Carpenter
sv
a
l: start change range
_
lists to use data_range_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
ter
ranges: funct
i
on_hooks: move in_list_exac
t
() to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
penter
sval: u
p
date smatch_math
.
c
t
o use th
e
ne
w
sval ra
n
ge
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
t
e
r
sval:
c
rea
t
e true/
f
alse_comparison_range
_
s
v
a
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Car
p
en
t
er
sval: c
u
t
-
a
nd-paste bug: using min ins
t
ea
d
of max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval:
create
temporary drange_sval_to_drange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carp
e
nter
sval
:
ran
g
es:
in
t
roduce ra
n
ge
s
_equiv_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan C
a
rpent
e
r
sval: create
a
lloc_range_pe
r
m_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpe
n
ter
s
val: add inter
i
m helpers
l
l_to_sval() and drange_t
o
_
drange_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpente
r
sval: fix absol
u
te --i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
t
e
r
sval: introduce est
a
te_min
/
max_s
v
al(
)
and
estate
_
get
_
sing
l
e_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
pe
n
ter
sval: upd
a
te smatc
h
_absolut
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpen
t
er
sval: rang
e
s
: int
r
oduce struct data_range_sval as a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpen
t
e
r
s
v
al:
introduce sval_i
s
_mi
n
/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carpenter
s
v
al: update a few ge
t
_value() to get_value_s
v
al
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval
:
u
p
date smatch_capped
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sval: update smatch_flow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpe
n
ter
sva
l
: update s
m
atch_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: remove type_min/max() which
are
n
ot used any
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Ca
r
penter
sval: change type_m
i
n/m
a
x() => sva
l
_
type_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sv
a
l: debug:
fix re
v
ersed
i
f cond
i
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
p
enter
sval: update ch
e
c
k
_sign
e
d
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sva
l
: add sv
a
l_type_min(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval
:
fix sval_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val: up
d
a
te check_
s
np
r
i
n
t
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
Carpente
r
sval: update c
h
eck_ov
e
rflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sval:
up
d
ate smatch_buf_siz
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: im
p
lement
p
a
rse_call_math_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nter
s
v
al: create a couple sval al
l
ocato
r
s
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 Carpente
r
sval: up
d
ate check_template
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Ca
r
penter
sv
a
l: update
check_sizeof_pointer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carpenter
sval: updat
e
vali
d
a
t
ion/sm_pro
p
agate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
er
sval:
up
d
ate chec
k
_re
t
u
r
n_enomem
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
er
sval: update chec
k
_re
t
ur
n
_efault
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
u
pdate ch
e
ck_pr
o
paga
t
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval: update
check
_
proc_create
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sval: upda
t
e check_
p
recedence
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpente
r
sval: update check_param_range
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
sval: update check_or
_
vs_and
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
sval: update check_
m
od_time
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
sval: update chec
k
_
m
e
mset
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update ch
e
ck_logical_instead_of_bitwise
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sval: up
d
ate check_kmalloc_wr
o
ng_siz
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
a
l: update che
c
k
_gfp_dma
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
val: update che
c
k_ge
t
_use
r
_
o
verflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpente
r
s
v
al: u
p
da
t
e
check_free
i
ng_nul
l
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpent
e
r
s
va
l
:
u
pd
a
te check_err_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpente
r
sval: update
c
heck_
d
e
re
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
r
penter
sval:
update
check_debug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an Ca
r
p
enter
sval: update c
h
eck
_
b
ool_implications
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
s
val:
update
check_bogus_loop
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
e
nte
r
sval: update ch
e
ck_bogus_
i
rqre
s
tore
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: upda
t
e check_bit_shif
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next