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
parse_call_math: update to new return_states API
2012-12-05
D
a
n Carpenter
parse_ca
l
l_math: update to new return_stat
e
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
u
s
er_data: move to
t
he r
e
tu
r
n_sta
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
rpenter
extra:
m
ove return_value_pa
r
am
to the new
r
eturn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Car
p
en
t
er
s
tates: introdu
c
e g
e
t
_
all_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpe
n
t
e
r
d
b
:
call return_states
at t
h
e end o
f
the function i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b: fix return
ranges for the return_st
a
t
es
c
allbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpe
n
t
er
d
b: cha
n
ge print_returned_struct_
m
embe
r
s(
)
to ne
w
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
db: introduce add_returned_state_callb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
db: pass the return_id
to the struct member ca
l
lbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Ca
r
penter
modification_hooks
:
handl
e
i
n
l
ine
a
s
sembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
info:
dereferen
c
es_param: pri
n
t the dere
f
erences
e
v
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan C
a
rpen
t
e
r
db: handle global fun
c
t
i
o
n assi
g
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra: i
n
fo: don't print empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
an Ca
r
penter
absolute
:
use get
_
implied_m
i
n
() i
n
stead o
f
get_i
m
plied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carpente
r
e
x
tra: sav
e
more modified pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carpenter
db: chan
g
e smdb_r
e
turn_in
f
o
.
sh to smd
b
_
re
t
ur
n
_va
l
ues
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
en
t
er
e
x
tra: db: record when people modify pointers passe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
C
a
r
pente
r
extra:
m
ove --
i
nfo hooks later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpent
e
r
db: move free_slis
t
(
) inside t
h
e loop and fix
a
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
helpe
r
:
introduce get_param_num_from_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
an Carpen
t
e
r
db: save st
r
uct
m
ember val
u
es across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
ty
p
e: ren
a
m
e get_p
a
ram_ty
p
e_
f
r
om_key() => get_member
_
type_
f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
penter
f
l
ow: implied: fix
how switch statements are handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
generisize
.
pl: remove u16max a
n
d fr
i
en
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Car
p
e
n
t
e
r
extra: tweak handling of
a
b
so
l
ute min/max in comp
a
risons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
Carpenter
math: i
g
nore fuzzy maxes that are type_m
i
n
() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
ma
t
h: overflo
w
implies
t
hat
there i
s
no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
math:
overflows
in
h
a
r
d max are undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a:
h
a
nd
l
e loops where
w
ithout a hard max
t
hat don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: cl
e
ar hard max i
f
we are falling
b
ack to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: get
max c
o
rrec
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a: set hard max co
r
re
c
tly in loo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
extra:
if (unsigned
>
=
un
s
igned) {: Alw
a
ys
t
r
ue if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: check for o
v
e
r
f
lows when calcul
a
t
i
ng
the m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpente
r
conditi
o
ns: pres
e
rve the
t
ype in select assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
t
ype:
c
leanp get_member_symbol(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
e
x
t
r
a: type: g
e
t the me
m
ber
t
yp
e
when loading values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
debug: add
_
_sma
t
ch_debug_implied
_
on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpe
n
ter
debug: introduce local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra: reverse max(
)
/m
i
n
() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carpente
r
sval: ha
n
dle
canonical fo
r
l
oop
s
d
i
ffere
n
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
enter
sval: convert SHRT_MAX to s1
6
max i
n
the outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpenter
f
unction_hooks: cons
i
der the ret
u
rn type of the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extra:
remove
s
o
m
e du
p
lic
a
te
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
math: change how MO
D
operations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpent
e
r
math: cou
n
t some more things
as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpent
e
r
e
x
t
ra: type: move get_a
r
ge
_
type() to smatch_
t
y
p
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
p
ente
r
e
x
tra
:
math: move get_implied_rang
e
_list()
t
o smatch_
m
at
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sva
l
:
e
xtr
a
:
get_imp
l
ied_r
a
nge_
l
ist()
r
et
u
rn who
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
scripts: trace pa
r
ams use 4 sp
a
c
e indents consisten
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: math: fi
x
get_value() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
ent
e
r
check_s
i
ze
o
f
_poi
n
te
r
: c
o
m
plain about size
o
f(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
hooks: add a
S
IZEO
F
_HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: make cast_rl() preser
v
e thi
n
gs better
a
cr
o
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n C
a
r
p
enter
sval: typ
e
: handl
e
type
_
b
i
ts
(
) fo
r
a
d
dresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
s
va
l
: type: use typ
e
_bits() thro
u
gh out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
ente
r
sval: fixup
calls to sval_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nt
e
r
sval:
t
yp
e
: hack select
t
ypes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
e
x
tr
a
: remove debugg
i
ng
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
sval: ad
d
sval_is_
n
egat
i
ve()/p
o
sitive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpen
t
er
sval:
t
a
k
e
the type
into con
s
i
d
e
r
ation when doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval: cast
t
h
ings
c
or
r
ectly in s
v
al_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
B
a
rt
Van
Assch
e
sval: uninitia
l
ized va
r
iable
w
arning
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpenter
flow: hooks: fix MACRO
_
A
S
SI
G
NMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
an Ca
r
penter
flow:
h
ooks: introduce
G
L
O
BAL_ASSIGNMEN
T
_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval:
introduce sval_bits_used()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
type: intro
d
uce type_
b
its()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
Merge branch 'sval' into merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval:
ranges:
s
e
t
c
orrect max in ca
s
t_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
e
r
sval: db: cast pa
r
a
meters to
the correct t
y
pe befo
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpe
n
ter
sval: extra
:
handle ass
i
gnments
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: cast
t
h
e r
e
tur
n
types befor
e
enter
i
ng
them into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
sval: extra: type
in
f
ormatio
n
was being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
sval: flip the s
w
itc
h
and
do
n
'
t
use s32min-s32max instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
val: sig
n
ed: fix
v
alida
t
i
on test
a
nd u
p
date format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
validation
:
sig
n
ed: updat
e
va
l
i
dation test to reflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wolfra
m
S
a
n
g
Makefile: d
r
op superfluous
trailing '
/
'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: cleanup s
o
me
nami
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: add fuzzy_max and fuz
z
y_m
i
n to implied_opposite()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpent
e
r
sva
l
: math: fix how negat
e
operations are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
an C
a
rpenter
sval
:
absolute: fix reversed condi
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an Carpenter
sval: you're not allowed to divide LLON
G
_MI
N
by -
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
rpenter
sval: f
i
x p
a
rse_va
l
ue_ranges_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval:
r
e
-i
n
tro
d
uce s
v
al
_
i
s
_a_min() s
v
a
l
_i
s
_a_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpe
n
te
r
s
val
:
don't in
v
ent bogus range in
a
lloc_range
_
hel
p
er_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
a
rpente
r
sv
a
l: us
e
typ
e
d v
e
rsion of pars
e
_va
l
ue_r
a
nges
(
) throughout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpen
t
er
sval: move cas
t
_rl()
i
nto parse_value_range
s
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
Carpenter
cleanup: ma
k
e
type th
e
first
a
rgument of sval_cast()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
r
p
enter
cleanup: math: ren
a
m
e a variable from "
t
mp_ret" to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpente
r
clean
u
p:
m
ake type the f
i
rst argument for c
a
st_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carp
e
nter
cleanup:
rename poss
i
bly_false_range_
l
ists_r
l
()
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpente
r
cleanup: rename get_value
_
r
a
nges() t
o
parse_value_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
rpenter
s
v
al
:
r
emov
e
the _s
v
al() from
a
lloc_est
a
te_
r
a
n
ge_s
v
al
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
v
a
l
:
re
m
ove t
h
e
_
sval() from tack_on_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an C
a
rpenter
sval:
r
e
m
o
ve
t
he _sval() from alloc_range_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpenter
sval:
r
emove the _sval
(
)
f
rom true/fal
s
e
_compa
r
ison_ra
n
ge_lr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Car
p
en
t
e
r
sval: remove the _sval() from es
t
a
te_g
e
t_
s
in
g
le_value_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
t
e
r
sval: remove
the _sval(
)
from ran
g
e_list_un
i
on_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Ca
r
penter
sval: remove
t
he _sv
a
l() from
estate_min/max_
s
val
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
sval: remove th
e
_sval() from estate_ranges_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next