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: caller_info: update fixup_kernel.sh to the new table
2012-08-14
Dan Carpenter
d
b: caller_info: update fixup_ke
r
nel
.
sh to
t
he ne
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpente
r
extra: get_im
p
lie
d
_
r
a
nge_list()
sho
u
ld return
0
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
u
ser_dat
a
: use the new
return_sta
t
es database tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
pe
n
ter
user_data: syscalls are a sou
r
ce
o
f us
e
r data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_da
t
a: if "ptr"
i
s user d
a
ta th
e
n "
*
p
t
r" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_data:
a
dd is_user_mac
r
o() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
us
e
r_da
t
a: skb->data is use
r
d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carp
e
nter
ex
t
ra: make
a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: create
retur
n
_states table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carp
e
nter
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
Dan Car
p
enter
db: impr
o
ve error me
s
s
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carp
e
nter
d
b: caller_in
f
o changes: sto
r
e the call
e
r, param
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
db: add return_
v
alues ta
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
err
_
ptr_deref: remove duplicate conflicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n Carp
e
nter
funct
i
on_hooks:
move regist
r
ation to
the right place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan
C
a
r
p
en
t
er
de
r
ef_che
c
k: remove dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
misc white spac
e
fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
implied:
c
hange debugging outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
ch
e
cks: get rid
o
f
s
o
m
e
d
elete_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carp
e
nter
de
r
ef_check
:
fix a f
a
lse
posit
i
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Carpenter
sparse: comme
n
t out an internal error me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpen
t
er
Merge git://git
.
kerne
l
.
o
r
g/
p
ub/scm/d
e
vel/sparse/chris
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*
new* a
s
s
i
gn_vs
_
compare: if
((
x
= <constant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpente
r
ra
n
ge
s
:
i
n
t
r
o
duce rl_
c
ontiguo
u
s(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpent
e
r
d
e
re
f
_check: si
l
en
c
e some false positive on cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_
i
m
p
lies: ch
e
ck c
o
rrect variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
f
i
l
l
_
d
b_retu
r
n_impl
i
es
:
delete the correct ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n Carpenter
poi
n
ter_
m
ath: ch
e
ck AL
I
G
N() macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
an
C
arpen
t
er
hel
p
er: hand
l
e i
f
(WARN_ON
(
i
=
= ARRAY_SIZE(foo)
)
re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
r
p
enter
assigned_expr: move ch
e
ck_as
s
ign
e
d_expr
(
) to sma
t
ch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_sid
e
_eff
e
c
ts: o
n
l
y
enable
w
hen --spa
m
m
y
i
s used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n
C
arpenter
igno
r
e
_
side
_
e
f
fec
t
s: add so
m
e more
m
acr
o
s
that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
n
t
er
buf
_
si
z
e: a
d
d
--s
p
ammy to validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
overflow: remove st
r
nc
p
y
(
) false positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carp
e
nter
M
e
rge branch '
d
evel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
pe
n
t
e
r
buf_siz
e
: turn off buf size
for &addresses
u
nle
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
ar
p
enter
f
l
o
w
: handle t
h
e __noreturn__ attrib
u
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
buf_size:
remove the
&
*
and
[
0] fro
m
arou
n
d th
e
po
i
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carp
e
nter
sm_buf: don't return
t
h
e maximum store bu
f
fer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Carpen
t
e
r
buf_size:
r
eturn the siz
e
of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
buf_size: add kmall
o
c_array() and so
c
k_kmal
l
oc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
buf_size: if the membe
r
size i
s
not known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
Merge branch 'buf_size' into d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
e
rge git:
/
/
g
it
.
kernel
.
or
g
/p
u
b/scm/d
e
v
e
l/sparse/s
p
ar
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
b
uf_size: firs
t
get the size in bytes t
h
en convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: r
e
move
cast_rati
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
fix b
y
t
es_pe
r
_element
(
)
fo
r
strings and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: delete some
d
uplica
t
e code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: prefer the declare
d
a
rray size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size:
s
t
r
cpy
(
)
only sets the size of the dest
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
: ignor
e
c
ast
s
in ge
t
_arr
a
y_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
pe
n
ter
buf_size: c
r
eate an eleme
n
ts_t
o
_bytes() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: separate bytes
_
per_element
(
)
into i
t
s own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpen
t
er
bu
f
_size: u
s
ing ->bit_size doesn't work
for v
o
id pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f_size: use get_
s
t
o
red_size_bytes() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
arpe
n
ter
buf_
s
i
ze
:
mak
e
get
_
store
d
_size_
b
yte
s
() a
s
epa
r
a
t
e
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpe
n
t
e
r
buf_size: pull byt
e
s_to_elemen
t
s() in its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpen
t
er
buf_siz
e
: calculate bytes per
e
lem
e
nt better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
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 Carpent
e
r
buf_s
i
ze:
i
f the
size
i
s variable pick the
larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
en
t
er
buf_
s
ize: mo
v
e g
e
t_size_from
_
s
t
r
l
en() into it'
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_size_from_initializer
(
)
i
nto se
p
arate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carp
e
nt
e
r
bu
f
_size: move get_stored_size() out of
g
et_
a
rra
y
_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
buf_size: pull handling of normal arrays into
s
ep
a
rate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carp
e
nter
b
u
f_size
:
move some f
u
nctions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
en
t
er
b
uf_size: add modification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug
:
add a way to
d
ebug bu
f
fer sizes __smatch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
a
rpenter
O
r vs and:
w
arn abou
t
bitwis
e
ANDs
that always
g
ive
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
a
rpenter
Or
v
s
and
:
i
f
(
foo &
ZERO) is nonsens
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
an Carpent
e
r
functio
n
_has
h
:
m
a
ke it easier to handle a file
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Car
p
e
nter
si
g
ned:
unbreak the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overfl
o
w: update
v
alida
t
i
o
n test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
f
l
ow: ha
n
dle str
u
ct initialization
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: ha
n
d
le EX
P
R_OFF
S
ETOF and EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow: ignore
"x = &foo
[
ARRAY_SIZE
(
f
oo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
over
f
low:
w
hite space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
i
m
plied:
t
he base slist is not specia
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
C
arp
e
nter
slist: change format for d
e
bug outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
enter
expres
s
ions
:
i
ntroduce s
o
me mo
r
e expressio
n
all
o
cation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
validat
i
on: update deref
e
rence check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpen
t
er
implied: certain states
sho
u
ld be left
a
s
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
s
l
ist: put
t
he sm_state itself into ->p
o
ssible n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpen
t
er
slis
t
: cl
e
anup merge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Ca
r
p
e
nter
extra:
d
on't
create
a
ne
w
merged estate i
f
->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
e
s
t
a
t
es: reus
e
s
ame estate for ex
t
r
a_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n C
a
rp
e
nter
constra
i
nts: get rid of ad
d
_
e
quiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
c
onstra
i
nts: remove
s
o
m
e dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
C
a
rpenter
con
s
t
raint
s
: fix
s
et_eq
u
i
v
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
constrain
t
s
:
add
_
related() should take a r
e
lated_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
c
onstraints: so
r
t the ->relat
e
d
l
ist properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Ca
r
penter
c
ons
t
ra
i
n
ts: replace get_c
o
mmon_
r
elat
i
onship() wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
sli
s
t
: move a
d
d_poo
l
() to smatc
h
_imp
l
i
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
an
Carp
e
nter
b
i
t_shift: add
test_bit() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan
Carpenter
f
low:
s
i
lence fa
l
se positives
caused by ha
i
ry functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carp
e
nter
imp
l
ied: rename ->my_po
o
l to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpente
r
s
l
ist: rename add_possible() => copy_po
s
sibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_v
s
_and: ignore *p++ || *p
+
+
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
t
racker: fix a small memory le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carp
e
nt
e
r
modification: rem
o
ve calls to
d
elete_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Ca
r
penter
check_dere
f
eren
c
e: enable th
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next