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 'buf_size' into devel
2012-06-15
Dan Carpenter
Mer
g
e branch '
b
u
f_size' into
devel
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
Merge git:/
/
gi
t
.
k
e
rnel
.
org/pub/scm
/
deve
l
/spa
r
se/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Ca
r
p
enter
buf_size: f
i
rst
g
et the size in bytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size
:
remov
e
cast
_
ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpent
e
r
buf_siz
e
: fix
bytes
_
p
er_elemen
t
() for stri
n
gs and arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
enter
buf_size: del
e
t
e
some duplic
a
te code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf
_
s
i
ze: prefe
r
t
h
e d
e
c
lared array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: strcpy
(
) only sets the siz
e
of the destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
en
t
er
bu
f
_size
:
ignor
e
cast
s
in get_array_
s
ize_bytes(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
c
r
eate an elements_
t
o_b
y
te
s
()
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_siz
e
:
s
eparate
b
ytes_pe
r
_e
l
em
e
nt() i
n
to its ow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf
_
s
i
ze: us
i
ng ->bit_
s
i
ze doesn't work for void pointe
r
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: use
g
et_
s
to
r
e
d
_
s
i
ze_bytes() direct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size:
make
g
et_stored_size
_
byte
s
() a
s
eparat
e
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: p
u
ll by
t
es_to_elements(
)
in
i
t
s o
w
n fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: calculate bytes per e
l
ement better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
u
f_si
z
e: ad
d
a
basic vali
d
ation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: if the size is va
r
iable pic
k
the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
b
uf_size: mo
v
e
get_size_
f
r
o
m_strlen
(
) into i
t
's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
b
uf_size:
p
ull get_size_from_in
i
tiali
z
er() in
t
o sep
a
rate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf_si
z
e: move ge
t
_st
o
r
ed_size() out
o
f
g
et_array_siz
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpenter
buf_si
z
e
:
p
u
ll handlin
g
of
n
ormal arrays into sep
a
rate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
buf_si
z
e:
move some functi
o
ns a
r
ou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
ent
e
r
buf_size: add modi
f
ication 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
d
eb
u
g buf
f
er
s
izes __
s
match
_
buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
O
r
v
s
and: warn about
b
itwise ANDs that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n
Car
p
enter
Or vs and: if (f
o
o
&
ZERO) is
n
onsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
an
Carpenter
functi
o
n
_
hash: make it easier to
h
a
ndle a
f
ile with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpente
r
signed: unbrea
k
t
h
e
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpen
t
er
overflow: up
d
ate va
l
ida
t
ion t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
en
t
e
r
flow
:
h
a
ndle struct initiali
z
ation better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
flow: handle EXPR_OFFSETOF
a
n
d EXPR_ALI
G
NOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
a
r
penter
o
v
erflow:
i
gnore
"
x = &foo[ARRAY_S
I
Z
E(fo
o
)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
overflow: white space
cl
e
anup
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
impli
e
d
: the base slist is not
s
pecial
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
sli
s
t: cha
n
ge format for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
e
xpr
e
ssions:
introduce some more expression allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
arpenter
va
l
idation:
u
pdate dereference c
h
eck o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
implied: c
e
rtain states should be left a
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
s
l
i
s
t: put the sm_st
a
te i
t
self into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
sl
i
st: clea
n
up mer
g
e
_h
o
oks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
ex
t
ra: do
n
't create a new
m
erged estate
i
f ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
estates: reuse sa
m
e
estate for ex
t
ra_u
n
defined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
C
arpenter
constraints:
ge
t
rid of add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints:
r
emove so
m
e dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpent
e
r
constrai
n
ts: fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
ns
t
raint
s
: add_relat
e
d()
should tak
e
a related_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
nstraints:
s
ort t
h
e ->related l
i
st properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
constraints: replace get_c
o
mmon_relationship() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist: move add_p
o
ol()
to
s
match_
i
m
plied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Car
p
e
n
ter
bit
_
sh
i
ft: add
test
_
bit
(
) fu
n
c
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
a
n
Carpe
n
ter
fl
o
w: silence false posi
t
ive
s
c
a
used b
y
h
a
iry fu
n
ct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied:
re
n
am
e
->m
y
_pool
t
o
->poo
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
s
list: rename add_possible() => cop
y
_possible
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
or_vs_and: ignore
*p
+
+ |
|
*p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
C
arp
e
nter
tracker: fix a small memory
le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
C
arpe
n
te
r
modi
f
i
cation: remo
v
e calls to delete_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
ch
e
ck_
d
er
e
ference: ena
b
le this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db: store w
h
ethe
r
functions are global or sta
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tra
c
ker: r
e
move unused
c
l
o
n
e
_tracker_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
r
penter
slist: buffer
o
verflow in deb
u
gging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data
:
fix NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
C
a
rpente
r
db: white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpen
t
er
db: move parameter_implications into th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add possibly_
t
r
u
e
/
fa
l
s
e
_
r
a
nge_l
i
sts_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpenter
overf
l
ow: aut
o
matically list fun
c
tions that t
a
ke a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n
Carpenter
modification_hoo
k
s: compl
e
te rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
D
an Ca
r
penter
d
b
: print the SQL q
u
erie
s
when -
-
d
e
bug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
cleanup: use vali
d
_ptr_min/max
.
get rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpent
e
r
extra: der
e
f
erencing a pointer
m
eans it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implied:
c
l
eanu
p
debug
o
utpu
t
a littl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
arpent
e
r
slist: pull sho
w
_sm()
into a separa
t
e function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpe
n
ter
check_ke
r
nel:
E
RR_PTR(
)
returns non-N
U
L
L
(
mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
der
e
ference
checks
:
u
se the
cros
s
funct
i
on in
f
o from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_dereferenc
e
s_p
a
r
a
m
: list functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
*new* return
s
: merge al
l
slists fro
m
all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
d
b: add call_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: p
r
int a d
i
fferent
f
ilename wh
e
n --info
o
ption
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
deref: fix a ty
p
o in the e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Car
p
enter
use
r
_
d
at
a
: track
user data that is
r
e
turned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpent
e
r
b
ool_impl
i
cations: remove de
b
ugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
C
ar
p
enter
fix compile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
g
e
nerisize
.
pl: strip all s
t
rings not just the f
i
rst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
arp
e
nte
r
buf_size: Add a
NULL
ch
e
ck to get_arra
y
_siz
e
_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Car
p
enter
*
n
ew
*
si
z
eof
_
po
i
nter: using
sizeof(p) wher
e
sizeo
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
ove
r
flow:
c
h
eck
me
m
cpy(
)
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
D
an Ca
r
penter
ex
t
ra: don't re
s
et &argument
s
until the other checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
a
rpen
t
er
fl
o
w: change how "f
o
r
(
i
= 0; ;
i
+
+)
{
.
.
.
" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
*new* or_vs
_
a
n
d: comp
l
a
in about if (x != 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan
Car
p
e
nter
s
p
a
rse: introduce get_expression_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: introduce
is_pointer() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
arpent
e
r
extr
a
: frob(foo
)
resets t
h
e
value of
*
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpent
e
r
ex
t
ra: foo
(
(
void *)&x)
writes to
x
pr
o
bably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
n
ter
ranges: introduc
e
invert_range_li
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __
s
match
_
i
m
plie
d
(&x)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: commit ra
n
ge_lists_equiv()
s
o
that bool_
i
m
p
lications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carp
e
nter
smdb_
p
a
r
a
m_buf
_
size
.
sh: ask db wha
t
size
buffers ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an C
a
rpenter
e
x
tra: get_i
m
plied_range_list() should handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
enter
buf_size: store bu
f
f
e
r
sizes i
n
db
(turned
o
ff by d
e
fault
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
pe
n
ter
db: don't di
e
on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next