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: remove return_implies table and related code
2012-12-14
D
a
n C
a
rp
e
n
ter
d
b: remove return_imp
l
ies table a
n
d related c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
smatch_pa
r
am_l
i
m
it: extra:
st
o
re parameter implic
a
t
i
on
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
e
r
db: print re
t
urn_sta
t
es in
f
ormation in a more detailed
w
ay
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
implied:
i
ntroduce overwr
i
te_sta
t
es_
u
s
i
ng_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
r
p
en
t
er
states: fix __s
e
t_s
m
() wh
e
n a
fake_cur_slist is bei
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpente
r
function_hooks:
add so
m
e ca
l
ls
t
o
_
_unnullify_pa
t
h()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
ranges:
introduce rl_inv
e
rt(
)
, rl_filte
r
()
an
d
r
l_
i
ntersect
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpente
r
extra: fix a bug in how p
o
i
n
ters are set
i
nside
ca
l
l
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Ca
r
pen
t
er
e
state: introduce get_implied_estate
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
ext
r
a:
estate: move
m
er
g
e_
e
state() from extra to estate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
extra
:
pa
r
se
asm and unops aft
e
r everyone else is finished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
pointe
r
_
m
ath: check for
(int *)p +
=
sizeof(
i
nt);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
t
r
eewide: fi
x
so
m
e memory l
e
aks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
Carpenter
Revert
"constraints: fix bu
g
in remove_from_equ
i
v()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpente
r
sli
s
t:
f
i
x s
o
me debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
slis
t
: compile error in deb
u
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
Carpenter
c
o
n
s
tr
a
ints:
fi
x
a me
m
ory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
r
pent
e
r
constraints:
fix bug in remove_from_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpen
t
er
con
s
traint
s
: use c
m
p_
r
elatio
n
(
)
instead of
c
u
s
tom code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpenter
c
o
n
ditions:
r
ework
_
_is_co
n
dition_assig
n
() => is_con
d
ition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db: remove get_return_
i
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
parse_call_math
:
update to new return_
s
tates API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
user_da
t
a: move to the return_states A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpenter
extra:
m
ove re
t
urn_value_para
m
to the new return_state
s
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pent
e
r
st
a
tes: introduce get_a
l
l_s
t
ate_sl
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: call
r
e
t
urn_stat
e
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
Dan
C
a
r
penter
db
:
fix return ra
n
g
e
s for the retur
n
_s
t
a
te
s
c
allba
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b
: ch
a
nge print_r
e
turned_
s
tru
c
t
_
m
embers
(
) to new API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpente
r
db: intr
o
duce add_retu
r
ned_s
t
ate_
c
allback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pent
e
r
db: pas
s
the return_id to the struct member ca
l
lbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
modification
_
hooks
:
handle i
n
lin
e
assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
i
nfo: der
e
fer
e
nces_param
:
print the dereferen
c
es e
v
en
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpen
t
er
db
:
handle global func
t
ion assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan
C
arpenter
e
x
tra: info: don
'
t pr
i
n
t e
m
pty state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n
Carpenter
abs
o
lu
t
e: use get_implied_min() ins
t
ead of
ge
t
_implied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carpenter
e
x
tra
:
save more mo
d
ified
p
oin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
d
b: ch
a
nge smdb_return_
i
nfo
.
s
h to smdb_return_v
a
lue
s
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra:
db: rec
o
rd when people m
o
d
i
fy point
e
rs passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpent
e
r
extra:
m
o
v
e
--info
hooks later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: move
free_slist() inside th
e
l
o
o
p
a
nd fix a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
he
l
per: introduce
get_param_num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan
Carpenter
db: save struct memb
e
r
valu
e
s a
c
ross r
e
tur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Car
p
en
t
er
type: rename g
e
t_
p
aram_type_
f
rom_key()
=> get_member_type_f
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
flow: implie
d
: fix how s
w
i
t
ch st
a
te
m
ents are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
ter
generisize
.
pl: r
e
move u16
m
ax
a
n
d friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
a
r
penter
extra:
t
weak
h
a
ndling
o
f
abs
o
lute min/max
in c
o
mp
a
rison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
r
penter
math:
i
g
n
ore fu
z
zy
maxes that are
type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carp
e
nter
ma
t
h: over
f
l
ow i
m
plies that there
is no fuzzy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ma
t
h
:
overf
l
ows in
ha
r
d
m
a
x
are un
d
efined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
extra:
h
andle l
o
op
s
wh
e
r
e
without a har
d
max
t
h
at don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
xtra: clear hard max 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 correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
extra: set har
d
max cor
r
ectly in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
extra: if (unsigned >= u
n
signed) {: A
l
w
a
ys true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
m
ath: check for o
v
erfl
o
ws when ca
l
culatin
g
the max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
c
on
d
itions
:
preser
v
e the type in sel
e
ct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
type: clea
n
p get_member_symbo
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a:
t
ype:
g
e
t the member type wh
e
n loading
v
alues
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
ar
p
e
nter
debug: add
_
_smatch_debug_implied_on/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
de
b
ug: in
t
roduce l
o
cal_de
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: r
e
v
e
r
se max()/m
i
n()
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carpente
r
s
val:
handle canonical
for l
o
ops differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Ca
r
penter
sva
l
: con
v
ert
S
HRT_MAX to s16max
i
n the
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carpent
e
r
function_hooks: c
o
nsider the re
t
urn
t
ype of
t
h
e function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
pente
r
extra: re
m
o
v
e
so
m
e
dupl
i
c
ate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math: c
h
a
n
g
e
how M
O
D operations are handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math:
count some mor
e
thin
g
s as
i
mplied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
extra: type: move ge
t
_arge_type()
to smat
c
h_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an
Ca
r
p
e
nte
r
ext
r
a
: math: move get_i
m
plied_range_
l
ist() to smatch_mat
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Ca
r
penter
sval: extra: get_implied_range_l
i
st() return whol
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scripts: trace params use 4 sp
a
ce indent
s
con
s
istently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpente
r
sval: math: fix get_value()
for !foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nte
r
check
_
sizeof
_
pointer: complain about sizeo
f
(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Ca
r
penter
hooks
:
add a SIZEOF_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
ar
p
enter
sv
a
l: make
c
ast_rl() pr
e
serve thin
g
s better across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type: handle
t
y
pe_b
i
t
s
(
)
for addr
e
sses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpe
n
ter
sval: type: use ty
p
e_bits() throug
h
out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
ar
p
enter
sval:
fixup ca
l
ls
t
o
sval_cmp_
v
a
l(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
type: hack se
l
e
c
t types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Ca
r
pe
n
t
e
r
extra: re
m
ove debugging o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l: ad
d
sval_is_nega
t
i
v
e()
/
posi
t
ive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
t
a
ke
the type
into consid
e
ration when doing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
:
cast thin
g
s corre
c
tly in
sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assche
s
v
al:
uninitialized
variable
w
arnin
g
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow:
hooks: fi
x
MACRO
_
ASSIGNMENT_H
O
OK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hooks: intr
o
duc
e
GLOBAL
_
ASSIGNMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: in
t
r
oduc
e
sval_bits_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
type: introduce type_bits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
Merge branc
h
'sval' into mer
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpenter
s
v
al:
ranges: set correct max in cast
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
s
v
a
l:
db:
c
as
t
parameters t
o
the correct type before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: extra: handle
ass
i
gnments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval
:
cast the return
t
ypes before
en
t
ering
them
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval: extra
:
type inform
a
t
ion was being
l
ost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an Car
p
enter
sva
l
: flip the switc
h
and d
o
n't
u
s
e s32min
-
s
3
2max i
n
stea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arp
e
nt
e
r
sval
:
signed: fix vali
d
a
t
ion
t
est an
d
u
p
d
a
te format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
v
a
l
idat
i
on: s
i
gned: update
v
al
i
dation test to refl
e
ct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfra
m
San
g
M
a
kefi
l
e: drop superfluous trailin
g
'/'
commit
|
commitdiff
|
tree
2012-11-14
Dan C
a
rp
e
nter
math: cleanu
p
some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
nter
math: add
f
u
z
z
y
_max and fuzzy_min to
i
mplied_o
p
pos
i
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next