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
Dan C
a
rpenter
pa
r
se
_
cal
l
_math: update
t
o new return_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an
Carpenter
user
_
d
ata: move to the retu
r
n_states A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
extra:
m
ove return_
v
alue
_
param
to the
new return_stat
e
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
n
ter
st
a
t
e
s: introd
u
ce ge
t
_
all_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpenter
db: cal
l
return_st
a
t
e
s
a
t the e
n
d of the function if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpenter
db: fix return ra
n
ge
s
for the ret
u
rn_states callb
a
cks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b
: change p
r
int_return
e
d_struct_members() to new
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
d
b
: int
r
o
duce add_returned
_
state_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
d
b
:
pass th
e
ret
u
rn_id to the
struct me
m
b
e
r
callback
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
modificat
i
on_
h
o
o
ks: han
d
le inline a
s
s
e
mb
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
info: der
e
ferences_
p
aram: print the der
e
fere
n
ces even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan
C
arpenter
db: ha
n
dle global functio
n
a
ssign
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan
C
a
rpe
n
ter
extr
a
:
i
nfo
:
do
n
't print empty
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan C
a
rpenter
absolute: use get_im
p
lied_min() instead of get_impl
i
e
d_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
an Car
p
e
nter
extra: save
m
ore modified pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: change smdb_return_info
.
sh to smdb_retu
r
n_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra:
d
b: record when people m
o
d
ify pointers
passe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
an Ca
r
penter
ex
t
r
a
: move --
i
nfo hooks
later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpe
n
t
e
r
db: move free_s
l
ist() ins
i
de the loop and fix a memor
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
er
hel
p
er:
i
ntroduce
g
et_
p
aram_n
u
m
_
from
_
sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db:
s
a
ve s
t
ruct member
value
s
across r
e
tur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
an Ca
r
penter
t
y
pe: rename get_param_type_from
_
key()
=
>
g
et_
m
ember_type_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
enter
f
low:
i
mplied: fix how
s
witch statem
e
n
t
s
a
re
h
andle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Ca
r
pent
e
r
generisize
.
pl: remove u16ma
x
a
nd
f
riend
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpenter
extra
:
tweak
h
andling of a
b
solute
min/max in c
o
mpar
i
sons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Ca
r
penter
m
ath: ignore fuzzy maxes that
a
re type
_
min() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math
:
ove
r
f
l
ow i
m
plies that there is no fuzzy
m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: o
v
erflows in hard max are
u
n
d
efined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an C
a
rpent
e
r
ext
r
a: handle loops where without a hard max that don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: clear hard max
i
f we are falling back to th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extr
a
: ge
t
max correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
extr
a
: set
hard
m
ax correctly in
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Ca
r
p
e
nter
extra
:
if (unsigned
>=
u
n
signed) {: Al
w
ays true
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carp
e
nter
ma
t
h: che
c
k
fo
r
overflo
w
s whe
n
ca
l
c
ul
a
ting the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
conditions: preserve the type i
n
sel
e
c
t
assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an
Ca
r
penter
type: cleanp
get
_
m
ember_symbo
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpen
t
e
r
e
x
t
ra: typ
e
: get the member
ty
p
e when load
i
ng
v
alues
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
d
e
b
u
g: a
d
d __
s
match_debug_implied_on
/
of
f
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
de
b
u
g: introduc
e
l
o
ca
l
_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pen
t
er
extr
a
: r
e
ver
s
e max()/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carpenter
s
v
al: handle can
o
nica
l
for
l
oops
differ
e
nt
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
s
v
al: convert
S
HRT_MAX to s16max in the o
u
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
p
e
nter
functi
o
n_hooks: consider the ret
u
r
n type o
f
the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
e
xtra: remove some duplica
t
e
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpen
t
er
math: change how MOD ope
r
ations are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math: count
s
ome more things a
s
implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
ex
t
ra: type: m
o
ve get_arge
_
type() to
smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpen
t
er
extra: math
:
mo
v
e
get_implied_ran
g
e_list()
t
o
smatch_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
s
val: extra: get_imp
l
ied
_
r
a
nge_list
(
) return whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
pe
n
t
e
r
scripts: trace params use 4
s
p
a
ce i
n
den
t
s
consistently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
e
r
sval: math: fi
x
get_value() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
che
c
k_sizeof_pointer:
c
ompla
i
n about sizeof(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hooks:
add a SI
Z
EOF_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval
:
m
a
ke c
a
st_r
l
() preserve things better across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sva
l
: type: handle typ
e
_
bi
t
s() fo
r
add
r
esses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type: use type
_
bits() through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpent
e
r
sval: fixup calls t
o
sval_cmp
_
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
sval: type:
h
ack s
e
lect types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
extr
a
: rem
o
v
e debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arp
e
nte
r
sval: ad
d
s
v
al_
i
s_negat
i
ve(
)
/positive(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
n
t
er
sval: take the type
i
n
to consideration when
d
oing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpenter
sval: cast things cor
r
ectly in
s
val_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Ba
r
t Van
Assche
sval: unin
i
tia
l
ized v
a
riable warning
commit
|
commitdiff
|
tree
2012-11-17
Dan Car
p
ente
r
flow: hooks: fix MACRO_ASS
I
GNM
E
NT_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpenter
flow: hooks: introduce GLOBAL_ASSIGNMENT
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n Car
p
e
nter
sval: intr
o
duce
sval_bit
s
_use
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
p
enter
t
ype: in
t
roduc
e
type_bits(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
Merge
b
r
anch 'sva
l
' in
t
o
m
erge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
p
e
nter
sval:
r
ang
e
s: set correct
m
ax in cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan C
a
rpente
r
sval
:
db: cast parame
t
ers to the corre
c
t typ
e
before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpente
r
s
v
a
l
: extra: handle assignments bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpen
t
er
sval: cas
t
t
h
e return types
b
efore enteri
n
g them i
n
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval
:
extra: type
infor
m
at
i
on was being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
val: flip the
switch an
d
don
'
t u
s
e s32min
-
s32max
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: signed
:
fi
x
v
alidatio
n
test an
d
u
p
da
t
e format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
valid
a
tion: signed: updat
e
validation test to reflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wolfram Sang
M
a
kefile: dr
o
p superf
l
uous traili
n
g '/'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: cl
e
anup
some
n
a
ming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan
Carpente
r
m
ath: add fuzzy_max and fuzzy_min to impl
i
ed_oppos
i
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
sval: math: fix how negat
e
operations
a
re
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
Carpe
n
ter
sval: absolute: fix
r
everse
d
con
d
i
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
pen
t
er
sval: you'
r
e not allowed to divide
LL
O
NG_MI
N
by
-1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpenter
sval: fix parse_value_ranges_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
sval: re-introdu
c
e
sv
a
l_is_a_min() sval_is_a_max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
a
r
penter
sval: don't invent bogus rang
e
in al
l
oc_range_helper_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval
:
u
s
e typed version of par
s
e_value_r
a
nges() t
h
roughou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: move cast_rl
(
) into parse_value_ranges_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
C
arpe
n
ter
cleanu
p
:
ma
k
e type the
f
irst
a
r
gument of sval
_
c
ast()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpenter
c
le
a
nup: math: rename
a variable from "tmp_
r
e
t
"
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
c
l
e
anup
:
m
a
ke ty
p
e the first a
r
gume
n
t
f
or cast_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
penter
c
leanu
p
:
rename
p
ossibly_fa
l
se_range_lis
t
s_rl() to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an Carpenter
cle
a
nup: r
e
name get_value_rang
e
s
(
) to parse_value_ra
n
ges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Car
p
ent
e
r
sval: remove
t
he _
s
val()
f
rom alloc_estate_
r
a
nge_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
Carpenter
s
v
al: remove
the _s
v
al()
f
r
om
t
a
c
k_
o
n_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval
:
remove the _sval(
)
from
alloc_ra
n
ge_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
Carpente
r
sval:
remove the _sva
l
() fr
o
m true/f
a
lse_c
o
mparison_ra
n
ge_lr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Car
p
enter
sval: r
e
mov
e
the _sval() fro
m
e
s
tate
_
get_single
_
va
l
ue_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carp
e
nter
sval: remo
v
e the _sval() from range_list
_
u
n
i
on_
s
v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Ca
r
penter
sval: r
e
mov
e
the _sval() f
r
o
m
estate_min/max_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an Carpent
e
r
sval:
r
emove the _sva
l
() from es
t
at
e
_ranges_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next