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
db: print less --info for a few problematic functions
2012-12-14
Dan Carpenter
ranges
:
introduce rl_invert(), r
l
_
f
ilter(
)
a
nd rl_intersection()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
penter
extra
:
fix
a bug in how pointers are set inside called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpente
r
estat
e
: introduce get_implied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
extra: est
a
t
e
: move merge_
e
state() from extra t
o
estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
C
a
r
penter
extra: pa
r
se asm and
uno
p
s a
f
ter ev
e
ryo
n
e else is finishe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
pointe
r
_math: check for (int *)p +=
sizeof(
i
nt
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an Carpenter
treewide: fix some mem
o
ry leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan
C
arpenter
Revert "constr
a
i
nts: f
i
x b
u
g in remove_fro
m
_e
q
uiv
(
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
s
l
ist: fix some de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
pen
t
er
slist: compile e
r
ror
in
debug
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
an
Carpenter
constraint
s
:
f
i
x
a
memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
penter
con
s
t
raint
s
: fix bug
i
n remov
e
_from_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carp
e
n
ter
co
n
straints: use c
m
p_relati
o
n() instead of
c
u
s
tom code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpen
t
er
condition
s
:
rework _
_
is_cond
i
tion_ass
i
gn(
)
=
>
is_cond
i
tion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan
C
arpenter
db:
r
emove get_re
t
ur
n
_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n C
a
r
penter
p
ars
e
_call_math: update to
ne
w
return_states A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
user_dat
a
: move to the return_sta
t
es
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpent
e
r
extra: m
o
ve re
t
u
r
n_valu
e
_pa
r
am to the new ret
u
rn_sta
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
states: introdu
c
e
g
et_all_st
a
te_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
db: call return
_
states at t
h
e end of
t
he funct
i
on if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pent
e
r
db: fix
retur
n
ranges for the retu
r
n_states
c
a
llbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
db: ch
a
nge
p
rin
t
_returned_str
u
ct_members() t
o
n
e
w A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
n
t
er
db
:
intro
d
u
ce add_returned_s
t
ate_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Ca
r
penter
db: pass the return_i
d
to the
s
t
ruct memb
e
r callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
m
odification
_
ho
o
ks: handle inline assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
info: dereferences_param: print the der
e
fer
e
nces even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: h
a
nd
l
e global
f
unction assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Ca
r
pe
n
ter
extra: i
n
fo: don't print empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan
C
arpenter
absolute: use get_impl
i
ed_min()
i
n
stead of get_implied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
e
x
t
ra: save more modi
f
ie
d
poi
n
t
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
db: change smdb_return
_
info
.
sh to s
m
d
b_return_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
en
t
er
ext
r
a: db
:
reco
r
d when peopl
e
modify pointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
e
n
t
er
extra
:
m
o
ve --info hooks later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
r
penter
db: move free_slis
t
() inside the l
o
o
p
a
n
d fix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
n
te
r
helper: introduce
get_param_num_from_sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
an Carpente
r
db: save
s
t
ruct member values across returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan
Carpenter
t
ype: re
n
ame get_param_ty
p
e_f
r
om_key(
)
=>
g
et_member_type
_
fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
p
enter
f
low: im
p
lied
:
f
i
x
how sw
i
tch state
m
ents are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
gen
e
risize
.
p
l: remove
u
16max
a
nd friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
t
e
r
extra: tweak hand
l
ing o
f
a
b
solute
m
i
n/ma
x
in compar
i
sons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
enter
math:
i
g
nore fuzzy maxes that a
r
e type_
m
in(
)
+
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
math:
o
verflow imp
l
ies t
h
at there
i
s no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
n
t
er
math:
o
verflows
i
n hard max
are undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: handle loops
w
h
ere without a h
a
rd m
a
x
t
ha
t
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n C
a
rpe
n
ter
extra: clear h
a
rd ma
x
if
w
e ar
e
falling
back to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: get max cor
r
ec
t
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpente
r
e
xtra: set hard
m
ax c
o
r
r
ectly in loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: if (unsigned
>=
u
nsigned) {: A
l
w
a
ys true
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
math: check for overflows when ca
l
c
u
latin
g
th
e
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
rpenter
conditions: pr
e
ser
v
e the type
i
n select as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
e
n
ter
type: cleanp g
e
t
_member_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpen
t
e
r
e
x
tra: ty
p
e: get the mem
b
er type
w
he
n
loadin
g
values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
r
p
enter
de
b
ug: add _
_
s
m
atch_de
b
ug_implied_on/of
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: i
n
troduce local_de
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpente
r
e
xtra: reverse max()/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval: han
d
le canonical
for loops dif
f
erently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
enter
s
v
al: co
n
vert SH
R
T_MAX to s16
m
ax in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
function_
h
ooks: consider the return type of the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
pente
r
extra: rem
o
ve
s
ome duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpente
r
math: c
h
ange
h
ow
MOD
operations are
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
C
a
rpenter
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
Carpent
e
r
extra: type: mo
v
e get_arg
e
_
t
ype() to
s
m
at
c
h_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
e
xtra: m
a
th:
move get_implied_
r
ange_li
s
t() to smatch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
ente
r
sval: extra: get_im
p
lied_range_list() return whol
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
C
arpenter
scr
i
pts: tra
c
e params
use 4 sp
a
ce ind
e
nts consistently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nte
r
sval: math: fix get_value(
)
for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
check_sizeof
_
pointer:
c
o
m
plain about sizeof(
&
foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpen
t
e
r
hooks:
a
dd a
S
IZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: ma
k
e cast_r
l
() preserve things better
a
cross
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sva
l
:
t
ype: handle ty
p
e_bits() f
o
r addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type
:
use type_bits() through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
al: fixup calls to sval_cmp_v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
n
te
r
sval
:
type: h
a
c
k
select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
extr
a
: remov
e
debugging
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: add sval_is
_
negative()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
sval: tak
e
the type into consid
e
ratio
n
w
h
en doin
g
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sva
l
:
c
ast things
c
orre
c
tly in sval
_
cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart
Va
n
A
s
sche
sval: u
n
initia
l
ized
var
i
ab
l
e
warning
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow
:
hooks: fix
M
ACRO_ASS
I
GNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
f
l
o
w
:
hooks:
i
ntroduce G
L
OBAL_ASSIG
N
MENT_HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: intro
d
uc
e
sval_b
i
ts_u
s
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
type: in
t
roduce typ
e
_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arp
e
nter
Mer
g
e
br
a
nch 'sva
l
'
i
nto
m
erge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
s
v
al: ranges:
set correct max in cas
t
_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
sval: db: cas
t
paramet
e
rs
to
t
he correct type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sval: extra: ha
n
dle assignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
sv
a
l
:
cast the return type
s
befo
r
e en
t
eri
n
g the
m
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
sval:
e
xtra: type information was
b
e
i
ng l
o
st in +
+
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
sva
l
: flip the swi
t
c
h
and don'
t
use s32min-s32
m
a
x
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
s
v
a
l
:
sign
e
d: fix validatio
n
test and
u
p
da
t
e fo
r
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpent
e
r
validatio
n
: signed: update validation test
t
o ref
l
ect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
W
olfram
S
ang
Ma
k
efile
:
dr
o
p
s
u
p
e
rfl
u
ous trailing
'
/'
commit
|
commitdiff
|
tree
2012-11-14
Dan
Carpenter
math: cleanup
some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: a
d
d fuzzy
_
max and f
u
zzy_min
to implied
_
o
p
posite()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
a
n
C
arpenter
sval:
math: fix how negate operations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
a
n Ca
r
p
e
n
ter
sval
:
absolute: f
i
x reversed co
n
di
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpe
n
ter
sva
l
: you're not allowed to
d
ivi
d
e
LLONG_MIN by -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval
:
f
i
x
pars
e
_
v
alue_ranges_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sva
l
: re-int
r
o
duce sval_is_a
_
mi
n
() sval_is_a_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
pe
n
ter
sval: don't i
n
vent bog
u
s range
i
n alloc_ran
g
e_hel
p
er_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next