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
type: improve handling of type promotion on binary operations
2012-10-09
Dan
Carpenter
type: impro
v
e
handl
i
ng of t
y
p
e promotio
n
on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
extra: de
l
ete some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
Carpente
r
ranges: parse the ranges
list cor
r
ectl
y
if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
m
a
t
h
: known
c
onditions are equal to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpen
t
e
r
math: handle sele
c
t stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rp
e
nter
helper:
i
m
p
ro
v
e print
e
d messages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
ext
r
a: handle
asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
de
r
efe
r
ences_par
a
m: handle strc
m
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Da
n
Carpenter
r
ange
s
: kill the
"Error invalid r
a
nge message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Car
p
enter
ass
i
gned_expr: ignor
e
+= as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
Carpenter
fun
c
tion_hooks: white s
p
ac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n
Carpenter
function_hooks: use
the stripped function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carp
e
nter
db, buf_size
,
p
a
rse_
c
all_mat
h
: track the size
of return
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpente
r
get_implied_r
a
nge_list
:
use the new
function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n
C
a
rpente
r
implied_value: don't get conf
u
sed by cast
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n Car
p
enter
db/return_states:
f
i
x retur
n
values for USE
R
_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_h
o
oks:
c
lean u
p
s
o
m
e nam
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
f
unction_hooks: introduc
e
get_implied_ret
u
rn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
t
e
r
mis
c
:
whitespace
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_call
e
r_info: add som
e
comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpent
e
r
db, function_h
o
oks: pass assignment
expression to t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
Carpenter
buf_si
z
e:
i
ntro
d
u
c
e get_ar
r
ay_size_bytes
_
min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von
Brand
Instal
l
cgc
c
to
o
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix ho
w
the min() ma
c
ro is handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
r
p
enter
buf_size: db: Us
e
the -
-
s
pa
m
my option
t
o
f
ill the
d
a
t
ab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpenter
buf_si
z
e
:
m
e
rging two same
s
ize buffers give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_si
z
e: record static variable
s
in the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
an
C
a
r
penter
pro
c
_creat
e
: fix
a whitespace
i
s
sue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n Carpenter
b
u
f
_
size, d
b
: if a struct
m
ember si
z
e is
s
et in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpe
n
ter
check_ke
r
nel: fix ERR_PTR() false pos
i
tive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logica
l
_instea
d
_
o
f_bitwise:
foo
= (1 <
<
x) && y
;
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpe
n
te
r
l
o
cking: _b
h
lo
c
k fun
c
tions are
n
e
sta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra:
i
n
troduc
e
filter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
kernel: h
a
ndle IS_ER
R
()
p
r
ope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db_info: remove unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpent
e
r
extra, function_hoo
k
s, db: change cross fun
c
tion analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db
:
remove the return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
sma
t
ch_data: update the dat
a
direct
o
r to th
e
la
t
est
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Car
p
enter
db: caller_info: fix more fall
o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
p
enter
db: type_size: silence a per
l
w
a
rning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
caller_info: up
d
ate fi
x
u
p_k
e
r
n
el
.
s
h
t
o the n
e
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_imp
l
ied_ran
g
e_list() sh
o
uld ret
u
rn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
use
r
_
d
a
ta: use the n
e
w return_sta
t
es database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpent
e
r
user_data: sy
s
calls
are a s
o
urc
e
of user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data:
if "ptr" is user data then "
*
ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
e
r
_data
:
a
dd is
_
user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
a
rp
e
nt
e
r
user
_
data: skb->
d
a
ta is user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: m
a
ke
a
function s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: create r
e
turn_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
:
add
get_
r
eturn_id
(
) and return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
db: improve e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: caller_in
f
o changes: store the caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db:
add return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
err_ptr_deref
:
re
m
ove duplicat
e
co
n
flic
t
i
n
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Car
p
enter
function_
h
ooks:
move registration to the right pl
a
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair
M
o
ham
m
ed Abdull
a
h
Fi
x
bug in
Makefi
l
e that c
a
uses l
i
nking
to fa
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpent
e
r
deref_check: re
m
ove
d
e
ad
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
misc white space
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
i
mplied:
c
han
g
e
debugging out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
r
p
e
nte
r
chec
k
s: get rid
o
f som
e
delete_s
t
ate() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpen
t
er
deref_check: fix a f
a
lse po
s
itive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
C
hristopher
L
i
Fi
x
a b
u
g with v
a
r
ia
b
les n
a
med "x
8
6_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
D
an Carpe
n
t
e
r
spa
r
se: com
m
ent out an i
n
ternal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
D
an Carpenter
Merge git://git
.
kernel
.
org
/
p
u
b/scm/devel/sparse/chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan C
a
rpenter
*new* assig
n
_vs_compare: if
((x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpenter
r
anges: introduce r
l
_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
deref
_
check:
s
ilence some fal
s
e positive o
n
cross fu
n
cti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
fill_db_call_
i
m
p
lies:
c
heck corr
e
ct vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
fill_db_
r
e
turn_implies: delete the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
po
i
nt
e
r_math: check ALI
G
N() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handl
e
i
f (W
A
RN_ON(i ==
ARRA
Y
_
SIZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jo
n
ath
a
n Neuschäfer
smatch_scripts: fix
s
pelling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
J
o
n
a
than Neuschäfer
s
m
atch
:
fix several typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ass
i
gne
d
_
e
x
pr:
mov
e
check_
a
ssigned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
e
nter
ma
c
ro_side_effe
c
ts
:
only en
a
b
l
e
w
hen --spam
m
y is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
ig
n
ore_side_
e
ffects: add some more m
a
cros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpen
t
er
buf_size:
add -
-
spammy to validatio
n
t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overflow: r
e
move
s
trncpy() fa
l
se p
o
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Car
p
ente
r
Merge bran
c
h 'dev
e
l'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
b
u
f_size: turn off
b
uf size for &addresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpente
r
flow: han
d
le the __
n
o
return_
_
attri
b
ute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: rem
o
ve the &* and [
0
] from around
the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
Motohiro
spa
r
s
e
: Add 'error' to ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
K
I Motohir
o
sparse: Add '__
v
ector_
s
i
z
e__' to
i
gno
r
e
d attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpenter
sm_buf: don't return
t
h
e ma
x
i
mum
store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
a
rpe
n
ter
b
u
f_si
z
e: return t
h
e size
o
f &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_s
i
ze:
add kmalloc_a
r
ra
y
() and soc
k
_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size:
if
t
he
m
e
m
ber size is not known th
e
n store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
e
n
ter
Merge branch 'buf_siz
e
' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
erge git://
g
i
t
.
k
ernel
.
o
rg/pub/s
c
m
/
d
e
vel/sp
a
rse/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
buf_size
:
fi
r
s
t
ge
t
the s
i
ze in
b
ytes
t
h
e
n convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpent
e
r
b
u
f_size: rem
o
ve cast_
r
a
t
io()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n C
a
rpent
e
r
buf_size: fix byt
e
s_per_
e
le
m
ent() for
strings and a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size:
d
elete
s
ome
duplicate
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
buf_s
i
z
e: p
r
efer the decl
a
red
arr
a
y
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: strcpy() on
l
y sets the size of the dest
i
nation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_s
i
z
e
:
i
gno
r
e casts
i
n get_ar
r
ay_s
i
ze_byt
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_s
i
ze: create an eleme
n
ts_to_
b
ytes() f
u
n
c
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: sep
a
rate bytes_per_ele
m
ent() into its
own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: using ->bit_size d
o
esn't wo
r
k for vo
i
d pointer
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next