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
ranges: introduce rl_invert(), rl_filter() and rl_intersection()
2012-12-14
Dan Car
p
ente
r
ranges: introduce rl_invert
(
), rl_filter() and rl_intersect
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
ter
extra: fix a
b
ug in how pointe
r
s are set in
s
ide called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
estate: introduce get_imp
l
i
e
d
_
es
t
ate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carpenter
extr
a
: estate: move m
e
rge_
e
s
tate() fro
m
extra to estate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
xtra: parse asm
a
n
d unops after everyone else is finished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
pen
t
er
pointer_math: ch
e
ck fo
r
(i
n
t *)p += siz
e
of
(
int)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
Carp
e
nt
e
r
t
r
e
e
wi
d
e: fix some me
m
ory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan C
a
rpenter
R
evert "constraint
s
: fix bug in remo
v
e_from_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
an Carpenter
slist
:
fix some deb
u
g
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: c
o
m
p
ile error
in debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpenter
constraints:
fix a memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constr
a
ints: fix bug
i
n remove_from
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
rpen
t
er
c
o
n
straints: use c
m
p_re
l
a
t
ion()
i
n
s
tead of custom
c
ode
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
D
a
n Carpen
t
er
con
d
it
i
o
n
s: re
w
ork __
i
s_condition_assign(
)
=> is_condition
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpente
r
d
b
: remove get_ret
u
rn_id
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_c
a
ll_m
a
th: u
p
date to new
r
etur
n
_st
a
tes API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
user_data: move to the re
t
urn_
s
tates API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
C
arpenter
extra
:
m
ove retu
r
n_v
a
lu
e
_param
to t
h
e new return_sta
t
es AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Car
p
enter
states: introduce 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 retur
n
_
st
a
tes at the en
d
of the function
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: fix
r
eturn ranges for
t
he return_s
t
ates callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db
:
change print
_
returned
_
struct_me
m
bers()
to new AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpente
r
db: i
n
troduce
add_returned_s
t
ate
_
callba
c
k(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpent
e
r
db: pass t
h
e return_id to the struct
m
e
mbe
r
callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpen
t
er
modifi
c
a
tion_hooks: handle inl
i
n
e
assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
i
nfo: dere
f
e
rences_p
a
ram: prin
t
the d
e
refere
n
ces even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
D
an Carpe
n
ter
d
b
:
h
andle
global funct
i
on a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
e
xtra: info: don't print e
m
p
ty stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Da
n
Car
p
enter
absolu
t
e: use get_imp
l
ied
_
m
in()
in
s
tead
of ge
t
_
i
m
plied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpe
n
ter
extr
a
: save more mod
i
f
i
ed pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carp
e
nter
db:
c
hange sm
d
b
_
r
eturn_i
n
fo
.
sh to
s
mdb_re
t
urn_values
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
an
Carpenter
extra: db: reco
r
d when p
e
ople modify point
e
rs passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
an Carpenter
extra: move --info hook
s
late
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: move
f
ree_slist
(
) inside the loop and
f
ix a m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpent
e
r
helper: in
t
r
o
d
u
ce get_
p
aram_num_from_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Car
p
enter
db:
s
a
ve struct m
e
mbe
r
values acros
s
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
an Carpenter
type: rename get_param_type_from_key() => get_me
m
ber_ty
p
e_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpente
r
f
l
o
w: implied: f
i
x
how switch statements are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
g
e
neri
s
ize
.
pl:
remove u16max and fr
i
ends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n
Car
p
e
n
t
er
extr
a
: tweak handli
n
g of
a
b
solute min/m
a
x in
comparison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
pen
t
e
r
math: ignore
f
u
z
zy maxes that are typ
e
_min()
+
1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
math:
ov
e
rflow
implies
t
h
a
t there
is no
fuzzy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpente
r
ma
t
h: over
f
lows
i
n hard max
are undefi
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
r
p
enter
e
x
t
ra:
handle loop
s
where wi
t
hout
a
hard m
a
x that don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
e
xtra:
clea
r
h
ar
d
max if we are fall
i
ng ba
c
k t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra
:
get max
cor
r
e
ct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra:
s
e
t ha
r
d max corre
c
tly in loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: if (unsign
e
d >=
unsigned)
{: Always t
r
u
e
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: ch
e
ck for overflo
w
s when calculating t
h
e
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
cond
i
t
ions:
prese
r
ve
the type in s
e
lect assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
type: cleanp ge
t
_member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: t
y
pe: get the member type
when lo
a
ding values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
deb
u
g: add
_
_smat
c
h
_debug_impli
e
d_on/off
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
debug
:
introduce local_
d
ebug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
xtra: reverse max()/min()
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n C
a
rpenter
s
v
al: handle canonic
a
l
f
o
r l
o
ops differen
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval: convert S
H
RT_M
A
X to s16max in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpente
r
funct
i
on_hooks: consider the
return type of th
e
f
u
nc
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extra: remove some duplicate c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math: change how MOD
op
e
ratio
n
s are h
a
nd
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
math: count s
o
me mo
r
e thin
g
s
as implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
r
p
enter
extra: t
y
pe: move get_arge_type() to smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpen
t
e
r
e
x
tra: mat
h
: move g
e
t
_
implied
_
r
a
n
ge_list() 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
: extra:
g
et_impl
i
ed_ran
g
e
_
list() return
whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpen
t
er
s
c
ri
p
ts: tra
c
e pa
r
am
s
use 4 space in
d
ent
s
cons
i
stently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
e
nter
sval: math: fix get_value()
f
or
!
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
check_sizeof_pointer: complain about si
z
eof(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
ho
o
ks: add a
S
IZEOF_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpent
e
r
sva
l
: make cast_rl() preserve t
h
in
g
s better ac
r
oss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpe
n
ter
sval: type: han
d
le type
_
bits() for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
type
:
u
s
e
t
y
pe_
b
it
s
()
t
h
rou
g
h
o
ut
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: fixup calls to sval_cm
p
_v
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Ca
r
p
e
n
t
e
r
sval: type
:
hack select types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
extra:
re
m
ov
e
debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
rpent
e
r
sval
:
a
d
d
s
v
a
l
_is_ne
g
ative()
/
positive(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rp
e
nter
sval: t
a
k
e the type int
o
considera
t
i
o
n
whe
n
d
o
ing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pen
t
er
sv
a
l
:
cast things correctly in sval_
c
mp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assche
sval:
uninit
i
a
l
i
zed varia
b
le warning
commit
|
commitdiff
|
tree
2012-11-17
Dan Carp
e
nte
r
flow: hooks: fi
x
M
ACRO_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Ca
r
penter
flow: hook
s
: introd
u
c
e
GLOBAL_ASSIGNMENT_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Carpenter
sva
l
: int
r
oduce s
v
al_bits_used
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carp
e
nter
type: int
r
oduce type_b
i
ts(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
n
ter
Merge branch 'sval' into m
e
rge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
sval: ranges:
set c
o
rre
c
t
max in c
a
st_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
n
t
er
sval: db:
cast
p
aram
e
ters to the cor
r
ect
t
y
pe be
f
ore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sva
l
:
e
xt
r
a: handle as
s
ignments b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: cast the return types be
f
ore
enter
i
n
g them into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: extra: typ
e
inform
a
tion w
a
s being lo
s
t
in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sva
l
: flip th
e
s
w
it
c
h and don't use s3
2
min-s32max inst
e
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval
:
s
ig
n
ed: fix valid
a
tion
t
est an
d
update for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
validation: signed: upda
t
e valida
t
ion
test to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfram San
g
Makefile: drop supe
r
fluous trailing '
/
'
commit
|
commitdiff
|
tree
2012-11-14
Dan Ca
r
penter
math: cleanup so
m
e
n
aming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Car
p
enter
math: add fuzzy_max a
n
d fuzzy_min to
i
mplied_opposite()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Ca
r
penter
sval:
m
ath: fix how
negate
o
pera
t
ions are ha
n
dle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
D
an Car
p
enter
sval
:
a
b
s
o
l
u
te: fix reversed
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Car
p
enter
s
val: yo
u
're no
t
al
l
owed to divi
d
e LLONG_MIN by -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpente
r
sva
l
: fix p
a
rse_va
l
u
e_r
a
nges_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
val: re
-
introdu
c
e sval_is
_
a_min() sval_i
s
_a_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpenter
sval: do
n
'
t invent bogus ran
g
e in allo
c
_range_helper_sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next