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_u
s
in
g
_
pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
states:
f
ix __set_sm()
w
hen a f
a
ke_cur_s
l
ist
i
s
b
eing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
fun
c
tio
n
_
hooks: add
some
calls to __unnull
i
fy_path
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpent
e
r
ra
n
ge
s
: introduce rl_invert(), rl_filter() and rl_intersection()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpente
r
e
x
tra: fix a bug
i
n how po
i
nters are s
e
t i
n
s
i
de c
a
lled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
estate:
i
ntroduce
g
et_implied_estat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: estate:
m
o
v
e
m
e
r
ge_estate(
)
from e
x
t
ra
t
o e
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: parse asm and unops af
t
er
everyone else
is finishe
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
po
i
nter_math: check for (i
n
t *)p += sizeof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpente
r
treewide: fix some memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
Rever
t
"
const
r
aints: fi
x
bug
in remo
v
e
_fro
m
_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
C
a
r
penter
slist: fix
s
ome debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
an Carpenter
slist: compile err
o
r
i
n
d
e
b
u
g
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Car
p
enter
constraints: f
i
x a me
m
o
r
y leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpent
e
r
constraints: fix bug
in remov
e
_from_equ
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
rpe
n
ter
constraints: use cm
p
_relation
(
)
in
s
tea
d
of
cus
t
om code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpente
r
con
d
itions: rework __is_c
o
n
dition_
a
ssign() => is_condition(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan
Carpe
n
ter
db: remove get_return_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
e
n
t
e
r
parse_c
a
ll_math: update t
o
ne
w
ret
u
rn_state
s
AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
u
s
er_data: move
t
o the return_states
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
e
n
t
e
r
ex
t
r
a
:
move retur
n
_v
a
lue_param to the new
r
e
t
urn_st
a
tes
A
PI
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
s
t
ates:
introduce get_all_state_slist
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
r
penter
db: call
return
_
states at the end of t
h
e functi
o
n if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix
r
eturn ran
g
es for
t
h
e return_states callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
e
r
db: change print_return
e
d_struct_members
(
) to new API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
C
arpent
e
r
db: introduce add_returned_state_ca
l
lback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
db
:
pass the return_id
t
o the
st
r
u
ct
memb
e
r
callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
modif
i
cati
o
n_hooks: h
a
n
d
le inlin
e
a
s
sembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
t
er
info: dereferences_par
a
m: p
r
i
n
t the dereferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpente
r
db: handle globa
l
function assig
n
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan
Carpenter
ex
t
ra: info: don't pr
i
n
t
e
mpty states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n
Carpe
n
t
e
r
absol
u
t
e: use get_
i
mplied_m
i
n
() instead
o
f get_implied_
v
alu
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carpenter
extra: sa
v
e more modified pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
db: change smdb_
r
eturn_info
.
sh to s
m
db_retu
r
n_value
s
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: db: record w
h
en peo
p
le modify pointers
passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpente
r
extra
:
move
-
-info ho
o
k
s
l
ater
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
Carpent
e
r
db: move free_
s
li
s
t
() inside the loop a
n
d
f
ix a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
helpe
r
: introduce
get_pa
r
am_num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Ca
r
penter
db: save struct memb
e
r
valu
e
s acr
o
ss
retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan C
a
rpenter
typ
e
:
rename get_p
a
ram_type_fr
o
m_key() => get_member_t
y
pe_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
flow: i
m
plied
:
fix how
switch s
t
atements
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
n
t
er
generisi
z
e
.
p
l
: remove u16max and
friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
r
p
enter
ex
t
ra: twe
a
k handling
of abso
l
ute m
i
n/ma
x
in
c
ompariso
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
math: ignore fuzz
y
maxes t
h
at
are t
y
pe_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
ma
t
h: ove
r
flow implies tha
t
there is
n
o fuz
z
y
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carp
e
nte
r
ma
t
h: ove
r
f
lows in hard ma
x
a
re undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
e
xtra: han
d
le
loops where without a hard
m
ax that 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: clear hard max if w
e
are f
a
lli
n
g back
to
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an
Carpenter
extra: get max corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
ar
p
en
t
er
ex
t
r
a: set ha
r
d max c
o
r
re
c
t
ly
in loop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a: if
(unsigned >= u
n
signed) {:
Alw
a
ys true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
math: check for ov
e
rfl
o
ws
w
hen calcul
a
ting th
e
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
conditions: p
r
eserve the
t
ype in sele
c
t assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
typ
e
:
cleanp get_
m
ember_symbol(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
e
r
e
x
tra: type: g
e
t the member type w
h
en l
o
ading values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
debug: add __
s
mat
c
h_debug
_
imp
l
ied_on
/
off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
debug: intro
d
u
c
e local_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
e
x
tra: r
e
verse max()/mi
n
() tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpenter
s
v
a
l: handl
e
can
o
nical
f
o
r loops diff
e
r
entl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpent
e
r
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
function_hooks: consi
d
er t
h
e return typ
e
of the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
pe
n
t
e
r
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
mat
h
: change how M
O
D o
p
erations ar
e
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpente
r
math: count some more
t
hings as i
m
plied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Car
p
ente
r
extra: type: move
g
et_arge_type() to smatch
_
t
y
pe
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpe
n
t
er
extra: math: move get_imp
l
ied_range_l
i
st(
)
to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpen
t
er
sv
a
l: extr
a
:
g
et_impli
e
d_rang
e
_list() re
t
ur
n
w
hole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
penter
s
cripts: tra
c
e
para
m
s
use
4
space in
d
ents consistentl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpent
e
r
sval:
m
a
th: fix get_value() for !foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Ca
r
penter
che
c
k_sizeof_p
o
i
n
te
r
: compl
a
in about sizeof(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pent
e
r
hooks: a
d
d a S
I
Z
E
O
F_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sval: make cast_rl(
)
pre
s
erve things bette
r
acro
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sv
a
l
: ty
p
e
: handle type_bits() for addresse
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpe
n
ter
sva
l
:
type: use type_bits() through out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpe
n
ter
sval: fixup call
s
t
o
sval_cmp_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
t
ype: hac
k
sele
c
t types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
e
xtra: re
m
o
v
e
d
e
bugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpent
e
r
sval: a
d
d s
v
al_
i
s_negat
i
v
e
()/positive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpenter
sval: tak
e
t
he
t
y
pe into con
s
ideration when doing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
cast things
correctly in sv
a
l_
c
mp
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart
V
an Assch
e
sva
l
: uninitializ
e
d variable warning
commit
|
commitdiff
|
tree
2012-11-17
D
a
n
Ca
r
pent
e
r
flow:
h
o
oks: fix
MA
C
R
O
_
A
SSIGNM
E
N
T_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan
Ca
r
penter
flow: hook
s
: i
n
trod
u
c
e
GLOBAL_ASSIGNMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: in
t
r
oduce s
v
a
l_
b
its_use
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
p
e
n
ter
typ
e
: introduce type_bits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
Merge
branch 'sva
l
'
in
t
o merge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
r
pen
t
e
r
sval: ranges:
set corre
c
t
max in ca
s
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpenter
sva
l
: db
:
cast par
a
me
t
e
rs to
t
he correct typ
e
before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sv
a
l: extra: handle assignmen
t
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
C
a
r
penter
sval: cast
the re
t
urn types befo
r
e entering them into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: extr
a
: type infor
m
at
i
on wa
s
bei
n
g
l
ost
i
n ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
r
p
enter
sva
l
: fl
i
p the switch and don'
t
use s32m
i
n-s32max instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
sval:
signed: fix
v
a
l
idation te
s
t
a
nd upd
a
te format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
va
l
idation
:
s
ign
e
d:
update validatio
n
t
e
s
t to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfra
m
Sang
Mak
e
fi
l
e: drop
s
uperfluous trail
i
ng
'
/
'
commit
|
commitdiff
|
tree
2012-11-14
D
an Carp
e
nter
math: cleanup some namin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
D
a
n Carpent
e
r
mat
h
:
a
dd
f
u
zzy_ma
x
a
n
d
fuzzy_min to implied_oppo
s
i
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpe
n
ter
sva
l
: mat
h
:
f
ix h
o
w negate op
e
rations a
r
e handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
C
a
rpenter
sval: a
b
solu
t
e
: fix reverse
d
c
o
ndition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
sval: you'
r
e not allowed to divide LLONG_MIN by
-1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next