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
extra: handle loops where without a hard max that don't have a break
2012-11-12
Dan Carpen
t
er
absol
u
te: use
t
h
e
implied
m
ax be
f
ore the type max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Dan Carpenter
sval: introduce sval_type_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-12
Da
n
Carp
e
nter
s
val: debug: fix re
v
ersed condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
Dan Carpenter
sval: del
e
te old
unused estate_undefined code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-10
Dan Car
p
e
nter
estate: move e
s
tate_get_si
n
gle_value_
s
v
a
l(
)
to smat
c
h_estate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpent
e
r
sval: type
:
search harder from
s
truct
member
t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sva
l
: hack is so get_abso
l
ut
e
_min/max_sval() never
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan
C
arpenter
s
v
al: math: d
o
n'
t
call sval
_
binop
(
) with bogus da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpen
t
er
ext
r
a:
c
l
eanu
p
set_re
l
at
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpe
n
ter
sval
:
type:
remove debug
outpu
t
in get
_
sele
c
t_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Da
n
Carpenter
sval: ha
n
dle ty
p
e
promo
t
ion
in sval_bi
n
op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carp
e
nter
sval: extra:
count
p
ointer types a
s
equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
an
Carp
e
nte
r
sval:
s
i
gned: fix a t
y
p
e
pr
o
motion bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
a
n Carpenter
sval: extra: fall back to
llong_c
t
ype if we don't
know
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan C
a
r
p
enter
sval:
type: declare
type
_
positive_bi
t
s() in
t
h
e smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sv
a
l: type
:
fi
x
get_type() for select statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: extra: cast the para
m
eter info
r
mation
t
o the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpen
t
e
r
sval:
f
uzzy_m
a
x: fix
it to work wit
h
s
v
al
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Carpenter
sval: type: get_type() should handle expressio
n
sta
t
eme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
Dan Car
p
enter
sval: e
x
tra
:
m
ore fixe
s
to match comparis
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-09
D
an C
a
rpent
e
r
sval: math: don'
t
ev
e
n bother
try
i
ng
to divide
b
y zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
pente
r
sval: handle comp
a
rison
s
ag
a
inst zero
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
sval:
pass type information to extr
a
_un
d
ef
i
n
e
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Carp
e
nter
sval: introdu
c
e estate
_
type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
C
arpenter
sval
:
delete unused filter_range_l
i
st() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sv
a
l: v
a
lidation
:
absolute:
ad
d
a couple new thing
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
sval:
extra: absolute: change
ho
w
assign
m
ents are hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Car
p
en
t
e
r
sval: math:
p
utting bog
u
s type i
n
f
ormation o
n
f
a
i
lu
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
va
l
: fix ca
s
t_rl() som
e
more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carpen
t
er
sval: fi
x
a signedness bug in check_si
g
ned
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
sval:
cast UN
O
PS to
t
he rig
h
t type in
smatch_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpe
n
ter
sv
a
l
: intro
d
uce
s
v
al_to_
n
umstr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Carp
e
nter
sva
l
: get
rid of stru
c
t
data_range
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
an Ca
r
penter
sv
a
l: fr
e
e
t
he sval data ranges in
f
ree_data_
i
nfo
_
all
o
cs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carpen
t
er
sval: handle assignments i
n
smatch extra
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
D
a
n Carpent
e
r
sval:
fix
cast_rl() for handlin
g
sing
l
e
v
alu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
v
al: add __s
m
a
t
ch
_
s
v
al_
i
nfo() to check_debug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan
Ca
r
pent
e
r
sv
a
l
: up
d
ate match_co
m
par
i
son() and friends in smat
c
h_extra
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
penter
s
v
al: tempo
r
arily ha
c
k w
h
at sva
l
_to_st
r
(
)
prints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
s
val:
improve
c
a
st
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Car
p
enter
s
v
al: introduce sval_cmp_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carpenter
type: fix a v
a
lidation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Ca
r
p
e
nter
type: make get_type(
)
handle EX
P
R_POSTOP and EXPR_COMPARE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-08
Dan Carp
e
nter
type: introdu
c
e typ
e
_s
i
g
ned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan
Carpenter
t
y
pe: use ty
p
e_posi
t
i
v
e_bi
t
s() in
g
e
t
_
b
i
nop
_
t
y
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
sva
l
:
fix sval_cmp() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
an
C
a
r
p
enter
sv
a
l: int
r
odu
c
e
sval_positive_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
D
a
n C
a
rpenter
sval: f
i
x a bu
g
in handling for loop
s
that count
downwards
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpe
n
ter
sval: remove a w
h
ole_range reference in
s
m
a
tch
_
implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-07
Dan Carpenter
sval: remove some references
t
o who
l
e_range in
check_kernel
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpent
e
r
sval: remov
e
a whole_range refer
e
nce in check_locking
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval: delete u
n
used sval_to
_
ll() fu
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan C
a
r
penter
sval: make w
h
ole_range
_
list_sv
a
l() take a type parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Ca
r
penter
type: intr
o
duce
c
ur_func_return_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpenter
sval:
s
tart getting
ri
d
of
e
xtra_undefi
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
Carpen
t
er
sval:
r
ename absolute_id an
d
make it st
a
tic now
i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
D
a
n
Carpenter
s
val: fix
a
bug in smatch_
a
bsolute
.
c and cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan
C
arpent
e
r
sval: delete some unused da
t
a_range c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpenter
sval
:
u
pdate smatch_f
u
nction_hooks
.
c to u
s
e
d
ata_range_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carp
e
n
t
e
r
sval: delete remaining struct range_list code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Dan Carpe
n
ter
s
val:
create cast_rl() whic
h
casts a range
l
i
st t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-06
Da
n
Carpenter
sval
:
make sval_cast() take a type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
sval: delete
a bunch of "long
l
on
g
" functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
Carpen
t
er
sval: de
l
ete
a
d
d
_ra
n
g
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Ca
r
penter
sva
l
: change
g
et_value_ra
n
ges()
to
g
et_value_ranges_sv
a
l(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delet
e
a bu
n
ch of
unuse
d
stu
f
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: delete clone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: convert est
a
tes to use ra
n
ge_list_sval internall
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
an C
a
rpenter
s
v
al: cr
e
at
e
clone_permanent_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: make an
sval
v
e
rsi
o
n
of whole_range
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sval:
r
emove possibly_true_ra
n
ge_list() and rel
a
t
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Car
p
e
nter
sval: delete unused invert
_
range_
l
i
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: dele
t
e unused rl_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
sva
l
: delete
unused
i
s_whole_ran
g
e_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
r
p
enter
sval: remove unused estat
e
_get_s
i
ngl
e
_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
e
r
sval: cleanup
e
state_get
_
single_v
a
lu
e
_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
D
a
n Carpenter
sval
:
update alloc_d
i
n
f
o_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arp
e
nter
sval: del
e
te a
l
lo
c
_e
s
tate_no_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpente
r
s
v
al: update
r
e
maining ca
l
l
s
to alloc_
e
state_range_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
s
v
al: update remaining
a
lloc_es
t
ate_range() call and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval
:
fix bug in handle
_
a
m
persand()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpent
e
r
s
val: introd
u
ce valid_ptr_
m
in
/
m
a
x
_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpen
t
er
s
v
al:
u
pdate calls to alloc_e
s
t
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
p
e
n
t
er
sva
l
:
delete unused
estate_
r
anges() and estate_
m
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan C
a
rpen
t
er
sval
:
update ca
l
l to estate_min()
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: up
d
ate check_er
r
_ptr_der
e
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpenter
sval: up
d
ate is
_
w
hole_range
(
) to use
s
v
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
pen
t
er
sva
l
: d
e
lete unused range_lists_equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Da
n
Carpen
t
e
r
sval: d
e
lete u
n
used g
e
t_
i
m
p
lied_rang
e
_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan
C
arpenter
s
val: u
p
da
t
e calls to g
e
t_implied
_
range_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carp
e
nt
e
r
sval: create an sval version of
r
ange_l
i
sts_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Carpenter
sval: extra:
convert mat
c
h_c
o
mparison
(
)
to sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-05
Dan Ca
r
penter
sval:
f
ix a
bug in remove_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
s
val: extra: change some range_list structs to range_list_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpe
n
te
r
sval: u
p
d
a
te funct
i
on_com
p
a
r
iso
n
(
) to take an sva
l
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpenter
sv
a
l: extra: update i
n
crem
e
nt/decrement_st
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan 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 Ca
r
pente
r
sval: extra: update canonical
lo
o
p code
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
nter
sva
l
: change
t
he ou
t
put back to the origina
l
for now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpent
e
r
s
val:
extra
:
update merge_func()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next