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
sm_buf: don't return the maximum store buffer size
2012-06-16
Dan Carp
e
nter
sm_buf: don't r
e
t
u
rn the maximu
m
s
tore buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpe
n
ter
buf_size:
r
e
t
u
rn the si
z
e
o
f &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nt
e
r
buf_size: a
d
d
k
m
a
lloc_a
r
ray() a
n
d sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
e
r
buf_size: i
f
the m
e
m
b
er
size is not
known then sto
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge b
r
anch 'buf_siz
e
' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
Merge git:/
/
git
.
kern
e
l
.
org/pub/scm/devel/sparse/spar
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_size: firs
t
ge
t
the size in bytes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpe
n
te
r
b
u
f_size: remove cast_ratio(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpent
e
r
buf_size: fix
b
y
tes_per_el
e
ment(
)
for stri
n
g
s and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
d
e
l
ete s
o
me dupli
c
ate
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: prefer the
de
c
la
r
ed arr
a
y size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
ente
r
buf_size: strcpy() only se
t
s the
s
ize of t
h
e dest
i
nat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size: ign
o
re
casts in
get_arra
y
_s
i
ze_b
y
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
pent
e
r
buf_siz
e
: c
r
eate a
n
elements
_
t
o
_
b
y
t
es() fun
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size: s
e
parate bytes_per_element
(
)
into its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpen
t
er
buf_si
z
e: using ->bit_siz
e
does
n
't work
f
or void pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: use get_store
d
_
size_bytes() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: m
a
k
e get_stored_size_by
t
e
s
() a separate
functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
pull b
y
tes_to_elements() in
i
ts
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_siz
e
:
calcul
a
te bytes per element better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size:
a
d
d a ba
s
i
c
v
alid
a
tion
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: if the size
is
variable pick the larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
arpen
t
er
buf_size: mov
e
ge
t
_siz
e
_from
_
strlen() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
p
e
nter
buf_size:
p
ull g
e
t
_
size_from_initializer() in
t
o separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_
s
ize
:
move get_stor
e
d_size(
)
ou
t
o
f
get
_
array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpen
t
er
buf_siz
e
:
p
u
l
l hand
l
ing of n
o
rmal arrays into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: move som
e
f
u
nctions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
b
uf_size: a
d
d
m
odification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debu
g
: add a
w
ay to debug buffer sizes
__s
m
atch_buf_size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Carpenter
Or vs and:
warn
a
b
out bit
w
ise A
N
D
s th
a
t always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: if (f
o
o
&
ZER
O
)
is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Car
p
e
n
ter
fu
n
ctio
n
_hash:
make it easier to handle a file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan C
a
rpenter
s
i
g
ned: unbreak
t
he ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
over
f
low: u
p
da
t
e validati
o
n test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpent
e
r
flow: handle str
u
ct
i
nitia
l
ization be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flo
w
: handle EXP
R
_O
F
FSETOF and EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
overflow: ignore "x
=
&foo[ARRAY_SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an C
a
rpenter
overflow:
w
h
i
t
e
space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
a
r
p
enter
implied: the base s
l
i
s
t
is not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Car
p
e
nter
slist:
c
hange format fo
r
debug o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arpenter
exp
r
essions: introduce some more expression
allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
Carpenter
v
alidat
i
on: update dereference check ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpente
r
implied:
c
ertain states sho
u
ld be left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
penter
slist: put the
sm_state itself into
-
>p
o
ssi
b
le
not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
arp
e
nter
s
list: cleanup mer
g
e_ho
o
ks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpente
r
extra: don'
t
crea
t
e a n
e
w
m
erged estate
i
f -
>
righ
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
estat
e
s: reuse sam
e
esta
t
e for
e
x
t
ra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
constraints:
g
et rid of add_
e
qu
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
con
s
tra
i
n
ts
:
remove some dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n C
a
rpenter
constraints: fix set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
c
onstraint
s
: add_rel
a
t
ed()
shoul
d
take a related
_
l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
constraints:
sor
t
the ->related
list prop
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
r
p
enter
constraints:
r
eplace get_common
_
relationship() wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Ca
r
penter
slist: move add_pool() to smatc
h
_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Da
n
Carpenter
bit_shift
:
ad
d
test_bit() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan
C
a
rpenter
flow:
s
ile
n
ce
false p
o
si
t
iv
e
s caused by hairy fu
n
c
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
e
r
i
m
plied: renam
e
->my_pool to -
>
poo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
slist: r
e
name ad
d
_
p
o
s
sibl
e
() => copy_p
o
ssibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_vs_and:
ignore *p++ ||
*
p
++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
tracker: fix a s
m
all mem
o
ry leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
m
o
d
ification:
r
emove
c
alls to delete_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
check_
d
ere
f
erenc
e
: enable this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
db: store whether functions are glob
a
l or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: r
e
move unu
s
e
d clone_tra
c
ker_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
sl
i
st: buffer overflow in debugging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data
:
fix NULL derefer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
d
b
: wh
i
te spa
c
e cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move parameter_implicat
i
ons into the datab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpenter
ranges:
add poss
i
bly_tr
u
e/fa
l
se_
r
ange_li
s
ts_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
o
verflow: au
t
om
a
tically
li
s
t function
s
that take
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Ca
r
penter
m
o
d
ificati
o
n_
h
o
oks
:
complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan
C
arp
e
nt
e
r
db:
p
rint
t
he SQ
L
queries whe
n
-
-
debug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
ent
e
r
cle
a
nup: use valid_ptr_min/max
.
g
et
r
id of
POINT
E
R_M
A
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpen
t
er
ext
r
a: dereferenci
n
g a pointer means it is val
i
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Ca
r
p
e
nter
implied: cl
e
anup debug
output
a
little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
p
e
nter
sli
s
t
:
p
ull show
_
sm() into a se
p
arate f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_kernel:
ERR_PTR()
returns no
n
-NULL (mo
s
tly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Ca
r
p
enter
dereference checks: use the cross f
u
nction inf
o
f
rom
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
*new* check_d
e
re
f
e
r
ences_param: list functio
n
s th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
ar
p
enter
*
n
ew* returns: mer
g
e all slists from all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
db:
add ca
l
l_implies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
flow: print a d
i
f
f
er
e
nt filename when --info
option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
deref:
fix a t
y
po in the
error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data: track user
d
ata tha
t
is returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carp
e
nte
r
bool_im
p
lic
a
tions: rem
o
v
e debuggi
n
g
o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
f
ix
c
ompil
e
on Ub
u
ntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl:
st
r
ip all
s
tri
n
gs not just th
e
fi
r
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf
_
size: Add a
NULL check to get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Car
p
enter
*new* sizeof_pointer: using sizeof(
p
)
w
here siz
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpe
n
t
er
o
ve
r
flo
w
: ch
e
ck memcpy() t
o
s
e
e if we're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
a
rpen
t
er
extra: don
'
t rese
t
&arguments until th
e
other ch
e
c
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carp
e
nter
f
low
:
chang
e
how "for (i = 0;
;
i++) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
e
r
*new* or_vs_and: complain ab
o
ut if (x
!
= 3 || x
!=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan
C
arpent
e
r
spa
r
se: i
n
tro
d
uce g
e
t_expression_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Ca
r
penter
type: introduce is_poi
n
ter() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: frob(foo) resets th
e
value of *
f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Ca
r
pent
e
r
extra
:
foo((void
*)&x) writes to x probabl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: i
n
trodu
c
e i
n
v
e
r
t_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math
:
handl
e
__
s
mat
c
h_impli
e
d(&x
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
rang
e
s: c
o
mmit range_li
s
ts_equiv() so that bool_im
p
lic
a
tions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next