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
signed: remove some debug code
2012-12-16
Dan Carpenter
sign
e
d
: r
e
move some d
e
bug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpente
r
db: ma
k
e t
h
e si
z
e
limit for the database
la
r
ger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan Car
p
en
t
er
param_limit: don't
print unneeded information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carpenter
db: remove
r
eturn_implies table and rel
a
ted code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an C
a
rpent
e
r
smatch_param_limi
t
: extra: store para
m
ete
r
implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Ca
r
p
e
nter
db:
print return_states information
in a m
o
re de
t
ailed way
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Car
p
enter
im
p
lied: introduce
o
ve
r
write_stat
e
s_using_pool(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
states: fix __set_sm(
)
when a fake_cu
r
_sli
s
t is being
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
function_ho
o
ks:
a
dd s
o
me calls to __unnulli
f
y_path()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
ran
g
es:
i
ntroduce
rl_i
n
vert(), rl_filter
(
) and rl_i
n
tersectio
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: fix a bug in ho
w
point
e
rs are
s
et i
n
s
i
de
c
alled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arpenter
estat
e
: introduce g
e
t_i
m
plied_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
e
x
tra: estate: move me
r
g
e_estate
(
)
f
r
om ex
t
ra to
esta
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
extra:
parse asm
a
nd unops
after everyone
els
e
i
s finishe
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carpenter
poin
t
er_math
:
check
f
or (int *)p
+
= s
i
z
e
o
f(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan C
a
rpen
t
er
treewide: fix s
o
me memory lea
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpente
r
R
e
vert
"constra
i
nt
s
: fix bug in rem
o
ve_from_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
Carpenter
slis
t
: fix some debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
s
l
ist: compi
l
e error in debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: fix
a
memo
r
y leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpente
r
constr
a
ints: fix b
u
g in remove_
f
ro
m
_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
con
s
tra
i
nts: use cmp_relation()
i
n
ste
a
d of
c
u
s
tom code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan
C
arpenter
c
o
nditions: rework __is_
c
ondition_ass
i
g
n
() => is_co
n
dition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Da
n
Carp
e
n
t
er
db: r
e
mov
e
get_return
_
i
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
pars
e
_call
_
math: updat
e
to new r
e
turn
_
states AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpent
e
r
use
r
_dat
a
: mov
e
to the ret
u
r
n
_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
extra: mov
e
return_value_
p
aram to th
e
new return_sta
t
es API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
states: intr
o
d
uce get_all_stat
e
_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: call
r
etu
r
n
_
states
at t
h
e
e
n
d
o
f t
h
e
function if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
rpenter
d
b: fix re
t
urn ran
g
es
f
o
r the retur
n
_states callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
ar
p
e
n
ter
db: change print
_
r
eturned_
s
truc
t
_members() to new API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
i
n
t
roduce add
_
ret
u
rned_state_call
b
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
db: pas
s
the return_
i
d t
o
t
he
stru
c
t member callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modif
i
cation_hoo
k
s
: handle
inline assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpenter
inf
o
: dereferences_p
a
ram
:
pr
i
nt the dereferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpent
e
r
db: h
a
n
d
l
e global function assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan
C
arpenter
e
x
t
ra
:
info: don't p
r
i
n
t empty
s
ta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
abs
o
l
u
te: use get_i
m
plie
d
_
min() instead of get_implied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpen
t
er
extra: sav
e
mor
e
modified
po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: c
h
ang
e
sm
d
b_re
t
urn_info
.
sh to smdb_return_values
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: d
b
: record when people
m
odify pointers passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
x
tr
a
:
move --i
n
fo hooks later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: move free_s
l
ist()
inside the loop and fix a me
m
or
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n C
a
rpenter
helper:
intr
o
d
u
ce ge
t
_param
_
num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: sav
e
struct member values
a
cr
o
ss
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpe
n
ter
type: renam
e
get_para
m
_type_f
r
om_key() =
>
get
_
memb
e
r_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpenter
fl
o
w:
i
mplied: fix ho
w
switch
s
ta
t
ements a
r
e
h
a
n
dl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
generisize
.
pl: remov
e
u1
6
max and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpenter
e
x
t
ra: tweak
ha
n
dling of a
b
s
olut
e
min/max in
c
ompar
i
s
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpenter
math: ignore
fuzzy max
e
s that are type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
ter
math: overflow im
p
lies t
h
a
t
ther
e
is no fuzzy
m
ax
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math:
o
v
e
rflows
in hard max are undefi
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n C
a
rpent
e
r
extra: handle loops
where
w
i
t
hout a hard m
a
x that do
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Car
p
ent
e
r
extra
:
clear
h
a
r
d max i
f
we are fal
l
i
n
g back
t
o the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
ar
p
enter
extra: g
e
t m
a
x
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
extra: set hard ma
x
corr
e
ct
l
y in l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
C
a
rpe
n
t
e
r
extra
:
if (uns
i
g
n
ed >
=
unsigned) {: Always true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpente
r
m
ath: check
f
or
overfl
o
ws when ca
l
culati
n
g th
e
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
c
o
nditions: prese
r
ve th
e
t
ype in
s
elect as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Ca
r
penter
type: cleanp get_membe
r
_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra:
type: g
e
t t
h
e member type when loading values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Ca
r
penter
debug: add __smatch_debug_implied_on/off
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carp
e
n
t
er
debug:
i
n
troduce lo
c
al_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
rpenter
ext
r
a: reve
r
se max()/min() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpe
n
ter
s
val: handle canonic
a
l for l
o
ops differ
e
nt
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carpenter
s
val
:
convert SHRT_M
A
X to s16max in
t
he output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
penter
function_hooks: consider the return type of the f
u
nct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpente
r
e
xtr
a
: remove some dupli
c
ate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
mat
h
: chang
e
h
ow MOD o
p
e
r
ations
a
re handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpent
e
r
ma
t
h: count some more t
h
i
n
gs as implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
e
xtra: type
:
move get_arge_t
y
pe() to smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
ext
r
a: math: move get
_
im
p
lied_
r
ang
e
_list() to smatch_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpenter
s
val: extra: get
_
i
m
plied_range_list
(
)
retu
r
n
whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scri
p
ts: trace p
a
rams u
s
e 4 s
p
ace in
d
ents con
s
isten
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
r
penter
sval:
math
:
fix get_v
a
lue() for !foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
check_sizeof_pointer: c
o
mplain a
b
o
u
t sizeo
f
(
&foo
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
hoo
k
s
:
add a S
I
Z
E
OF_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
s
v
a
l
:
make cast_r
l
() preserve t
h
ings better
a
c
r
o
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Ca
r
penter
sval: type:
h
a
ndle t
y
p
e
_bits() for
a
d
dresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
sval
:
type: use type_bits() through ou
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carp
e
n
t
er
sval:
fixup calls to s
v
al_cmp_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpe
n
t
er
s
v
al:
t
y
pe: hack select types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
C
a
rp
e
nter
extra:
r
emove d
e
bugging ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval: add sv
a
l_is_negative(
)
/posit
i
v
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: take the type
i
nto consi
d
e
r
ation when do
i
ng an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpe
n
ter
sval: cast things correctly in sval_cm
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpenter
flow
:
h
o
ok
s
:
f
ix
M
ACRO_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n
Car
p
e
nt
e
r
flow: hooks: introduce GLOBAL_ASSI
G
NMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval
:
introduce sval_bits_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpen
t
er
type: intr
o
duce type_bi
t
s(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Car
p
en
t
er
Merge
b
ranch 'sval' into
merge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an
C
a
rpenter
s
val:
r
a
nge
s
:
s
et correct max in
cast_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
sval:
d
b: cast para
m
e
t
ers t
o
the correct type before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sva
l
: extra: handl
e
as
s
i
gnments bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
rpen
t
e
r
sval
:
cast
t
h
e
return types before ent
e
ring
th
e
m into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
sval: extra: type information was being lost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
v
al: flip
t
he
switch and don
'
t use s32min-s32max instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
r
pente
r
s
v
a
l: sig
n
ed: fix valid
a
tio
n
test a
n
d
up
d
ate format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
v
a
lidation: s
i
gned: u
p
date validation tes
t
to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: clea
n
up some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next