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
checks: get rid of some delete_state() calls
2012-07-31
Dan Ca
r
pe
n
ter
checks: g
e
t rid of
s
ome dele
t
e_st
a
te() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
deref_check: fix a false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix a bug with v
a
r
iables
named "x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
s
par
s
e: comment out an int
e
r
nal error me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
rpenter
Merge g
i
t://git
.
ke
r
nel
.
or
g
/pub/scm/devel/sparse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* assign_vs_comp
a
r
e
: if ((x = <constant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
r
penter
ranges: intro
d
uce r
l
_contigu
o
us(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
nte
r
deref_che
c
k: silence some false positive o
n
cross
f
un
c
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill
_
db_call_i
m
plies: check c
o
rre
c
t variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpenter
fill_db_return_impl
i
es: delete the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
po
i
nt
e
r_math: check ALIGN() macr
o
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handle if (WARN_ON(i == ARRAY_SIZE(fo
o
)) retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
Neuschäfer
smatch_sc
r
ipts: fix spelling of
"
usa
g
e
"
commit
|
commitdiff
|
tree
2012-07-02
Jonat
h
an Neu
s
chäfer
s
m
a
tch: fix sev
e
ra
l
typos
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
as
s
igned_
e
xpr: mo
v
e chec
k
_assigned_ex
p
r() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_side_effects: only enable when --spam
m
y
is u
s
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
ar
p
ente
r
ign
o
re_side_effects: a
d
d some
mo
r
e ma
c
ro
s
that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Car
p
enter
buf_size: add -
-
s
pa
m
m
y
to validati
o
n
te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
overflow:
r
e
move strncpy() false pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
Merge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf
_
size: t
u
rn off
b
u
f s
i
ze for &addre
s
ses un
l
ess
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Ca
r
pente
r
flow:
h
andle
the __noreturn__ at
t
ribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
b
u
f_size: remove the &* and [0]
from around the poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add 'error' to
i
gnored attribu
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add '__v
e
ctor
_
size
_
_' to ig
n
ored attr
i
butes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
r
p
enter
sm_buf: don't retu
r
n the max
i
mu
m
store buffer si
z
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Car
p
enter
buf_siz
e
: return the size of &fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
buf_s
i
ze: add kmalloc_arr
a
y()
a
n
d
s
ock
_
kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
buf
_
s
ize: if the member size is no
t
known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpent
e
r
Merge br
a
nc
h
'buf
_
size
'
into
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
Merge git://git
.
kernel
.
org/pub/sc
m
/
dev
e
l/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf
_
size: firs
t
get t
h
e size in b
y
tes the
n
convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
er
buf_siz
e
: r
e
move cast_r
a
tio(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
er
buf
_
size
:
fix bytes_per_ele
m
ent() for s
t
r
i
ngs and array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
buf_size: delete some dup
l
ica
t
e co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
b
uf_
s
ize:
p
r
efer the declared
a
rr
a
y size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_
s
i
ze: strcpy(
)
only sets the
size o
f
the destinat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: ig
n
ore casts in get_array_size_byte
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: create an elements_t
o
_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
penter
buf_size
:
separate bytes_pe
r
_element() into its
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
bu
f
_
size: u
s
ing ->bit_size doesn't work fo
r
void
pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
use get_stored_size_bytes
(
)
d
irectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pen
t
er
buf_siz
e
: mak
e
g
e
t_stored_size_
b
ytes() a separate
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: pull byte
s
_to_elements() in its own
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: c
a
l
c
ulate bytes per element
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: add a basic va
l
idat
i
o
n
te
s
t
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
:
i
f th
e
s
ize i
s
variable pick the lar
g
er one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpen
t
e
r
bu
f
_s
i
ze: move g
e
t_size
_
from_strlen() into
i
t'
s
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_s
i
ze: pull get_siz
e
_
from_initializer() into sepa
r
a
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
buf_siz
e
: move
g
e
t_stored_s
i
ze() out o
f
g
et_arr
a
y
_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpent
e
r
buf_size: pull handl
i
ng o
f
normal arrays int
o
separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf
_
size: m
o
ve
some functi
o
n
s
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
u
f
_size: add modi
f
ication
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
d
e
bug:
a
dd a way to debug buffe
r
sizes __smatch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Car
p
enter
Or vs and: w
a
rn abou
t
b
it
w
i
se AN
D
s that al
w
a
ys give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
penter
O
r
v
s
and: if (foo
&
ZERO) is nons
e
nse
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
fun
c
tion
_
has
h
: make it easier
to hand
l
e a
f
ile with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan
C
a
rpen
t
er
signed: unbr
e
ak the
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
ove
r
fl
o
w: update
v
ali
d
ation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpent
e
r
f
low:
h
andle
s
t
r
u
ct in
i
tialization better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
fl
o
w: handl
e
EXPR_OFFSE
T
OF and EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
overfl
o
w: ignore "x =
&
foo[ARRAY_SIZE(foo)
]
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arpenter
over
f
low: whi
t
e space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
imp
l
ie
d
: the b
a
s
e slist is not sp
e
cial
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
s
l
ist: change format
for debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Carpenter
ex
p
ressions: introduce some more
e
x
pression al
l
ocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
an
C
arp
e
nter
validati
o
n
:
upda
t
e
dereference check ou
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
Carpe
n
ter
i
mplied: certain sta
t
e
s
should be left
a
s is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
nter
s
l
ist: put
t
he sm_stat
e
it
s
elf into ->possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpenter
slist:
c
l
eanup merge
_
hook
s
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
a
r
pente
r
extra: don't cr
e
a
t
e
a
ne
w
merged estate if ->ri
g
ht
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
estates:
r
euse
s
ame
e
st
a
te for extra
_
undefined(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
on
s
traints: get ri
d
of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: r
e
move
som
e
dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
constrain
t
s:
fi
x
s
e
t
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
constr
a
i
nts: add_rel
a
ted() should ta
k
e a rel
a
ted_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constraints: sort the
-
>related
list p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
c
o
nstrai
n
ts:
re
p
l
a
ce get_common_
r
elationship(
)
w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Ca
r
penter
slist
:
move add_
p
ool() to smat
c
h_i
m
p
lied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit
_
shift: add test_b
i
t() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpent
e
r
flow: silence fal
s
e pos
i
tives caus
e
d by hairy fu
n
cti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied
:
rename
-
>m
y
_
p
o
ol to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Ca
r
pente
r
slist: ren
a
me add_possible()
=>
copy
_
poss
i
b
les()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
r
penter
or
_
vs_and: ig
n
ore *p++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
t
r
acker: fix
a
small memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
n
t
e
r
modification: re
m
ove cal
l
s
to
d
elete_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
check_d
e
reference
:
enable thi
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Ca
r
penter
db: s
t
or
e
whether functi
o
n
s
a
r
e global or s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
te
r
tracker: remove unu
s
ed c
l
one_tracker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
sl
i
st: b
u
ffer ov
e
rflow in debug
g
i
n
g
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
u
ser_d
a
ta: fix NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: wh
i
te
s
pac
e
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpe
n
ter
db: move paramete
r
_implications into the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
an
Carpenter
ranges:
add possibly
_
true/false_range_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Ca
r
penter
o
ve
r
flow: a
u
toma
t
ically
l
ist
funct
i
ons
that
t
ake a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an
Carpenter
modif
i
cation_
h
ooks:
c
o
m
p
lete
r
ewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan C
a
rpente
r
db: print the SQ
L
queries when --
d
ebug is
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Carpenter
cleanup: use valid_ptr_min/
m
a
x
.
get rid of POINTE
R
_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
r
penter
extra:
d
e
r
e
ferencin
g
a
pointer means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implied
:
cl
e
anup deb
u
g out
p
ut a litt
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next