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
D
an Carpe
n
ter
f
unction_ptr:
move get_
f
n
ptr_name()
t
o smatch_function_p
t
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fix
u
p
_kernel
.
sh: d
i
scard c
a
ll
e
r_info
from ->notifier_call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fixup_kernel
.
sh: only
tr
a
ck the main
r
e
ad/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Ca
r
penter
user_data: t
r
ack u
s
er
data across
a
ssignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Carpenter
smatch_capped
:
ge
t
_implied_max() does
not impli
e
d cappe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
buf
_
size: export get_real_array_s
i
z
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
extra:
h
andle
MOD_A
S
SIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't print
i
n
formation caller
i
nformat
i
o
n for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
f
unction_p
t
rs: track parameters as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
fu
n
ct
i
on_ptrs: sepa
r
ate into
i
ts own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data
:
a
d
d snprintf
to kernel
.
sizeof_pa
r
a
m
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
a
n Car
p
ent
e
r
buf_size: fix a NULL dere
f
erence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
kernel: remove some unneeded code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
buf
_
size:
handl
e
e
mpty arrays on the end
of
s
tructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carp
e
nter
buf_size: remove some d
e
ad c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
an Car
p
ente
r
local_values: store pos
s
ible valu
e
s
o
f static da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
flow: more
inline fall ou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
db: export m
e
m_sql()
so
c
h
e
cks can u
s
e it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpenter
no_re
t
urn: anot
h
er proble
m
with inl
i
n
e
function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
r
anges
:
fix ca
s
t
ing
o
f invalid
r
ange lis
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpent
e
r
extra, function
_
hooks: fix ha
n
dli
n
g
of ca
s
ted function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
r
penter
Revert "db: don't cre
a
te u
n
use
d
tables
i
n the in-me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n
C
arpenter
db: don't use fun
c
tion poi
n
ters for caller info on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db: use "dis
t
inct" to
avoid
d
uplicate funct
i
on pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
load gl
o
bal
function poi
n
ter
s
into the db properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
db: remove d
u
plicate struc
t
pointers to fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db: fix c
a
ll_imp
l
ies for the in-mem
o
ry
datab
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db, funct
i
on_hooks:
q
uery the
d
b after processing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
store the
v
alue o
f
"x"
w
hen you cal
l
frob(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
t
e
r
d
b
: pass pointed at
values to
called functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpe
n
ter
db: reset th
e
in-
m
emory database after every f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpen
t
er
db: add some debug statements for in
s
erts i
n
to t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
d
b: use
call_id for th
e
in-
m
emory d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db: ad
d
call_
i
d to call_
i
mplies,
r
eturn
_
states and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
rpenter
d
b:
r
ena
m
e function_id
in th
e
c
a
ller_info table to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
don't cre
a
te unused tabl
e
s
in t
h
e in-m
e
mory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpe
n
ter
d
b
:
don't
print caller
i
nfo f
o
r _
_
built
i
n
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
db: u
s
e correct
variable in mem_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpen
t
e
r
extra: improve unsigned comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
penter
ranges: don't do
unn
e
ed
e
d a
l
l
o
cations in cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an Carpenter
ranges: introduce rl_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan C
a
r
penter
db: use in-memory da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
db: move an
option_no_db
c
h
eck to run_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpen
t
er
flow, db: rename should_inlin
e
(
) to inlinable() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carp
e
nt
e
r
returns: a
d
d a ch
e
ck f
o
r __i
n
line_fn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan
Carpen
t
er
db, flow: make __in
l
ine_fn a poin
t
er to the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Da
n
Carpenter
db:
S
QL formatting bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db
:
save caller_info for inline function properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Car
p
e
nter
d
b
: silence
a co
m
pile w
a
rning on 32 bit (u
s
e
%zd fo
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db
:
introduce sq
l
_select_call_implies()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carp
e
n
t
e
r
db: only a
l
low functions to b
e
save
d
to one function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: intro
d
uce sql_select_calle
r
_
info()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: int
r
odu
c
e sql_sele
c
t
_
r
eturn_values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Da
n
Carpenter
db:
i
n
t
r
o
du
c
e sql_select
_
return_states
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n Carpenter
range
s
: fix "trouble parsing empty" mess
a
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n
C
a
rpenter
param_limit, param_filter: sile
n
ce some
d
ebug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpen
t
er
sma
t
ch: fix sm_debug() to a
l
w
a
y
s print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpen
t
er
db, flow:
par
s
e in
l
ine stat
e
me
n
ts, load stuff into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan
Carpenter
states: i
n
troduce
h
elper functions t
o
preserve and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpente
r
validat
i
on: fix bog
u
s tests so
they don't c
a
use
s
egfau
l
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
parse_c
a
ll_math: f
i
x seg
f
aul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan C
a
r
p
ent
e
r
d
b
: make sql_in
s
ert_caller_i
n
fo()
take
the
c
all express
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
d
b
: initi
a
liz
e
In-Memory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
Carpent
e
r
db: mov
e
db st
u
ff from
s
ma
t
ch_scripts/db/
to smatch
_
data/db/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
d
b: ev
e
ryone must have libs
q
lite3 installed (not optional)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Car
p
e
n
ter
files: m
a
ke
open_data_file() exported
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
arp
e
nter
f
low: delete unus
e
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpenter
helper: ha
n
dle
a
ssig
n
ments
i
n exp
r
_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
*new* c
h
eck_struct_type:
i
f we alloca
t
e an u
n
expected
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n C
a
rpenter
rose
n
ber
g
: fix crash pars
i
ng differen
t
f
u
n
ctions with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Ca
r
p
en
t
er
db:
move caller_info as
c
lo
s
e
a
s po
s
sible
to raw
S
QL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
C
arp
e
nter
db: m
a
ke
member_info callb
a
c
k
s take 1 or 0 instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
d
b
:
move type
_
size t
o
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_implies to use raw
SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Carpenter
db:
m
ove ret
u
rn_values to use raw SQ
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpen
t
er
d
b: dele
t
e unused no_sid
e
_effect
s
table (for no
w
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n Carpe
n
ter
db: move fu
n
ction_ptr to raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
d
b
:
m
ove return_states to raw
SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
rpente
r
d
b:
t
ools fo
r
pr
i
nting raw SQL
instead of human
readable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-08
D
an C
a
rpe
n
ter
sile
n
ce bogus "unre
a
chable code
"
war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
param_lim
i
t: handl
e
functions wh
e
re t
h
e
pa
r
a
m
e
ter is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
db: ta
k
e
s
tati
c
vs global into considerati
o
n
w
i
t fu
n
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
math: handle
M
O
D
operation
b
et
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
*de
l
ete* bool
_
implications: thi
s
file is unused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
param_(filte
r
|limit
|
set): add so
m
e
c
ommen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
buf_
s
ize: don't crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
D
an Carpen
t
er
parse_call_m
a
th: silence
"
int
e
rnal bug:
pop_val popping
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
pr
o
pagat
e
: fa
l
l o
u
t from g
e
t
_
implied_mi
n
() changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
ex
t
ra: type bug h
a
ndl
i
ng em
p
t
y
states in reset_struct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carp
e
nter
range
s
:
don't allow i
n
verted range
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan
C
arpente
r
db: don't ge
t
print inf
o
if the
f
unction
has over 10000
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
Dan Carpenter
math:
d
on't return high values
in ge
t
_fuzzy_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
overflow: fix
f
als
e
positive allo
c
a
t
ing a void
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan
C
arpenter
buf_size: f
i
x
b
ug caused by get_impl
i
ed_
m
ax() retu
r
ning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
db:
print less --info for a few proble
m
atic f
u
ncti
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carp
e
nter
math: get_im
p
lied_max() should b
e
ab
l
e
to return s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
D
a
n Carpen
t
er
sval: on
l
y
print "s32max" if t
h
e value is actually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
math: get
_
implied
_
min() shou
l
d
b
e a
b
le to return
s
32m
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
mat
h
:
tweak get_fuzzy_math()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carp
e
nter
e
x
tra
,
db: ha
n
d
l
e pa
s
sing chars to
p
a
r
am
e
te
r
s which
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next