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
implied_value: don't get confused by casts
2012-09-22
D
an
Carpenter
implie
d
_value: don't get c
o
nfuse
d
by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpe
n
ter
d
b/return_states: fi
x
r
eturn values
f
or USER_D
A
T
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n
Carpenter
f
u
nction_hooks: clean
up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Carpente
r
f
u
nct
i
on
_
h
o
ok
s
: introduce g
e
t_impli
e
d_r
e
t
urn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
m
i
sc: wh
i
tespace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_ca
l
l
er_info: ad
d
some
c
o
m
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpent
e
r
db, f
u
nctio
n
_ho
o
ks: pass assignment expression to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
b
u
f_
s
ize:
i
ntroduce get_a
r
ray_size_bytes_min
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
H
o
rs
t
H
.
von Brand
Insta
l
l cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix ho
w
the min
(
) macro is han
d
led
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: db:
U
se the --spammy o
p
tion to fill the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
b
uf_size: m
e
rging t
w
o same size bu
f
fer
s
g
i
ve a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
an
Carp
e
nter
buf_size: record static
va
r
iabl
e
s in the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
p
r
o
c_cr
e
a
te:
f
i
x a
whitespace
issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpen
t
er
buf_si
z
e, db: if a str
u
ct member s
i
ze is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_kerne
l
: fix ERR_PTR() false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n Carpenter
logical_instead_of_b
i
twise: foo =
(1 << x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpent
e
r
locking: _bh loc
k
f
un
c
t
ions
are
nest
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: in
t
roduce filter_range_
l
ist
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pen
t
er
kernel:
handle IS_ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
e
r
d
b
_
i
n
fo
:
remove unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nt
e
r
ext
r
a,
function_hooks
,
db: ch
a
nge
c
ros
s
function analys
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db:
r
emove t
h
e re
t
ur
n
_
i
nfo table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pen
t
er
s
m
atc
h
_
d
a
t
a
:
update the data
d
irect
o
r to
the
latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpe
n
ter
db:
caller_info: fix
more fa
l
l out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db
:
type
_
size: si
l
ence
a
perl warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
cal
l
er_info:
u
p
d
ate fixup_kernel
.
sh t
o
t
he new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
pente
r
extra
:
get_im
p
lied_range_list() should retur
n
0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpe
n
ter
user_data
:
use th
e
new return_stat
e
s d
a
tabas
e
t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
user
_
data: syscalls are a so
u
rce of us
e
r
d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
use
r
_data: if
"ptr" is us
e
r data
t
hen "*ptr" is use
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
en
t
e
r
use
r
_data: ad
d
is_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
user_data: s
k
b
-
>data is
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Car
p
e
nter
e
xtra
:
make a
function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
penter
d
b:
c
r
eate return_stat
e
s
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
:
a
dd get_ret
u
rn_id(
)
and
return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
db: improve
e
rror
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: caller_info
chang
e
s: s
t
ore the caller
,
param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: a
d
d
re
t
urn_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
err_ptr_deref:
r
emove
duplicate conflicting c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan
Carpen
t
er
fun
c
tion_hook
s
: m
o
ve registrati
o
n t
o
the right
place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omai
r
Mohammed A
b
dullah
F
i
x bug
i
n
Makefile th
a
t causes linking
t
o fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_
c
hec
k
: rem
o
ve
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
misc white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
impl
i
e
d
:
change de
b
ugging outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
r
p
enter
checks: get
r
id
o
f
some
de
l
ete_state()
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_check: fix a false pos
i
tive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christo
p
he
r
Li
Fix a bug with
v
aria
b
les named
"x
8
6_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
D
a
n Carpenter
s
par
s
e: comment
o
ut an internal
error mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
rpent
e
r
Merge git://git
.
ke
r
n
el
.
org/pub/
s
cm/devel/spar
s
e/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an Carpenter
*new* assign_v
s
_com
p
a
r
e: if ((x
= <constant>)
)
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
ranges
:
introduce rl_co
n
tiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
nter
der
e
f_ch
e
c
k
: s
i
l
e
nce
s
o
me false positive on
cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_im
p
lies: check corre
c
t variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
fill_db_retur
n
_impli
e
s: d
e
lete the cor
r
e
ct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
C
a
r
penter
pointer_math: check A
L
IGN(
)
m
a
c
ro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
h
elpe
r
: handle
i
f (WARN_ON(i ==
A
RR
A
Y_SI
Z
E(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatc
h
_script
s
: fix
spelling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
J
o
nathan Neuschä
f
e
r
smatch: fix se
v
eral
t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carp
e
nte
r
assigned_expr: move check_assigne
d
_expr() to
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
t
e
r
macro_side_effects
:
only
e
na
b
le when --sp
a
mmy
i
s us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpent
e
r
ignore_side_effects: add some more macros
t
hat have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
bu
f
_
s
ize: add --spammy to validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
te
r
ove
r
flow: remove
s
t
r
ncpy()
f
a
l
se
p
o
s
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
buf_size: tur
n
o
f
f buf s
i
ze for &addresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
f
low: handl
e
the
__n
o
return_
_
attribu
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: remo
v
e t
h
e &* and [0
]
fr
o
m
around t
h
e p
o
in
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI M
o
tohiro
sparse: Ad
d
'error' to igno
r
ed attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I Mo
t
ohiro
sparse: Add '_
_
vect
o
r_size__' to ignored attr
i
butes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
sm_buf: don't return the maximum stor
e
buff
e
r size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
buf_size: r
e
t
u
rn th
e
size of
&
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpent
e
r
buf_size: add kmalloc_arr
a
y()
and
so
c
k
_
k
mal
l
oc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an C
a
rpenter
buf_s
i
ze:
if the mem
b
er size
is not
k
n
ow
n
then st
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carp
e
nter
Merge
b
r
anch 'buf
_
s
i
z
e'
i
n
t
o
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
Merge gi
t
:
/
/
git
.
kernel
.
org/p
u
b/scm/deve
l
/
s
p
arse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: firs
t
get the size in by
t
es then co
n
vert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
u
f_
s
ize:
rem
o
ve cast_ratio
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: fi
x
bytes_per_el
e
m
ent() for strings and
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
b
u
f_size: delet
e
some d
u
plica
t
e code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
bu
f
_size:
p
re
f
er the d
e
clared
a
rray size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpenter
b
uf
_
si
z
e
:
s
trcpy() only sets th
e
size of the
de
s
tinatio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carp
e
nter
bu
f
_size:
i
gno
r
e cast
s
in
get_array_size_byt
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
arpe
n
ter
buf_size: crea
t
e an elements_to_bytes() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
ze: separ
a
te bytes
_
p
e
r_elemen
t
(
)
in
t
o its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpente
r
buf_si
z
e:
u
sing
-
>bi
t
_
s
iz
e
doesn
'
t
wor
k
for void
pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_s
i
z
e: use get_sto
r
ed_s
i
z
e_bytes() directl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpen
t
er
buf_size: make get_stored_size_bytes() a sep
a
rat
e
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: pull byte
s
_
t
o_elem
e
nts() in its own func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: ca
l
culate b
y
te
s
per element better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: add a basic validation t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
i
ze
:
if the size
is variable pi
c
k the l
a
rger
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
a
r
penter
buf_size: m
o
ve ge
t
_siz
e
_f
r
o
m
_strlen() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an
C
arpent
e
r
buf
_
si
z
e
:
pull get_size_fro
m
_initia
l
izer() into se
p
a
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: move g
e
t
_
sto
r
ed_
s
ize()
o
ut of
get_array
_
s
i
z
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
n
t
er
buf_size: pull
handling of
n
o
r
mal
a
rra
y
s into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
b
uf
_
size:
m
ove
s
ome functions a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carp
e
nter
buf_size
:
add m
o
d
i
ficat
i
on hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Car
p
enter
deb
u
g: add a way to debu
g
buffe
r
sizes
__smatc
h
_buf_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
Or vs an
d
: warn a
b
out bitwise ANDs that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next