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
Merge branch 'devel'
2012-06-18
Dan Carpent
e
r
Merge
b
ranch 'd
e
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_siz
e
:
turn off b
u
f size for &addresses unles
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle the __n
o
return__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpen
t
er
buf_size: remove
the &* and [0]
f
rom around the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KO
S
AKI Motohiro
spars
e
:
A
d
d 'error' to igno
r
e
d
attribut
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohi
r
o
sparse: Add '__vector_siz
e
__' to ignored
at
t
ributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Car
p
ente
r
s
m
_b
u
f: don't r
e
turn the maximum store
b
uff
e
r size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carpenter
buf_size: retur
n
the size of
&
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpen
t
e
r
b
uf_si
z
e
: add kmalloc_array() and sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
b
u
f_size: if t
h
e member s
i
ze is not
known
t
hen store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Carpenter
Merge branc
h
'b
u
f_
s
i
ze' i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpenter
Merg
e
git://
g
it
.
ker
n
el
.
org/p
u
b
/s
c
m/
d
evel/sparse/spa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_s
i
ze: fir
s
t get the
s
ize
i
n
bytes
then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpente
r
buf
_
size: remove ca
s
t_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
enter
b
uf_size: fix by
t
es_per_element(
)
for strings and arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
enter
bu
f
_size: delete som
e
duplicat
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: prefer the d
e
clared array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: strc
p
y() only sets th
e
siz
e
o
f
the dest
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf
_
size: i
g
nore ca
s
t
s in get_array_siz
e
_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpente
r
buf_
s
i
z
e
:
c
r
e
ate an elemen
t
s_to_bytes() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
b
u
f_size: separate bytes_
p
er_ele
m
ent() into
its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_size:
using ->bit_size
doesn't work f
o
r
v
oid p
o
inters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: use get_stor
e
d_siz
e
_bytes() direc
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size:
m
ake
g
et_stor
e
d_s
i
ze_by
t
es() a
separa
t
e functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_si
z
e: pull
bytes_to_elements()
i
n
i
ts
o
wn function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
enter
buf_size: calculate bytes per element bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_s
i
ze: add a basic validati
o
n test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
p
e
nter
buf_si
z
e
:
if the size is variable pick
the larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpent
e
r
bu
f
_s
i
z
e
: move ge
t
_size_from_strlen() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
bu
f
_size: p
u
ll get_size_fr
o
m_initia
l
izer
(
) into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
bu
f
_
s
ize: move get_
s
to
r
ed_s
i
z
e() out
of get
_
array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpen
t
er
b
u
f_siz
e
:
p
u
ll
h
andling
of normal
arra
y
s into
s
e
p
arate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_siz
e
: move som
e
fu
n
ction
s
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Car
p
enter
buf_size: add mo
d
i
fic
a
tion ho
o
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
debug: add a
w
ay to debug buff
e
r s
i
zes __smatch_
b
u
f_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Carpenter
O
r
vs a
n
d: wa
r
n about bit
w
is
e
ANDs that
always gi
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: if (foo & ZERO) is
nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
functio
n
_ha
s
h: make i
t
eas
i
er to
h
and
l
e
a
f
ile with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Car
p
enter
signed
:
unbreak the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
overflow:
u
p
d
a
te validati
o
n
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: handle struct
initiali
z
ation bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
f
low:
ha
n
dle E
X
PR_OFFSETOF and
E
XPR_ALIGNO
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
ove
r
flow:
ignore "
x
= &foo[ARRAY
_
SIZE(foo
)
];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
overflow: white
sp
a
ce cl
e
anups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carp
e
nter
im
p
lied: the base
slist i
s
not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
enter
slist:
c
hange fo
r
ma
t
for debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
ter
expressions
:
introduce
some more expres
s
i
o
n allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
v
alidation: update deref
e
renc
e
check
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Car
p
ente
r
im
p
lied: certain
s
t
a
tes should be left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
slist: put the sm_state
i
t
s
elf into ->possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpenter
slist: c
l
eanup mer
g
e_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
ex
t
ra: don't cre
a
te a new merg
e
d
estate if -
>
right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
est
a
tes: re
u
se
s
ame estate for extra_undefined
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
constraint
s
: get rid o
f
a
dd_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
C
arpenter
constraints:
r
emove
some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpente
r
constrain
t
s
:
fi
x
set
_
equiv
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrain
t
s: add_related()
s
hould take a related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
con
s
traints
:
sort the ->related li
s
t properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constr
a
ints: replace ge
t
_common_relationshi
p
() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpen
t
er
s
list: m
o
ve a
d
d_pool() to smatch_i
m
plied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit_shift: ad
d
tes
t
_b
i
t() fu
n
ct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpent
e
r
f
l
ow: silen
c
e fa
l
se positive
s
caused by
hairy f
u
ncti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
i
m
plied: renam
e
->my_po
o
l to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
sl
i
st: rename add_possible
(
) => copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_vs_and: ig
n
ore
*p++ || *
p
++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker:
fix a small memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Ca
r
p
ent
e
r
m
o
di
f
ic
a
tion
:
r
e
move ca
l
l
s to d
e
lete_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
check_dereference: enable
this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
pe
n
ter
db:
s
t
ore whether functions
are global or sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
tra
c
ker: remove
u
nused clone_tracker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
rpenter
slist: buff
e
r over
f
low
in d
e
bugging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an
Carpenter
us
e
r_data: fix NULL d
e
reference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Car
p
enter
d
b
: white spa
c
e cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
penter
db: move parameter_implica
t
ions into
the da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
an Carpe
n
ter
r
anges
:
add p
o
ssibly_true
/
false_range_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpenter
ove
r
f
low: au
t
o
m
ati
c
a
l
ly list functions tha
t
tak
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
C
a
rpenter
modificat
i
on_
h
ooks
:
complete
rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
d
b
:
print
t
he SQL queries when --debug
i
s on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpenter
cleanup: use v
a
lid_
p
tr_min/max
.
get rid of P
O
INTER_MA
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
ex
t
ra: dereferen
c
ing a poi
n
ter means it is
v
ali
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
imp
l
i
ed: cleanup
d
e
b
u
g
output a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
ar
p
enter
s
l
ist: pull show_sm() in
t
o a separate
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Ca
r
p
e
nter
check
_
ker
n
e
l: E
R
R
_
PTR() returns
non-NU
L
L
(mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpente
r
derefer
e
nce
check
s
: use the cross
f
u
nct
i
on info
f
rom
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
*new*
c
heck_dereferences_param: li
s
t
f
u
n
ct
i
o
n
s that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new
*
returns
:
m
erge all sl
i
sts from all retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db: a
d
d ca
l
l_implies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: pr
i
nt a different filename when --info o
p
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
d
eref:
f
ix a typo in t
h
e error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n
C
arpenter
user_da
t
a: trac
k
user data that is r
e
t
urned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpe
n
ter
bool_implic
a
tions: remove
debugging out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
a
n Carpenter
fix
com
p
ile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carp
e
nte
r
g
ener
i
size
.
pl
:
s
trip all st
r
ings
not just the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf
_
size:
A
dd a NULL check to ge
t
_array_size_bytes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
a
rp
e
nter
*n
e
w*
sizeof_
p
ointer: us
i
ng sizeof(p
)
where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
overflo
w
:
c
he
c
k
memcp
y
() to see if we're c
o
mp
a
ring
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
extra: don't reset &arguments until the o
t
her checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
f
l
o
w: change h
o
w
"
for
(
i
= 0; ; i++) {
.
.
.
" is handl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
*new* or_vs_and: complain abou
t
if (
x
!= 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Da
n
Ca
r
p
e
nter
spa
r
se: in
t
r
odu
c
e g
e
t_ex
p
re
s
sion_valu
e
_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next