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
Da
n
C
a
rp
e
nter
extra: get_implied_ran
g
e_list
(
) should return 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
u
ser_data: use the new
r
eturn_
s
tates dat
a
base table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
us
e
r_data: syscalls are a source of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pe
n
t
e
r
user
_
d
a
ta: i
f
"
p
tr" i
s
user data then "*pt
r
"
is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_data: add is_u
s
er_macro(
)
stu
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
user_data: skb-
>
dat
a
is user
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
extra: make a function sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpen
t
e
r
db: cr
e
at
e
return_states
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
add
get_retu
r
n_id()
a
n
d
r
etu
r
n mar
k
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: impro
v
e
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db:
c
aller_in
f
o changes
:
store th
e
caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
d
b: a
d
d
r
et
u
rn_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpen
t
er
err_ptr_deref: remo
v
e d
u
plicate confli
c
ting
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Da
n
Ca
r
p
e
nte
r
fun
c
tion_hooks: move regi
s
t
ration to the right p
l
ace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carp
e
nter
deref_check:
remove d
e
ad co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
misc white spa
c
e fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Car
p
e
n
t
er
im
p
lied: change debugg
i
ng output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
chec
k
s: get rid of some delete_state()
c
a
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
d
eref_
c
heck:
f
i
x a fal
s
e posi
t
ive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpent
e
r
sparse: c
o
mment ou
t
an inte
r
nal
e
r
ro
r
m
e
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carp
e
n
t
er
Mer
g
e g
i
t://git
.
kernel
.
or
g
/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
Carpenter
*new*
a
ssign_vs_compare:
i
f ((x = <co
n
stant>))
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carp
e
nter
r
a
nge
s
:
introduce rl_contiguou
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
nter
dere
f
_che
c
k: silence
some false
p
osit
i
ve on
c
ros
s
f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
nter
f
ill_
d
b_call_implies: check
c
orrect va
r
ia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
fil
l
_db_return_implies: delete the correc
t
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
poin
t
er_math: che
c
k ALIGN() macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan
C
a
r
penter
helper: h
a
ndle if (WARN_ON(i == ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpen
t
er
as
s
igned_expr:
m
ove chec
k
_
a
ss
i
g
ned_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
a
rpente
r
macro_side_effect
s
:
o
nl
y
en
a
bl
e
when --spa
m
my is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpenter
i
gnore_side_effects: add so
m
e more m
a
c
r
os that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carp
e
n
t
er
buf_
s
ize: add --
s
pammy to vali
d
ation test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
over
f
low: remove
strncpy() fal
s
e positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
Merge branch
'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
r
p
e
n
t
er
buf_size: tur
n
o
f
f
buf siz
e
f
or &a
d
dresses unl
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Ca
r
pe
n
ter
flo
w
: hand
l
e the __nore
t
urn__ attrib
u
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_siz
e
: remove
t
he &* and [
0
]
f
r
om a
r
ound the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_b
u
f: don't return the
m
ax
i
m
um sto
r
e buffer s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
an Ca
r
penter
b
u
f_siz
e
: return t
h
e
s
i
z
e of
&f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
a
rpenter
buf_size: add k
m
alloc_array()
an
d
sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpente
r
buf_size:
if
the
m
ember size is not known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
Merge branch 'buf_size' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
Merge git://git
.
k
e
rnel
.
org/pub/s
c
m
/
de
v
el/spa
r
se/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
f
i
r
st get the
size
i
n bytes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: rem
o
ve cas
t
_
r
a
tio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
fix bytes_
p
er
_
element() for
strin
g
s
a
nd arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
penter
bu
f
_size: d
e
lete some dupl
i
cate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: p
r
e
fer the decla
r
ed array s
i
z
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
s
i
ze: strcpy() only se
t
s the size of the destination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
i
gnore
casts i
n
get_
a
rray_size_byte
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pent
e
r
buf_size: crea
t
e an elements_to_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e:
s
e
parate
bytes_per_element() into its
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size
:
using ->bit_s
i
ze doesn't work fo
r
v
oid pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rp
e
nt
e
r
buf_s
i
ze: use get_stored
_
size_
b
ytes() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
bu
f
_
s
ize: make get_st
o
red_size_bytes() a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
uf_size: pull bytes_to_elements() in its
own f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: calculate bytes per
element better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_size: ad
d
a basic validation
t
es
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
: if the size i
s
var
i
a
ble
pick
t
h
e larger on
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
b
u
f_si
z
e: move ge
t
_
s
ize_from_str
l
en
(
)
into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
an
Carpenter
buf_size: pull get_si
z
e
_
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_stored_size
(
)
o
ut of
get
_
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: pull
h
andling of normal arrays
into separat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpen
t
er
buf_si
z
e: mov
e
som
e
functio
n
s
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
buf
_
size: ad
d
modification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
d
eb
u
g: add a way to
d
ebug
b
u
f
fer sizes __
s
match_buf_si
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r
v
s
and: wa
r
n abo
u
t
b
i
twise ANDs that always gi
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
n
ter
Or vs and:
i
f (
f
oo
& ZERO) is
n
o
nsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
n
ter
fun
c
tion_hash: mak
e
it easier to handle a file
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
D
an Carp
e
nter
s
igne
d
: unbre
a
k the
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
nter
overflow: update
v
alidation tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carpe
n
ter
f
low: hand
l
e str
u
ct
i
n
i
t
i
al
i
za
t
i
on better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpe
n
ter
f
l
ow: handle
E
XPR_OFFSETOF and EXPR_
A
LIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpe
n
ter
o
v
e
r
fl
o
w: ign
o
r
e
"x =
&
foo[ARRAY
_
SIZE(f
o
o)
]
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
overfl
o
w: white
space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the
b
ase slist is not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist: change f
o
rmat for debu
g
o
u
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
expression
s
: introduce
s
ome more expression allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
Carpenter
va
l
idati
o
n: update
deref
e
renc
e
c
h
eck output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Ca
r
p
e
nter
implied: cer
t
ain state
s
s
h
oul
d
be left as
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpen
t
er
slist: p
u
t t
h
e sm_st
a
te itself into -
>
possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
sli
s
t: cl
e
a
nu
p
m
erge
_
h
ooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Car
p
enter
e
x
tra: d
o
n't create a new merged
estate if ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
estates: reu
s
e
s
a
m
e estate
f
or extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: get rid of ad
d
_equiv
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrai
n
ts: remove some
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constraint
s
:
f
ix set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
onstraints
:
add
_
relate
d
(
)
should take a
r
elated
_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
constraints
:
sor
t
t
he ->r
e
la
t
ed list prop
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
c
o
nst
r
ain
t
s: repla
c
e g
e
t_common_
r
elat
i
onshi
p
() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
s
li
s
t: move add
_
pool() to smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan
Carpente
r
bi
t
_shi
f
t: add test_bit() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpen
t
er
flow: silen
c
e
f
a
lse
positiv
e
s caus
e
d by
h
air
y
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpe
n
ter
implied: rename -
>
m
y
_pool
t
o
->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carp
e
nt
e
r
sl
i
s
t: re
n
ame add_
p
o
s
s
ible(
)
=> copy_possibles
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_vs_and:
ignor
e
*p++ |
|
*p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
tr
a
cker: fix a small me
m
ory
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
modifica
t
ion: remove cal
l
s
t
o
delete_state(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
c
h
eck_derefer
e
n
c
e: e
n
a
b
l
e this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
db:
st
o
re
w
h
ether functi
o
n
s a
r
e global
or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next