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
Carpent
e
r
sval:
update
f
unctio
n
_
comparis
o
n() to
t
a
k
e an sval
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
val: extr
a
:
u
p
date i
n
cr
e
ment
/
decrement_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
s
val: extra: up
d
ate match_assign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
sval: extra: update c
a
nonical loop code
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpen
t
e
r
sval: change t
h
e output back to the original for now
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
sval: extra: update merg
e
_func()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
sva
l
: up
d
a
t
e
f
ilte
r
_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
t
er
sv
a
l: update add_filt
e
r
(
) to take svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: up
d
ate fi
l
ter_r
a
nge() to t
a
ke svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
enter
ra
n
ges
:
r
e
move unuse
d
rl_cont
i
gu
o
us()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sva
l
: make sval vers
i
ons of
s
match_est
a
te
.
c
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carp
e
n
ter
sval: fix sva
l
_cm
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
er
sval:
m
ake
rl_min/max_
s
val() take a
r
a
n
ge_list_sval
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
an Carpenter
sva
l
:
u
pdate smatch_db
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
D
a
n
Carpen
t
er
sval: up
d
ate s
m
atc
h
_parse_call_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
Carpenter
sv
a
l: up
d
ate smatch_parse_call_mat
h
.
c to use
range_
l
ist_
s
va
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpent
e
r
sval: update smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
sval: fix
some bug
s
i
n add_rang
e
_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-01
Dan
C
arpe
n
ter
sval: updat
e
smatch_im
p
l
i
ed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carp
e
nter
sval:
u
pdate smatch_math
.
c to us
e
range_list_s
v
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
an Car
p
en
t
er
sval: up
d
ate smat
c
h_
p
roje
c
t
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
p
e
nter
sval: update val
i
da
t
ion/ to match
n
ew output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Ca
r
penter
sval: update check_user_dat
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpente
r
s
v
al: update
c
heck_param_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n Ca
r
pe
n
ter
sva
l
: update check_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
D
an Carpente
r
sval: upda
t
e
c
heck_db_i
n
f
o
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpente
r
s
v
al: start change ra
n
ge_list
s
to use data_range_sval
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Ca
r
penter
ra
n
ges: functi
o
n_hook
s
:
m
ove
i
n_li
s
t_exact() to functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
va
l
: update smatch_
m
a
th
.
c
to u
s
e the
n
ew sv
a
l
ra
n
ge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
arpen
t
er
sval
:
c
r
eate tr
u
e/
f
al
s
e_com
p
ari
s
on
_
range_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n
Carpen
t
er
s
val: cut-
a
nd-paste
b
ug:
using min instead
o
f max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n C
a
rpenter
sval: creat
e
t
emporary drange_s
v
al_to_dran
g
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Car
p
enter
sval: range
s
: i
n
troduce ra
n
ge
s
_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_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
val: add inte
r
im h
e
lp
e
rs ll_to_s
v
al() and
d
r
a
ng
e
_to_
d
rang
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carp
e
nter
sval: fix abso
l
ute --i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan C
a
rpenter
s
v
a
l: intro
d
u
c
e
e
st
a
t
e_mi
n
/
max_sv
a
l()
a
nd
e
state_get_sing
l
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
C
arpenter
sv
a
l
:
update smatc
h
_a
b
solute
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Car
p
en
t
er
sval: ranges:
i
n
t
roduce struct data_range_sv
a
l as a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
sval
:
introduce sval_is_min
/
ma
x
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
Carpenter
sval: update a few get_
v
alue() to get_value_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
er
sval:
u
pdate smatch
_
capped
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update
s
match_flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
up
d
at
e
smat
c
h_hel
p
e
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: rem
o
ve
t
yp
e
_min/max() whi
c
h are not used any
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: ch
a
nge
t
y
pe_min/max()
=> sval
_
t
y
pe
_
min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nter
sval: debug
:
fix reversed if condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpe
n
ter
sval: updat
e
c
h
eck_signe
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
sval: add sva
l
_type_
m
in()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carpenter
sv
a
l: 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
Da
n
Carpent
e
r
sval:
u
pd
a
te check_overflo
w
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val: u
p
date smatc
h
_buf_size
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
enter
s
val: i
m
plement parse_call
_
m
ath_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
a
rpent
e
r
sval: crea
t
e a couple sval allo
c
ator
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Car
p
e
nter
sval: upda
t
e
check_unwind
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Ca
r
penter
sval:
u
pdate c
h
eck_template
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check_siz
e
of_pointer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpenter
sval:
updat
e
validation/sm_propa
g
ate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
D
an Carpenter
s
v
al: u
p
d
a
te check_return
_
enomem
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carpenter
s
v
al
:
updat
e
check
_
r
e
t
urn_efault
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
upda
t
e check_
p
ropagate
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check_proc_create
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval: update check_pre
c
edence
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
a
rpe
n
t
e
r
sval: update check_param_range
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval:
update
c
h
eck_or
_
vs_and
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update che
c
k_
m
od_timer
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval: update check_me
m
set
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update
c
he
c
k
_lo
g
ical_in
s
tead_o
f
_b
i
twise
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
a
rpenter
sval:
u
pdate chec
k
_
kmal
l
oc_wrong_
s
ize
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpe
n
ter
sval: update check_
g
f
p
_dm
a
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
n
t
er
sval: update check_ge
t
_use
r
_
o
ve
r
flow
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carp
e
nter
sva
l
:
update check_freeing_null
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check_
e
rr
_
ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval
:
upd
a
te check_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
n
te
r
sval: upda
t
e
c
heck_debug
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
ar
p
en
t
er
s
v
al: update
check_
b
ool_im
p
l
ications
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval: update check_b
o
gus
_
loop
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
ent
e
r
sval: u
p
dat
e
check_bogus_irqr
e
store
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval
:
update check_bit_shif
t
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: up
d
a
te
c
heck_assign_
v
s_
c
ompare
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpe
n
te
r
s
val:
update chec
k
_allo
c
ation_funcs
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpe
n
t
e
r
sval: u
p
date a
c
c
e
ss_ok_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carp
e
nter
sval:
c
lean
u
p
some nam
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: implement the _sv
a
l vers
i
ons of a
bunch
of fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
sval: del
e
te
get_ab
s
olute_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sva
l
: update get_abso
l
u
t
e_max()
c
alls to use svals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
math: mo
v
e sm
a
tch_math
.
c to use
s
va
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpen
t
er
ty
p
e
:
s
u
p
p
ort some mo
r
e types i
n
get
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
t
ype: introduce
sval
_
t
y
pe_
m
ax()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: crea
t
e a new basic sto
r
age for
stori
n
g the value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
r
p
e
nter
unwi
n
d:
o
nly
e
nable
w
ith -
-
spam
m
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpe
n
t
e
r
d
b
:
don't tur
n
RaiseError on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
D
a
n Carpenter
dev_queue_
x
m
i
t:
turn
o
n by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Car
p
enter
db:
a
dd a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan
Carpenter
signe
d
:
tiny whitespace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
an
C
arpent
e
r
absolut
e
: fix
p
a
rame
t
er info
countin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpenter
a
bsolute:
fix how modifi
c
a
tions are hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
a
r
penter
debug: f
i
x cut
and p
a
ste
bug in print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan C
a
rpenter
type:
fix
get_binop
_
type() for bit s
h
ift operatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next