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
compare: handle some assignments
2013-03-07
Dan Carpente
r
compar
e
: h
a
n
d
le some ass
i
gnmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
ext
r
a: s
h
uffle m
a
tch_ass
i
g
n
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
extra:
o
nly get the types o
n
e
t
i
m
e in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
fun
c
tion_p
t
r: move get_fnptr_nam
e
(
)
to smatch_funct
i
on_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
db
:
fixup_kernel
.
s
h
: disc
a
rd caller_inf
o
f
r
om -
>
notifi
e
r_
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
db:
fixup_kernel
.
sh:
o
nly trac
k
the main read
/
wri
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpent
e
r
user
_
data: tr
a
ck user data
across assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Ca
r
penter
sm
a
tch_
c
ap
p
ed:
g
et_implied_max() does not
imp
l
ied capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpenter
b
uf_size: export get
_
real_array_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
e
x
tra
:
handle MOD_ASSIGN
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Car
p
enter
db:
d
on
'
t print i
n
formation caller i
n
form
a
tion f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_ptrs:
tra
c
k
par
a
mete
r
s as
w
ell
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
function_ptrs: separate into
its own
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Da
n
Carpenter
d
a
ta
:
add snp
r
intf
t
o
kern
e
l
.
sizeof_
p
aram
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
D
a
n Car
p
enter
buf_size: fix a
NULL
d
ereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
k
e
rnel: remo
v
e some u
n
needed
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Da
n
C
a
rpenter
buf_siz
e
: handle empty arrays on the end
o
f structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Ca
r
penter
buf_size: rem
o
ve some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpenter
local_values: store
p
o
s
sibl
e
values
o
f stati
c
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-26
D
an Carp
e
nte
r
flo
w
: more i
n
line fall o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
D
a
n
Car
p
enter
db: ex
p
ort
m
em_
s
q
l
() so che
c
ks can u
s
e it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
D
a
n
Carp
e
nter
no_
r
et
u
r
n
: another problem with
inline f
u
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
ranges: fix casting o
f
invali
d
range lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpenter
extra, func
t
ion_
h
ooks:
fix handling
o
f cast
e
d function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpent
e
r
Re
v
ert "db: don't crea
t
e
u
nused tab
l
e
s
i
n th
e
in-memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
d
b: don't use func
t
ion pointe
r
s for
c
al
l
e
r
info on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: use "distinct" t
o
avoid duplic
a
t
e
function poin
t
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
a
rpenter
db: loa
d
global
func
t
ion p
o
in
t
ers into the db pr
o
perly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
pe
n
ter
db:
r
emove d
u
p
lic
a
te st
r
uct pointers
t
o functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
f
ix call
_
impli
e
s for the in-memory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpent
e
r
db, function_h
o
o
ks: query the db after pro
c
e
ssing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
d
b: sto
r
e the value of "x" when
y
ou call frob(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: pas
s
point
e
d at
v
a
lues to cal
l
ed func
t
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
reset the in-memo
r
y database after
e
very funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Ca
r
penter
db: add so
m
e debug statemen
t
s for inse
r
ts into
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: us
e
call_id
for
t
he in-
m
emo
r
y database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpe
n
ter
db: add call_id
t
o call
_
implies, return
_
st
a
tes and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
p
e
n
ter
d
b
: renam
e
function_id
in the ca
l
ler_info table to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpente
r
db:
don't creat
e
unuse
d
tables in
the in-memory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db: don't print caller info fo
r
_
_bui
l
tin f
u
nctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpenter
db: use
c
orrec
t
variable
i
n
mem_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
extra: improve unsi
g
n
ed comparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n
Car
p
enter
ra
n
ges: don't do unneede
d
a
l
locations in cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
ranges: i
n
t
r
oduce
r
l_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n
C
arpente
r
d
b: use in-memo
r
y datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carp
e
n
ter
db: move an option_no_db check to run_sql()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
flow,
d
b
: rename
s
h
o
u
l
d_inline
(
) to i
n
linable() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
D
an
Carp
e
nter
retu
r
ns: add a
check for __inline_fn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carp
e
nter
db, f
l
ow: make __inl
i
ne_fn a
p
ointer to the func
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: SQL formatting bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
r
penter
db
:
save ca
l
ler_i
n
fo for inline
function prope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpe
n
ter
db: silence a compile warning on 32
b
it (use
%
z
d for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
d
b
: introduce sql_selec
t
_call_i
m
p
l
i
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Ca
r
p
e
n
te
r
d
b: only allow functions to be saved to one f
u
nc
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: int
r
oduce sq
l
_
select_cal
l
er_info
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
db: introd
u
ce sql_select_re
t
u
r
n_values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-19
Dan
Carpenter
db: introduce sql_select_return_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n
C
arpenter
ranges: fix
"t
r
ouble parsing
empt
y
" messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Ca
r
p
e
nt
e
r
para
m
_limi
t
, param_
f
ilter: silence some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpente
r
smatch: fix sm
_
de
b
ug
(
) to a
l
ways print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Da
n
Carpenter
db, flow:
p
arse
inline
sta
t
ements, lo
a
d st
u
ff into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpente
r
states:
int
r
oduce helper functions to preserve and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Da
n
C
arpenter
validation:
fix bogus tests so they
don't cau
s
e segfaults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Carpenter
pa
r
se_call_
m
ath: fix segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan
Carpente
r
db: make sql_i
n
s
ert_c
a
ller_i
n
fo(
)
t
ake the call
expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
d
b: initialize In-
M
emory database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carp
e
nter
db: move
d
b
st
u
ff f
r
om
s
match_scripts/db/ to sm
a
tch
_
data/
d
b/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
db: everyone m
u
st h
a
ve libsqlite3 installed (not optional)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-16
Dan Carpenter
f
i
les: make
open_
d
ata_file() exported
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
flow: d
e
lete
unu
s
e
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpe
n
t
e
r
helper: hand
l
e
assig
n
ments in
expr_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
an Carpenter
*new*
c
h
e
ck_struct_type: i
f
we alloc
a
t
e
a
n
u
nexpe
c
ted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
C
arpenter
r
osenberg: fix crash p
a
rsing diff
e
rent
functions with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move
c
alle
r
_info as close as po
s
si
b
le
to raw S
Q
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
C
ar
p
enter
db: ma
k
e mem
b
er_in
f
o
callb
a
cks tak
e
1 or 0 instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db:
move
t
y
pe_
s
ize to use
r
aw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: move c
a
ll_impli
e
s to use raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan
Ca
r
pe
n
ter
d
b: move return_val
u
es to use raw S
Q
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carp
e
nter
d
b: delete unus
e
d
no_side_ef
f
ec
t
s tab
l
e
(for
n
ow)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan C
a
r
p
enter
d
b
: move function_ptr to raw
SQ
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
D
a
n
Carpenter
d
b: mo
v
e return
_
states t
o
raw SQL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-14
Dan Carpenter
db: too
l
s for pr
i
nting raw
SQL inste
a
d
o
f human re
a
dable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-08
D
a
n Car
p
e
nte
r
silence bogus "unreachable code" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Da
n
Carpenter
param_limit:
handle functio
n
s where the parameter is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
db: take static v
s
global
i
n
to consi
d
eration
w
it
fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-07
Dan Carpenter
math
:
handle MOD opera
t
ion be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carp
e
n
ter
*d
e
l
e
te* bool_implicatio
n
s: this file is unused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carp
e
nte
r
par
a
m_(filter|limit|set): ad
d
some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
b
u
f_s
i
ze: do
n
'
t crash on invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
p
ars
e
_call_math
:
s
ile
n
ce
"
internal
bug
:
pop_val popp
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan
Carpenter
pr
o
pagate: fall out
fr
o
m
get_impl
i
ed_min() chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
extra:
type bug handling 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 Carpenter
rang
e
s: d
o
n't all
o
w i
n
verted rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-06
Dan Carpenter
db
:
don't get pri
n
t info if the function has ove
r
1
0000
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-05
Dan
C
arpenter
math
:
don't return
high values in get_fuz
z
y_ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan
Carpenter
overflow: fix false positi
v
e allocating
a
void p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carp
e
nter
buf_siz
e
:
f
ix bug cau
s
ed by
g
et
_
implied_m
a
x() returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan
Carpen
t
er
db:
print less --info
f
or a few pr
o
b
l
ematic functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
D
an Carpenter
math:
get_impli
e
d_ma
x
() should be able to return s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
sva
l
: o
n
ly
p
rint "s32max" if t
h
e
value
is
a
ctually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next