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
implied: introduce overwrite_states_using_pool()
2012-12-14
Dan
Carpenter
implied: introduce ove
r
write_states_using_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpe
n
ter
s
t
a
tes:
fix __
s
e
t_sm() when a fake_cur_slist is b
e
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
fu
n
c
t
ion_hooks: a
d
d
s
ome
cal
l
s to __un
n
ullif
y
_pa
t
h()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpen
t
er
ra
n
g
e
s: introduce rl
_
invert(), rl_fil
t
e
r
() a
n
d rl_intersectio
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
enter
e
x
tra
:
fix a
b
ug in how
pointer
s
a
re set inside called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carpenter
estate: introduc
e
g
e
t_implied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arp
e
n
t
e
r
extra: estate
:
move merge_estate() from extra
t
o estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
e
x
tra: parse asm and unops after everyone else is
finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
poi
n
ter
_
math: c
h
eck for
(in
t
*)p += sizeof(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpe
n
ter
treewide: fix some memory leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan
Car
p
enter
Revert "constr
a
in
t
s:
f
ix bug
i
n remove_from_e
q
uiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: fix some debug
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: compi
l
e error in
d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
ent
e
r
c
o
nstraints:
f
ix a memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
enter
const
r
aints:
fix bug
i
n
r
emove_from_equiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: use cmp_relation()
instead
o
f custo
m
co
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpe
n
ter
c
ond
i
tions: rewor
k
__is_condition_
a
ssign(
)
=
>
i
s_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Da
n
Carpenter
db: rem
o
ve get_return_
i
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
p
arse_call_math: update
to new return_stat
e
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
rpent
e
r
user
_
data:
m
ove to the return_sta
t
e
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pente
r
e
xtra
:
move return_value_para
m
to the new retur
n
_sta
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
states: introduce get
_
all_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpenter
db: c
a
ll return_stat
e
s
a
t
th
e
end of the function if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix
return ranges for the retur
n
_
s
tates callba
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
db: change
print_re
t
u
rned_s
t
r
u
ct_members
(
) to ne
w
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db:
introduce add
_
returned_state_callback
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
rpenter
d
b: pa
s
s the return_id to the struct member callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
m
o
dification_
h
ooks: handle inli
n
e
assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
ent
e
r
info: deref
e
ren
c
es_pa
r
am: pr
i
n
t the de
r
e
f
erence
s
even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
D
a
n
Carpent
e
r
d
b
: handle
g
lob
a
l
function a
s
si
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra: inf
o
:
d
on't print em
p
ty sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan
C
arpenter
a
bsolute: use get_implied_min()
i
n
s
tead o
f
g
et_implied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan
C
ar
p
ent
e
r
extra: save more modified pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpent
e
r
db: change smdb_return_info
.
sh to smdb_return_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
extra:
d
b: record when peopl
e
m
o
d
i
fy pointers pass
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: move --info ho
o
ks
lat
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
r
p
en
t
er
d
b
: move
f
r
e
e_sl
i
s
t
() insid
e
the
l
o
op and fix a me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
ar
p
en
t
er
h
e
lper: int
r
o
duce get_param_num_
f
rom_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: save s
t
ruct
member valu
e
s across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan C
a
rpenter
ty
p
e:
rename get_param_type_from_key(
)
=> get_member_type_
f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
flow: implied:
fix how
s
w
i
tch statements are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
e
r
gen
e
risize
.
p
l
: remov
e
u16max an
d
frie
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpe
n
ter
extra: tweak h
a
nd
l
i
ng o
f
absolu
t
e min/max i
n
c
o
m
parisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpen
t
e
r
math:
ig
n
ore fuzzy
m
axes
t
h
a
t are type_mi
n
(
)
+ 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rp
e
nter
m
at
h
: overflow implies that
t
here is no
fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
math: overflo
w
s
in hard max are undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Ca
r
penter
extra:
h
andle loops where wit
h
o
ut
a hard max th
a
t don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: c
l
ear
hard max if
we are fallin
g
back to t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: get
m
a
x
c
o
rr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: set
h
ard max c
o
rrectly in
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
extra: i
f
(unsigned >= unsig
n
ed)
{
:
Al
w
ays true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
m
ath: check for
o
v
e
r
f
low
s
when calculat
i
n
g
t
he max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
c
o
nditions: preserve th
e
t
y
pe in sel
e
ct
a
ssig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
type:
c
leanp get_member_symb
o
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
extra
:
type: get the member type when loadin
g
val
u
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug
:
add __smatch
_
de
b
ug_implied_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug:
i
ntrodu
c
e local_
d
e
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
extra: reverse
m
ax()/min() t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
a
rp
e
n
t
er
sval
:
han
d
le
c
an
o
nical
for
l
oops differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval
:
con
v
ert SHRT_MAX
t
o s16max in the outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carpe
n
ter
function_
h
ooks
:
consider the
return
t
ype of
t
h
e
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpenter
extra
:
remov
e
s
ome dupli
c
ate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpenter
m
ath: change
how MOD opera
t
ions
a
re
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Ca
r
penter
m
ath: co
u
nt
some mo
r
e things
a
s
implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra:
typ
e
: move
get_arge_type()
t
o smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
Carpente
r
extra:
m
ath: move get_implied_range_lis
t
() to
s
match
_
m
ath
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
sva
l
: ext
r
a: get_implied_range_li
s
t
() re
t
urn w
h
ole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
scripts: trace
param
s
use 4 space
i
ndents consistently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: math: fix g
e
t_
v
alue() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
check_sizeo
f
_pointer: complain
a
bout sizeof(&fo
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
hooks: add a
SIZ
E
O
F
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
s
v
al: ma
k
e cast_rl() preserve
t
hings
better a
c
r
oss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
rpenter
s
v
al:
type: handle
type
_
bits() for
a
ddresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type: use type_bits
(
)
t
h
r
o
u
g
h out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
sval: fixup calls t
o
sval_
c
mp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpe
n
t
e
r
sval: type: hack se
l
ect types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
extra: r
e
m
o
v
e
debugging
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval:
a
dd
sval
_
is_negati
v
e()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval: take the type into consideration
when doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
: cast things co
r
rectl
y
i
n
s
v
al_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Ba
r
t Van Assche
sval:
u
ninitialized
v
ariable wa
r
ni
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hooks: f
i
x
MACRO_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hoo
k
s: in
t
roduce GLOBAL_ASS
I
GNME
N
T_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n
Carpenter
s
val: introduce sval_bits_u
s
e
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
C
a
r
pen
t
er
type: introduce type_b
i
ts(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
Merge b
r
anc
h
'
s
v
al' in
t
o merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
penter
s
val: r
a
nges: s
e
t correct max in cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval:
d
b:
ca
s
t parameters t
o
th
e
correc
t
t
y
pe before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpent
e
r
sva
l
:
e
xtra: handle
a
ssignments be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
p
enter
sval: c
a
st the
retur
n
types before e
n
tering
t
hem into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: extra: t
y
pe info
r
m
atio
n
was
b
ein
g
lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n C
a
rpent
e
r
sval: fli
p
the
s
wi
t
ch and don't use
s32min-s32max inst
e
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
sval: sig
n
ed: f
i
x v
a
l
i
d
a
tion test and
u
pdat
e
format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
v
ali
d
ation: signe
d
:
update va
l
idation test to re
f
l
e
ct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wol
f
r
am Sang
Makefile: drop superfluou
s
traili
n
g '/'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
n
t
e
r
math: cleanup s
o
m
e
n
a
mi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math
:
add fuzzy_max and fuzzy
_
min to
implie
d
_opposi
t
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
an Ca
r
penter
sval: ma
t
h: fix how
negate
o
perations are han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpent
e
r
sval: absolute: fix
reversed condi
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sv
a
l: you're not allowed to divide LL
O
NG_MIN by -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next