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: fix a bug in remove_range_sval()
2012-11-05
Dan Carpenter
s
v
al: fi
x
a bug in
r
emove_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
penter
sval: ex
t
ra
:
change some r
a
nge_
l
i
st s
t
ru
c
ts to ra
n
ge
_
list_sva
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Ca
r
pe
n
ter
sva
l
: upda
t
e fun
c
tion
_
comparison() to take an sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
an Ca
r
penter
s
v
al: ex
t
ra
:
upd
a
t
e
increment/decre
m
ent_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval:
extra: update match_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpenter
sval
:
e
x
t
ra: update c
a
nonica
l
loop code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n C
a
rpen
t
e
r
sval
:
chang
e
th
e
output bac
k
to
t
h
e or
i
ginal for
now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
sval:
e
xtra:
update merge_func
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n
Carpenter
sval: u
p
d
ate filter_
r
ange_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: updat
e
add_filte
r
() to take sval
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carp
e
nter
sval: upd
a
te
fil
t
er_range() to take s
v
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan C
a
rpe
n
ter
r
a
n
ges: remove unused rl_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Car
p
e
nter
s
val: ma
k
e
sval
versions of smatch_es
t
ate
.
c
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
v
al: f
i
x sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: make
rl_
m
in/max_sval(
)
take a range_list_sval
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
er
s
val
:
update smatch
_
db
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Ca
r
pent
e
r
sval: update
smatc
h
_pars
e
_cal
l
_m
a
th
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpenter
s
v
a
l: updat
e
smatch_parse_
c
al
l
_math
.
c to use range_
l
ist
_
svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
C
a
r
penter
sva
l
: update
s
m
atch
_
states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
a
n Carpenter
sval: fix s
o
me bugs in add_range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval:
update smat
c
h_imp
l
ied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpente
r
sval: update
smatch
_
math
.
c t
o
us
e
range
_
list_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval: update
s
m
a
tch_project
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sva
l
: update val
i
dat
i
o
n
/ to
m
atch new o
u
tp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
arpente
r
sval
:
up
d
ate check_us
e
r_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
enter
sval:
u
pda
t
e c
h
e
c
k
_para
m
_
range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
val
:
update ch
e
ck_
d
ebug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
ente
r
sv
a
l: update
check_
d
b_i
n
fo
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
an Carpenter
sval:
s
tart chan
g
e range_lists to
use d
a
ta_r
a
nge_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
range
s
:
funct
i
on_ho
o
ks:
m
ove
in_list_exact() to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpen
t
er
sval
:
update smatch_ma
t
h
.
c
t
o
use th
e
new sval
range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carp
e
nte
r
sval: create true/false_
c
omparis
o
n
_
range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: cut-and-pa
s
te bug:
u
s
i
n
g mi
n
i
n
st
e
ad of max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
arpente
r
s
v
al: create t
e
mporary drange_sval_to_drange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
ter
sval:
ra
n
g
e
s: introduce r
a
n
g
es_equiv_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an
Carp
e
nter
sv
a
l: create alloc
_
rang
e
_pe
r
m_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
an
C
arpenter
sva
l
: add in
t
erim he
l
pers ll_to_
s
va
l
() and drange_to_d
r
ange_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval:
f
ix absolute
-
-info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: introduce estate_min
/
m
a
x
_sval()
an
d
estate_get_si
n
gle_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan C
a
rpente
r
s
v
al:
u
pdate smatch_absolute
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
pente
r
sval: ranges:
introduce struct data_range_sval as
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
sva
l
:
i
ntroduce sval_
i
s_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
sval: update a few get_value
(
)
to get_valu
e
_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpenter
sval: upda
t
e
smatc
h
_
cappe
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
sval:
u
pdate smatch_flo
w
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an
C
arpen
t
er
sval: up
d
a
te smatch
_
h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpe
n
ter
sval:
rem
o
ve type_min/max() which a
r
e not
us
e
d any
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val: chang
e
t
y
p
e
_m
i
n/max() => sval_type
_
m
i
n/m
a
x(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: debug:
f
ix
r
eversed if condi
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an C
a
r
p
enter
sval:
u
p
da
t
e ch
e
ck_signed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: ad
d
s
val_type_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpen
t
e
r
s
v
a
l:
f
ix
sval_to_str
(
)
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 Carpe
n
ter
sval
:
update check_overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Car
p
ente
r
sval: update smatch_
b
u
f
_s
i
ze
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: implement parse_ca
l
l_math_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sva
l
: create
a cou
p
le sval a
l
loc
a
t
o
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
sval: update c
h
eck_unwind
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sval:
u
pdate check_template
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sval: updat
e
chec
k
_
sizeof
_
pointer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
p
e
nter
sval: update
v
alidation/sm_pr
o
paga
t
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpenter
s
v
al:
update check
_
return_en
o
me
m
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
penter
sval: up
d
a
te
che
c
k_return_ef
a
u
l
t
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
sval: up
d
ate c
h
eck_propa
g
a
t
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval: update check_proc
_
cr
e
ate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
sval: upda
t
e chec
k
_
p
r
ecedence
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
s
val: u
p
date ch
e
ck_pa
r
a
m
_ran
g
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check
_
or_
v
s_an
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpent
e
r
sval: upd
a
te c
h
eck_
m
o
d_timer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
rpenter
sval:
update ch
e
c
k
_m
e
m
s
et
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpenter
s
v
al:
up
d
a
t
e
c
h
eck
_
logical_inst
e
ad_of_bitwise
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update
che
c
k
_
kma
l
loc_wrong_size
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carp
e
nter
sval: up
d
ate
c
he
c
k_gfp_dma
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
u
pd
a
te
check_get_
u
se
r
_overflow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
s
val
:
upd
a
te che
c
k_f
r
eeing_nul
l
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
sval: update
check_e
r
r_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sval: update chec
k
_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
p
en
t
er
sval
:
u
pdate check_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Ca
r
penter
sval: update check_bool_impl
i
cations
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
ar
p
enter
sval: update check_bogus_
l
oop
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an
Carpenter
sval: updat
e
chec
k
_bogu
s
_irqr
e
store
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpe
n
ter
sv
a
l:
u
pdate ch
e
ck_bit_sh
i
ft
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval
:
u
p
date c
h
ec
k
_assign_vs_c
o
m
pare
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpente
r
sval: update ch
e
ck_allo
c
at
i
on_funcs
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: u
p
da
t
e access_o
k
_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval
:
c
l
ean up s
o
me namin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
p
e
nter
s
v
al: im
p
lement the _sval ve
r
sions of a bunch of f
u
nct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval
:
de
l
ete get_absolute_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpenter
sval: update g
e
t
_
absolute_m
a
x()
c
al
l
s to use sv
a
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpen
t
er
math: m
o
v
e smatc
h
_math
.
c
to us
e
svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n
Ca
r
pent
e
r
t
y
pe: sup
p
ort some
m
o
r
e types
i
n get_ty
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpente
r
type: introdu
c
e sval_type_
m
ax()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
en
t
e
r
s
v
al: crea
t
e a ne
w
b
asic sto
r
age for st
o
ring th
e
v
alu
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
unw
i
n
d
: onl
y
enable with --spammy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan
C
a
rpenter
db
:
don't turn RaiseError
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carp
e
nter
dev_queue
_
xmit: turn on
b
y
d
e
faul
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
n
ter
db: ad
d
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rpe
n
ter
signe
d
:
tiny wh
i
tes
p
a
ce fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpente
r
absolute: fix
p
aramete
r
info counting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absolute:
f
ix how modifications
a
re han
d
l
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next