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
whitespace: add a newline
2012-10-12
D
a
n
Carpenter
whites
p
a
ce: add
a new
l
ine
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Car
p
e
nter
a
b
sol
u
te:
t
rack the
abs
o
lute limits th
a
t va
r
iables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
an Carpen
t
er
math: improve how get_absolute_min/max() work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
an Car
p
enter
math:
i
m
p
ro
v
e
ho
w
k
n
ow
n
logical operations ar
e
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
type: simplify ge
t
_bin
o
p_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan C
a
rp
e
n
t
e
r
type
:
improve han
d
l
i
ng o
f
type
pr
o
m
o
t
io
n
o
n binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carp
e
nter
ex
t
ra:
d
elete some debug cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
penter
ranges: parse t
h
e range
s
li
s
t correctly if it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Car
p
enter
math: known con
d
itions
are equ
a
l to o
n
e o
r
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
math:
handle select statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper
:
improve printed
m
essages
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
enter
extra: handle asm expression
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpenter
derefer
e
n
ce
s
_param: handle st
r
cmp(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ranges:
kill the "
E
rr
o
r inva
l
id range
m
essage"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan C
a
rpenter
as
s
ig
n
e
d
_e
x
p
r
:
ign
o
re +
=
ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
u
nct
i
o
n
_hooks:
w
h
ite space
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan C
a
rpenter
func
t
ion_hoo
k
s
:
u
s
e
the stripped
f
unction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db
,
buf_siz
e
, p
a
rse_call_ma
t
h: track the
size of r
e
turned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n Carpent
e
r
get_implied_range_list: us
e
the new functio
n
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpenter
impl
i
e
d_va
l
ue: don't g
e
t confused by ca
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db/return_states: fix ret
u
rn values for
U
SER
_
DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hooks: cl
e
a
n
up so
m
e
n
aming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n
Carpe
n
ter
func
t
ion_hooks: introduce ge
t
_
i
mpl
i
ed_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpent
e
r
misc: whitespac
e
c
l
eanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
arpenter
db_call
e
r_info
:
a
dd some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carpenter
d
b
, function_hooks: pas
s
a
ss
i
gnment expression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
Carpenter
b
uf_size: intr
o
duce
g
e
t_arr
a
y
_siz
e
_bytes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped:
fix
h
ow
the
min()
m
acro is handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpen
t
er
buf
_
size: db: Use the --spa
m
my
o
ption to
f
i
ll the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
pente
r
b
u
f_
s
ize:
m
e
r
ging two same size buffers give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpe
n
ter
buf_size: record static variables in the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
proc_create: fix a whi
t
e
space issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n Car
p
enter
b
u
f
_
size,
db:
i
f
a struct m
e
m
b
e
r size is set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
c
heck_
k
ernel: fix
E
R
R_
P
TR() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carp
e
nter
l
o
gical_instead
_
of_bit
w
ise: foo
= (
1
<< x)
&
& y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan
C
a
rpenter
locking:
_bh lock func
t
io
n
s are
n
e
s
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ext
r
a: introduce filt
e
r
_
range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
ente
r
kernel: han
d
le IS
_
ERR() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db_info: remove un
u
sed
print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
a
rpenter
extra,
f
unction_hooks, db: change cross f
u
nction a
n
alysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db: rem
o
ve the return_in
f
o table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
sma
t
ch_data: update the da
t
a direc
t
or to the la
t
est
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
c
a
ller_inf
o
: fix more fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: typ
e
_
size: silence a per
l
warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: caller
_
info: upd
a
t
e
fixup_kernel
.
sh
t
o the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
er
extra: get_implied_range_li
s
t() should
r
e
turn 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
user_da
t
a:
use t
h
e new ret
u
rn_states database
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_dat
a
: syscalls are a
sour
c
e of
user d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r_da
t
a: if "ptr
"
is user
d
a
ta t
h
en "*ptr" is
u
ser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
user_data: add
i
s_u
s
e
r_macro() stu
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carp
e
nter
user_data: skb->data
is
u
ser data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
extra: make
a
function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carp
e
n
ter
db:
cre
a
te
r
eturn_
s
tates table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpente
r
d
b
: add get_return_id
(
) and
r
e
t
urn markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpe
n
t
e
r
db: i
m
pr
o
ve error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: calle
r
_info change
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: add return_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
err_
p
t
r_dere
f
: rem
o
ve du
p
licate co
n
flicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
D
an Carpente
r
function_ho
o
ks
:
move registrat
i
on to the r
i
ght place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
D
a
n Carpen
t
er
deref_chec
k
: rem
o
ve dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
implied: cha
n
ge
d
eb
u
gg
i
ng output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
nter
c
h
ecks: get rid o
f
some delete_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Ca
r
penter
de
r
ef_c
h
eck: fix a f
a
l
se positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
D
an Carpenter
spa
r
se
:
comment out
a
n internal e
r
ror
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Mer
g
e git://
g
it
.
ke
r
nel
.
org/pub/scm/dev
e
l/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpen
t
er
*new* assign_
v
s
_
compa
r
e: if
((x = <constant>
)
) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
ranges: introduce rl
_
contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
C
ar
p
enter
de
r
ef_check: silence some false positive on cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
fill_db_cal
l
_i
m
plies: check co
r
rect variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_d
b
_return_implies: de
l
ete the co
r
rect t
a
bl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_math: ch
e
ck ALIGN() macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpente
r
helper
:
handle if (
W
ARN_ON(i ==
ARRAY_SI
Z
E(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
penter
assigned_expr: move check_ass
i
gned_expr(
)
to
s
match
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
macro_side_effec
t
s:
o
nly enable when --spammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n
Carpenter
ignore_si
d
e_effects: a
d
d
s
ome more
m
acros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n C
a
rp
e
n
ter
buf_size:
a
dd --s
p
ammy t
o
v
a
l
idation tes
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
o
v
erf
l
ow
:
r
e
m
ove st
r
n
c
p
y
() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
M
e
rge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
buf_size:
t
urn off bu
f
s
iz
e
for &ad
d
resses un
l
ess
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Car
p
enter
f
l
ow: 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
Car
p
enter
buf
_
size: remove the &* and [0] from around the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf:
d
on't return
t
h
e maximum store buff
e
r size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Ca
r
penter
b
uf
_
size
:
ret
u
rn t
h
e si
z
e
of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f
_size:
a
dd kma
l
lo
c
_array() and sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpe
n
ter
b
u
f_size: if the me
m
b
e
r size
i
s
n
o
t
k
nown then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge branch 'buf
_
si
z
e
'
in
t
o devel
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
ar
p
enter
M
e
r
g
e
git
:
/
/
g
it
.
kernel
.
org/pub
/
scm/devel/spa
r
se/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
p
enter
buf
_
size:
f
irst get the size in b
y
tes then con
v
e
rt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: remove cas
t
_ratio(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: fix bytes
_
per_
e
lement() for strings
and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_
s
ize:
delete some
duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ent
e
r
buf_siz
e
: prefer the
d
eclared a
r
ray size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: strcpy() onl
y
s
e
ts the size
of t
h
e destina
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpent
e
r
buf_si
z
e:
ignore casts in get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f_size: create an
elements_t
o
_bytes() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
b
uf_size: s
e
p
arate byt
e
s_per
_
element(
)
into
i
ts ow
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_siz
e
: u
s
ing ->bit_siz
e
doesn't work for void pointe
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
uf_
s
ize: use g
e
t_stored_size_bytes() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size:
make ge
t
_stored_
s
ize_
b
ytes() a separate fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next