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
D
a
n C
a
r
p
enter
signed: remove som
e
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Da
n
Carpen
t
er
db: make the size l
i
m
it for the
database la
r
ger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpe
n
ter
param_limit: don't print unneed
e
d in
f
o
rma
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
db:
r
emove r
e
tu
r
n
_
implies
t
able and r
e
lated code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
smatch_
p
aram_limi
t
:
ex
t
ra: store parameter implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
d
b: print return_states
i
nformation i
n
a more detai
l
ed way
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpe
n
te
r
implied: introduce
o
verwrite_states_usin
g
_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
s
t
ates: fix __set_sm() w
h
en a fake_cur_s
l
ist is bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
function_hooks: add som
e
c
a
lls
to
__un
n
ullify_
p
ath()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carp
e
nte
r
rang
e
s:
i
n
t
roduce rl
_
inv
e
rt(), rl_
f
ilter() and rl_i
n
tersection()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
e
x
tra: fix a bug
in
how point
e
r
s
are se
t
inside ca
l
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
es
t
a
t
e: introduce get_implied_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an
Carpen
t
er
extra
:
estate: mo
v
e
merge_esta
t
e() from extra t
o
estate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
extra
:
pa
r
s
e asm an
d
unops after everyon
e
else is finished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
po
i
nter_ma
t
h: ch
e
ck for (
i
nt
*)p
+
= si
z
eof(
i
nt);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
D
a
n Carpenter
t
r
ee
w
ide: fix s
o
me memory
l
eaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpen
t
er
Rever
t
"cons
t
raints
:
f
i
x bug in remove_fro
m
_
eq
u
i
v
()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
slist: fix
some deb
u
g
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpen
t
er
s
l
ist:
c
ompile error in debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: fix a memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carp
e
nter
constraints: fix
bug in remove_fro
m
_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpen
t
e
r
constraints: u
s
e
cmp_relation() instea
d
of cust
o
m code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpent
e
r
conditions: rework __is_
c
ondi
t
io
n
_a
s
sig
n
() =>
i
s
_condition
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
D
a
n Car
p
en
t
er
db:
remove
g
et_return_id(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_c
a
l
l_
m
ath: upda
t
e t
o
ne
w
r
e
t
u
rn_states A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpenter
use
r
_d
a
ta
:
mo
v
e to t
h
e return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpen
t
er
extra: m
o
ve return_valu
e
_param to the ne
w
re
t
urn_s
t
ates A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
states:
intro
d
uc
e
get_all_stat
e
_
s
list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: call return_states at
t
he end of th
e
f
u
n
ction if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpen
t
er
db
:
fix retur
n
ranges
for the return_stat
e
s callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
C
a
rpenter
d
b: change pr
i
nt_
r
eturned_struct_members(
)
to n
e
w API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpente
r
db: intro
d
u
ce ad
d
_retur
n
e
d
_
s
tate_cal
l
ba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
d
b: pass the return_id to the struct memb
e
r callba
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modification_hoo
k
s: handle i
n
lin
e
assem
b
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
info: der
e
fe
r
enc
e
s_para
m
:
pri
n
t th
e
dereferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: handle glo
b
a
l
f
u
nctio
n
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carp
e
nte
r
ex
t
ra: info: don'
t
print empty states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Car
p
enter
absol
u
te: use get
_
implied_min(
)
in
s
t
ead of
g
e
t
_
i
mplie
d
_
v
alue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
extra: save more m
o
d
i
fied p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: change s
m
db_return_info
.
sh to
s
mdb_return_val
u
es
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carp
e
n
t
e
r
extra: db: record when peo
p
le modify p
o
int
e
rs passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpenter
e
xtra:
move --i
n
f
o
hooks l
a
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db:
m
ov
e
free_sli
s
t() inside the l
o
op and fix a
memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpente
r
h
e
lper: i
n
troduce get_param_num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: sa
v
e struct member values acros
s
r
etu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carp
e
n
ter
type: rename
get_
p
aram_ty
p
e
_
from
_
key() =>
ge
t
_membe
r
_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
Carpenter
flow: i
m
plied
:
fix ho
w
switch
s
tat
e
men
t
s are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
penter
generisize
.
pl: remove u16max and frien
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpent
e
r
extra: tweak
h
andling of
absolu
t
e min/max in comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
mat
h
: ignore fuzzy
ma
x
es that are type_mi
n
() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpenter
math:
overflow implies that the
r
e is no fuzz
y
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
m
a
t
h
: overflows in ha
r
d max
a
re und
e
fined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
extra: hand
l
e loops where
without a h
a
rd m
a
x that don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
extra:
c
lear
ha
r
d m
a
x if
w
e are f
a
l
l
ing
b
ack
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra:
get max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
extra: se
t
ha
r
d 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
e
xtra: if
(u
n
sig
n
ed >= unsigned) {:
A
lways true
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
math: chec
k
f
or over
f
lows when calculating
t
he ma
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
a
rpenter
conditi
o
ns: p
r
eserve
t
h
e type in sele
c
t
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
type: clea
n
p g
e
t_memb
e
r_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: ty
p
e
:
get the
m
ember type when lo
a
ding value
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
debug:
add __smatch_de
b
ug_
i
m
plied_o
n
/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
debug: introduce local_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
ex
t
ra: rev
e
rse max()/m
i
n(
)
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
penter
sval: handle
c
a
nonica
l
for loops
d
iff
e
rentl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
s
v
a
l
: convert SHRT_M
A
X to s16max in t
h
e outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
an Carp
e
nter
f
unction
_
h
o
o
k
s:
c
o
nsider the retur
n
type o
f
the func
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
an C
a
rpenter
e
xtra
:
remove some du
p
licate
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpent
e
r
math: ch
a
n
ge how MOD o
p
erations
are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an
C
arpente
r
math: count some more things
as implie
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an Ca
r
pente
r
e
x
tra: type
:
move get
_
arge_type()
to sm
a
tch_
t
y
p
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an Car
p
enter
extra
:
math: mo
v
e g
e
t_implied_range_li
s
t()
to smatch_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
s
v
a
l:
e
xtra:
ge
t
_impl
i
ed
_
range_li
s
t() return whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carp
e
nter
scripts: tra
c
e p
a
rams use 4 space indents
consistentl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l
:
math: f
i
x get_val
u
e() for !foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
n
t
er
chec
k
_s
i
zeof_pointer: complain about si
z
eof(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Ca
r
penter
hooks: add a SIZEOF
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
t
er
s
v
al:
make
c
ast_rl() preser
v
e things bett
e
r acro
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval: type: handle type_bit
s
() for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval: type: use
t
ype_b
i
t
s
()
thro
u
gh out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
s
v
al: fi
x
up
calls to sval_cmp
_
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
: type
:
hack
select ty
p
es
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
Da
n
Carpenter
s
v
al: add sv
a
l_is_negative()/positive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
take the type into consideration when
doin
g
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sval:
c
ast things correctly in sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
B
ar
t
Van Assche
sval: uninitial
i
zed variable w
a
rn
i
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan
Carpenter
fl
o
w: hook
s
: fix MACRO_ASSIGNMENT_
H
O
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n C
a
rpe
n
ter
f
l
o
w
:
ho
o
ks: introdu
c
e GLOB
A
L_ASSIGNMEN
T
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: introduce sva
l
_bit
s
_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
penter
t
ype: introd
u
ce type_bits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
Merg
e
branch 'sval' i
n
to me
r
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
p
e
nt
e
r
sval: ranges: set co
r
r
e
ct m
a
x in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpent
e
r
sval: db: c
a
st par
a
meters to th
e
correct type
b
efore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpe
n
ter
sval:
e
x
tra: h
a
ndle
assignmen
t
s b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
n
ter
sval: cas
t
the
retu
r
n ty
p
es befo
r
e ente
r
ing
th
e
m
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
te
r
sva
l
: ex
t
ra: type in
f
ormati
o
n was being
l
ost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n C
a
rpenter
sval:
f
l
ip
the switch
a
nd don't
use s
3
2min-
s
32max instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
penter
sval: signed: f
i
x
validation te
s
t and upda
t
e format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
va
l
idation: signed:
update val
i
d
a
tion test t
o
reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next