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
deref_check: remove dead code
2012-08-09
Dan Carp
e
nter
d
eref_
c
he
c
k: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an
C
a
rpenter
misc w
h
ite
s
pace fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
p
enter
implied: change debugging outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
c
hecks: get
r
id of some delete_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Carpenter
deref_check: fix a fals
e
positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
spa
r
se:
c
omme
n
t out an inter
n
al error mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
Car
p
enter
Merge git://git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan C
a
rpente
r
*ne
w
*
a
s
sig
n
_vs
_
comp
a
re
:
if
(
(
x =
<constant>)
)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpenter
ranges: introduce
r
l_cont
i
guous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an
Carp
e
nter
deref_c
h
eck: si
l
ence
s
o
me false po
s
itive on cro
s
s fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fi
l
l
_
db_call_implies: check
c
o
rrect variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpente
r
fill_db_r
e
tur
n
_
i
m
p
lies: delete the correct tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer
_
math: check A
L
IGN() macro math
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
=
=
AR
R
AY_SIZ
E
(f
o
o)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
assi
g
ned_expr: move check_assigne
d
_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
macro_
s
i
d
e_
e
ffects: only
e
nable w
h
e
n
--spa
m
my is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
pent
e
r
ignore_
s
ide_effects:
a
dd some more
macros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an C
a
rpenter
buf
_
size: add --spammy
t
o validat
i
on tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
overfl
o
w: remove st
r
ncpy() false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Me
r
ge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Da
n
C
a
rpenter
buf_size
:
turn off buf
size fo
r
&addre
s
ses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpente
r
flo
w
: han
d
le the __
n
oret
u
r
n
__ attribu
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_size: remove th
e
&* and [0
]
f
rom around the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Carpenter
sm_
b
uf:
d
o
n't return the maximum store buffer
s
iz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
buf_size: retur
n
the
s
i
z
e of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
r
penter
buf_
s
ize: add kmalloc_array
(
) and sock_kmalloc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
e
r
buf_size: if the
member size
is no
t
k
n
own th
e
n
store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge
branch 'buf_si
z
e' into de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
Merge
g
it:/
/
git
.
kernel
.
or
g
/pu
b
/sc
m
/de
v
el/spars
e
/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: first get
t
h
e size i
n
bytes then
c
o
n
vert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
penter
b
u
f
_
size: remove cast_ratio
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
bu
f
_
size: fix
byte
s
_per_element() for strings
a
nd arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: delete some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size
:
pref
e
r the d
e
clared array
size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an C
a
rpent
e
r
buf_s
i
ze:
strcpy()
o
n
l
y sets t
h
e size of the dest
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_si
z
e
: i
g
nore
c
asts in get_
a
r
ra
y
_size_
b
ytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_si
z
e: c
r
eate an el
e
ments_to_b
y
t
e
s(
)
f
unct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
bu
f
_
size: separate bytes_per_element() into its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_
s
ize: using ->
b
it_size
d
oes
n
'
t
work fo
r
vo
i
d pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Ca
r
p
e
nter
buf_s
i
ze
:
use get_sto
r
ed_size_byte
s
() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
buf_size
:
make
g
et_store
d
_siz
e
_bytes() a sepa
r
ate f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
bu
f
_
s
ize: pu
l
l
bytes_to_elements() i
n
its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_
s
i
z
e: ca
l
culat
e
by
t
e
s
p
e
r
e
l
ement be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size:
add a bas
i
c validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ente
r
buf_size: if the s
i
z
e
is
v
a
riable pick the larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
a
rpente
r
buf_
s
ize: move get_size_from_strlen(
)
into
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
buf_size
:
pull get_size_from_initializer() into separa
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_size: move
get_stored
_
size
(
)
out of get_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
buf_size: pull handling of nor
m
al
a
rrays into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carp
e
nter
buf_size: move some functio
n
s
a
round
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
b
u
f_size
:
add modification
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug: add a wa
y
t
o
debug buffer
s
izes __smatch_buf_size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n C
a
rpenter
Or vs
and: warn about bitwise ANDs that always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
an Ca
r
pent
e
r
Or vs a
n
d
: if (foo & ZERO) is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
function_
h
ash: ma
k
e it
e
asier
t
o hand
l
e a
f
ile
w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan C
a
r
p
enter
signed: u
n
break the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carpenter
o
v
erflow: updat
e
validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: handle struct initia
l
ization better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpenter
flow: handle EXPR_OFFSETOF and EX
P
R_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
r
p
e
nter
overflow: ign
o
re "
x
= &foo[A
R
RAY_SIZE
(
foo)
]
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an
C
arpenter
ov
e
rflow
:
w
h
ite space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the base slist is
n
o
t
sp
e
cial
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpen
t
er
sl
i
st: change format fo
r
debug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpent
e
r
exp
r
es
s
ion
s
:
i
ntrodu
c
e som
e
mor
e
e
xpre
s
s
i
o
n alloc
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
validatio
n
: update de
r
e
f
e
re
n
ce
c
heck output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Car
p
en
t
e
r
implied: certai
n
sta
t
e
s
s
hould be left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
pe
n
ter
slist: put the sm_state itself into ->possible
no
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpente
r
s
list: cleanup merge_
h
o
o
ks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpe
n
ter
e
x
t
ra: don't c
r
eate
a
n
ew
m
erg
e
d estate
i
f
-
>right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
e
s
t
ates: reuse same e
s
tate for
extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
const
r
aint
s
:
get
rid of
a
dd_
e
quiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
constraints: remove some dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
rpenter
c
onstr
a
ints: fix
set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
co
n
straints: add_related() should take a related
_
list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
cons
t
raints: sort
t
he ->rel
a
ted list properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
cons
t
r
a
i
n
ts: replace get_common_relationship() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
sli
s
t
:
move add_p
o
ol(
)
to s
m
atch_im
p
lie
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Da
n
Carpenter
bit_shift: ad
d
tes
t
_b
i
t()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow: silence f
a
lse posi
t
ives caused by h
a
iry functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
imp
l
ied: rename
->my_pool to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an
C
a
rpenter
slist: renam
e
add_possible(
)
=>
c
op
y
_possibles
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
o
r
_vs
_
and: i
g
nor
e
*
p++ || *p
+
+
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
track
e
r
:
fix a sma
l
l memory
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Ca
r
penter
modif
i
cation: remove calls to d
e
lete_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arp
e
n
t
er
check_dereference:
e
nable
t
h
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db: store
w
h
ether functions are global or
s
t
at
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
tracker
:
re
m
ove unused clone_tracker_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
s
list: buffer overf
l
ow in de
b
u
gging c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
user_data: fix NULL derefere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: whi
t
e sp
a
ce
c
leanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
an Carpenter
d
b
:
mov
e
p
a
r
am
e
ter_imp
l
ications into the dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
range
s
:
add possib
l
y_tru
e
/false
_
r
a
n
g
e_lists_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpent
e
r
over
f
low: automatically list functi
o
ns that tak
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n C
a
rpenter
mod
i
f
i
c
a
tion_hoo
k
s: com
p
l
ete
r
ewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
db: print the S
Q
L queries wh
e
n -
-
debug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
e
nter
cl
e
anup: use valid
_
pt
r
_min
/
max
.
get rid of PO
I
NTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpent
e
r
extra: dereferenci
n
g a
pointer m
e
ans i
t
is val
i
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carp
e
nter
impli
e
d: clea
n
u
p debug
ou
t
put a litt
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpenter
slis
t
: pull show_
s
m(
)
into
a
separat
e
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
p
enter
c
h
eck_kernel:
ERR_PTR() retu
r
n
s
non
-
NULL (mo
s
tly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next