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
unwind: only enable with --spammy
2012-10-27
D
a
n Carpenter
unwind
:
only en
a
ble with --
s
pammy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
db: don
'
t turn RaiseError on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
D
an Carpente
r
de
v
_queue
_
xm
i
t: turn on
b
y
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rpenter
db: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
D
an C
a
rp
e
nt
e
r
signed
:
tiny
w
hit
e
sp
a
ce fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpe
n
ter
absolute: fi
x
pa
r
am
e
ter info
c
o
unting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Ca
r
penter
absolut
e
: fix how modification
s
a
r
e
h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
debug: fix cut and paste bug in print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
an Carp
e
nter
type: fix get_binop_typ
e
() for
b
i
t
s
hift op
e
rations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
an
Carpe
n
t
er
whitespace:
add a newlin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Car
p
en
t
er
absolute
:
trac
k
th
e
absolute limit
s
that
v
a
riables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Da
n
C
arpent
e
r
math: improve
h
ow get
_
absolute_min/max() work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpente
r
math:
i
mpro
v
e how
known logical operations are han
d
l
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carp
e
nte
r
type: s
i
m
p
l
i
f
y get_binop_t
y
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan Ca
r
penter
type: improve han
d
ling of type promotio
n
on
b
inary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan
Carpenter
ext
r
a: delete some
debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
ranges: parse the ranges list correc
t
ly if it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
ma
t
h: kno
w
n
c
o
nditions are
e
qual to one or z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
mat
h
: h
a
ndle select statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Car
p
e
n
ter
help
e
r: imp
r
ove p
r
i
nted m
e
ssage
s
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
extra: handle asm express
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
pe
n
ter
dereferences_pa
r
am: hand
l
e
s
t
rcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n Carpenter
range
s
: kill
t
he "
E
r
ror invalid
range message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
assigned_expr:
ignore +=
a
s
s
ignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
u
n
ctio
n
_hooks: white
space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks: use the stripped fun
c
tion call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db
,
buf_size,
p
arse_call_
m
ath: tra
c
k the
s
i
ze of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpent
e
r
get_imp
l
ied_rang
e
_l
i
st:
u
s
e
t
h
e
ne
w
funct
i
on hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n
Carpenter
implied_value: do
n
't get c
o
n
fused by
c
a
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Carpenter
db/retu
r
n_states: fix return values for
U
SER_DATA
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 som
e
naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
C
arpenter
funct
i
o
n
_hooks: introduc
e
get_implied_r
e
tur
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carpente
r
mi
s
c:
white
s
pac
e
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Car
p
enter
db_caller
_
info: add some comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpenter
d
b, functi
o
n_hooks: pa
s
s
assignm
e
nt expression to
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
Carpenter
buf_size: introduce ge
t
_a
r
ray_size
_
b
y
tes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Hor
s
t
H
.
von Brand
I
nstall cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nter
capped
:
fix how the min() macro is handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Car
p
ent
e
r
buf_size:
db: Use
t
he -
-
sp
a
m
m
y
option to fill th
e
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
r
p
e
nter
buf_size: merging two s
a
me size buffe
r
s
g
ive a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpenter
buf_siz
e
: record static v
a
ri
a
bl
e
s in the da
t
a
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Ca
r
p
e
n
ter
proc_create: fix a
w
hitesp
a
c
e
issu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpe
n
ter
buf_
s
ize, db:
i
f
a struct member siz
e
is set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Da
n
Carpenter
check_
k
e
r
nel: f
i
x E
R
R_PT
R
() false posi
t
i
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_inst
e
ad_of_bi
t
wise: fo
o
= (1 << x
)
&& y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
locking: _bh lo
c
k functions are nesta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra: introdu
c
e fi
l
t
er
_
range_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
ker
n
el: handle IS_
E
R
R
() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db_i
n
fo: remov
e
un
u
s
ed print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
extra, functi
o
n_h
o
oks, db: change cross function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: rem
o
v
e
the return_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
smatch_dat
a
: update the
data
di
r
e
c
tor to the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Car
p
ente
r
d
b
: calle
r
_
info
:
fix more fall
o
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
db: type_size: silence a p
e
rl warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpent
e
r
db: caller_in
f
o: update f
i
x
u
p_kernel
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
ex
t
r
a:
get_implied_rang
e
_list() shou
l
d return
0
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
u
s
er
_
data
:
us
e
the new return_st
a
tes datab
a
se table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
user_
d
ata: sysca
l
ls are a so
u
rce of user d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_d
a
t
a
: if "
p
t
r
" is user data
t
hen "
*
ptr"
i
s
u
ser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
user_d
a
ta: add is_user_macro()
stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
user_
d
ata: skb->
d
a
t
a is
us
e
r d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra:
ma
k
e a fun
c
tion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpente
r
db: create retu
r
n_st
a
t
e
s
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: add get_re
t
u
r
n
_id
(
)
and
ret
u
rn markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improve e
r
ror
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db
:
c
aller_info cha
n
ges:
s
tore th
e
c
a
l
ler, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carp
e
n
ter
db: add r
e
tur
n
_
values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err
_
ptr_deref: re
m
ove
d
uplicate c
o
nflicting co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Da
n
Carpenter
functi
o
n_hook
s
: mo
v
e reg
i
stration t
o
the ri
g
ht pla
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed
A
bd
u
llah
Fix bug in Makefile th
a
t causes lin
k
ing to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan C
a
rpenter
deref_check: remove dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n C
a
r
p
e
nter
misc white
sp
a
ce fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied: chang
e
debugg
i
ng output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Carpenter
ch
e
ck
s
: get
rid
o
f
s
o
m
e d
e
lete_state()
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
a
rpenter
deref_check: fix a fals
e
pos
i
tive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christophe
r
Li
Fix a bug with variables named
"
x
8
6_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpent
e
r
sparse: comment out an inter
n
al error mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
D
a
n Carpenter
Merge git://git
.
kerne
l
.
org/pub/scm/dev
e
l/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* assign
_
v
s
_compare: if (
(
x = <cons
t
an
t
>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
range
s
: introduc
e
rl_
c
o
ntiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
deref_che
c
k
: silence so
m
e fal
s
e
p
o
s
it
i
ve on cr
o
ss fu
n
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpenter
fill
_
db_c
a
ll_implies: check correct vari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
fill_
d
b
_
return_impli
e
s
:
delete the correct
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
poin
t
er_math: c
h
ec
k
ALIGN
(
) macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan
C
arpen
t
er
helper: handle if (WARN_ON(i == AR
R
A
Y_SIZE
(
f
oo)) ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan
Neuschä
f
er
smatch_scrip
t
s: fix spelling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
J
o
nathan Neuschä
f
e
r
smatch: fix sever
a
l ty
p
os
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
a
s
signed
_
expr: m
o
ve check_assigned_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_side
_
ef
f
ects: on
l
y
e
n
a
ble when --s
p
ammy is us
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_
s
ide_effects: add some
mo
r
e macro
s
that ha
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
b
u
f_size: add --spammy to
v
alidation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
C
a
rpenter
overflow: remov
e
strncpy() fa
l
se posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
e
r
M
erge br
a
nch
'
d
ev
e
l'
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpe
n
ter
buf_size: turn off buf size for &addresses
unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpe
n
ter
flow: handle t
h
e
_
_noreturn__ attribut
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpent
e
r
buf_size: remove the &
*
and [0] from aro
u
nd the po
i
n
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I Mot
o
h
iro
spa
r
se: Ad
d
'
e
rro
r
'
to ignored attri
b
utes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohi
r
o
sparse: A
d
d '__vector_size__' to ignored a
t
trib
u
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpente
r
sm_buf: do
n
't ret
u
r
n
t
h
e
ma
x
imum store b
u
ffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arpenter
buf_size: re
t
urn the size of &fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next