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
signed: remove some debug code
2012-12-16
Da
n
Car
p
enter
si
g
n
ed:
remove some deb
u
g c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan
C
arpenter
db: make the size limit
for t
h
e datab
a
se la
r
ger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan
Carpe
n
t
e
r
param_limit: don't print
unn
e
ede
d
infor
m
a
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
db: remo
v
e return
_
implies table and rel
a
te
d
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
e
n
ter
smat
c
h_
p
ara
m
_limit: extra: stor
e
parameter implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carp
e
nter
db: prin
t
r
eturn_states information in
a m
o
re detailed way
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
implied: intro
d
uc
e
overwri
t
e_states_using_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
ter
s
tates: fi
x
__s
e
t_sm()
w
hen
a
fake_cur
_
sl
i
st is
b
eing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
pent
e
r
functi
o
n_hooks: add s
o
me calls to __u
n
nullify_path()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Car
p
enter
ranges: introduce rl
_
i
nvert(),
r
l_fi
l
t
er()
and rl
_
intersection(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carp
e
nter
e
xtra:
fi
x
a
bu
g
in how p
o
inters are
s
et inside called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
rpenter
estate
:
i
ntroduce ge
t
_im
p
l
ied_
e
s
t
ate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
xtr
a
: estate: move merge_esta
t
e
() fro
m
extra to estat
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
x
tra: parse
a
s
m
and
u
nops after everyo
n
e else i
s
finished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
t
er
pointer_
m
ath: check f
o
r (int *)p
+
= sizeof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
D
a
n
Carpente
r
treewid
e
: fix
s
o
m
e mem
o
ry leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan C
a
rpenter
Rever
t
"constraint
s
: fix bug in remov
e
_from_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist:
fix so
m
e debug cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist
:
compile error
in d
e
bug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: fix a
m
emor
y
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpe
n
t
e
r
constraints: fix bug in remov
e
_from
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rp
e
nter
constraint
s
: use cmp_re
l
ation() in
s
tead
of custom code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpente
r
cond
i
tions: r
e
work __is_condit
i
o
n_assign()
=
>
i
s_condition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan
C
ar
p
enter
db: rem
o
ve get_return_i
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_ca
l
l
_mat
h
: u
p
date
to new return_states A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
u
s
e
r_data: mov
e
to the return_states A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nt
e
r
extra: move return
_
value_pa
r
am to the
new return_st
a
tes AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
states
:
i
n
t
r
oduce get_all_state_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
db: call return_stat
e
s at the
e
nd of th
e
f
u
nction if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpenter
d
b
: fix return ranges for the return_states callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n C
a
rpenter
db: change
p
rin
t
_retur
n
ed_struct_members() to new API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
d
b: introduce add
_
returned_s
t
ate_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db
:
p
ass the r
e
turn_id to
t
he
s
truct me
m
b
e
r
c
allbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
modification_h
o
ok
s
: handle inline as
s
embly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
in
f
o
:
derefere
n
ces_param: pri
n
t the deref
e
r
ences
e
v
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: ha
n
dle gl
o
bal function assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Ca
r
penter
extra: info: d
o
n't print em
p
ty states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carpenter
absolute: u
s
e
g
et_impl
i
e
d_min() inste
a
d
of get_i
m
plied_value
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpe
n
te
r
extr
a
:
save more mod
i
fied
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Ca
r
penter
d
b
: ch
a
nge smdb_ret
u
rn_
i
nfo
.
s
h to smdb_return_values
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpenter
ex
t
ra
:
db: record when pe
o
ple
modi
f
y
p
ointers pa
s
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
C
a
r
penter
extra
:
move --info h
o
oks late
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: move f
r
e
e_s
l
ist() insi
d
e
the loop and
fix a mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpe
n
ter
hel
p
er: intro
d
uce
get_param_nu
m
_from
_
s
y
m
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
an
Carpenter
db: save str
u
ct member
v
a
l
ues across retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carpen
t
er
type
:
re
n
ame get_param_type
_
from_k
e
y()
=
>
g
e
t
_memb
e
r_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpente
r
flow: implied: f
i
x how swi
t
ch st
a
t
ements
are
h
an
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
pe
n
ter
generisize
.
pl: r
e
move
u
16max and fr
i
e
nds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
ex
t
ra: tweak handling of abso
l
ute min/max in compar
i
sons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carp
e
nter
m
ath: ignore
f
uzzy maxes
t
hat are type_min()
+
1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: overflow impl
i
es that there is
no fuzz
y
m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
arpenter
mat
h
:
overflows in hard m
a
x
are und
e
f
ined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra:
h
andle loops where without a ha
r
d max that don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
extra: clear hard
m
ax if we
are falling back to t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: get max corr
e
ct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra:
s
et hard max correct
l
y in lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: if
(
unsign
e
d >= unsigned)
{: Alw
a
ys true i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
e
nter
math:
check for
o
verflows when calculati
n
g the ma
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Ca
r
penter
conditions:
p
r
ese
r
ve the type in selec
t
as
s
ig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
r
pe
n
t
er
type: cleanp ge
t
_
member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
extra: type: get the mem
b
er ty
p
e whe
n
loading
values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: add __smatch_d
e
bug
_
implied_on/
o
ff()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
r
pente
r
d
e
bug:
introd
u
ce local_debu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
extra: reverse max()/min() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carp
e
nter
sv
a
l: handl
e
canonic
a
l for
l
o
ops di
f
f
erently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpent
e
r
sval: co
n
vert SHRT_
M
AX
t
o
s16max in the o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
enter
function_hooks
:
consider the re
t
urn type of the f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extra: re
m
ov
e
s
ome duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
m
a
th
:
change how MOD ope
r
ations are hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpe
n
t
er
math: count some mor
e
things as implie
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Car
p
en
t
e
r
extra
:
ty
p
e: m
o
ve ge
t
_arge_typ
e
() to smatch
_
type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extr
a
: ma
t
h: move get_implied_range_l
i
s
t
() t
o
sma
t
ch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpent
e
r
s
val:
e
x
tra: get
_
i
m
plied_range
_
list() return who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
Carpenter
script
s
: trace
p
a
rams
u
se 4 space
i
ndents consistently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
sval:
m
ath: fix ge
t
_
v
alue() fo
r
!foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Carpe
n
t
e
r
ch
e
c
k_s
i
zeof_pointer:
c
omplain about
sizeo
f
(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carp
e
nt
e
r
hooks: add
a
SIZEOF_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval: ma
k
e
cast_rl
(
) preserve things better across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
t
e
r
s
v
a
l
:
type: handle
t
ype_bit
s
() for addres
s
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carp
e
n
t
er
sva
l
:
t
ype: us
e
ty
p
e_bits()
t
hrou
g
h o
u
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carp
e
nter
sval: fixup calls to sval
_
cmp_val
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Ca
r
p
e
nter
sval: type: hack select types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
extra: remove debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpente
r
s
v
al: add sval_is_
n
egative
(
)/positive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval: take the t
y
p
e into c
o
nsi
d
era
t
ion when doing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
s
val: cast things correctly in s
v
al_
c
mp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart
V
a
n
Assche
sval: unin
i
tialized
var
i
able warnin
g
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flo
w
: h
o
oks
:
fix MACRO_ASSIGNM
E
NT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan
Carpent
e
r
flow: hooks: in
t
roduce G
L
OBAL
_
ASSIGNM
E
NT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpen
t
er
sval: i
n
tro
d
u
ce sval_bits_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpente
r
t
ype
:
intr
o
duce type_bits(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
rpenter
M
e
r
ge branch
'
s
val' into merge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
e
nter
sval: ranges:
s
et corre
c
t max in c
a
s
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
r
pent
e
r
sv
a
l
:
db: cast parame
t
ers to
t
he
c
orrect type before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
sval: extra: handle assignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpente
r
sval: ca
s
t the
ret
u
r
n type
s
b
efor
e
entering them
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval
:
extra: type information was being lost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nte
r
sval: flip the s
w
i
t
c
h
and don'
t
use s
3
2
m
in-s32
m
ax inst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carp
e
nter
sval: signed: fix va
l
ida
t
io
n
tes
t
and update format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
val
i
dation: sign
e
d: update validati
o
n
t
est
t
o
r
e
fle
c
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next