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
param_limit: don't print unneeded information
2012-12-15
Dan Carpenter
param_limit:
d
o
n
'
t pr
i
nt unneeded information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
db: remo
v
e return_impli
e
s table and related code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carpenter
smatch_param_
l
imit: extra: s
t
ore parameter implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carpenter
db: print re
t
urn_st
a
tes infor
m
ation in a m
o
re detailed
wa
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
implied: introduc
e
o
ve
r
write_states_
u
s
ing_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
state
s
: fi
x
__
s
et_sm() when a fake_
c
ur_slis
t
i
s
being
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
p
e
nter
funct
i
on_h
o
oks:
add some
calls to __unnullify_path()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
ranges:
i
n
troduce rl_invert()
,
rl_filter(
)
a
n
d
rl_intersection()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
ex
t
ra: fi
x
a
b
u
g
i
n
h
o
w
point
e
rs are set inside called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
enter
e
s
tate: introduce get_implied_est
a
te
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
enter
extra: estate:
move
m
e
r
g
e
_estate() from e
x
tra to e
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
e
x
t
ra: pars
e
a
s
m
a
nd unops after ev
e
r
yone
e
l
s
e is
f
i
n
is
h
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
p
o
inter
_
m
a
th:
c
heck for (int *)p += sizeof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
Carpe
n
ter
treewide: fix some mem
o
ry leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carp
e
nte
r
Rever
t
"constraints: fix
b
u
g in remove_from_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
an Car
p
ent
e
r
slist: fix so
m
e de
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
penter
s
l
ist: compile error in debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
ar
p
enter
constra
i
nts:
f
ix a memory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
constraints:
f
ix bug in remove_fr
o
m_equi
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpe
n
ter
co
n
straints:
u
s
e cmp_r
e
l
a
tion() in
s
t
e
a
d of c
u
stom code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan
C
arpenter
c
o
n
d
itions: re
w
ork _
_
is_conditio
n
_
a
s
sign() => is_conditi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan
C
a
r
pe
n
ter
db: remove ge
t
_return_id(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an
C
arpenter
p
arse_call_math: update
to new ret
u
r
n_
s
tates AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpent
e
r
user_data: m
o
v
e to the return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
extra
:
move return_va
l
u
e
_
p
aram
t
o the
new return_stat
e
s API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
state
s
: introduce get_all_sta
t
e_slist(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpent
e
r
db: call retu
r
n
_states at
t
he end of the function if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix r
e
turn rang
e
s fo
r
the return_st
a
tes
c
allbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
db: change print_returne
d
_stru
c
t_
m
embe
r
s() t
o
ne
w
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
i
n
troduce add_ret
u
rned_state_
c
allback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: pass the return
_
i
d to the struct me
m
ber cal
l
backs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
modificatio
n
_hooks: ha
n
dle
in
l
ine
a
s
s
embly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
C
a
rp
e
n
ter
i
n
fo:
d
ereferences_par
a
m
: print the
d
e
re
f
e
r
ences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
D
a
n Carpenter
db: h
a
ndle global function assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
D
an Carpenter
e
x
tra: info:
don't prin
t
empty stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpe
n
ter
absolute: use get_implied_min
(
)
instead of get
_
impli
e
d
_
va
l
ue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan
Carpenter
extr
a
:
save more mo
d
ified poi
n
ter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
C
a
rpenter
db:
chang
e
s
m
db_return
_
i
nfo
.
sh to smdb_return_value
s
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carpenter
e
x
tra
:
db: record when people modify pointers passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
extra: move --
i
nfo
hook
s
later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
db: move free_slist() ins
i
de the
loop
an
d
fix a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpenter
helper: intr
o
du
c
e g
e
t_param_num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carp
e
n
t
er
db: sav
e
struct member values across returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carp
e
nter
type: rename get_param_type_from_key() => ge
t
_member_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
an
C
arpe
n
ter
flow: implied
:
fix how switch statements are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
ar
p
enter
g
e
nerisiz
e
.
pl: remove u
1
6ma
x
a
nd friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
enter
ext
r
a: tweak handling
o
f absolute min/max in comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
a
rpenter
m
ath: ignore f
u
zzy m
a
xes that
a
re type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
e
r
m
a
t
h
:
o
v
erflow implies that
t
here is no fuz
z
y max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ma
t
h: overflows in h
a
rd max ar
e
undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n C
a
rpente
r
extra: handl
e
loops where
w
i
thout a
hard max
t
hat
don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
ex
t
ra:
clear hard
m
ax
if we are falling b
a
ck to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
extra: get ma
x
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: set h
a
rd max c
o
rrec
t
ly in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: i
f
(unsign
e
d >= unsigned) {: A
l
ways true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ma
t
h: check
f
or overf
l
ows when cal
c
ul
a
t
i
ng the
m
ax
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
condi
t
ions: pr
e
serve t
h
e
t
yp
e
in select ass
i
gn
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
n
t
er
type: clea
n
p get_mem
b
e
r_symbo
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: type
:
ge
t
the mem
b
er type when l
o
ading values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
debu
g
:
a
dd __smat
c
h_debug_impl
i
ed_
o
n/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
debug: in
t
rodu
c
e local_debu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an C
a
rpenter
extra
:
r
eve
r
s
e
m
a
x()/min()
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
penter
sval:
h
andle canonical for lo
o
ps differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sva
l
: co
n
vert SHRT_MAX to
s16max in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carp
e
nte
r
function
_
h
o
oks: consider the re
t
u
rn type of
the functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extra:
re
m
ove
s
o
me dup
l
icate
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
math: chan
g
e how
MOD
o
perations are h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Ca
r
p
e
nte
r
math
:
cou
n
t some more things as implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
e
x
t
ra: type:
m
ov
e
get_a
r
ge_type() to smat
c
h_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpen
t
er
extra: mat
h
: m
o
ve get_implied
_
r
a
nge_
l
ist()
t
o
s
m
atch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
enter
s
val: extra: get
_
implie
d
_range_list()
ret
u
rn whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
scrip
t
s:
t
race params use 4
s
pace indents c
o
nsistently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
r
pent
e
r
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
ch
e
ck_size
o
f_
p
ointer: compla
i
n
a
b
out
size
o
f(&foo
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
hooks: add a S
I
ZE
O
F_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
sval: make cast_
r
l() preserve things better across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
t
y
pe: han
d
l
e
t
ype_bits() f
o
r addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
s
v
al: type
:
use
type_bits
(
) th
r
oug
h
out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: f
i
xu
p
calls to sval_cmp_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type:
h
ack se
l
ect
ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpe
n
ter
extra: remove deb
u
gging
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpe
n
ter
sval: add sval_is_negative()/pos
i
tive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Carpenter
sval
:
take t
h
e
type into consid
e
ration when doing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
e
r
sval: c
a
st
t
hing
s
correctly in sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart
V
an Assche
sval: uni
n
itiali
z
ed
v
ari
a
ble warning
commit
|
commitdiff
|
tree
2012-11-17
D
an Carpenter
fl
o
w: hoo
k
s:
f
ix MACRO_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow:
hooks: intr
o
du
c
e GLOBAL_ASSIGNMENT_
H
O
OK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
a
rpent
e
r
s
val: introduce sval_bits_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
type: int
r
oduce type_
b
its()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
Mer
g
e
bran
c
h 'sval
'
into merge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
s
v
al: r
a
nges: set correct max in ca
s
t_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan C
a
r
p
e
n
t
er
sva
l
: db: cast para
m
e
t
ers
to th
e
c
orrect type
before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval: extra: handle ass
i
gnmen
t
s b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Ca
r
penter
sval:
c
a
s
t the
return types before enteri
n
g
t
hem
int
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
p
e
nter
sval: extra: type in
f
ormation wa
s
b
eing
l
os
t
i
n
++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: flip the
sw
i
t
ch and do
n
't
use s32min-s32max ins
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
sval: signed: fi
x
validation test and
update format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
validation:
s
igned: update
v
alidation test to r
e
flec
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfram Sang
M
ak
e
file
:
drop superfluous tr
a
iling '/'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpente
r
math:
cleanup
some nami
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next