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 Carpenter
range
s
: introduce r
l
_
i
n
v
e
r
t
(
), rl_fi
l
ter() and rl_inters
e
cti
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra
:
fix a bug
i
n how pointers are set inside c
a
l
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
p
e
n
t
er
est
a
te: intr
o
duce get
_
i
m
plie
d
_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpente
r
extra: estate: move merge_est
a
te() from ex
t
ra to es
t
at
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
r
p
enter
ex
t
ra: parse asm and unops a
f
te
r
e
v
eryone
else
i
s fin
i
s
hed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
poi
n
ter_math: check for (int *)p += si
z
eof(i
n
t)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Ca
r
penter
treewide: f
i
x
some memory leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Ca
r
p
e
nter
Revert
"
constraint
s
:
f
ix bug
in r
e
move_from_
e
quiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
enter
slis
t
: f
i
x som
e
debug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist
:
comp
i
le error in deb
u
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
c
o
n
straints: fix a memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
en
t
er
con
s
t
r
a
i
nts: fix bug in
remo
v
e
_
f
rom_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpen
t
er
c
onstraints: use cmp_
r
elat
i
on() instead of
c
ustom code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpen
t
er
conditio
n
s
:
rewor
k
__is_condi
t
ion_assign() =
>
is_
c
ondition
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carp
e
nt
e
r
db: remove
g
et_return_id(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_call_math: updat
e
to
n
ew retu
r
n_states AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
use
r
_data
:
move to the
return_states A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
extra: mo
v
e return_value_param to the new return_s
t
ates API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
ar
p
en
t
er
state
s
: introduc
e
get_all_s
t
a
t
e_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carp
e
nter
db: call r
e
turn_stat
e
s at t
h
e en
d
o
f
the functi
o
n
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpent
e
r
d
b:
fix return range
s
for th
e
return_
s
tates
c
allbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
db: c
h
ange print_returned_struct_m
e
mber
s
() to
new API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n C
a
r
p
enter
d
b: in
t
roduce add_returned_
s
tate_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
db:
pass the ret
u
rn_i
d
to th
e
struct memb
e
r callba
c
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
modification_hooks: handl
e
i
n
line assemb
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
in
f
o: dereferences_p
a
ram: pr
i
n
t
the dereferenc
e
s even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
D
an Car
p
enter
db
:
handle global funct
i
on ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpe
n
ter
extra: info:
don't pri
n
t e
m
pty st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n
C
arpe
n
ter
abso
l
ute: u
s
e get_implied_
m
in() instead of get_implied_v
a
l
ue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carpenter
ex
t
ra: sa
v
e more
modified pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db:
c
hange
smdb_re
t
urn_info
.
s
h
to
smdb_return_valu
e
s
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
an
C
a
r
pent
e
r
e
xtra: db: record when pe
o
p
l
e modify
p
oin
t
e
r
s passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
extra: move
-
-info hooks late
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
Carpenter
d
b
: mov
e
free_s
l
ist() i
n
side the loop and fix a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
h
e
lper: introd
u
ce get
_
param_num_
f
rom_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n Carpent
e
r
db:
s
ave struct m
e
mber values ac
r
o
s
s returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carp
e
nter
t
y
pe: rena
m
e
get_param_type
_
fro
m
_key() =>
get_memb
e
r_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
penter
fl
o
w:
i
mplied: fix
how switch statements ar
e
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
Carpen
t
er
generis
i
ze
.
p
l
:
remove
u16max and
friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
ex
t
r
a
:
tweak handling of
absolute mi
n
/max in
compariso
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carp
e
nter
mat
h
:
ignore fuzzy maxes
t
hat are type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpent
e
r
ma
t
h:
over
f
low implies that there is no fuzzy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
mat
h
: o
v
erfl
o
ws in hard max are undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
extra: handl
e
loops wh
e
re without
a hard max tha
t
don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
e
x
tra
:
clear hard max
if we ar
e
fa
l
l
i
ng bac
k
to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
ext
r
a
:
get
m
a
x
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
p
e
n
t
er
ex
t
ra: s
e
t har
d
ma
x
correctly in loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: if (
u
nsigned >=
unsigned) {: Always true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nt
e
r
m
a
th:
check for ov
e
rfl
o
w
s
w
hen
c
alc
u
lating th
e
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpe
n
t
e
r
condit
i
ons: pres
e
rve the t
y
pe
in select
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
type: cleanp g
e
t
_me
m
be
r
_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Ca
r
penter
extra
:
type: get the memb
e
r ty
p
e when
l
o
a
ding val
u
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debu
g
: add __smatch_debug_implied_on/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an
Carpe
n
ter
debug: introduce local_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
rpenter
extra: re
v
e
rse ma
x
()/min() tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carp
e
nter
sval: handl
e
canonica
l
fo
r
loops
dif
f
erentl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carp
e
n
t
er
sval: convert SHRT_MAX
t
o
s16max
i
n
the o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
functio
n
_
hooks:
c
o
nside
r
the
return
t
ype of the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
rpenter
extra: re
m
ove
some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
enter
ma
t
h: change how MOD
op
e
ra
t
io
n
s are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
mat
h
:
count
s
o
me more things as imp
l
ied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
extra: type: move get_arge_typ
e
() to smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
extra: m
a
th
:
m
ove get_im
p
lied_range_list() to smat
c
h_mat
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carp
e
n
ter
s
v
al: extra: get_implied_range_list()
r
e
turn whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpenter
scripts: trace p
a
ram
s
use 4 sp
a
ce indents consi
s
tently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
sval: math: fix ge
t
_value(
)
for
!foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
check
_
s
i
zeof_pointer:
c
o
m
p
l
ain about size
o
f
(&
f
oo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Ca
r
penter
hook
s
: ad
d
a SIZE
O
F_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval: m
a
ke cast_r
l
() prese
r
ve th
i
n
g
s better across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an
Carpenter
sval
:
ty
p
e:
handle t
y
p
e_bi
t
s()
for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
r
penter
s
va
l
:
typ
e
: use
type_bits() thr
o
u
g
h out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpenter
sv
a
l
:
fixup calls to sv
a
l_cmp_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
e
r
sval: type: hack select types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carp
e
nter
ex
t
ra: rem
o
ve d
e
bug
g
ing outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pent
e
r
sval: a
d
d sv
a
l_i
s
_negative()/positi
v
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
take the type
into consi
d
er
a
tion when doing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
cast th
i
ngs c
o
rrect
l
y i
n
sv
a
l
_
cmp
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart Va
n
Assche
s
va
l
: unini
t
ialized
v
ariable
warning
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpe
n
ter
flow: hooks: fix MA
C
RO_ASSIGNMENT_H
O
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpent
e
r
flow: hooks: i
n
tr
o
d
u
ce GLOBAL_A
S
SIGNMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval
:
introdu
c
e sval_bi
t
s
_use
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan C
a
rpenter
type: int
r
od
u
c
e
type
_
bits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
ar
p
enter
Merge b
r
anch
'
sva
l
' into merg
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sval: ran
g
es:
s
et co
r
rect max in cast
_
rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: db: cast
parameters to the
c
orre
c
t type before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpenter
s
val: extra: ha
n
dle assignments
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
val: cas
t
the
r
e
turn
types before
ent
e
rin
g
t
h
em i
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Car
p
ent
e
r
sval: extra
:
type
i
n
form
a
tion was
being lost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
sva
l
:
flip t
h
e switch and don't us
e
s32min-s32max instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
s
v
a
l: s
i
gned: fix val
i
d
a
tio
n
test an
d
upda
t
e format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an Ca
r
pente
r
vali
d
ation:
s
igned: update valida
t
ion test to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfr
a
m Sang
Makefile:
drop superfluo
u
s trai
l
ing '
/
'
commit
|
commitdiff
|
tree
2012-11-14
D
an Car
p
enter
math
:
cleanup some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpent
e
r
m
ath: add f
u
zzy_ma
x
and fu
z
z
y
_min to implied_opposite
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
D
a
n Carpenter
sval: math: fix ho
w
neg
a
t
e operat
i
ons are handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpent
e
r
sval:
ab
s
olute: fi
x
reversed condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpe
n
ter
sval: you're not all
o
wed
t
o
divid
e
LLONG_MIN by -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpenter
s
v
al
:
fix parse_val
u
e_ranges_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
sval: re-in
t
roduce sval_is_a_
m
i
n() sval_i
s
_a_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpent
e
r
sval:
d
o
n
'
t invent bogus range in allo
c
_ra
n
ge_
h
elper_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next