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: print return_states information in a more detailed way
2012-12-14
Da
n
Carpenter
db: pr
i
nt return_states
informati
o
n in a
m
ore detail
e
d way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carp
e
nter
implied: in
t
roduce ove
r
write_s
t
ate
s
_using_po
o
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
st
a
te
s
:
fix
__set_sm
(
) when a
f
ake_c
u
r_slist is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
fun
c
tion_hooks: ad
d
some ca
l
ls to __unnulli
f
y_
p
ath()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
enter
r
anges:
i
ntroduce rl_invert(),
rl_filter() and rl_in
t
erse
c
tion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
x
tra: fix a
bu
g
in
h
ow point
e
rs are
set insi
d
e cal
l
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
pe
n
ter
estate: i
n
troduce get_implie
d
_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
extra
:
estate:
move merge_estate()
f
rom extr
a
to est
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpente
r
extra: p
a
rse
asm and unop
s
after
e
ve
r
yone el
s
e is fi
n
is
h
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
r
p
enter
p
ointer_
m
ath: check for (int *)p +=
sizeof(i
n
t);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan
Ca
r
penter
t
r
eewide: fix some me
m
ory
leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an Carpente
r
Revert "c
o
ns
t
r
aints: f
i
x bug in remove_
f
rom_equiv()
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
an Car
p
e
nt
e
r
sl
i
st: fix some
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpente
r
slist:
c
ompile e
r
ror
i
n
d
ebug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constr
a
ints: fix a memor
y
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Carpente
r
constr
a
ints: fix bug in remove_from_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpente
r
constr
a
int
s
: use cmp_relation()
i
nstead of cu
s
tom
c
ode
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Ca
r
p
enter
condi
t
ions: rework __is_condition_assi
g
n() => is
_
co
n
dition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Car
p
enter
db: remove get_return_i
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
par
s
e_call_math:
u
pdate to new r
e
turn
_
states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
use
r
_data:
m
ove
t
o the ret
u
rn_sta
t
e
s A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n C
a
rpen
t
er
ex
t
ra: move return_value_param to the new retu
r
n_states
A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
states:
i
n
t
roduce get_a
l
l_sta
t
e_sli
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
db: call r
e
turn_states
a
t th
e
end
o
f t
h
e
f
un
c
tion if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
db
:
fix re
t
ur
n
ranges for the return_stat
e
s cal
l
backs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pente
r
d
b
:
change
p
rint_retu
r
ned_struc
t
_members() to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: introduce add_re
t
urned_state_call
b
ack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
e
n
ter
db: p
a
ss the r
e
turn_id
t
o
th
e
stru
c
t
m
embe
r
callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
te
r
modifi
c
a
t
ion_hooks:
handle inline asse
m
b
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
i
nfo:
d
erefe
r
ences_param: print the d
e
re
f
erences
e
ven
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan
Ca
r
pente
r
d
b
: hand
l
e
g
lobal functi
o
n assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Ca
r
pen
t
er
extra:
i
nfo: don't p
r
int empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Da
n
Carpe
n
t
e
r
absolute: us
e
get_im
p
lie
d
_
min() instead
o
f
g
et_impli
e
d_
v
alu
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Da
n
Carpenter
e
x
t
ra: save more
mo
d
ified po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: chang
e
smdb_return_
i
nfo
.
s
h to smdb_re
t
urn_val
u
es
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
extra: db: record w
h
en people modify
p
o
i
nters passe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
e
x
tra: move --info hoo
k
s later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
C
a
rpent
e
r
db:
move
f
ree_sli
s
t()
inside the loop and fix a m
e
mor
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
e
r
helper: introduce
g
et_param_num_fro
m
_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carpenter
db: s
a
ve struct memb
e
r values a
c
ross returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Car
p
enter
type: rename get_param_
t
ype_from
_
key()
=
> get_me
m
ber_t
y
p
e
_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
flo
w
:
implied: fix how switch statem
e
nts are h
a
n
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
generis
i
ze
.
p
l
: remove
u
16max and frie
n
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
C
a
rpenter
extra: twea
k
han
d
ling of
a
bsolute
min/max in
c
omparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ignore fuzzy maxes that are t
y
pe_min()
+
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
math: overflow i
m
p
l
ie
s
that there is no fuzzy
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math:
o
v
erflows in ha
r
d ma
x
ar
e
un
d
efin
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: han
d
le loop
s
where without a hard max
that
d
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: clear hard max i
f
we a
r
e falling back to t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: get max correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
extra:
s
et hard 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 >= unsigned) {: Alw
a
ys
t
rue if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
math: check for overflows w
h
en cal
c
ulating the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
co
n
ditions:
p
rese
r
ve the type i
n
select assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpe
n
ter
type: cleanp get_m
e
mber_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
extra: type: get the
memb
e
r t
y
pe when loading value
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug:
add __
s
match_debug
_
imp
l
ie
d
_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Ca
r
p
enter
debug: intro
d
uce loca
l
_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
tra:
r
everse max()/min
(
) t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpente
r
s
val: h
a
ndle cano
n
ical
for
loops
d
ifferen
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval
:
convert SHRT_MAX to s16max in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
funct
i
on_h
o
oks: cons
i
der the
return type o
f
the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
e
n
ter
extra: remo
v
e some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpe
n
ter
m
a
t
h:
c
hange how MOD ope
r
a
tions
a
re h
a
nd
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math: count
some
more things as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra: ty
p
e
:
mo
v
e get_arge_
t
y
p
e() t
o
sma
t
ch
_
type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
Carpenter
extra: math: m
o
ve get_implied_r
a
nge_list(
)
t
o
s
m
a
tch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sval: e
x
tra: get_implied
_
r
ange_list() return whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
e
n
te
r
sc
r
ipts: trace params u
s
e 4 space indents consistently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Carpenter
sval:
m
ath: fi
x
get_
v
alu
e
() for !fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
c
h
eck
_
siz
e
of_pointer: complain
a
bout
size
o
f
(
&
f
o
o)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hooks: add a
SIZ
E
O
F
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
sval: m
a
ke cast
_
rl() prese
r
ve things better
a
cross
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
e
r
sval
:
type:
h
andl
e
type_
b
i
t
s() for addre
s
s
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rp
e
nt
e
r
sval: type: us
e
type
_
bi
t
s() through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
:
f
i
x
up
c
alls to sval_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
r
pen
t
er
sval:
type: ha
c
k select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Ca
r
penter
extra
:
r
emove deb
u
g
g
i
ng
o
ut
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arp
e
nter
sval: add sval_is_negative(
)
/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sv
a
l
:
take the type int
o
con
s
ide
r
ation whe
n
doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
sval: cast things corre
c
tly
i
n
sval_cm
p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart
V
an As
s
che
sval: uninit
i
a
lized
v
ariable warning
commit
|
commitdiff
|
tree
2012-11-17
D
an Carpenter
f
low: h
o
oks: fix
M
ACRO_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
Carpenter
flo
w
: hooks
:
in
t
roduce G
L
O
BAL_ASS
I
GNMENT_
H
OOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Ca
r
penter
sval: in
t
r
o
d
uce sval
_
bits_used()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
t
y
pe: in
t
roduce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
penter
Merge branch
'
sval'
i
nto me
r
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpenter
s
v
al: ranges:
s
et c
o
rrect m
a
x i
n
cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpe
n
ter
sva
l
: db: cas
t
par
a
meters to
t
he cor
r
ect type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: ex
t
ra:
h
an
d
l
e assignments bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval
:
cast the return types before entering the
m
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpen
t
er
sval: extr
a
: ty
p
e inform
a
tion w
a
s b
e
ing lost
i
n ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an C
a
rpenter
sval:
flip
the swi
t
c
h and don't use s32
m
in-s32max
i
nst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sv
a
l: signed: fix validatio
n
test an
d
update form
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
v
a
lid
a
tion
:
signe
d
: upda
t
e validation tes
t
to
refle
c
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wolf
r
am Sang
Makefile: drop sup
e
rfluous trail
i
ng '/'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
nter
math: cleanup some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: add
f
u
z
zy_max and fuz
z
y_
m
in to implied_op
p
osite()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpe
n
ter
sval:
m
ath
:
fix how neg
a
te operati
o
ns are ha
n
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
an Carpenter
sval
:
a
b
s
o
l
u
te:
f
ix reversed c
o
n
dition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next