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 Ca
r
p
e
nt
e
r
extra: only ge
t
the types one time in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_ptr:
m
o
ve get_fnptr_name() to smatch_funct
i
on_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
db:
f
i
x
u
p
_kernel
.
sh:
d
iscard
caller
_
inf
o
fr
o
m ->notifi
e
r
_ca
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Car
p
enter
db
:
fixup_kernel
.
s
h
: only
t
rac
k
the main read/w
r
i
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
user_data:
trac
k
user data across assig
n
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
smatch
_
capped: get_impl
i
ed_max() does
not impl
i
e
d capp
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
bu
f
_size: e
x
port get_real_ar
r
ay_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
e
x
tr
a
:
h
a
ndle
MOD_
A
SSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpente
r
db: don't print
information caller info
r
m
a
tion for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
function_ptrs:
track
p
a
rameters as
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
fun
c
tio
n
_ptr
s
: separ
a
te i
n
to its own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data: add
s
nprintf t
o
kernel
.
sizeof_param
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Da
n
C
a
rpenter
buf_size:
f
ix
a
NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
an C
a
r
pen
t
e
r
ke
r
nel: remov
e
some unneeded code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Ca
r
p
e
nte
r
buf_size: handle em
p
ty array
s
on the e
n
d of str
u
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpe
n
t
e
r
buf_size: remov
e
some
dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Ca
r
pente
r
local_value
s
: store
p
o
s
sible
v
alues of
static data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpente
r
flow:
more inline
f
all out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpe
n
ter
db: export mem_sql() so checks can
u
se it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
no_
r
etu
r
n: another
p
r
obl
e
m w
i
th i
n
line f
u
nc
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
Carpenter
r
ange
s
:
f
ix casting of
i
nval
i
d range
l
ist
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpenter
ex
t
ra, function_
h
ooks: fix
h
andling o
f
casted function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpent
e
r
Revert "db
:
don't
c
reate
u
nused tables in the i
n
-mem
o
r
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an
Carpenter
db
:
d
on't use
f
u
ncti
o
n point
e
rs for caller info
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: use "distinct"
t
o avoid dupli
c
ate function poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpe
n
te
r
db: load global function
p
ointer
s
into the db prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: remo
v
e duplicate struct pointers to functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
db
:
f
i
x call_implies
for the in-memory data
b
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db, f
u
n
c
tion_hooks: query the db afte
r
p
r
oce
s
sing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Ca
r
pente
r
db: s
t
o
r
e the va
l
ue of "x"
when you call frob(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
t
e
r
db: pas
s
poin
t
ed at values to ca
l
led
f
unction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpen
t
er
db: res
e
t the
in-me
m
ory database a
f
t
er every functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
te
r
db: add
s
om
e
debug s
t
a
t
ements for insert
s
into the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
u
se call_
i
d for th
e
in-mem
o
r
y
databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpent
e
r
d
b:
add
c
all
_
i
d
to call_
i
mplies, return_states an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
db: rename function_id in the caller_info
table
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
pente
r
d
b:
d
o
n't cr
e
a
te unused ta
b
le
s
in the in-memory da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an C
a
rpenter
db:
don't prin
t
caller
i
nfo for __builtin functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
db:
use correct v
a
riable in mem_s
q
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an Car
p
e
n
ter
ext
r
a: improve unsigne
d
c
omparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ranges: d
o
n
'
t
do
u
nneeded al
l
oc
a
tions in
c
ast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Ca
r
penter
r
a
nges:
i
ntroduce rl_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
pe
n
ter
db: use in-m
e
mory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan
C
a
rpenter
db: move an option
_
no_db
c
heck to ru
n
_
sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpe
n
ter
flow, db: rename sho
u
ld_inline() to inlinable
(
) an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpent
e
r
r
eturns: add a chec
k
for
_
_
inline_fn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
rpenter
d
b
,
f
l
o
w:
ma
k
e __inline_fn a pointer
t
o
the f
u
n
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
d
b
: SQL
f
o
rmatting bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: sav
e
caller
_
info
fo
r
in
l
ine function properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
rpen
t
er
db: sil
e
nce
a
comp
i
l
e
wa
r
ning on 32 bit (us
e
%zd
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Da
n
Carpe
n
t
er
db:
i
ntroduc
e
sql_selec
t
_c
a
ll_i
m
plie
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
C
arpenter
db: on
l
y
a
llow f
u
nc
t
ions to be saved to one function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
pen
t
er
db: introduce sq
l
_select
_
caller_inf
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpen
t
er
d
b: introd
u
c
e
sql_
s
ele
c
t_return_values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpenter
db
:
i
n
troduce sql_select_
r
etu
r
n_state
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Car
p
en
t
er
ranges: fix "t
r
ouble parsin
g
empty" messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
Car
p
ent
e
r
p
a
r
am
_
limit,
p
aram_filt
e
r: silence some d
e
bug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpent
e
r
smatch
:
fi
x
sm_debu
g
() to always print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n Carpe
n
ter
d
b
,
flow: parse in
l
ine statements
,
load stuff into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpenter
states
:
introduce help
e
r
f
unctions to preser
v
e and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
C
arpente
r
validation
:
fix bog
u
s
tests so th
e
y
don
'
t c
a
us
e
segfaults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
rp
e
nter
p
a
rse_
c
all
_
m
a
th: fix seg
f
au
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Ca
r
penter
db: make sql
_
insert_ca
l
ler_info() take
the call
expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpen
t
er
db: initi
a
lize In-Me
m
ory da
t
ab
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carp
e
nter
db: move db stuff from
s
match_
s
cripts/db/ to s
m
atch_data
/
db/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: everyone must
h
av
e
li
b
sqlite3 inst
a
l
l
ed (not opt
i
onal)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
fi
l
es: mak
e
ope
n
_data_
f
ile() exported
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
flow: de
l
ete unu
s
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Car
p
enter
helpe
r
: h
a
ndle assign
m
ents in expr_to
_
s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpente
r
*new* check_struct_t
y
pe: if w
e
allocate an une
x
pe
c
ted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
rosenberg: fix
cras
h
pa
r
sin
g
d
ifferent functions with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
d
b
: move
cal
l
er_info as close
a
s possible to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
nter
db: ma
k
e member_info
callbacks take 1 or 0 ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Ca
r
penter
d
b: move type_size to us
e
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
r
penter
db: m
o
ve call
_
implies t
o
u
s
e
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db:
move return_values to us
e
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
d
b: del
e
te
u
nu
s
ed no
_
side_eff
e
cts table
(for n
o
w)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
Carpenter
db: mov
e
f
u
nction
_
ptr to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Da
n
Carpenter
d
b: move r
e
tu
r
n_states to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
Carpenter
db: t
o
ols for print
i
n
g raw SQ
L
in
s
tead
o
f human
readable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-08
Dan Ca
r
penter
silen
c
e bogus "un
r
e
achable
c
o
de" warni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpent
e
r
param_limit:
h
andle functions wh
e
re the parame
t
er
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan C
a
rp
e
n
te
r
db: take static
v
s glob
a
l into consider
a
tion wit
f
u
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpente
r
math: handle M
O
D operation
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpe
n
ter
*delete
*
b
ool_
i
mpli
c
ations:
t
his file
is unused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
a
n Carpenter
param_(filt
e
r
|
lim
i
t|set): add some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
an C
a
rpenter
b
uf_size: don't crash
o
n invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpent
e
r
parse_ca
l
l
_
math: silence "inte
r
nal bug
:
pop_va
l
p
o
pping
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Bart Van Assche
Avoid trigg
e
ring a div
i
sion by zer
o
in the overflo
w
.
.
.
commit
|
commitdiff
|
tree
2013-02-06
Dan
Carpenter
propagate: f
a
ll ou
t
from ge
t
_implied_min
(
) changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Da
n
Carpenter
e
x
tr
a
:
t
y
pe bug
handling
empty stat
e
s in
r
eset_struct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan C
a
rpent
e
r
ran
g
es: don'
t
a
l
low inverte
d
r
a
nge
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan
C
arpe
n
ter
d
b:
don't get prin
t
info if the fun
c
tion
has
over 10000
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
D
a
n C
a
rpente
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 Carpenter
over
f
lo
w
: fix fa
l
s
e
positive allocating a vo
i
d po
i
n
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
buf_
s
ize: f
i
x
bug caused by get_implied_m
a
x() returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpe
n
ter
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
Dan Carpenter
mat
h
:
get_implied
_
max() should b
e
able to return s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpente
r
sval: only pri
n
t "s32
m
a
x" if the value is actually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
math: get_implied
_
min() should
b
e
able to re
t
urn s32min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next