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
hooks: add a SIZEOF_HOOK
2012-11-08
Dan
Carpe
n
ter
s
val: dele
t
e
u
nused filte
r
_rang
e
_list() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpent
e
r
sval: val
i
dat
i
on: absolute: add a
c
ouple new things
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sv
a
l: ext
r
a: absolute:
c
hange how ass
i
gnments are h
a
n
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpenter
s
v
al: math: pu
t
ting bogus typ
e
information on failure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carp
e
nter
sva
l
: fix
cast_rl() some
more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
ter
sval: fix
a si
g
nedness
bu
g
in ch
e
ck
_
signed
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: ca
s
t UNOPS
t
o the r
i
ght type in smatch_mat
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carpenter
sva
l
: introduce sval_t
o
_num
s
t
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: get
r
i
d of struct data_rang
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
p
e
nter
sval: free the sval dat
a
ranges in free_data_info
_
allocs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
sval: handle assignme
n
ts
i
n smatch extra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval: fi
x
cast_rl() f
o
r
h
andling
single values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carpenter
s
val: a
d
d __smatch_sval_info() to
c
h
e
ck_debu
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
s
val: up
d
ate match_comp
a
rison(
)
and f
r
iends
i
n smatch_extra
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sval:
t
e
mpora
r
ily hack w
h
a
t sval_to_str() prints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Da
n
Carpente
r
sval:
i
mpr
o
ve
c
a
s
t_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
s
val: i
n
t
r
oduce sval
_
cmp_
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan C
a
rpent
e
r
t
y
pe:
f
i
x a valida
t
ion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type:
make get_type() handle EXPR_PO
S
T
O
P a
n
d EXP
R
_COMPARE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type: introduce type_signed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
Carpente
r
type: use t
y
pe_p
o
s
itive_bi
t
s() i
n
get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
C
arpenter
s
val: fix sval_cmp() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
Carpente
r
sval: introd
u
ce s
v
al_positive_b
i
ts()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Car
p
ente
r
s
val
:
fix a bug
i
n ha
n
dling
for loops t
h
at
c
ount downwards
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sv
a
l: r
e
m
o
ve a whole_ra
n
ge refe
r
ence
i
n sm
a
tch_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
sv
a
l
:
remove so
m
e refe
r
ences to whole
_
ra
n
ge
i
n
check_kernel
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: remove a
w
ho
l
e_
r
ange reference in check_l
o
ck
i
n
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n Carpenter
sval:
delete unu
s
e
d
sval_to_ll() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: m
a
ke
w
hole_
r
ange_
l
ist_sval() ta
k
e a
t
y
p
e param
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Ca
r
pente
r
type: introduce cur_
f
unc_return_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
sval: start getting
r
id of extra_undefine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
sval: re
n
a
me absolute_i
d
and make it static now it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
s
v
al:
fix a bug
in
s
match_absol
u
te
.
c and
c
leanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
s
v
a
l:
d
ele
t
e some unused data_
r
ange
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Ca
r
penter
sval: update
s
m
atch_functi
o
n
_hooks
.
c
to use data_range_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
an Carpe
n
ter
sval:
d
elete remaining stru
c
t
range_list co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpenter
sval: c
r
ea
t
e
c
a
st_
r
l() which casts
a
rang
e
list t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Car
p
e
n
ter
s
v
al: make sval
_
cast() take a
t
yp
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpente
r
sval: dele
t
e a bu
n
ch o
f
"long long" functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nter
s
v
al:
d
elete a
d
d
_
range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an Carpenter
sv
a
l:
c
hange ge
t
_value_ranges() to get_va
l
u
e_ranges_
s
v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Ca
r
penter
sval:
del
e
te a bunch of unuse
d
s
t
uff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
: d
e
let
e
clone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
:
convert e
s
tates to use range_lis
t
_sval internally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
v
a
l: create clone_
p
e
rm
a
nent_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
s
val: make an sval
v
e
rsion of whole_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sva
l
: r
e
mo
v
e
possibly_
t
rue_range_list() and related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpent
e
r
sval: del
e
te unused invert
_
range_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpenter
sva
l
:
delete un
u
sed r
l
_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval: delete unused is_whole_ra
n
ge_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpen
t
er
sval: r
e
move unu
s
ed esta
t
e_g
e
t
_single_valu
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval:
cleanup estate_get_single_val
u
e_sv
a
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval:
u
pdate alloc_dinfo_
r
ange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
s
v
al: del
e
te allo
c
_
e
state_
n
o
_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpen
t
er
sval:
u
p
d
a
t
e
remaining calls
to
a
lloc_esta
t
e_ra
n
ge_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update remaining all
o
c_
e
stat
e
_ra
n
ge() call
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sv
a
l: f
i
x bug in handle_amper
s
and()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpente
r
sval: in
t
roduce valid_ptr_min/
m
ax_s
v
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: update calls t
o
al
l
oc_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carp
e
nter
sval:
d
elete unused
e
state
_
ran
g
e
s() and
e
state_mi
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
s
v
a
l
: update
c
all t
o
estate_min(
)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sva
l
:
up
d
a
te
c
heck_err
_
ptr
_
deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: update i
s
_whol
e
_ra
n
g
e() to
use
s
vals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval: delete
u
nused range_li
s
ts_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delet
e
u
n
used get_impli
e
d
_range_
l
ist
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
a
r
pent
e
r
s
v
al: update calls
t
o get
_
implie
d
_range_lis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: cre
a
t
e an
s
val versio
n
o
f range_lists_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: extra: convert match_compa
r
ison() to sv
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
sval:
f
ix a
b
ug in r
e
move_r
a
nge_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extra
:
ch
a
nge
s
om
e
range
_
list
s
tructs
t
o ran
g
e_list_s
v
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpenter
sval: update function_comparison() to take a
n
sval
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpen
t
e
r
sval: extra:
update
increment/d
e
crement_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval:
e
xtra
:
u
pdate match
_
a
ssig
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpen
t
er
sval
:
extra: update canoni
c
al lo
o
p code
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
sval
:
change
the output back to
the original for now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: extr
a
: updat
e
merge_func()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
v
al:
u
pdat
e
f
i
l
ter_range_lis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
C
arpen
t
er
s
v
a
l: update add_filter() to
take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
D
a
n Carpenter
sval: update fi
l
ter_range(
)
to take
svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpente
r
ranges: remove unu
s
e
d
r
l_c
o
ntiguou
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
e
n
ter
sva
l
: make sval ve
r
si
o
ns of smat
c
h_esta
t
e
.
c
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpent
e
r
sval: fix sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpe
n
te
r
sval
:
mak
e
rl
_
min/ma
x
_
s
val() take a rang
e
_list_sval
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpent
e
r
sval: u
p
d
at
e
smatch_db
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan C
a
rpenter
sval:
up
d
ate smatch_parse_call_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Ca
r
p
enter
sval:
upda
t
e sma
t
ch_parse
_
call_math
.
c to use
r
ange_
l
ist_s
v
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
Car
p
en
t
er
s
val:
update
s
match_sta
t
es
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carp
e
n
ter
sval: fix some bugs i
n
add_ran
g
e_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Da
n
Carpenter
sval: upd
a
te smatc
h
_implie
d
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
check_p
r
ecedence: fix a
segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
e
n
ter
s
val: update smatch_math
.
c to use range_list
_
s
v
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpen
t
er
sval: up
d
ate smatch_
p
r
o
ject
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Car
p
enter
s
v
al: update va
l
i
d
a
t
io
n
/ to mat
c
h
n
ew output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n
C
arpenter
sval
:
update c
h
eck_user
_
data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
s
val
:
u
p
d
ate check_param_range
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan
Carpen
t
er
sval: update check_debu
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpenter
sval: update
check_db
_
in
f
o
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
an Carpenter
sval: st
a
rt change range_lists
to
us
e
data_r
a
nge_
s
val
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
r
anges: funct
i
o
n
_hooks: move in
_
lis
t
_exact() to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpen
t
er
s
v
al: update smatch_math
.
c to use the new sval ra
n
g
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next