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-04-20
Dan Carpenter
f
l
ow: don't p
r
i
n
t
d
u
plicate "unreac
h
able code" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
d
b
: replace da
t
a
base
i
nfo script
s
with
smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
D
an C
a
rpent
e
r
s
h
ow_u
n
reachable
.
s
h: ch
a
ng
e
the
l
ine nu
m
b
e
r
format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
arpe
n
ter
show_unreachab
l
e
.
sh: rep
l
ace
t
a
b
s with spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpen
t
er
db:
k
ernel: fake up
-
>read/
w
rite() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an
C
arpen
t
er
db: store "too common" f
u
nctio
n
s in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
t
er
p
a
ra
m
_c
l
eared: clear_bu
f
fer:
a
d
d t
h
em to the check_l
i
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpe
n
ter
extra: don't
us
e
the indirect_modif
i
cation_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
x
tra: make param_filter s
e
t_extra_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpenter
r
osenb
e
r
g
: remove
p
a
h
ole dependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
p
a
rse: add a big h
a
ck to track packed
structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
*n
e
w* s
m
atch_clear_buffer
.
c
:
h
a
ndle mems
e
t() type function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Car
p
e
n
ter
param_
l
imit/filter:
ignore w
h
ole rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Ca
r
pen
t
er
r
anges: an em
p
ty range is not a whole rang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
extr
a
: remove
s
ome dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: small fix for when the database i
s
disabl
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
db:
a
lways split the retu
r
n values if we're
not
u
sing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
cond
i
tions: use set_
e
xtra_expr_mod(
)
to change extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
u
ser_data: co
m
pat syscall par
a
me
t
ers are
us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Ca
r
pente
r
user_dat
a
:
using a u
s
er
s
up
p
l
i
ed offset into an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
a
rpenter
locking: add some m
o
re bh
loc
k
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan C
a
rp
e
n
t
er
M
e
rge branch 'r
f
c-a
t
tribute-st
r
u
c
t
' of git://git
.
kern
e
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Ca
r
penter
check_deref: disable "
p
otential N
U
LL d
e
r
e
fe
r
ence" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan
C
arpenter
locking: add local_bh
_
disable/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Car
p
en
t
er
loc
k
ing
:
handle null v
s
non-
N
ULL
ret
u
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking: upda
t
e validation/
t
ests to the new warni
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs: "(*ptrs
[
0])(a, b)
"
is th
e
same as
"ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Car
p
ente
r
function
_
pt
r
s:
r
e
co
r
d when function poin
t
er is sav
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenberg
:
remove some st
r
u
c
ts whic
h
don
'
t have
h
ole
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
r
o
senberg: che
c
k for nl
a
_put inf
o
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpen
t
er
flow:
fake
member a
n
d eleme
n
t assignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
exp
r
essio
n
s: introduce array_element_expression(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nte
r
l
o
cking: take returns v
a
lues in
t
o
consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
che
c
k_kernel: look
har
d
er for the containe
r
_of(
)
m
acro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpent
e
r
implied
:
db: fix h
o
w ret
u
rns are broken a
p
art
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
db: r
e
turn_id was set
i
ncor
r
ectly
w
h
en inline functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
db: fix how the
ret
u
rn values a
r
e casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpent
e
r
helper:
m
a
ke is
_
a
r
ray()
accept
NUL
L
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
C
arpenter
db: functi
o
n
_ptrs: d
o
better
at function ptr to fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
er
fl
o
w
:
create fake assignments
f
or array declaratio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carpent
e
r
f
l
ow: exp
r
essions: don't try updating t
o
u
n
initialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carp
e
n
ter
db: fixu
p
_
kerne
l
.
sh: (str
u
ct mISDNcha
n
nel)->send informat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpente
r
db: fixup_
k
ernel
.
sh: record
where ->notifi
e
r
_
call i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Car
p
enter
flow
:
handle inlines
b
ette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Carpenter
db:
functi
o
n
_
ptrs: track
pointer to pointer assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Carpenter
ma
t
h: silence some
b
uf
f
er o
v
erf
l
ow fa
l
s
e positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
penter
db:
f
ixup_kernel
.
sh: ignore (
s
tr
u
ct t
i
mer_list
)
->func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
extra: Fix segm
e
ntati
o
n fault in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: look u
p
all the function pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
helper
:
allow get_param_num_from_sy
m
() to be u
s
ed in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string_
l
is
t
: in
t
roduce l
i
st_has
_
string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
s
m
a
tch_string_list
.
c: s
e
parate strin
g
_
list functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Car
p
ent
e
r
db: only lookup function pointe
r
s once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpe
n
ter
a
n
notate: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Car
p
enter
helper: ignore parens in expr_to_
v
ar()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
overflow: si
l
enc
e
kernel false positive a
b
out __
p
er_cpu_o
f
f
s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
kerne
l
: recover module_init
/
exit() fu
n
ction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow: pass the s
y
m
_list to the END_
F
I
LE_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpenter
db: fixu
p
_
k
ernel
.
sh remove
s
ome mo
r
e USER_D
A
TA tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpen
t
er
db: speedup f
i
ll_
d
b_cal
l
er_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
e
nte
r
e
xtra: imp
r
ove +
=
and -= han
d
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
sval: introduce
s
val_is_negative_mi
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
a
rpen
t
er
sval:
fi
x
sval_binop_o
v
erfl
o
ws() to accept
different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
introduce s
m
a
tch_annotate
.
c: annota
t
e some common fun
c
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
db: give up if t
h
ere a
r
e over 1
0
0
0 retur
n
ed st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fix slow dow
n
caused by
r
ecurs
i
ve function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpenter
buf_size:
false positive
f
rom large "implied" implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rp
e
nter
helpe
r
: fix exp
r
_to_str
(
)
f
o
r func
t
ion calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
db: remov
e
more u
s
er data from start_xmi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Car
p
e
nter
db: manually delete some USE
R
_DATA m
a
r
k
e
r
s f
r
om th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
e
x
tra:
m
ove
v
anilla assigns
i
nto t
h
eir own functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ranges: i
n
c
a
st
_
rl() somet
i
mes it'
s
be
t
ter to
just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an C
a
r
p
e
nter
extr
a
: type bug ha
n
dlin
g
asm expres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
d
b
: fix bug handling ':'
c
ha
r
ac
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math
:
Use
f
unction call informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
flow:
handle P
O
ST_OPs correct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
pent
e
r
buf_size
:
h
andle
dma_alloc_at
t
rs
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpent
e
r
ex
t
ra: t
y
p
e bug han
d
lin
g
for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: fix a coup
l
e ty
p
e
bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
l
o
cking: fix build problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Car
p
enter
user_data: th
e
pointe
r
return
e
d from co
n
tainer_of
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nter
db: update a
d
ebug messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
C
arpenter
db: c
h
ange the file searched for
st
a
tic functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
flow: fix a debug stat
e
men
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Carpenter
flo
w
: s
a
ve and
restore the big_expression_stack when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n
Carpenter
condit
i
ons: fix
smal
l
signedness
b
u
g
in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking: ignore parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Ca
r
penter
stack: turn off by default, and
l
ess spammy always
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
signe
d
: do
n
'
t warn
a
bout assignme
n
ts to boole
a
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
local_values: not a
l
l the set values make i
t
to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpenter
siz
e
of_param: ignore s
t
rncat
(
a, b, siz
e
of
(
b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpenter
ker
n
el:
handle __ftrace_bad_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpen
t
e
r
k
e
rnel: ha
n
d
l
e f
i
nd_n
e
xt
_
bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
db
_
info: sav
e
return values in in-memo
r
y databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
penter
chec
k
_
kernel: p
r
eserve ERR_
P
TR
values pa
s
sed to IS_ERR_O
R
_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan C
a
rpen
t
er
check_k
e
rn
e
l: rename nonnull
t
o valid
_
p
t
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpenter
Reve
r
t "
k
erne
l
: remove some unneeded code
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
sizeof_param
:
fix f
a
lse positiv
e
s with
s
t
rlc
p
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
c
o
m
p
are
:
hand
l
e some assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
a
rpenter
extra: s
h
uffl
e
match
_
a
ssign a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next