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
sval: change type_min/max() => sval_type_min/max()
2012-08-14
Dan Carpenter
db: caller
_
info
:
upd
a
te fi
x
up_kern
e
l
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra:
ge
t
_implied_range_list
(
) s
h
ould retu
r
n 0
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Car
p
enter
user_data: use the new return_sta
t
es da
t
abas
e
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser_da
t
a:
s
y
sca
l
l
s
a
r
e
a
source o
f
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: if "ptr"
is user data then "
*
ptr" is
us
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpente
r
user_d
a
ta: add
is_
u
ser_m
a
cro() st
u
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
penter
user_data: skb->data is u
s
er d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
extra: make a
f
un
c
tion
s
tatic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: creat
e
r
eturn_stat
e
s tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add get_return_id() and retu
r
n markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: improve er
r
or message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpe
n
ter
db: caller_info changes: store the
c
all
e
r, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
db: add return_
v
alues ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
p
e
nter
err_ptr
_
deref: remove
d
uplicate conf
l
i
c
ting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan
Carpent
e
r
func
t
ion_hooks:
m
ove
r
eg
i
stration to
t
h
e
rig
h
t place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair M
o
h
a
mmed Abdullah
Fix bug in
Make
f
ile
t
ha
t
c
a
uses l
i
nking to fail
commit
|
commitdiff
|
tree
2012-08-09
Da
n
Carpenter
deref_check: remove
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
misc white
space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpente
r
i
m
pli
e
d: change debugging
o
utpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
ch
e
cks:
g
et rid of some delete_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
deref_check: f
i
x a fals
e
positi
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christophe
r
Li
Fix a bug
w
i
th variables n
a
med "x86_6
4
"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
Carpenter
spa
r
se: comment out
an
inter
n
al err
o
r messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
Carpenter
M
e
r
g
e git
:
//git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an C
a
rpenter
*
n
e
w
* assign_vs_com
p
are: if ((x =
<
constant>
)
)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpe
n
t
er
ranges: int
r
od
u
c
e
rl_cont
i
guous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpenter
de
r
e
f
_ch
e
ck: sile
n
ce s
o
me false
positiv
e
on
c
ross fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill
_
db_c
a
ll_i
m
plies: check corre
c
t
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill
_
d
b_
r
etur
n
_
i
m
plies: delete the
correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan
C
a
rpen
t
er
pointer_math: che
c
k ALIGN
(
) mac
r
o math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Ca
r
penter
helper
:
handl
e
if (WARN_ON(i =
=
AR
R
AY_SIZ
E
(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
J
on
a
than Neusch
ä
fer
smat
c
h_scripts: fix spelling of
"
usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch: fix s
e
ve
r
al ty
p
os
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
assigned_exp
r
: move check_ass
i
g
n
ed_expr(
)
to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpenter
macro_side_e
f
fects: only enable when --spammy
is
u
se
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpenter
ignore_side
_
effects: add so
m
e
m
ore macros t
h
at have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpen
t
er
buf_size: add --spa
m
my to
v
alid
a
tion tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
r
p
enter
overflow:
remo
v
e
strn
c
p
y() false p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
Me
r
g
e
bran
c
h 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_siz
e
:
turn off bu
f
size f
o
r &a
d
dresses u
n
less
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
flow
:
handle the _
_
noreturn__ attri
b
ute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
t
e
r
buf_s
i
ze: r
e
mo
v
e the &* and
[0] from
around t
h
e pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Mot
o
hiro
sp
a
rse: Add
'
error' to ignored attribute
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
K
O
SAKI Motoh
i
ro
s
p
arse: Ad
d
'__ve
c
tor_size
_
_' to ignore
d
attribute
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arpenter
s
m
_buf:
don't r
e
turn the maximum st
o
re b
u
ffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpe
n
ter
buf_siz
e
:
re
t
urn the
size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size
:
add
kmalloc_array() an
d
s
o
c
k_kmalloc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f
_
s
ize: if the membe
r
size is not known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
erge
b
ran
c
h
'bu
f
_size' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
Me
r
g
e
git://
g
it
.
ker
n
el
.
o
r
g/pub/sc
m
/deve
l
/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
ar
p
enter
b
uf
_
siz
e
: first get
the
size in bytes
then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_si
z
e:
rem
o
ve
c
ast_r
a
tio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
buf_size: fix
bytes_per_e
l
eme
n
t()
for strings a
n
d arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pe
n
ter
b
u
f
_
si
z
e: delete some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: pr
e
fe
r
the
d
eclar
e
d
a
rray
s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
penter
buf_size: strc
p
y(
)
onl
y
se
t
s the size of the des
t
inatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpen
t
er
buf_size: igno
r
e ca
s
ts
in get_ar
r
ay_s
i
ze_byt
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_siz
e
: create an elements_to_
b
y
tes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
i
z
e: separate bytes_per_
e
l
e
ment
(
)
into its
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpenter
buf_size:
using ->
b
it_size do
e
sn't work for v
o
id pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: use get_stored_size_byte
s
()
d
irect
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf
_
size: make get_store
d
_size_bytes(
)
a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
bu
f
_size: pull bytes
_
to_el
e
ments() in its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpent
e
r
buf_size: calculate b
y
te
s
pe
r
element b
e
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
bu
f
_size
:
add a
ba
s
ic validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: i
f
the size is variable pick the
l
arger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf
_
size: move get_si
z
e_from_strlen() into
i
t's
o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Ca
r
penter
buf_size: pull get_s
i
ze_from_initializer() i
n
t
o
separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
u
f_size: move get_store
d
_size() out of get_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
Ca
r
penter
b
uf_s
i
ze: pull handlin
g
of normal arrays
i
nto sep
a
rat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arp
e
nter
buf_size: move some fu
n
c
tions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
p
enter
buf_size:
a
dd mo
d
ification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
debug: add
a way to
d
ebu
g
buffer sizes __smatch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or
vs and: warn about b
i
t
wis
e
ANDs that
a
lways give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
Or vs
and: if (f
o
o & ZERO) is nonsen
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
function_hash: make it eas
i
er to han
d
l
e
a
file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpent
e
r
signed: unbreak
t
he
chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n C
a
rpenter
overflow: update validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpent
e
r
flow: handle struct
i
n
i
t
i
a
lization
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
n
t
er
flow: handle EXPR_OFFSETOF and E
X
PR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpe
n
ter
ove
r
flow:
i
gnore "x
=
&foo[ARRAY_SIZ
E
(
foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
a
rpe
n
ter
overflow:
white space
c
l
e
anu
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
i
m
pli
e
d: the base
s
list is not spec
i
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
Carpen
t
e
r
s
list: change format for debug ou
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
expre
s
s
i
ons
:
introd
u
ce some mor
e
e
xpressi
o
n allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rpenter
valida
t
ion: updat
e
der
e
ference check
o
utpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
a
r
penter
implie
d
: certa
i
n sta
t
es should b
e
le
f
t
a
s
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
nter
slist: put the sm_state itsel
f
into -
>
possible n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
a
r
p
enter
s
l
i
s
t
:
cleanup m
e
rge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
e
x
tra: do
n
't cre
a
t
e
a new merg
e
d
e
s
tat
e
if ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpe
n
ter
e
state
s
: reuse same
estate f
o
r extra_u
n
de
f
ined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an C
a
rp
e
n
t
er
constraint
s
:
get
r
id of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints:
r
e
m
ove some dea
d
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
constraints: fix set_equ
i
v(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpe
n
ter
co
n
strai
n
ts
:
a
d
d
_
r
e
lated() s
h
ould tak
e
a related_lis
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Ca
r
p
enter
constr
a
ints:
sort
t
he ->re
l
ated list properl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpe
n
ter
con
s
trai
n
ts: replace get_common_relationship() w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
s
l
ist:
m
ove add_pool()
to sm
a
tch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Carpenter
b
i
t_shift: add
tes
t
_bit
(
)
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carp
e
nter
flow: silence fals
e
positiv
e
s caused
b
y h
a
i
r
y func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next