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
estate: introduce get_implied_estate()
2012-12-14
Dan Carpenter
estate: intro
d
uce g
e
t_implied
_
estat
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: e
s
tate: move merge_
e
stat
e
() from e
x
tra to estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
pe
n
ter
extra: parse asm and unops after ever
y
o
ne else is
f
inis
h
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Ca
r
penter
point
e
r_m
a
th: check for (i
n
t
*
)
p += s
i
zeof(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an Carpenter
treewid
e
:
fix some m
e
mory
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
Revert "constra
i
nts: fi
x
bug in remove_from_equi
v
()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpenter
s
l
ist: fix
some
deb
u
g co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpen
t
e
r
slist: compile error in
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
C
a
rpent
e
r
constraint
s
:
f
ix a memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpent
e
r
c
onstraints: f
i
x bug i
n
re
m
o
ve_from_equiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: use c
m
p_rel
a
tion(
)
instead of c
u
stom
c
ode
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpenter
conditions: rewo
r
k
__is_condition_ass
i
g
n() => is_cond
i
tion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Da
n
Ca
r
penter
db: r
e
m
ove get_retu
r
n_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
parse_
c
all_math: update to ne
w
return_states A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpenter
user_dat
a
: move
t
o the
r
eturn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
extra: move return_valu
e
_param
to
t
he new retur
n
_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Ca
r
p
e
nt
e
r
states:
int
r
o
d
uce get_all_state_s
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: call
return_states at the end of the functi
o
n
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix r
e
turn ranges for
t
he return
_
sta
t
es c
a
llbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: chang
e
pri
n
t
_returned_str
u
ct_members() to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpe
n
ter
d
b
:
i
ntro
d
uc
e
add_ret
u
r
ned_state_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: pass
the r
e
turn_id to
the struct
m
ember c
a
l
l
back
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
m
o
dificati
o
n_
h
o
o
k
s
: handle inline assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
p
ent
e
r
info:
deref
e
r
e
nces_pa
r
am: print the derefer
e
nces even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: handle gl
o
bal function assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra:
i
n
fo: don't
print
e
m
pty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpe
n
ter
absolute: use get
_
impli
e
d_min() instead of ge
t
_implied_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan
Carp
e
nt
e
r
extra: save more modifi
e
d
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpent
e
r
db
:
change
s
mdb_return_info
.
sh
to smdb_return_valu
e
s
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
extra:
db: record when p
e
opl
e
modify pointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
er
extra: m
o
ve --inf
o
hooks
l
a
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
er
db:
m
ov
e
free_slist() insi
d
e the loop a
n
d fix
a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
a
r
penter
helper: introduce
g
et_para
m
_num_from_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carpenter
db:
save str
u
ct member
v
a
lu
e
s
across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Ca
r
p
e
nter
type
:
rename g
e
t_param_t
y
pe_from_key() => get_memb
e
r_type_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
f
lo
w
: implied:
f
ix
h
ow switch statements are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpen
t
er
generi
s
ize
.
pl: remo
v
e u16ma
x
and frie
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
ext
r
a:
t
weak handling of absol
u
te m
i
n/max in
c
omp
a
riso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ig
n
ore fuzzy maxes
t
hat ar
e
type_min() +
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
n
t
er
math: overfl
o
w imp
l
i
es th
a
t th
e
re is no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
arpenter
math: overflows in har
d
max a
r
e u
n
d
e
fined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
t
er
e
xtra: hand
l
e loops where w
i
thout a hard max
t
h
a
t
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pen
t
er
e
x
tra: clea
r
hard max if
w
e are falling b
a
c
k
t
o th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
tr
a
: get max correc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: s
e
t ha
r
d m
a
x co
r
re
c
tly in lo
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
tra
:
if
(
unsigned >= u
n
sig
n
ed) {: Always
t
rue
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
math: ch
e
c
k for overflows when calculating the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
conditions: prese
r
ve th
e
t
ype i
n
s
e
lect assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carp
e
nter
typ
e
: cle
a
np get
_
member_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
r
p
e
n
ter
e
x
t
ra
:
t
y
pe: get the mem
b
e
r type when loading v
a
lues
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
r
penter
d
e
b
u
g:
add __smatch_
d
ebug
_
implied_on/off
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
d
e
bug
:
i
ntroduce local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpen
t
er
extra: reverse m
a
x()/min(
)
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
penter
sva
l
: h
a
ndle canon
i
cal for loops differen
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
enter
sval:
c
onver
t
SHR
T
_
M
AX to s16max in
t
he outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
f
u
ncti
o
n_
h
o
o
ks: consid
e
r the re
t
ur
n
ty
p
e of the func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
r
penter
extra
:
re
m
ove some duplica
t
e co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpen
t
er
math: cha
n
ge how MO
D
operation
s
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
m
a
th: co
u
nt s
o
me more things as implie
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carp
e
nter
extra: type: move
g
et_arge_type() to
smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
penter
e
xtra: math: move get_i
m
pli
e
d_r
a
nge_list() to
s
m
atc
h
_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
sval: extra: get_implied_range
_
list() retu
r
n whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Ca
r
penter
scripts: trace params use 4 space i
n
dents cons
i
stently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: math: fix g
e
t_value() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
check_si
z
e
o
f
_poin
t
e
r
: complain about size
o
f(
&
foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
hooks: add a SIZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sval:
m
ake ca
s
t_rl() preser
v
e things better
across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sval: typ
e
:
h
and
l
e type_bits()
fo
r
add
r
esses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Carpenter
sval:
t
y
p
e: use
t
ype
_
b
i
ts() t
h
ro
u
gh
o
u
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: fixup calls to sval
_
cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Ca
r
p
enter
sval:
ty
p
e: hack select
ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
extra: remov
e
debugging
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: add sval_is_negative()/
p
ositive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
s
v
a
l
:
take
t
he
t
ype in
t
o consid
e
rati
o
n when doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sval: 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: uni
n
itia
l
ized v
a
ria
b
l
e wa
r
ning
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Car
p
enter
flo
w
: hooks
:
fi
x
MACRO_ASS
I
GNMEN
T
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: ho
o
ks: introduce
G
LO
B
AL_
A
SS
I
G
N
M
E
NT
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Car
p
enter
sval: in
t
roduce sval_bits_
u
sed
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
type:
i
ntrod
u
ce type_b
i
ts()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpente
r
Merge
branch 'sval
'
i
nto mer
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
sval: range
s
: set corr
e
ct max in cast_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval: db: cast par
a
m
e
ters to
t
he correct type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval: extra: h
a
ndle assignm
e
nts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carp
e
nter
sval: c
a
st
t
he return
types before en
t
eri
n
g them into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
sval
:
extra: t
y
p
e
i
nformation w
a
s
being l
o
st
i
n
++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sva
l
:
flip the sw
i
t
ch and
d
on't use s32min
-
s
32max instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
n
ter
s
v
al
:
signe
d
: f
i
x
v
a
lidation test and update format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
va
l
idati
o
n
:
sig
n
ed: update va
l
i
dat
i
o
n
test
to reflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wol
f
ra
m
S
a
ng
Make
f
i
l
e
: dr
o
p superfluous trailin
g
'/
'
commit
|
commitdiff
|
tree
2012-11-14
D
an C
a
rpenter
m
a
th: c
l
ea
n
u
p some nam
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: add fuzzy_ma
x
and
fu
z
zy
_
m
in to implie
d
_oppos
i
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpe
n
ter
sval:
math: fix how negate ope
r
ations
ar
e
h
a
n
dl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
C
a
rpenter
sval: absolute: fi
x
r
eve
r
sed condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an
C
arpe
n
te
r
sv
a
l: you're not allowed to divide L
L
ONG_
M
IN by
-1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sv
a
l:
f
i
x parse_valu
e
_ran
g
es_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: re
-
introd
u
ce sv
a
l_is_a_min(
)
s
val_is_
a
_
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpe
n
ter
sva
l
:
don'
t
invent
b
og
u
s range in allo
c
_r
a
n
g
e_help
e
r_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
a
rpenter
s
v
a
l:
use ty
p
e
d
v
ersion
o
f parse_value_ranges() throughout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpent
e
r
sval: move
c
as
t
_rl
(
) i
n
to parse_value_ra
n
ge
s
_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next