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
db: add get_return_id() and return markers
2012-08-14
Dan Ca
r
penter
db
:
add
get_ret
u
rn_id(
)
and return markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Ca
r
penter
db:
i
m
prove er
r
or message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info
changes:
s
tore the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Car
p
e
n
t
er
d
b
: add return_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_pt
r
_d
e
ref: rem
o
ve dupl
i
cate conflict
i
ng code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Ca
r
p
enter
functio
n
_
hook
s
: move registration to the right place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Moh
a
mmed Abdul
l
ah
F
ix bug
i
n Makefile that causes l
i
nki
n
g to fail
commit
|
commitdiff
|
tree
2012-08-09
Da
n
Ca
r
penter
deref
_
c
h
eck: remove de
a
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpente
r
misc white space f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Car
p
ent
e
r
implie
d
: cha
n
ge debugg
i
ng ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: get rid
of
s
ome delete_state
(
) calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
deref_check: fix
a
false
pos
i
tiv
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
F
i
x a bug with
v
ariables
n
amed "x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
D
an
Carpe
n
ter
spars
e
: comme
n
t out an i
n
ternal error messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
D
a
n
Carpenter
Mer
g
e git://gi
t
.
kernel
.
o
r
g/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carp
e
nter
*new* assign_vs_co
m
pare: if ((x = <cons
t
ant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
ranges: introduce
r
l_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Ca
r
pe
n
ter
deref
_
c
heck: silence some false p
o
sitive
on cross
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
e
nter
fill_db
_
call_impli
e
s:
check
c
o
rrect var
i
ab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
Carpenter
fill_db_return_implies: delete the
c
o
r
rect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
poin
t
er_mat
h
: check ALI
G
N()
macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan
C
ar
p
enter
h
e
l
pe
r
: hand
l
e
if (WA
R
N_ON(i == ARRAY_SIZE(foo))
r
etu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan
N
e
uschäfer
smatch_scripts:
f
ix
s
pelling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
than Neuschäfer
s
match:
f
ix several
t
ypos
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpe
n
ter
as
s
ign
e
d_
e
xpr
:
move check_as
s
igned_e
x
pr() to sma
t
ch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_s
i
de_effec
t
s: only en
a
b
le
w
hen
--spa
m
my is
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore
_
side_effect
s
:
add so
m
e more macros that ha
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
b
uf
_
siz
e
: add --spammy to valid
a
tion test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
o
v
erflow: remove strnc
p
y() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Me
r
g
e
b
ranch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
r
p
enter
buf_size: turn of
f
buf siz
e
for
&addresses u
n
less
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
C
arpenter
flow
:
handle the
_
_nor
e
t
u
r
n
_
_
attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Ca
r
p
e
nter
buf_size: remove the &*
and [0] f
r
om
a
round the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Mo
t
ohiro
spa
r
se
:
A
dd
'
e
r
ror' to ignored attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add
'
__ve
c
tor_size__' to ig
n
ored at
t
ributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arpen
t
e
r
sm_buf: don't
r
eturn the maximum store buffer
s
i
z
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
buf_size: return
the size of
&
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Car
p
e
n
ter
buf_size
:
a
dd kma
l
loc_array() and soc
k
_
k
malloc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
buf_size:
if t
h
e member size is
not known th
e
n sto
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Ca
r
pente
r
Merge branch 'b
u
f_siz
e
' into
dev
e
l
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Mer
g
e
git://git
.
k
e
rnel
.
org/pub
/
s
cm/devel/sparse
/
sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_
s
i
z
e: first ge
t
the
size in bytes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: remov
e
cast_ra
t
io()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_size: f
i
x
bytes
_
pe
r
_element() for strings
a
nd arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pente
r
b
u
f_size:
delete some
d
up
l
i
ca
t
e code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: pr
e
fer
t
h
e
dec
l
ared arr
a
y size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
buf
_
size:
s
trcpy() on
l
y sets t
h
e size of the destina
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_
s
ize
:
igno
r
e ca
s
ts
i
n get_array
_
size_
b
y
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size
:
cr
e
ate an e
l
e
men
t
s_to_byt
e
s()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpen
t
er
buf_si
z
e: s
e
parate byt
e
s_per_element()
into its
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: using ->bit_siz
e
doesn't w
o
rk f
o
r v
o
id
pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
p
e
nt
e
r
buf_si
z
e: use ge
t
_stored
_
si
z
e_bytes()
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
pente
r
b
uf_size: make get_s
t
ored
_
size_b
y
t
e
s
(
) a sep
a
rate
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
a
rpen
t
er
bu
f
_size: pul
l
bytes
_
to_elem
e
nts() in its ow
n
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: calcula
t
e
b
ytes per element
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpe
n
t
e
r
buf_
s
ize:
add a
basi
c
validation tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpent
e
r
buf_size: if the
s
i
ze is varia
b
l
e
pick the larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf
_
s
i
ze: m
o
ve get
_
size_from_str
l
en() into i
t
's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carp
e
nter
buf_
s
ize: pull g
e
t_
s
ize_from_initial
i
z
er() into se
p
a
rate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Ca
r
penter
b
u
f_size: move ge
t
_stored_
s
ize()
out of g
e
t_array_si
z
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
buf_size: p
u
ll handling of normal arr
a
ys into sepa
r
ate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
Carp
e
nter
bu
f
_s
i
ze
:
move some functi
o
ns ar
o
u
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf_size: ad
d
modif
i
cation
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
d
ebu
g
:
add a way to
d
e
bug buffer sizes __s
m
atch_
b
uf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: warn about bitwise ANDs that
a
lway
s
give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
Carpenter
Or vs and: if (
f
oo & ZERO) is
n
o
n
sense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
function_hash:
m
a
ke it easie
r
t
o
h
a
ndle a file w
i
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpent
e
r
signed: unbre
a
k
the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpente
r
o
verflo
w
: upd
a
te
v
alida
t
ion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
C
arpenter
flow: handle struct initialization better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
te
r
f
l
o
w
: hand
l
e EX
P
R
_
O
F
FSETOF a
n
d EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpent
e
r
overfl
o
w: ignore "x = &foo[ARRAY_SI
Z
E(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
ov
e
rflow: whi
t
e space cleanu
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpen
t
er
i
m
pl
i
e
d:
the base slist
is not
special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
enter
slis
t
:
change format for debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
e
x
pressions: intro
d
uce
s
ome m
o
re
e
xpr
e
ssion a
l
l
o
c
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
n
t
er
val
i
dation: update dereference check outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
impli
e
d: ce
r
t
ain states should be
l
e
ft as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
a
rpenter
slis
t
: pu
t
the sm_stat
e
itself into ->
p
o
s
sible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
p
enter
slist: cleanup m
e
rge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
arpenter
extra:
d
on't create a n
e
w merged e
s
tate if ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
estates: reuse same estate for ext
r
a_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpe
n
ter
co
n
strai
n
t
s
: get rid of add_equiv(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
constraints: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrain
t
s
: fix set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
r
p
ent
e
r
constraints: add_related() should take a related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
constraints: sort t
h
e ->re
l
ate
d
list properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
co
n
str
a
ints: replace ge
t
_com
m
on_relationship() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Ca
r
penter
slist: mov
e
ad
d
_po
o
l
(
)
to s
m
atch_impl
i
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Car
p
enter
bit_shift: add test_bit() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpen
t
e
r
flow: sile
n
ce false positives c
a
used by hairy
f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: rename ->my_pool
to ->
p
o
o
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpent
e
r
sl
i
st: re
n
am
e
add_p
o
ss
i
b
le()
=> copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_vs_and: igno
r
e *p
+
+ ||
*p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracke
r
: fix
a
small memory
l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpent
e
r
modification:
r
e
m
ove call
s
to dele
t
e_
s
tate(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
c
h
ec
k
_dereference: enable this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpe
n
ter
db: store whe
t
her functions are
global or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpent
e
r
tracker:
r
e
m
ove unused clone_tracker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
slist: buffer ove
r
flow in debug
g
i
n
g cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next