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
pointer_math: check for (int *)p += sizeof(int);
2012-12-14
D
a
n Carpenter
pointer_math:
c
h
e
c
k f
o
r
(int
*
)p += sizeof(
i
n
t
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan
Carpenter
treewi
d
e: fix so
m
e mem
o
r
y leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an Car
p
en
t
er
R
evert "constrain
t
s: fix bug in remove_from
_
equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
s
l
is
t
: fi
x
some
d
e
bug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
an
C
arpenter
slist: compile error in
d
ebug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpenter
co
n
strain
t
s:
fix a memor
y
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: fix bug in re
m
ove_f
r
om_equi
v
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
C
a
rpenter
constr
a
int
s
:
use c
m
p
_rela
t
ion()
i
nstead of custom c
o
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Car
p
enter
conditions: rework
_
_is
_
c
ondition_assi
g
n
()
=
> i
s
_condi
t
ion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan
C
arpe
n
ter
d
b: remo
v
e get_return
_
id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Car
p
enter
p
a
rse_ca
l
l_mat
h
: update to new return
_
states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
us
e
r
_
data:
move to the return
_
state
s
AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
ex
t
ra: move return_value_p
a
ram to the ne
w
return_states AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpent
e
r
states:
i
n
t
roduce get_all_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: c
a
ll r
e
turn_state
s
at
the end of
the f
u
nction if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Car
p
enter
db
:
fix return r
a
nges for t
h
e
r
etur
n
_states c
a
llbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db
:
change
print_
r
eturned_struct_mem
b
e
r
s() to
new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: introduce add_retu
r
ned
_
state_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpe
n
ter
d
b: pass the return_id to
t
he struct m
e
m
b
er ca
l
lba
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modific
a
tion_hook
s
: h
a
ndle
i
nli
n
e assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carp
e
nte
r
i
n
fo: deref
e
renc
e
s_para
m
: pri
n
t
the dereferenc
e
s even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: handle global function
assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra: inf
o
: don't p
r
int empty sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Car
p
enter
absolute: us
e
get_imp
l
ied_mi
n
()
i
nstead
o
f get_impli
e
d
_
value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
ex
t
r
a: save
m
o
r
e modified po
i
n
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpe
n
t
e
r
db: change
smd
b
_retu
r
n_info
.
sh to
s
mdb
_
ret
u
rn_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
x
tra: db: record
w
hen peopl
e
modify pointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
Carpenter
extra: move --info hoo
k
s lat
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: move f
r
ee_slist() inside the loop and fix
a
m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Car
p
ent
e
r
helper: introduce
get_par
a
m_num_f
r
om_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan
C
a
r
penter
db: save stru
c
t member
values across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpe
n
ter
type: r
e
nam
e
g
et_pa
r
a
m
_typ
e
_fro
m
_
ke
y
() => get_mem
b
er_typ
e
_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
flow: impli
e
d: fix how switch st
a
tem
e
nts are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
gene
r
i
s
iz
e
.
pl: remove u
1
6max
and fr
i
end
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
e
nter
extra: tweak handling
of
absolute min/
m
ax in co
m
parisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
enter
math: ignore
fuzzy maxes that are ty
p
e_
m
i
n
(
) +
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Carpenter
math:
o
v
e
rf
l
ow implies
that there
i
s
n
o fuzzy
m
ax
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
m
ath
:
o
v
erflows i
n
h
a
rd max are
undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Car
p
e
n
ter
extra: han
d
le
l
oops
w
h
e
re
witho
u
t a hard ma
x
that don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
ext
r
a: cl
e
ar hard
m
ax if we are fallin
g
back to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
extra: g
e
t
m
ax correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
arp
e
nter
ext
r
a
:
set h
a
rd max correctly in loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extr
a
: if (unsi
g
ned >=
u
nsigned)
{
:
A
l
ways true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
m
a
th: check f
o
r ov
e
rflows wh
e
n cal
c
ul
a
t
i
ng the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
t
e
r
condition
s
:
p
reserve the type in select
a
s
signment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
n
t
er
typ
e
: cleanp
g
e
t_membe
r
_sym
b
ol(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n C
a
r
p
e
n
t
er
extr
a
: type: get t
h
e
m
e
m
ber type when loading values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
de
b
ug: add __
s
m
a
t
ch
_
debug_
i
mplied
_
on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
d
e
bug: introduce local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Car
p
en
t
er
ext
r
a
:
reverse max(
)
/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sva
l
: handle cano
n
ical f
o
r loops
d
iffer
e
ntl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
an Carpente
r
s
val: conv
e
rt
S
HRT_M
A
X
t
o
s
16
m
ax in
the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
f
unction_hooks: consider t
h
e return t
y
pe
of the f
u
nct
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
rpenter
extra: rem
o
ve some du
p
lica
t
e code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpen
t
e
r
math:
c
hange how MOD operations
a
r
e
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
math: c
o
unt
some more thing
s
as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpenter
extra: type: move get_arge_type() to smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an Ca
r
pe
n
ter
extra:
m
ath: move get_i
m
pli
e
d_ran
g
e_
l
is
t
() to
s
m
atch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sval: ex
t
ra:
get_
i
mp
l
ied_range_li
s
t() return w
h
ole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scripts: trace pa
r
ams use 4 space indents cons
i
ste
n
tl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpente
r
s
val: math: fix
get_value() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
check_siz
e
of_
p
oi
n
ter: c
o
mpla
i
n a
b
out siz
e
of(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
ho
o
k
s
: add a SIZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
val:
m
ak
e
ca
s
t_rl()
p
reserve
t
hings
better acros
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
s
v
a
l: typ
e
: ha
n
dl
e
type_bits() for addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: t
y
pe:
u
se
t
ype_b
i
t
s()
t
hrough out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
te
r
sval:
fixup call
s
t
o sval_cm
p
_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpente
r
sval:
t
ype: hac
k
select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Ca
r
pente
r
e
x
tra: remove d
e
buggin
g
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: add
s
val_
i
s_n
e
gat
i
ve()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
s
v
al: take th
e
type into considera
t
ion
when doing a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: c
a
st thing
s
correctly in
sval_cm
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van
Assche
sval
:
uninitializ
e
d
variable wa
r
ni
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpen
t
er
flow: hooks: fix MACRO_ASSIGNMENT_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Carp
e
nter
flow: hooks: introduce GLOBA
L
_
A
S
S
IGNMENT_H
O
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n C
a
rpenter
sval: introduce sval_bits_used
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
p
e
nter
t
y
p
e
: introduce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
Merg
e
branc
h
'sva
l
'
into merg
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
sval: ranges: set cor
r
e
c
t max in
cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Car
p
ent
e
r
sv
a
l
:
db:
cast
parameters to
t
he cor
r
ect type bef
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpenter
s
v
al: extra: handle assignmen
t
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpenter
sv
a
l: cast
the return types
b
efore entering them into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sval: e
x
t
ra: type
i
nformation
w
a
s being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
e
n
ter
sva
l
: flip the swit
c
h
and
d
on
'
t use
s3
2
mi
n
-
s32max i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sva
l
: signed: f
i
x valida
t
ion test and
u
p
date forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
vali
d
ation: signed: up
d
ate vali
d
ation test to
r
eflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wolfram Sa
n
g
Ma
k
efile: drop superfluou
s
trailing '/'
commit
|
commitdiff
|
tree
2012-11-14
Da
n
Carpen
t
e
r
math: c
l
eanup some
n
aming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
C
a
r
pen
t
er
math: add fu
z
zy_ma
x
a
n
d
fu
z
zy_min to implied
_
oppos
i
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
a
n Carp
e
nter
sval: ma
t
h: f
i
x how negate operations
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan
C
arpenter
s
val: absolute: fix reversed co
n
dition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
rpenter
sval: y
o
u're
n
o
t a
l
lowed to divi
d
e
L
LONG_
M
IN by -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpenter
sva
l
: fix parse_value_ranges_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
val
:
re-in
t
ro
d
uce
sva
l
_is_a_min() sval_is_a_m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
ar
p
enter
sval:
d
on't invent bogus rang
e
i
n alloc_range_hel
p
er_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: use typed ve
r
sion of parse_value_r
a
nges()
thro
u
g
h
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: mov
e
cast_rl() into parse
_
value_ranges_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpen
t
er
cleanup: make type th
e
f
ir
s
t argument of sva
l
_cast()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carp
e
nter
cleanup: math:
r
ename a
v
ariab
l
e
from "t
m
p_ret" to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
rpenter
cleanup: make ty
p
e the first argument fo
r
cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next