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
proc_create: fix a whitespace issue
2012-09-14
D
an Carpenter
proc_
c
reate:
f
i
x a whites
p
ace iss
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n Carpenter
buf_size, d
b
: if a
struct member size is set i
n
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Ca
r
pe
n
t
e
r
ch
e
ck
_
kernel: fix
E
R
R
_
P
T
R
(
)
false
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n
Carpenter
logical_instead_of_bitwi
s
e
:
foo = (1
<< x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpent
e
r
l
o
cking:
_
bh
lock func
t
ions are nesta
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
en
t
e
r
extra
:
in
t
roduce fil
t
er_rang
e
_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
kernel:
h
andle IS_
E
RR
(
)
p
roperly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpent
e
r
db_info: rem
o
ve
unused pri
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra
,
funct
i
o
n_hooks, db: chan
g
e cross f
u
n
ction
a
nalysi
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpen
t
er
db:
remove the return_info t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
s
match_data: update th
e
data director to
the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: c
a
ller_info: fix more fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpente
r
db: type_size: sil
e
n
c
e a p
e
rl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
d
b: caller_inf
o
: up
d
a
t
e fixup
_
kernel
.
sh to the
new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_implied_ra
n
g
e
_list() should retur
n
0
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data: use the new return_states dat
a
base
t
abl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
user_dat
a
: syscalls are a source of user
d
at
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data:
i
f "ptr"
i
s
u
s
er data then "*ptr
"
is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_d
a
t
a:
a
dd is_user_macro() s
t
ub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data:
skb->data is
u
se
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
ext
r
a: make a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db
:
create retur
n
_
states
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: add get_return_id
(
) and re
t
urn marker
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: improve error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: ca
l
ler_info changes: store the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: add
r
eturn_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
err_ptr_deref: remove
d
uplicate conflicti
n
g
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
function_ho
o
k
s
: m
o
ve registration to
t
he
r
i
g
h
t
place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan
C
a
r
penter
deref_chec
k
:
r
emove dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
mis
c
white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
C
a
rpenter
i
mpl
i
e
d
: change debugging out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
c
h
ecks
:
get rid
of s
o
me de
l
ete_state
(
) calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_
c
heck: fix a
false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
a
r
penter
sparse: comme
n
t
out an
int
e
rnal error
messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
D
a
n Carpe
n
ter
Merg
e
g
i
t://git
.
kern
e
l
.
org/
p
ub/scm/d
e
vel/spa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
Carp
e
nter
*new* assign_v
s
_
compare: if ((x
= <constan
t
>
)
) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
ranges: introduce rl_c
o
ntiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
de
r
ef_ch
e
c
k
: silen
c
e some fa
l
se
p
ositive on cross fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
pen
t
er
fil
l
_db_call_imp
l
i
e
s
: check correct vari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
pent
e
r
fil
l
_db_r
e
turn_implies: delete the
corr
e
ct t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n
C
a
rpenter
pointer_math: check ALIGN() m
a
cro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handle i
f
(WA
R
N_ON(i == AR
R
AY
_
SIZE(fo
o
)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpenter
ass
i
g
n
ed_e
x
pr: mov
e
check_assigned_
e
xpr() to smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
t
e
r
macro_si
d
e_e
f
fects: only enable when --spammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
an
Carpenter
ignore_side_effects: add som
e
m
o
re
mac
r
os that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
buf_s
i
ze: add
--spammy to validation
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
pente
r
overf
l
ow: remove
str
n
c
py
(
)
f
a
l
se
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merg
e
branch '
d
evel'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf_siz
e
:
turn off buf size
for &addresses u
n
less
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle t
h
e __no
r
eturn__
a
ttribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf_size: remove the &* and [0] fr
o
m around the poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
sm_buf: do
n
't return the maximum
s
tore buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size: retu
r
n the size of &f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
buf_size:
ad
d
kmal
l
oc
_
array(
)
an
d
s
o
ck_kmallo
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
an Ca
r
p
e
n
ter
buf_s
i
ze: if t
h
e membe
r
siz
e
i
s
n
ot
known then stor
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpente
r
Merge
branc
h
'
b
uf_si
z
e' into
d
e
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
Merge git://git
.
k
ern
e
l
.
org/pub/s
c
m/devel/sparse/spars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: first get the s
i
z
e
in bytes then
c
o
nvert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
te
r
b
uf_size:
remove cas
t
_r
a
ti
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: fi
x
byt
e
s
_per_element() for strings and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_s
i
z
e: delet
e
s
o
me dupl
i
cate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: prefer
t
he decl
a
r
e
d array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size:
s
trcpy()
only sets the size of
t
he destina
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: ignore casts in get_array_size_bytes
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
er
b
uf_size: create an
e
lement
s
_to_byte
s
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
:
s
ep
a
rate bytes_
p
er_element() into its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpente
r
buf_size: using ->bit_
s
ize does
n
't wor
k
for void
p
ointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: use get_sto
r
ed_size_b
y
t
e
s() dire
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
m
a
ke get_stored_size_bytes() a separate func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_s
i
ze: pull bytes_to_e
l
ements
(
) i
n
its
ow
n
fu
n
ct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf
_
size: calcu
l
at
e
bytes per element b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e:
a
dd a
b
asic
v
a
l
id
a
tion
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
e
n
ter
buf_size:
i
f the size is varia
b
l
e
p
ick t
h
e lar
g
e
r
one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: move get
_
size_from_strlen()
i
nto it's
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
b
uf_size: p
u
ll get_size_from_i
n
iti
a
l
i
zer() into
separa
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carp
e
nter
buf_size: m
o
ve g
e
t_stored_size() out of get
_
arra
y
_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf
_
s
i
ze: pull han
d
li
n
g o
f
normal
a
rrays i
n
to separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
buf
_
size:
move some fu
n
ctions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_
s
i
z
e
:
add
m
odific
a
tion h
o
oks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpe
n
ter
debug
:
add a
w
ay to debu
g
b
uffer
s
i
ze
s
__sma
t
ch_buf_s
i
ze()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
t
er
Or vs and: warn a
b
out bi
t
wise ANDs that alway
s
give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpenter
Or vs and: if (foo & Z
E
RO
)
i
s n
o
ns
e
nse
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
f
u
nction_hash:
make it easier t
o
handle a file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signed: unbreak the
c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Car
p
enter
o
verflo
w
: u
p
da
t
e va
l
idati
o
n test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flo
w
: ha
n
dle struct initiali
z
at
i
o
n
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: handle
E
XPR_
O
FFSE
T
O
F
and EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arp
e
nter
o
v
er
f
low: ignore "x = &
f
oo[ARRAY_SI
Z
E(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpenter
overflow: white space
c
leanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
e
n
ter
implied:
the base slist is
n
ot special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Carpenter
s
l
is
t
: change format for debug outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
e
x
pressio
n
s: intro
d
uce some more expression allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Ca
r
penter
validat
i
on: u
p
date
de
r
efer
e
nce c
h
eck outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
implie
d
: certain states should be left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
pente
r
sli
s
t:
p
ut the sm_sta
t
e
itself in
t
o
-
>possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
an
Carpenter
s
l
ist
:
c
lean
u
p merge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpente
r
extr
a
: don't c
r
eate a
n
ew
merged estate
if
-
>r
i
ght
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
estates:
re
u
se same estate for extr
a
_undefined
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpen
t
er
const
r
aints
:
get
rid o
f
add_equiv(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpe
n
ter
constr
a
i
nts:
r
e
m
ove some dea
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next