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
assigned_expr: ignore += assignments
2012-10-02
Dan Ca
r
pent
e
r
assigned_expr: ignore += ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpente
r
functi
o
n_hook
s
: w
h
i
t
e
s
p
ace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpente
r
function_hooks
:
us
e
the strippe
d
function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db,
b
u
f_size, parse_call_
m
ath: track the siz
e
of
returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_implied_ra
n
ge_list: use the new function hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
implie
d
_val
u
e:
d
on
'
t
g
e
t confused
by
c
asts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
db/return_states: fix return valu
e
s for US
E
R_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Ca
r
pen
t
er
fun
c
tion_hooks:
c
lean up some namin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpen
t
er
function_hooks:
i
ntroduce ge
t
_implied_retur
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
arpente
r
misc: w
h
itespace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpenter
db_call
e
r_info: add some com
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
ter
db, funct
i
on_hooks: pass assignment expression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpen
t
er
buf_
s
i
z
e: in
t
roduce get_array
_
size_bytes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
c
apped: fix how the min() macro is han
d
led
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
buf_size: db: Use the --sp
a
mmy option to
f
il
l
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carp
e
n
t
er
buf_size: merg
i
n
g two same size 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: rec
o
r
d
s
tatic
v
ariable
s
in the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
proc_create
:
fix a
whites
p
ace issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
D
an C
a
rpenter
buf_siz
e
, db: if
a
s
truct member siz
e
is set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_kernel:
f
ix ERR_
P
TR() f
a
lse
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logic
a
l_in
s
tead_of_bi
t
w
i
se: fo
o
= (1 << x
)
&
&
y
;
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Da
n
Carpenter
lo
c
ki
n
g: _bh lock functions
a
re nesta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
extra: introduce filter_range_l
i
s
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
kernel: handle IS_ERR() p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpe
n
t
er
d
b
_info: r
e
move unused pri
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
extra, funct
i
on_
h
ooks, db: change cross
functio
n
analy
s
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db
:
remov
e
the
return_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
smatch_data: up
d
a
te the data di
r
ector to the lates
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
d
b: cal
l
er_info: fix more
f
all out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: type_si
z
e: sil
e
nce a perl w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpente
r
d
b
: cal
l
er_info: up
d
ate
fixup_ke
r
nel
.
sh to
t
he new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nt
e
r
extra: get_implied_ra
n
g
e_list(
)
should return 0
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r_
d
a
t
a: use the new ret
u
rn_states databa
s
e
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
use
r
_
da
t
a
: s
y
scalls
a
r
e
a source
o
f user
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpenter
user_da
t
a: if "pt
r
" is user
data t
h
en "*ptr
"
is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data: a
d
d i
s
_user_macro()
s
tu
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
u
s
er_data: sk
b
->da
t
a
i
s user d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
ex
t
ra: make a
fu
n
ction s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Car
p
enter
db:
c
reate return_
s
t
a
tes tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: add get_return_id() and re
t
urn m
a
rkers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: improve e
r
ror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
db: caller_in
f
o c
h
anges: store the
c
a
l
ler,
param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db: add r
e
t
urn_values ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
r
r
_
ptr_deref: r
e
move duplicate
c
o
n
fl
i
c
ting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Da
n
Carpent
e
r
function_
h
ooks: move
r
egistration to the
rig
h
t
p
lace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
D
an Car
p
ent
e
r
der
e
f_ch
e
ck: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an
C
arpenter
misc white s
p
ace fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied
:
change debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
e
r
checks: g
e
t rid of
s
ome delete_
s
tate() ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
deref_che
c
k: fix a false
p
ositive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Ca
r
penter
spar
s
e: comme
n
t out an interna
l
error mess
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpen
t
er
Merge
git:/
/
git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arpenter
*new* assign_vs_compare:
if (
(
x =
<constan
t
>
)
) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
C
arpenter
ranges: introduce rl_cont
i
guous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpente
r
d
e
re
f
_check: silence some
f
alse posi
t
iv
e
on cross funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_d
b
_call_impli
e
s
: check
correct variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an C
a
rpenter
fil
l
_db_re
t
urn_impli
e
s: delet
e
t
h
e correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
Carpent
e
r
pointer_math
:
c
h
eck ALIGN()
macro
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Ca
r
pent
e
r
helper: hand
l
e if (WA
R
N_O
N
(
i == ARRAY_SIZE(foo))
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ass
i
g
n
ed_expr: move check_assigned_
e
xpr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nte
r
macro
_
s
ide_eff
e
ct
s
: only enab
l
e when --spammy is use
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
ignore_side_effects: add
s
ome
m
ore
m
a
cros
t
hat h
a
ve
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size
:
add --spammy to validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
o
verfl
o
w:
r
emove strncpy() fals
e
positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
M
erge branch 'd
e
vel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
buf
_
size: turn
o
ff buf size for
&addres
s
es unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
f
l
ow: handle t
h
e __noreturn__
a
ttrib
u
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
n
t
er
buf_size: rem
o
ve the &* and [0
]
from around the poin
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
Carp
e
n
t
e
r
s
m
_buf: don't return th
e
maximum store buffer siz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
b
uf_
s
ize: return
t
he size o
f
&f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
b
uf_si
z
e: add kmalloc_array() a
n
d sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f_size: if the member size is
n
ot know
n
t
h
en store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n C
a
rpenter
Merge branch 'b
u
f_size' in
t
o devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge gi
t
://
g
it
.
ker
n
el
.
org/pub/scm/deve
l
/sparse/spa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_siz
e
: first get th
e
s
i
z
e in
b
ytes then
con
v
ert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
: rem
o
v
e cast_rat
i
o()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
a
rpente
r
buf_size: fix bytes_per_element
(
) for strin
g
s and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: del
e
te some duplica
t
e code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: prefe
r
the d
e
clared array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: st
r
cpy() only sets
the
size of
t
he destination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
b
uf_s
i
ze:
ignore cast
s
in ge
t
_array_size_b
y
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
ze: cr
e
at
e
an elements_to_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f_size:
s
epar
a
t
e
b
y
tes_p
e
r_elemen
t
() into its
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_siz
e
: using ->bit_size doesn't work for
v
oid poi
n
ters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_
s
ize: use get_stored_
s
ize_bytes(
)
d
irectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
penter
buf_size: make get_stored_size
_
byte
s
() a s
e
p
a
ra
t
e function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
ze: pull byt
e
s
_
to_el
e
me
n
ts() in its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
enter
buf
_
size: calculate byte
s
per el
e
ment better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
add a basic validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_size:
if the size is variable pic
k
t
he larger o
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Car
p
e
nt
e
r
b
uf_size: move get_si
z
e_fro
m
_st
r
l
e
n() into it's
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_size: pull get_si
z
e
_
f
r
o
m_
i
nit
i
alizer()
into s
e
p
a
rat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
buf_size: move
g
et_s
t
ored_siz
e
() o
u
t
of get
_
arra
y
_
size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
uf_size: pull ha
n
dling of normal arrays into
separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
ar
p
enter
buf_si
z
e: move
some f
u
n
c
tio
n
s
aroun
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
uf
_
s
i
ze: add
m
odification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
t
e
r
debug: add a way to debug buffer sizes __smatch_b
u
f_
s
ize()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
an
C
arp
e
n
ter
Or
v
s and: warn
a
bout bitwise
AND
s
that always giv
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n
Car
p
enter
Or vs a
n
d: if
(
foo & ZERO) is non
s
ense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
funct
i
on
_
ha
s
h: ma
k
e it easier to handl
e
a
fi
l
e with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next