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: delete unused is_whole_range_rl()
2012-11-05
Dan
Carpen
t
er
sval: d
e
lete u
n
used is_whol
e
_r
a
nge_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
sval: remove
u
nus
e
d estate_get_single_val
u
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l:
cleanup estate_g
e
t_
s
i
ngle_valu
e
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval:
update allo
c
_di
n
f
o_ra
n
g
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete alloc_estate_no_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpe
n
ter
sval: upda
t
e re
m
aining calls to alloc_estate_ra
n
g
e_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval: upda
t
e rem
a
ining a
l
l
o
c_estate_range() ca
l
l and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Ca
r
p
e
n
t
er
sval: f
i
x
bug in handle_a
m
pe
r
s
and()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n
C
ar
p
enter
sval
:
int
r
oduce
valid_pt
r
_min
/
max_sv
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al: upd
a
te calls to a
l
l
oc_es
t
ate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pe
n
te
r
sval: delete u
n
used estat
e
_ranges() a
n
d estate_min
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
s
v
al: u
p
date c
a
l
l
to estate_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
al: update check_err_ptr_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
er
s
v
a
l:
upd
a
te is_whole_range() t
o
u
se svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an C
a
rpenter
sval: d
e
lete unused
r
ange
_
li
s
ts_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpe
n
ter
s
val:
d
e
lete
u
nused get_implied_ran
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpenter
s
v
al: update
calls
to
get_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pe
n
ter
sval: create an sv
a
l version of range_li
s
ts_eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carp
e
nter
sval: extra: convert match_co
m
p
a
rison()
t
o sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
s
v
al
:
fix a b
u
g in
remove_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Ca
r
penter
s
v
al: extra: chang
e
some ran
g
e_list str
u
c
t
s to
r
ange_list_
s
val
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n
Ca
r
penter
s
v
a
l: up
d
ate func
t
ion_compari
s
on()
t
o
take an
sval
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sv
a
l:
extra: update increment/decrem
e
n
t_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpenter
sval
:
e
x
tra
:
u
p
date m
a
tch_assi
g
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
a
r
pent
e
r
sval: e
x
tra: u
p
date canonical loop
c
o
de
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpent
e
r
sval: change the o
u
tput back
to th
e
or
i
ginal for
n
o
w
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Ca
r
penter
sval: ex
t
ra: update merge_
f
unc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
penter
sval: update fil
t
er_
r
ange_l
i
st
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpent
e
r
s
val: update add_filt
e
r() to take
svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Car
p
ent
e
r
sval: update filter
_
r
ange() t
o
take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpente
r
ranges: r
e
move unu
s
ed rl_
c
ontiguou
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
r
penter
sval: make s
v
al versions of smatch_est
a
te
.
c fu
n
cti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
s
v
al
:
fix sval
_
cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
D
an Ca
r
p
enter
sval
:
m
ake rl_min/m
a
x_sv
a
l
(
)
tak
e
a
r
ange_lis
t
_sval
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: upd
a
te s
m
atch_db
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
Ca
r
p
e
n
ter
sval: update sma
t
ch_pa
r
se_call_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpenter
s
val: update smatch_par
s
e
_
call_
m
ath
.
c to use range_lis
t
_s
v
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: update smatch_
s
tat
e
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpen
t
er
sval: fi
x
some b
u
gs in add
_
ran
g
e
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carp
e
n
t
e
r
sval
:
update smatch_
i
mplied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
val:
update smatch_
m
ath
.
c
to use
r
an
g
e_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carp
e
nter
sval: update smat
c
h_project
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
p
enter
sval: u
p
date val
i
dation/ to mat
c
h new
o
utpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
a
rpenter
s
va
l
:
up
d
a
t
e chec
k
_user_da
t
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n
Carpenter
sval: update check_p
a
ram_range
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan C
a
rpen
t
er
sval: up
d
a
t
e check_debug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
v
al: update check_db_inf
o
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Ca
r
penter
sval: start ch
a
nge range_lists to use dat
a
_range_
s
val
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
ter
ra
n
g
e
s
:
f
u
n
c
tion_hooks: move in_list_exact() to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: update smatch_
m
ath
.
c to use
t
he
new sval r
a
nge
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sv
a
l:
create true
/
false_comparison_range
_
sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
sval
:
cut-and-paste bug: using min inst
e
ad of max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
sval:
create temporary dra
n
ge_sv
a
l_to_
d
ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
arpenter
s
v
al:
range
s
: in
t
roduc
e
ranges_equiv_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: cre
a
te alloc_range_perm
_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
val:
a
d
d
interi
m
h
e
lpers ll
_
to_sval() and drange_to_drange_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Car
p
enter
sval: fix a
b
solute
--info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpent
e
r
sval: introduce estate_
m
in/max
_
sval() and estate_get_single_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpen
t
er
sval: up
d
ate s
m
atch_ab
s
olute
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carpenter
sv
a
l: ranges: introduce str
u
c
t
dat
a
_r
a
nge_sval as a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: intr
o
duce sval
_
is_
m
in/max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
sval: update a few g
e
t_value() to get_v
a
lue
_
sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update smatch_
c
apped
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sval:
u
p
d
ate
s
m
atch_
f
low
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
sval: up
d
ate smatch_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
Carp
e
n
t
er
sval: remove type_min/max(
)
which are not used
any
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval: ch
a
n
ge type_min/ma
x
() => sval_type_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Ca
r
penter
sva
l
: deb
u
g: fi
x
reversed if
c
o
n
d
i
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
penter
sval: update check_signed
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpenter
sval: add sval_t
y
pe_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
s
val: fix
sval_to_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
a
rpen
t
er
sval: update
c
heck_sn
p
rint
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carp
e
nter
sv
a
l
:
update check_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nter
sval: update smatch_b
u
f_size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sv
a
l: imp
l
ement parse_call_math_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpe
n
ter
sval: create a
couple sval
a
llocators
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval
:
u
pdate check_unwi
n
d
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
pe
n
ter
sval: update check_templa
t
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpenter
sva
l
:
update check_sizeof_pointer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
Carpent
e
r
sv
a
l: update validation/sm_propagat
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
sval: update check_retur
n
_enomem
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al: up
d
ate check_ret
u
r
n
_
efault
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval: update check_
p
rop
a
ga
t
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sva
l
: u
p
d
ate check_proc_create
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sva
l
: u
p
d
ate check_pr
e
cedence
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
a
rpenter
sva
l
: update
c
heck_par
a
m_ra
n
ge
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Ca
r
penter
sv
a
l: up
d
ate c
h
eck_
o
r_vs
_
and
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
a
rpenter
sval: upda
t
e check_m
o
d_tim
e
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval
:
u
pda
t
e check_memset
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpen
t
er
sval:
update
c
h
e
c
k_
l
o
g
ical_instead_of_bi
t
wise
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an
Carpe
n
ter
sval: update check_km
a
lloc_
w
rong
_
size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: updat
e
c
h
e
c
k
_
g
f
p_dma
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
s
v
al: up
d
ate
c
hec
k
_get_user_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
sv
a
l:
update check_
f
re
e
in
g
_null
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpe
n
te
r
sval: u
p
da
t
e c
h
eck_err_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
u
pd
a
te check_dere
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an
Carp
e
nt
e
r
s
val: upda
t
e check_
d
ebug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpenter
sva
l
: update check_boo
l
_implications
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpen
t
er
sval: update check_bogus_l
o
op
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
enter
sval: update
c
heck
_
bogu
s
_irqrestore
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next