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
type: fix get_binop_type() for bit shift operations
2012-10-12
Dan Carpenter
t
ype:
fix
g
et_b
i
nop
_
type() for bit
shi
f
t operation
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
D
an
C
arpenter
whitespace: add a newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpe
n
ter
abs
o
l
u
te: track the absolute limits that vari
a
bles
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Da
n
Carpenter
m
ath: imp
r
ove ho
w
get_a
b
solute_min/max
(
) wo
r
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Ca
r
p
e
n
ter
m
a
th
:
impro
v
e
h
ow k
n
own logical ope
r
ations are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpent
e
r
t
ype: si
m
plif
y
get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
D
a
n
C
arpenter
t
y
pe: improv
e
handling of type
p
r
om
o
tion on
bina
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
r
penter
e
x
t
r
a: del
e
te some d
e
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
D
an
C
arpenter
r
a
nges: p
a
rse th
e
ranges l
i
st
c
orrectly if it onl
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpent
e
r
m
ath: k
n
own conditions are equal to one or zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: han
d
le sele
c
t statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper:
improve print
e
d me
s
sages a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
extra: handle
asm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
dereferenc
e
s_p
a
ram: h
a
ndle strcmp(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpente
r
ranges: k
i
ll the "Er
r
or inval
i
d ra
n
ge message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
assi
g
ned_expr: ignore += assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
functi
o
n
_hooks: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpe
n
ter
func
t
ion_hooks:
use the stripp
e
d function cal
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
d
b
,
buf_size, parse_call_math: track the siz
e
of r
e
turned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpen
t
er
get
_
implied_rang
e
_
list: use the
new function
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
rpent
e
r
impl
i
ed_value
:
don't get confused by c
a
s
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carp
e
n
ter
db/r
e
t
urn
_
states: fix r
e
turn values for
U
SER_
D
A
T
A
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpen
t
e
r
f
unction_hooks:
c
lean up so
m
e namin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpente
r
func
t
i
o
n_hooks:
i
ntr
o
duce get_i
m
plied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carpe
n
ter
misc:
w
h
itespace cleanu
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpen
t
er
db
_
caller_i
n
fo: add so
m
e comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
an Car
p
ente
r
d
b
, function_hooks:
pas
s
assignment
e
x
pressio
n
to
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
bu
f
_siz
e
:
i
ntro
d
u
ce get_a
r
ra
y
_size_bytes_
m
i
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Brand
Ins
t
all cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpenter
capped: fix
h
ow the min() macro is
handled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_si
z
e: db:
Use
the --spammy
opti
o
n to fil
l
t
h
e
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: mergin
g
two same s
i
ze buffers give a
s
ame
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nter
buf_s
i
ze: record
s
tatic variabl
e
s in the
databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Ca
r
pe
n
ter
p
roc_cre
a
t
e
:
fix
a
w
hitespace issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan
C
arpenter
buf
_
s
ize, db
:
if a struct mem
b
er siz
e
is s
e
t in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
D
an Ca
r
p
e
nt
e
r
c
he
c
k_kernel: fix ERR
_
P
TR() false
p
ositive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan
C
a
r
pen
t
er
logical_i
n
stead_of_bitwise: foo
=
(
1
<< x) &&
y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Da
n
Carpe
n
ter
l
o
cking:
_
bh l
o
ck
f
unctions are nestab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
extra: i
n
troduc
e
fi
l
te
r
_range_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
k
e
rnel: handle IS_E
R
R
() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nt
e
r
db_info: remove
unus
e
d print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
extra, function_hooks, db: change cros
s
function anal
y
sis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpe
n
ter
db: rem
o
ve
the return_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
s
match
_
data:
u
pdate the data direc
t
or to the
lates
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: c
a
ller
_
info
:
fix
m
ore fal
l
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
r
penter
d
b
: type_size: sil
e
nce a
p
erl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
penter
db: caller_i
n
fo: upda
t
e f
i
xup_kernel
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
extra:
g
et
_
implied_range_list() should ret
u
r
n 0 i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
use
r
_
data: use t
h
e new return_states da
t
abase tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_data: s
y
scall
s
are a
s
our
c
e of us
e
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_d
a
ta: if "ptr"
i
s u
s
e
r
d
a
ta then "*ptr" is
u
s
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Car
p
enter
us
e
r_data: add is_user_macr
o
(
)
s
tub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
us
e
r_data: skb
-
>d
a
ta is user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Car
p
en
t
er
extra:
m
ake a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
create retu
r
n_states table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: add get_return_id() and return markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improve e
r
ror
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
pe
n
ter
d
b
: caller_info c
h
anges: 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 retur
n
_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
err_ptr_deref: remove dupli
c
ate conf
l
ic
t
ing co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n Carp
e
nter
func
t
i
o
n_hook
s
: mo
v
e registrati
o
n to t
h
e
rig
h
t pl
a
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
O
mair Mohammed A
b
dullah
Fi
x
bug in
Makefile that caus
e
s linking to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan
Carpenter
de
r
ef_check: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
mis
c
white space fix
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implie
d
:
chang
e
debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
c
hecks:
g
e
t
rid of
some
d
elete_state
(
) calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
t
e
r
der
e
f_check
:
fix a false
positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Ch
r
i
s
topher Li
Fix a bug w
i
th variables named "x8
6
_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan C
a
rpen
t
er
spa
r
se: comment out
an int
e
rnal
e
rror messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpen
t
er
Merge git://git
.
ke
r
nel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpe
n
t
e
r
*new* a
s
sign_vs_compa
r
e: if ((
x
= <cons
t
ant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ra
n
ges: in
t
roduce
r
l_
c
on
t
iguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
de
r
ef_check: silence some fal
s
e positive on cross func
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
a
r
p
ent
e
r
fill_db_call_
i
mpli
e
s: ch
e
ck correc
t
v
a
riab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_return_im
p
lies:
del
e
te the corre
c
t
tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
p
o
inter_math: check ALIGN(
)
macro
m
ath
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpente
r
helper:
h
a
n
dle if
(WARN_ON(i == ARRAY_SI
Z
E(f
o
o)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
J
o
nathan Neus
c
häfer
smatch_sc
r
i
p
t
s: fix spelli
n
g of
"usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
Neuschäfer
smatch:
fix sev
e
ral typos
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpente
r
assign
e
d_expr: mo
v
e che
c
k_assigned_
e
x
p
r() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpen
t
er
m
acro_side_
e
f
fects:
o
n
l
y
e
nable
when --
s
pa
m
m
y
i
s
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
en
t
er
i
gn
o
re_side_eff
e
cts: add so
m
e more macr
o
s tha
t
have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_size: add
-
-sp
a
mmy
t
o validation
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
o
ver
f
low: remove strn
c
py() false posit
i
ve
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Car
p
e
n
t
er
Merge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
b
uf_size: turn off buf size for &addresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n C
a
rpenter
f
l
ow
:
han
d
le the __nore
t
u
r
n
_
_ a
t
tribu
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
b
uf_siz
e
: r
e
m
o
ve the &*
and [0] from arou
n
d
the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
spa
r
se: Add 'error' to ignored attrib
u
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
K
O
SAKI Mo
t
o
hi
r
o
sparse: Add '__vec
t
or_size
_
_' to
i
gnored attrib
u
te
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpe
n
ter
sm_b
u
f: don't ret
u
rn the
m
aximum store buffer siz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carpenter
buf_size: r
e
turn the size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_si
z
e:
a
dd kmalloc_arra
y
() and sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
buf_size:
if the member si
z
e is no
t
known then
s
tore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carp
e
nter
Merge
b
ranch 'buf_size' into
d
evel
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpenter
Merge git://g
i
t
.
kerne
l
.
o
r
g/pub/scm/
d
e
v
el/sparse/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
arp
e
nter
buf_size: first
g
et the si
z
e in bytes
then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: r
e
mo
v
e cast_ra
t
io()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: fix bytes_per_element() for
s
trings
and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size: delete som
e
d
uplicate
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next