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
math: improve how known logical operations are handled
2012-10-11
Da
n
Car
p
e
nter
m
a
th:
i
m
pr
o
v
e
how k
n
own logical
o
perat
i
ons
are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
D
a
n Carpe
n
ter
t
ype:
simp
l
ify
ge
t
_binop_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
typ
e
: impro
v
e handling of type prom
o
ti
o
n on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
rpenter
e
xtra: delete so
m
e
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
pen
t
er
r
a
n
ge
s
:
parse
the ran
g
es
list correctly if it onl
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: known
co
n
d
itions are equal to one or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carp
e
nter
m
a
th: handle s
e
lect statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rp
e
nter
h
elper: improv
e
p
rinted
me
s
s
a
g
es a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
a
rpenter
extra: handle a
s
m expressi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carp
e
nte
r
der
e
ference
s
_param: handl
e
str
c
mp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Car
p
e
n
ter
ranges
:
kill the "Error invalid rang
e
message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
Carpente
r
assigned_expr: ignore += assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n
Car
p
enter
fu
n
ction_
h
oo
k
s:
white
s
p
ace fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_hooks: use
t
he str
i
pped function
ca
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Ca
r
p
e
nt
e
r
db, buf_size
,
pa
r
se_c
a
l
l_
m
ath: tr
a
c
k
the siz
e
o
f
returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carp
e
nter
get
_
implied
_
ra
n
ge_list: use the new fun
c
tion ho
o
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
C
arpenter
i
m
p
lied
_
value:
d
on't get confused by
casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
d
b
/return_sta
t
es: fix return values for USER
_
DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpenter
fu
n
ction_h
o
o
k
s: clean up some nami
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fu
n
ctio
n
_hoo
k
s
:
introd
u
ce get_
i
mplied_
r
eturn
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
a
rpenter
misc: w
h
i
tespace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_c
a
ller_info: add so
m
e comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db, funct
i
on_hooks: pas
s
assi
g
nment expression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpent
e
r
buf_size: in
t
rodu
c
e get_a
r
r
ay_size_
b
y
tes_mi
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Brand
Insta
l
l c
g
cc to
o
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
capped: fix
how the
m
in() mac
r
o
is handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rp
e
nte
r
buf_size:
d
b: U
s
e t
h
e --s
p
ammy
option to fill the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_
s
ize: mer
g
ing two same s
i
ze buffers give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
buf
_
size
:
record
s
tatic variable
s
i
n the databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
pro
c
_create: fix a whitespace is
s
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpenter
buf
_
size, db
:
if a st
r
uct 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
_
kern
e
l: fix ER
R
_PTR() fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_instead_of_
b
itwise: f
o
o = (1 <<
x
) && y;
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
D
an Carpenter
loc
k
ing:
_
bh lock
f
unc
t
ions are
n
estab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
e
x
t
ra: introd
u
ce
filter_ra
n
ge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
k
e
rnel: handle IS_
E
RR() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db
_
i
n
f
o
: re
m
ove unused pri
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra, fun
c
tion_hooks, db: change cro
s
s fu
n
ction anal
y
sis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpente
r
db: remove th
e
r
eturn_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
smatch_da
t
a:
update the data
d
ir
e
ctor to the l
a
test
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
db: call
e
r_i
n
fo:
f
i
x more
fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
db: type_size:
s
ilence a perl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db:
c
all
e
r
_i
n
f
o
: updat
e
fixup_kernel
.
sh to
t
he ne
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra: g
e
t
_
impl
i
ed_range_l
i
st() should return 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
user_data: u
s
e the new retu
r
n_st
a
tes
d
a
tabase tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user_dat
a
: s
y
scalls are a so
u
rce of use
r
da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
ente
r
use
r
_d
a
ta: if
"ptr" is
user data then "*ptr" is us
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
use
r
_
d
ata: add i
s
_user_
m
acro()
s
tub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpenter
u
se
r
_
d
at
a
: skb->
d
a
t
a i
s
user d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
extra: make
a funct
i
o
n stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
ter
db: crea
t
e return_state
s
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add get_return_
i
d() and return
m
arkers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: imp
r
ove error me
s
sage
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
an
g
es: stor
e
the c
a
ller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carpenter
db:
a
dd
return_
v
alues ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Ca
r
penter
err_ptr_deref: remove
d
upl
i
ca
t
e c
o
nf
l
ict
i
ng co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Ca
r
penter
functio
n
_hooks: m
o
ve registrat
i
on to th
e
right
place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdullah
F
ix bug in Makefi
l
e that ca
u
ses li
n
king to fa
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
dere
f
_check: re
m
ove dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
mi
s
c white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
implied: change debugging o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an
Carp
e
nte
r
checks: get rid
o
f some delete_state
(
) calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
deref_check: fix
a
fal
s
e po
s
iti
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix a bug wi
t
h
variables named
"
x
86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpe
n
t
e
r
spa
r
se: comment out an in
t
e
r
nal error
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
r
penter
Merge g
i
t
://git
.
k
e
rnel
.
org/p
u
b/scm
/
devel/spars
e
/ch
r
i
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*n
e
w* as
s
ign_
v
s_compare:
i
f ((x = <co
n
stant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
a
rpent
e
r
r
a
nges: introduce
r
l
_c
o
ntiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
dere
f
_check: silence
some false
p
o
s
i
tive on cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
e
n
ter
f
i
ll_db_call
_
implies: check corre
c
t var
i
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carp
e
nter
fil
l
_
db_r
e
turn_implies:
delete the corr
e
ct
ta
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
D
an Carpe
n
ter
point
e
r_math:
c
heck ALI
G
N()
m
acro m
a
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpe
n
ter
helper: handle if (WARN_ON(i == ARRAY_SIZE
(
foo)) re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch_scripts
:
fix
sp
e
lling of "u
s
age"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
s
match:
fix several t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
a
rpenter
a
ssigned_expr: move check_assig
n
ed_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
m
acro_s
i
d
e_effects: only enable when -
-
spammy is u
s
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
t
er
ignore_side_effects: add
s
ome mo
r
e macros
t
hat have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arp
e
n
ter
b
u
f
_size
:
add
-
-spa
m
my
t
o v
a
li
d
ation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
o
ve
r
f
low
:
r
emov
e
strncpy() fa
l
se p
o
sitive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge
b
ranch
'
devel'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
C
arpent
e
r
bu
f
_size: tu
r
n off buf size for &addres
s
e
s
unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
flow: hand
l
e the
__noreturn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size
:
remove the &* and [0] fr
o
m around the
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
Moto
h
iro
sparse: Add 'error'
to
i
gnored attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
KI Mot
o
h
iro
sparse: Add '
_
_
v
ec
t
or_size
_
_' to ignored a
t
tributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carp
e
nter
s
m_
b
uf: do
n
't r
e
turn the max
i
m
um store
b
uffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Carp
e
nter
buf_size: return the s
i
ze
o
f &fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
p
enter
buf_size: add kmalloc_array() and sock_kma
l
loc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size
:
if th
e
member size
is not known
t
hen store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpen
t
er
M
e
rge
b
ran
c
h 'bu
f
_size
'
into d
e
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
Merg
e
git://git
.
kernel
.
o
rg/
p
ub/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
b
u
f_size: first
g
et the siz
e
in bytes th
e
n con
v
e
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
b
uf_siz
e
: remove cas
t
_rati
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: fix bytes_pe
r
_ele
m
ent
(
)
for st
r
ings
a
nd arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e
: delete some du
p
licat
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ente
r
bu
f
_size: prefer
t
he dec
l
ar
e
d array
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
b
u
f_siz
e
:
s
t
rcpy() on
l
y
s
e
ts
t
he size
o
f
the dest
i
nati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpe
n
ter
b
uf_si
z
e: ignore casts in get
_
a
rra
y
_siz
e
_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
buf_size: cr
e
ate
an element
s
_to_bytes(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next