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
flow: don't print duplicate "unreachable code" warnings
2013-03-06
Dan C
a
rpe
n
te
r
f
unction_ptr: move get_f
n
p
t
r_name() to smatch_func
t
ion_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
penter
db: f
i
xup
_
k
ernel
.
sh
:
discard caller_info from
-
>notifi
e
r_
c
all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fixup_kernel
.
sh: onl
y
track
the
main read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
penter
user_data: track user data
a
cross assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
smatch_capped: get_impli
e
d_max() do
e
s
n
o
t
im
p
lied ca
p
ped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
buf_
s
ize: export get_real_arra
y
_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
ex
t
ra: handle MOD_ASSIGN better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't p
r
int inf
o
rma
t
ion c
a
ller in
f
orm
a
tion for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
func
t
ion_
p
trs:
t
rack para
m
eters
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
e
n
ter
func
t
ion_pt
r
s
: separate into its
own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpe
n
te
r
data: add snprintf
t
o kernel
.
sizeof_param
.
rem
o
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Car
p
e
n
ter
buf_size: fix a NULL
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpen
t
er
k
ernel:
rem
o
ve some unne
e
ded code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf_s
i
ze: handle empty arrays
on t
h
e end of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Car
p
enter
buf_size: re
m
ove some
d
e
ad code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Da
n
Carpenter
loc
a
l_val
u
es: s
t
ore p
o
ssibl
e
v
a
lues of stat
i
c data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flow: more in
l
i
n
e fall o
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
a
rp
e
nt
e
r
db: expo
r
t mem_sql() so che
c
ks can
u
se it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Da
n
Carpenter
no_return: another problem with
inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Ca
r
pent
e
r
ranges: fix casting
o
f invalid range lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
e
x
t
r
a, function_hooks: fix handling of casted
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
e
r
Revert "db
:
do
n
't create unused tables
i
n
the in-m
e
mor
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
db: don't use
f
unction
p
o
i
n
t
er
s
for call
e
r info on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an C
a
rpent
e
r
db
:
use "distinct" to avoid du
p
lica
t
e functio
n
pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
penter
db:
load glob
a
l function pointers into
t
he db properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db: remove dup
l
icate
s
truct point
e
r
s to function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db:
f
ix ca
l
l
_
implies
for the in-memo
r
y
dat
a
b
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
db, function_hooks: qu
e
ry th
e
db
after proces
s
ing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
Carpenter
db: store the value of "x" when you call frob(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpente
r
db: pass point
e
d at values
to called fu
n
ction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
rpenter
db:
r
eset the in-memory
dat
a
b
ase after
e
v
ery function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
a
dd som
e
debug statements
f
o
r insert
s
in
t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carp
e
nter
db: u
s
e call
_
id
for the in-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Car
p
enter
db:
add call_id to call_implies
,
retur
n
_
s
t
ates and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an
Carpe
n
ter
d
b:
r
ename function_id in the caller_info table
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db: d
o
n
't crea
t
e unused ta
b
les in th
e
in-memo
r
y database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
d
b: don't
p
rint ca
l
ler info for __builtin
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
db: use correct variable in
mem_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpe
n
ter
extra:
i
mprove u
n
sign
e
d
c
omparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
enter
ranges: don't do
u
n
needed allocations in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ranges
:
introduce rl
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db: use
i
n
-
mem
o
ry da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Car
p
ente
r
db: mo
v
e an
opt
i
o
n_
n
o
_
db check
t
o run_sq
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
flow, db
:
rename sh
o
uld
_
inline() to i
n
linable() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
pe
n
ter
return
s
:
add
a
check for _
_
in
l
i
ne_fn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db
,
flow: make __inli
n
e_fn
a
pointer to the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
penter
db: SQ
L
formatting
bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
an
Carpenter
db: s
a
v
e c
a
ller_info f
o
r
inl
i
ne function properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpent
e
r
db:
silence a
c
om
p
ile warnin
g
on 32 bit (use %zd for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n
Carpenter
d
b
:
i
n
tro
d
uce sql_select_call_
i
m
p
lies()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Da
n
C
arpenter
d
b
: only allow functions to be saved to one
f
un
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpente
r
db: i
n
troduce sql_select_caller_in
f
o()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpe
n
ter
db: introduce
sql_select_return_values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
an Carp
e
nt
e
r
db: intro
d
uce sq
l
_select_retu
r
n_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
Carpenter
rang
e
s:
f
ix "trouble
p
arsin
g
empty" mes
s
ages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpen
t
er
param_limi
t
, param_filter: silen
c
e some
d
e
b
ug o
u
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
s
m
atch: fix
sm_debug() to always print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Ca
r
pe
n
ter
db, f
l
o
w
: parse
i
n
line stat
e
ments, lo
a
d st
u
ff
int
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n C
a
rpenter
states: introduce
h
e
l
p
er functions t
o
pres
e
rve and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpent
e
r
validation:
fix
bogus
tests so th
e
y don't ca
u
se segfaults
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
a
n Carpent
e
r
parse
_
c
a
ll_
m
ath: fix segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db:
m
ake sql_insert_caller_info
(
) ta
k
e
the
c
a
ll expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpe
n
ter
d
b: initi
a
lize In-Memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
D
an Carpenter
db:
m
o
v
e
db stuff from smatch_scripts/db/ to smatch_data/db/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpent
e
r
db
:
everyone m
u
st have libsql
i
t
e
3 instal
l
ed (not optio
n
al)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
f
i
les:
m
a
ke open
_
data_f
i
le()
e
xpor
t
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
fl
o
w
:
delete
unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
arpenter
helper:
handle assignments
i
n
e
x
p
r_to_str(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
*
n
ew* che
c
k_st
r
uct_
t
y
p
e: if we allocat
e
an
u
nexpect
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpent
e
r
rosenberg:
f
ix
c
rash par
s
ing different
f
u
nc
t
io
n
s with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpente
r
db: move ca
l
ler_info as c
l
ose as possible
to raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
a
r
p
enter
db
:
make membe
r
_info
c
all
b
acks take 1 or 0
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Car
p
enter
db: move t
y
pe_s
i
ze to
u
se
raw SQ
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move call_i
m
p
l
ies to use raw
SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
nter
d
b: move r
e
turn_values to
u
se raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Ca
r
pen
t
er
db: delete unused no_
s
ide_effects table (for now)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move
fun
c
t
i
on_ptr to
raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
rpenter
db: m
o
ve ret
u
rn_st
a
tes to
raw SQL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
e
r
db: tools for printing
r
a
w
SQL instead of hu
m
an
r
e
adable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-08
Dan
Carp
e
nter
silence bogus "unreachab
l
e code"
w
arnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
param_limit: handle functions
w
he
r
e
the p
a
rameter
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
D
an Carpenter
db: take static v
s
global in
t
o
con
s
i
deration wit function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
m
ath: ha
n
dle
MOD operation
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
*dele
t
e* bool_i
m
plic
a
t
i
o
n
s: t
h
is file is unused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n
C
arpenter
param_(filt
e
r
|limit|set):
add some com
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Ca
r
penter
b
u
f_size: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpe
n
te
r
parse_call_m
a
th: si
l
ence
"
int
e
rnal
b
ug: pop
_
va
l
popping
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Car
p
enter
p
ropagate:
fall out from ge
t
_impl
i
ed_min()
ch
a
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpen
t
er
ex
t
ra: type bug handl
i
ng empty
s
t
ates in reset_struct_memb
e
rs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
r
a
nges: d
o
n
'
t al
l
o
w invert
e
d ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carp
e
nt
e
r
d
b:
don't
g
et print info if the f
u
n
c
t
i
on has over
10000
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-05
Dan Carp
e
nt
e
r
math: don't return high values in get_fuzzy_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan
C
arpenter
ove
r
flow: fix fal
s
e positive allocating a
void pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan Ca
r
penter
buf_s
i
ze: f
i
x bu
g
cau
s
ed by
get_i
m
p
l
i
e
d
_
max()
returnin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
Dan
C
ar
p
enter
db: print less --info for a few problematic f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-04
D
a
n Carpenter
math: g
e
t_implied_m
a
x()
s
hould be ab
l
e to return
s32ma
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Da
n
Carp
e
n
t
er
sval
:
only print "s32max"
if the value is actually
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
math: get_im
p
lied
_
min() should be ab
l
e to re
t
urn s32
m
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpe
n
ter
m
ath: tweak
get_fuzzy_math(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-03
D
a
n Carpenter
extra, db: handle passi
n
g chars to param
e
ters
which
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next