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: pass the sym_list to the END_FILE_HOOK
2013-03-25
Dan Carpe
n
ter
flo
w
:
p
ass the sym_list to
t
h
e END
_
FILE_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db:
fixup_
k
e
r
n
e
l
.
sh remove some more USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
db: spe
e
dup fi
l
l
_
d
b
_ca
l
ler_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
ex
t
r
a: improve +=
a
n
d
-=
ha
n
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carp
e
nter
sv
a
l
: introduce sval_is_ne
g
ative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpen
t
er
sval: fix sval_binop_overflows() t
o
accept
differen
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n C
a
rpent
e
r
i
nt
r
oduce smatch
_
annotate
.
c: annotat
e
som
e
common functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
db: give up i
f
there are o
v
er 10
0
0 returne
d
s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carp
e
n
t
er
db: fix slow do
w
n caused by recursive
function c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
buf_si
z
e: f
a
lse
positive
fro
m
lar
g
e
"
im
p
l
ied" implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
h
e
lpe
r
: fix expr_to_
s
tr() f
o
r f
u
nc
t
ion call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
db: remove mor
e
user data fr
o
m start_xm
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpent
e
r
db:
manually delete so
m
e USER_DATA mar
k
ers from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpen
t
e
r
extra: move van
i
lla assigns into their own fun
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ra
n
ges: i
n
cast_rl(
)
sometimes i
t
'
s be
t
t
e
r
t
o just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
extra: t
y
pe bug
h
and
l
ing asm
express
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
db: fix bug handling ':
'
character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: U
s
e function
call inform
a
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
flow:
h
andle POST_OPs corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpenter
b
u
f
_size: handle dm
a
_alloc_attrs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: typ
e
bug handling fo
r
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
ar
p
e
n
ter
ma
t
h: fix
a
coup
l
e t
y
pe bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
locking:
f
ix buil
d
proble
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpe
n
ter
us
e
r_da
t
a: the pointer returned
fro
m
contai
n
er_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nter
db: upd
a
te a debug m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n Carpent
e
r
db: c
h
a
nge the file searc
h
ed for static functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
f
l
ow: f
i
x a
d
ebug stat
e
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
fl
o
w:
save a
n
d restore the big_ex
p
ressi
o
n_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Carpenter
c
onditions: f
i
x sm
a
ll s
i
g
nedness b
u
g in
c
o
m
pares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpenter
locking:
ig
n
ore paren
t
hesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpen
t
er
stack
:
tu
r
n o
f
f
by defau
l
t, and less sp
a
mmy always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
sign
e
d: do
n
't warn about assignments to bo
o
l
ean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
er
lo
c
al_value
s
:
not
a
l
l the set values make it to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
s
izeof_param:
ign
o
re strncat(a, b, sizeof(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpente
r
kern
e
l: handle __ftrace
_
ba
d
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpen
t
er
kernel:
handle find_ne
x
t
_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
d
b_info: save return values in in-m
e
mo
r
y database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
C
arpe
n
ter
c
heck_
k
ernel: pres
e
rve ERR_PTR v
a
l
ue
s
pass
e
d
to IS_ERR_OR_NULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carp
e
nter
check_kernel:
ren
a
me
nonnull to vali
d
_
p
t
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Revert "ker
n
el:
remove some unn
e
eded co
d
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan
Carp
e
nter
sizeof_param: fix false positives with strlc
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpente
r
compare:
h
a
n
d
l
e
some assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra
:
shuffle
m
atc
h
_ass
i
gn a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
C
arpent
e
r
extra: only
get the ty
p
es one time in m
a
tch_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_ptr: move
g
e
t_f
n
ptr_name()
t
o
s
m
at
c
h_
f
unction_pt
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
db:
fixup
_
kernel
.
sh:
d
i
s
car
d
caller_info
from
->
n
otif
i
er_
c
all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
Carpenter
d
b
: fixup_
k
ernel
.
sh: only track the main read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpe
n
ter
user
_
data
:
t
r
a
ck user data across assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
s
match
_
cappe
d
:
g
e
t_implied_max()
d
oes
not implied ca
p
p
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
buf_size: export get_rea
l
_array_s
i
z
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extr
a
:
han
d
le MO
D
_ASSIGN bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
en
t
er
db: don't p
r
i
nt infor
m
ation caller information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
f
unction_ptr
s
: track par
a
meter
s
as w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
functio
n
_ptr
s
: sep
a
r
ate into
i
t
s own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data: add snprintf t
o
kern
e
l
.
si
z
eof_pa
r
am
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
b
u
f_si
z
e
:
f
ix a
N
ULL
d
erefere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carpenter
ke
r
nel: remove some unneeded cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpente
r
buf_
s
i
z
e:
h
and
l
e empty arrays on the end of st
r
u
c
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n
C
a
rpenter
buf
_
si
z
e: remove so
m
e
d
ea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carpe
n
t
e
r
l
ocal
_
values: sto
r
e poss
i
b
l
e values of static data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Ca
r
pe
n
ter
fl
o
w: more inline fal
l
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan
Carp
e
nt
e
r
db: e
x
p
ort
m
e
m_sql() so checks can use it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Car
p
e
nter
no_return: ano
t
her problem with inli
n
e functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan
C
arpenter
ranges: fix casting of inval
i
d range
lis
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
D
a
n
C
a
rp
e
nter
extra,
function_hooks: fix ha
n
d
l
i
ng of casted function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
Revert "db: don't
c
reate u
n
used tables in the in-memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: do
n
'
t use fun
c
t
i
o
n
poin
t
ers for caller in
f
o on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
C
a
rpe
n
te
r
db: use "dist
i
n
ct" to avoid duplicat
e
f
u
nction poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
l
oad
glob
a
l f
u
nc
t
ion pointers into the db properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
pent
e
r
db: remov
e
duplicate struc
t
point
e
rs to fun
c
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
d
b
: fix ca
l
l_implies for the in
-
memory datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan C
a
rpente
r
db, f
u
nctio
n
_h
o
o
ks: query
t
he db after processing th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
Carpent
e
r
d
b
: store the value of "x" w
h
en
y
o
u
call f
r
o
b
(&
x
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
p
ass p
o
inted
at val
u
es to called functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpent
e
r
d
b
:
rese
t
th
e
in-mem
o
ry data
b
a
se
after every function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: add so
m
e debug s
t
a
t
ements for inse
r
ts into th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan
C
arpenter
db: use
c
a
ll_i
d
for
t
he in
-
memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
db: add c
a
ll_i
d
to
call_implies
,
re
t
ur
n
_stat
e
s and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
a
n Carpenter
db
:
r
ename
function
_
id in the
c
aller_info table to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Car
p
enter
db: don'
t
creat
e
un
u
sed
tables in the in-memory datab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
enter
db:
don't print caller info for __b
u
i
l
t
in f
u
nc
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db: use
co
r
rect variable
in mem_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
p
ente
r
e
xtra: improve unsigned comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpente
r
range
s
: don't do unneeded alloca
t
i
o
ns in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Da
n
Carpente
r
ranges: intr
o
duce rl_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carpen
t
er
db: use in-memory
data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan
Carp
e
nter
db:
move an option_
n
o_db check to r
u
n
_sql()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpenter
f
low
,
db: renam
e
should_inline() to inlinable()
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Ca
r
penter
ret
u
r
n
s:
add a check for __inline_fn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carp
e
n
t
er
db, f
l
ow: make __inline_fn
a
pointer to t
h
e
function
.
.
.
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
rpenter
db: save c
a
ller
_
info for
i
n
l
ine function properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Car
p
ent
e
r
db: sil
e
nce a compile warnin
g
on 3
2
bit
(
u
s
e %zd for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Da
n
Car
p
en
t
er
db: in
t
roduce
s
ql_selec
t
_call_
i
mpli
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
D
a
n Carpenter
d
b
: only allow functions to be saved to one function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carp
e
n
ter
db: introduce sql_sele
c
t_call
e
r
_info()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan C
a
r
p
enter
db: introduce sq
l
_
s
e
lect_return_values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-19
Dan Carpenter
d
b: introduce
s
ql_selec
t
_ret
u
rn_states
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
D
a
n Carpenter
ranges: fix "trouble parsing
empty" messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-18
Dan Carpe
n
t
er
par
a
m_limi
t
,
para
m
_filte
r
: si
l
e
n
ce some
deb
u
g outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next