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
signed: re
m
ov
e
some
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Car
p
ent
e
r
db: make the size limit
f
or
t
h
e database larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
D
a
n Carpe
n
ter
param_limit: do
n
'
t
p
r
int unneeded information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
db:
r
emove ret
u
rn_impli
e
s
table
a
n
d relate
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
smatch
_
param_lim
i
t: extra: sto
r
e parame
t
e
r
imp
l
i
cations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
db: print re
t
urn_
s
tat
e
s
in
f
ormation in
a
more detaile
d
w
ay
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
implied: introduce
ove
r
wri
t
e_st
a
t
e
s
_u
s
ing_pool(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
s
ta
t
e
s
:
fix __se
t
_
sm() when a fake_cur_slist is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
r
p
e
nter
function_
h
ook
s
: add some calls to
_
_unnullify_path()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Ca
r
pent
e
r
ranges: introduce
r
l_invert(
)
, rl_filter()
a
nd
r
l
_inter
s
e
ct
i
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
C
a
r
p
ent
e
r
extra: fi
x
a
b
ug in how
pointers are
set insi
d
e c
a
lled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
estate:
intro
d
uce g
e
t
_
i
mplied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
ex
t
ra: estate
:
m
o
ve me
r
ge_estate() from extra to estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
ex
t
ra: p
a
rse asm and unops aft
e
r everyone else is fin
i
shed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
pointer
_
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 Car
p
en
t
er
treewid
e
: fix
s
ome m
e
m
o
ry leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpent
e
r
Re
v
ert "constra
i
nts: fix bug i
n
r
emove_from_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
penter
slist: fix so
m
e
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
sli
s
t:
c
ompile error
i
n
debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
Carpente
r
constraints: fix a
memory
lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpente
r
co
n
s
t
r
ai
n
ts: f
i
x
bug in
r
e
m
ove_from_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: use cmp_relation() instead of cus
t
om code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpenter
c
onditions: r
e
work __is_c
o
ndition_assign() => is_c
o
nditi
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db: remove
g
et_re
t
urn_
i
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpen
t
er
parse_call_
m
ath: update to
new
r
eturn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
user_data: mov
e
to
t
he return_st
a
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
extra: move
r
eturn
_
valu
e
_param to
t
h
e ne
w
return_states
A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
C
arpenter
states: introdu
c
e get_all_state_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
db: ca
l
l return_states at t
h
e end o
f
the functio
n
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
db: fix return ranges for the retur
n
_states c
a
llbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b: ch
a
n
ge print_ret
u
rne
d
_struct_membe
r
s() to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: introduce add_retur
n
ed_state_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: p
a
ss the
return_id to the struct member
c
a
llbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modification_hooks:
h
a
ndle inline
assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
info:
der
e
feren
c
e
s
_param: print the de
r
e
fer
e
nces even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpe
n
t
er
db: handle global functio
n
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Da
n
Carpenter
ext
r
a: in
f
o: don't print empty st
a
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan
C
arpenter
absol
u
te:
use get_i
m
plied_min() instea
d
of
get_implie
d
_
va
l
u
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Da
n
Carpenter
extr
a
: save more m
o
dified p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Car
p
e
n
t
er
db: ch
a
nge smdb_return_i
n
fo
.
sh to smdb_return_
v
alues
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
an Carpenter
e
x
tr
a
:
d
b: record when peopl
e
mo
d
ify po
i
nters pass
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
arpenter
e
xtra: move --info
hook
s
later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpe
n
ter
d
b
:
move free
_
slist() inside the loop
a
n
d fix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
helper: introduce
get_para
m
_num_from_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: s
a
ve struct me
m
ber values a
c
ross returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan
Carpenter
t
y
pe: rename ge
t
_
param_type_f
r
om_key
(
) => get_member_type_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rp
e
nter
fl
o
w: im
p
lied: fix how swit
c
h statements are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Carpenter
ge
n
erisize
.
pl
:
remove
u
1
6
m
ax an
d
friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
extra: tweak handling of abso
l
ut
e
mi
n
/max in comp
a
risons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math:
ignore fu
z
zy max
e
s that are typ
e
_min() +
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpente
r
ma
t
h: overflow
i
m
plies that there i
s
no
fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n C
a
r
p
enter
math: ov
e
r
flows i
n
hard max
a
re u
n
defined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra
:
handle loo
p
s
wh
e
re wit
h
o
u
t
a hard m
a
x that 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 w
e
are falling
back to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
e
x
tra: get max
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Ca
r
pen
t
er
extra: set har
d
m
a
x
corr
e
ctly in loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
C
a
rpenter
extra: if (un
s
igned >= unsigned) {:
Always true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
mat
h
: chec
k
f
or overflows
w
he
n
calculating the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
con
d
itions: preserve the ty
p
e in select assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Ca
r
pe
n
ter
type: cleanp get
_
member
_
sy
m
bol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: ty
p
e: get the
memb
e
r t
y
pe when
loading val
u
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
d
e
bug: ad
d
__smatch_debug_implied_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
de
b
ug: introd
u
ce local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra
:
rev
e
rse max()/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
penter
sv
a
l: handle
canon
i
cal f
o
r
loo
p
s different
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
enter
sval: convert S
H
R
T
_MAX to s16max
i
n
the outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
fu
n
ction_hooks: consider the return type of the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
e
x
tra:
r
emove some duplic
a
te code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpenter
m
at
h
: change
h
ow MOD operati
o
n
s are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
m
a
th: count s
o
m
e
m
ore t
h
i
n
gs
as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra:
t
ype: mov
e
get_ar
g
e
_
type() to s
m
a
tch_ty
p
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpe
n
t
e
r
extra: m
a
t
h
:
move ge
t
_implied_range_list() to smatch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
sval: extra: get_implied_range_li
s
t
(
)
retu
r
n whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpent
e
r
script
s
: trace pa
r
am
s
use
4
space indents consistently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: m
a
th: f
i
x get_value() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
te
r
ch
e
ck_sizeof_pointer: complain about siz
e
of(
&
foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpen
t
er
hook
s
: add
a
SIZEOF_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
C
arpenter
sva
l
: make cast_rl() preserve things b
e
tter acros
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sval:
type: handle type_bits()
for
addres
s
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
sv
a
l
:
type: use type_bits()
t
h
r
ough out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
sval: fixup call
s
to sv
a
l_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l: type: h
a
ck
select typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
extr
a
: rem
o
ve debu
g
ging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
C
arp
e
nter
sval: add sval_is_negative()
/
pos
i
ti
v
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
r
p
enter
sval
:
ta
k
e the
t
y
p
e into
c
onsiderat
i
on when d
o
i
n
g an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpen
t
er
sval: c
a
s
t
things correctly in sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart V
a
n Assc
h
e
sval:
u
niniti
a
l
i
zed variable warni
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hooks
:
fix MACRO_ASSIGNMENT_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
f
low: hooks: introduce GLOBAL_AS
S
I
G
N
M
E
N
T_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Car
p
enter
sv
a
l: i
n
troduce sval_bit
s
_
u
s
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpe
n
ter
type: introd
u
ce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
M
erge
br
a
nch 'sval' into merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
pe
n
ter
sval: ranges: set co
r
rect max in cas
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval: db: cast para
m
ete
r
s
to
t
h
e correct
t
yp
e
befor
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpenter
sval: extra: han
d
l
e
assig
n
men
t
s
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an C
a
r
penter
sval: cast the re
t
ur
n
types be
f
ore entering th
e
m
i
nt
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpe
n
te
r
sv
a
l: ex
t
ra: type information was being lost i
n
++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
sval: flip the switch and don't
u
s
e
s32min-s32
m
ax inste
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpenter
sval: signed: fix validation test
a
nd update forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carp
e
n
ter
valid
a
tion: si
g
ned: update
v
ali
d
ation tes
t
to re
f
lect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next