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
Dan Car
p
enter
math: improve
h
ow known logical operations are h
a
ndl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpent
e
r
type: simplify get
_
binop_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
type: impr
o
ve handli
n
g o
f
type promotion on bina
r
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
penter
extra: delet
e
some
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
Carpe
n
ter
range
s
: p
a
rse the ranges lis
t
co
r
rectl
y
if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpente
r
mat
h
: known conditions are equal to o
n
e or z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: hand
l
e sel
e
ct
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
C
a
r
p
e
n
t
er
h
el
p
e
r
:
improve p
r
int
e
d m
e
ss
a
ges a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
extra: handle
a
sm expres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
derefere
n
ces_param: ha
n
dle strc
m
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
an Carpenter
ranges: kill the "Erro
r
in
v
alid ran
g
e
message
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Da
n
Carpen
t
er
assigned_expr: ignore += assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan C
a
rpenter
fu
n
c
t
ion_hooks: white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carp
e
n
ter
func
t
ion_hooks: use t
h
e stri
p
p
ed
function
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan C
a
rpenter
db, buf_size, par
s
e_c
a
ll
_
math: tr
a
ck the si
z
e
of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpenter
get_
i
m
plied_range
_
list: use the new fun
c
tion hoo
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
enter
implied
_
value: don't get confused b
y
c
a
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Carpent
e
r
db/retur
n
_stat
e
s:
f
ix return values for USER_DA
T
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpen
t
er
function_ho
o
ks: clean
up some
n
aming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Carpe
n
ter
f
u
n
c
t
ion_h
o
oks:
introduce get_im
p
lied_
r
eturn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
C
arpen
t
er
m
isc:
w
h
itespace c
l
e
anups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Car
p
enter
db_caller_in
f
o: add some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carpente
r
db, fu
n
c
tion_hook
s
: pass assignment express
i
on to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Car
p
enter
buf_size: introduce get_a
r
ray_size_
b
ytes_min(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von
Brand
Install cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
capped: fix how the min() m
a
cro is handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
buf_size: db: U
s
e
the --
s
pammy optio
n
to fill th
e
datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nter
buf_
s
ize:
m
ergin
g
tw
o
sam
e
size buffers gi
v
e
a
same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Car
p
e
nter
buf_size: r
e
cord st
a
tic variables in the data
b
as
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
proc_create: fi
x
a whitespa
c
e i
s
sue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Da
n
Carpenter
buf_s
i
ze, db: if a
s
t
r
u
c
t me
m
b
e
r siz
e
is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpe
n
ter
check
_
k
erne
l
:
f
i
x
ERR_PTR
(
) fals
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Da
n
Car
p
enter
logical_ins
t
ead_
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
ter
locking: _b
h
lock functio
n
s ar
e
nest
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Ca
r
penter
extr
a
: introduce filter_range_li
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
k
e
rne
l
: ha
n
dle IS_ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
d
b_inf
o
:
re
m
ove unuse
d
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpente
r
ext
r
a,
fu
n
ction_hooks, db:
c
hange cross func
t
ion analysi
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: remove the r
e
t
u
rn_info tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
penter
sma
t
ch_data: update the dat
a
director
t
o
t
h
e latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
d
b: caller_info
:
f
i
x more fall o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
d
b: ty
p
e_size: silence a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
p
enter
db:
c
aller
_
info: update fixup_kernel
.
sh
t
o
t
he
n
ew
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
ext
r
a
:
get_implied_r
a
nge_li
s
t() should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_
d
a
t
a:
use the ne
w
return
_
states d
a
t
a
base table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
r
p
enter
user_data: syscal
l
s
are a source
of u
s
e
r
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
user_data
:
i
f
"
pt
r
" is user data then "*ptr" is u
s
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
ar
p
en
t
er
user_data: add is_user_macro
(
) stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
u
s
e
r_data: skb->d
a
ta
i
s user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpent
e
r
extr
a
: make a function
s
tatic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
penter
db: create re
t
urn_states t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
e
r
db: add get_return_
i
d() and
r
eturn markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db
:
improv
e
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ca
l
ler
_
info changes: store th
e
caller, param
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
d
b
: add
r
e
t
u
rn
_
v
al
u
es table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
err_ptr_der
e
f: remove duplicate
c
onflic
t
ing cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpe
n
ter
function
_
h
o
oks: move re
g
i
s
tration
to the right
p
lac
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair M
o
hammed A
b
dullah
Fix
bug
in
M
akef
i
le that causes linking to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
d
eref_che
c
k
:
remove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
m
isc white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arpenter
implied:
c
h
ange debuggin
g
ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
checks:
g
et r
i
d of some del
e
te_state(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
dere
f
_check: fi
x
a fals
e
po
s
itiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
C
h
ristopher
Li
Fix a bug with
variables na
m
ed "x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan C
a
rpenter
sparse: comment out an in
t
e
rnal error m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
D
a
n Carpent
e
r
Merge git://git
.
kernel
.
org/pub
/
scm
/
d
e
v
el/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an Carpe
n
t
er
*new* assi
g
n_vs_
c
ompare: if ((x
= <constan
t
>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
r
p
enter
range
s
: introduce rl_contig
u
ous
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Car
p
enter
der
e
f_check: silen
c
e some fa
l
se po
s
iti
v
e on cross fun
c
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill
_
db_call_
i
mplies
:
check correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
fil
l
_db_re
t
urn_implies:
d
e
l
ete the c
o
rrect ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
Ca
r
penter
pointer_mat
h
: check ALIG
N
() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carp
e
nter
helper:
h
a
n
d
le if (
W
ARN_ON(i == ARRAY_
S
IZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch_scripts: fix spelling
o
f "usa
g
e
"
commit
|
commitdiff
|
tree
2012-07-02
J
o
nathan Neusc
h
äfer
smatc
h
: fix sever
a
l typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
assigned_expr: move check_assigned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
macro
_
side_e
f
f
ects: only enable when -
-
spammy
i
s
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Car
p
enter
ignore
_
s
ide_effects: add som
e
more macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
buf_si
z
e: add
-
-
s
p
ammy to validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
o
verflo
w
:
remo
v
e str
n
c
p
y
() f
a
lse po
s
itive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
M
erge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
buf
_
size
:
turn off
b
u
f
size fo
r
&addr
e
sses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
f
l
o
w
:
h
andle the __
n
o
r
et
u
rn__ attribut
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rp
e
nter
bu
f
_size: remove the &* and [0]
fro
m
around the
po
i
nt
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
K
O
SAKI Moto
h
iro
sparse: Add 'error' t
o
ignore
d
attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
otohiro
s
parse:
A
dd
'__vec
t
o
r
_
s
i
ze__
'
to ignored attri
b
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf: don'
t
retur
n
the ma
x
i
mum store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpent
e
r
buf_size: return the size of &fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
C
arpenter
buf_si
z
e: add kma
l
loc_array()
a
n
d
sock_km
a
lloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_size: if the member s
i
z
e
is not
known t
h
en store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
Merge b
r
anch
'
buf
_
size' int
o
devel
commit
|
commitdiff
|
tree
2012-06-15
D
an Car
p
ente
r
M
e
r
g
e g
i
t
:
//git
.
ke
r
nel
.
org/pub/scm/dev
e
l/sparse/
s
pa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
uf_size: first get the
si
z
e in bytes the
n
c
o
nvert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_
s
ize: remove cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpen
t
er
buf_size: fix bytes_p
e
r_element()
f
or strings an
d
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
bu
f
_size: delete som
e
dupli
c
ate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
iz
e
: p
r
e
f
er the
d
e
cl
a
red ar
r
ay
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_s
i
ze: strcpy() only sets the size o
f
t
he desti
n
a
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: ignore cast
s
in g
e
t_
a
rray_size
_
by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
er
buf_size: create an elements_to_bytes()
f
u
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next