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
db: make the size limit for the database larger
2012-12-15
D
a
n
C
a
rpent
e
r
db: make
t
he
si
z
e lim
i
t
f
o
r
th
e
database l
a
r
ger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan C
a
rpe
n
ter
param_limi
t
: don't p
r
int unneeded information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carpenter
d
b: remove retu
r
n
_
implies table and related code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
sma
t
ch_
p
aram_limit: e
x
tra: s
t
o
r
e parameter implication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carp
e
nter
db:
print r
e
tu
r
n_sta
t
es
i
nform
a
tion i
n
a mo
r
e detailed
way
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
implied: introduce ov
e
rwr
i
te_
s
tat
e
s
_
using
_
pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carpenter
sta
t
es: fix _
_
set_sm() w
h
e
n a
f
ake_cur_sli
s
t is
being
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
function_hooks
:
a
dd
s
ome calls to __u
n
nullify_path()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
ranges: intr
o
duce rl_invert(), rl_filte
r
() and
rl_intersection()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpente
r
e
x
tra: fix
a
bug in
h
ow
pointers are se
t
i
n
side calle
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpent
e
r
estate: introduce get_implied_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
extra
:
esta
t
e
:
move
merge
_
estate() fro
m
extr
a
to estate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
x
tra: parse asm
a
nd
unop
s
afte
r
ev
e
ryone
e
lse is fin
i
s
hed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carpenter
pointer
_
ma
t
h: c
h
eck
for (int *)p += sizeof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
D
an
C
arpenter
tr
e
ewide:
f
ix some memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
Revert "constra
i
nts: fix bug in remove_from
_
equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpente
r
slist: fix some
debug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: c
o
mpil
e
error in deb
u
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Car
p
e
nt
e
r
c
on
s
traints: fi
x
a memor
y
lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
C
arpen
t
er
constra
i
nts:
fix bu
g
in remove_from_
e
qui
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
r
penter
co
n
stra
i
nts: use cmp_r
e
lation() ins
t
ead of custom cod
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carp
e
nter
conditi
o
ns: rework __is_conditi
o
n_assi
g
n() => is_condit
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Car
p
e
n
t
e
r
db
:
remove get_retu
r
n_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
pa
r
s
e_ca
l
l_math: update to new return_st
a
te
s
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rp
e
nter
user_data
:
move to the return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpent
e
r
e
x
tra: m
o
ve
return_value
_
pa
r
am to the new return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
sta
t
es: introduce get_all_state
_
s
lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carp
e
nter
db: call ret
u
rn_
s
tates at the end of the f
u
n
c
tion if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pen
t
e
r
db: fix re
t
urn r
a
nges for t
h
e ret
u
rn
_
st
a
tes c
a
llbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: change
pri
n
t_returned_struct_m
e
mbe
r
s()
t
o new
A
PI
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
i
ntroduce add_retur
n
ed_state_callback(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
db:
p
as
s
t
h
e retur
n
_i
d
to the st
r
uct member callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
modificat
i
on_
h
ooks: h
a
n
dle inline assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
info: dereferences_param:
p
rint the dereferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: han
d
le global fu
n
ct
i
on assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan
C
arpent
e
r
extra: info:
d
o
n
't
p
rint empty states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpen
t
er
absolute: use get_imp
l
ied_min()
i
nstead of g
e
t_implied_value(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
an
Carp
e
nter
ext
r
a
: sa
v
e more modi
f
ied pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
db:
c
hange
s
mdb_r
e
turn_i
n
fo
.
s
h to smd
b
_return_val
u
e
s
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
extra:
d
b:
r
ecord wh
e
n pe
o
ple modify poin
t
e
rs pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
e
xtra: move --info hook
s
la
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpe
n
te
r
db: mov
e
free_slist() ins
i
d
e
the loop and fix
a
memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpent
e
r
he
l
per:
introduce get_par
a
m_num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
an Ca
r
penter
d
b
:
save stru
c
t
m
e
mb
e
r values
across returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpente
r
type:
r
en
a
me ge
t
_param_typ
e
_from
_
key() =>
ge
t
_
m
e
mber_type
_
fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
flow:
im
p
lied:
fix how switch sta
t
ements are
h
a
n
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
an
Car
p
enter
generisize
.
p
l: remove u16max a
n
d friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
extra: tweak handling of absolu
t
e min/max in compariso
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Ca
r
pent
e
r
math: ignore
fuzzy ma
x
es
t
ha
t
a
re type_mi
n
() +
1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ov
e
r
f
l
o
w
imp
l
ie
s
that there is no fuz
z
y max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpen
t
e
r
math: overflo
w
s in hard max are u
n
defined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
extra: handle
loo
p
s where
w
ithout a har
d
max that don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a: clear
h
a
r
d
max if we a
r
e
f
alling back to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
r
a: ge
t
max cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a
: set hard max cor
r
e
c
t
ly in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
a
rp
e
nter
ex
t
r
a: if (unsigned >= unsigned) {: Alwa
y
s true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpe
n
ter
math:
check f
o
r ove
r
f
l
ows w
h
en calcul
a
ting th
e
m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
conditio
n
s: preserve
t
he type in sele
c
t assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
ente
r
type: c
l
eanp get_member_
s
ymbol(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
arpent
e
r
extra:
ty
p
e: get the member type w
h
en
loading
values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
debug:
add __s
m
at
c
h_
d
ebug
_
implied_on/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: introduce local_debu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
t
ra: r
e
verse max()/min() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
rpenter
sval: handl
e
canonical for loops di
f
f
e
rently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
C
a
rpe
n
ter
sval: co
n
vert SHRT_MAX t
o
s16ma
x
in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
rpenter
funct
i
on_
h
o
o
ks: consider
t
he re
t
u
r
n type of the functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carp
e
n
ter
extr
a
:
remove some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpenter
math: change how M
O
D
opera
t
ion
s
are handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpe
n
ter
m
at
h
: count so
m
e
m
ore
things as
i
m
pli
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
penter
extra:
type:
m
ove get
_
arge_type() to smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extr
a
:
math: mo
v
e get_imp
l
ied_rang
e
_list() to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpente
r
s
val: extra:
g
et_implie
d
_range_
l
ist() re
t
urn whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scr
i
pts
:
tr
a
c
e params use 4 space indent
s
cons
i
sten
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
sval
:
m
a
t
h
:
fix get_value() for
!foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
check_sizeof_pointer: com
p
lain about
sizeof(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpe
n
t
e
r
h
ooks: add a SI
Z
EOF_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval: make cast_rl() pr
e
serve things better acro
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sva
l
: type: handle
type_
b
its() for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpen
t
er
sval: ty
p
e: us
e
ty
p
e_bits
(
)
t
h
r
o
ugh o
u
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
al: fix
u
p c
a
lls to sva
l
_cmp_v
a
l(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval
:
type: hack select typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
extra: remove de
b
u
g
g
i
n
g o
u
t
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
al:
a
dd sva
l
_is_nega
t
iv
e
()/
p
ositive(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: take the type
i
nto co
n
s
i
deration when doi
n
g
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
e
r
sval: c
a
st things cor
r
ectly in
s
val_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart V
a
n Assche
sv
a
l: uniniti
a
lized varia
b
le warning
commit
|
commitdiff
|
tree
2012-11-17
Dan
Carpenter
flow
:
ho
o
ks: fix M
A
CRO_ASSIGNME
N
T_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hooks: introduce
GLOBAL_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: intro
d
uce sva
l
_bits_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Ca
r
p
enter
ty
p
e: introduce type_bit
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
Merge br
a
nch '
s
val' into
m
erge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
sval:
r
anges: set corr
e
ct m
a
x in cast
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
sval
:
db: cast parameters to the correct ty
p
e before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpent
e
r
sval
:
extra: h
a
ndl
e
assign
m
ents better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: cast the
r
etu
r
n typ
e
s
b
efore entering them
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Car
p
enter
sval: extr
a
:
t
ype
inf
o
r
m
ation was bein
g
lost
i
n ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
s
val: flip t
h
e switch and do
n
't use
s
32min-
s
32max in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpen
t
er
sval:
s
igned: fix va
l
idation test
a
n
d update f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
validation: s
i
gne
d
: update validation tes
t
to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfr
a
m Sang
Makefile: dr
o
p sup
e
r
f
luous trailing
'/'
commit
|
commitdiff
|
tree
next