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
fill_db_return_implies: delete the correct table
2012-07-20
Dan Carpenter
fi
l
l_db_retur
n
_implies: delete t
h
e co
r
re
c
t table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
poi
n
t
er_math: check ALIGN
(
) macro
m
a
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carp
e
nter
helper
:
handl
e
if (W
A
RN
_
ON(i == ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
assigned_expr: move
check_assig
n
ed_expr() to
s
match
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
ma
c
ro_side_
e
ffe
c
ts:
only enable
w
h
e
n
--s
p
ammy is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
ter
ignore_sid
e
_
e
ffects: ad
d
some more macros that ha
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nt
e
r
buf_si
z
e:
a
dd --spammy to
v
alidation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
ov
e
rflow: rem
o
ve strncpy() false
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branch
'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
b
uf_size: turn off buf siz
e
f
or
&
addresses unles
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow
:
h
a
ndle t
h
e
__noreturn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carp
e
nter
buf_size: re
m
ove the
&
* and [0] from a
r
oun
d
the
p
o
inter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpente
r
sm_buf
:
don't return
t
he
m
aximum
store b
u
ffer s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
buf_s
i
ze: return the size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
buf_size: a
d
d kmalloc_
a
rray(
)
and so
c
k_km
a
lloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
uf_
s
ize: if
t
he member size is not k
n
own then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge b
r
a
n
ch 'buf_size' into
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge git://git
.
k
ernel
.
org/pub/scm/
d
ev
e
l
/sparse
/
spa
r
se
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
bu
f
_size: fi
r
st get t
h
e size
in byte
s
then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpente
r
buf_size: remo
v
e
ca
s
t_
r
atio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
ar
p
enter
buf_siz
e
: fix byte
s
_per_element
(
)
for
s
t
ri
n
g
s and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
er
b
u
f_siz
e
: delete som
e
duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
er
buf_size: pre
f
er the declared
a
rray size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_s
i
ze
:
strcpy() only sets the
size of the destinatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pente
r
buf
_
size
:
ignore
casts in ge
t
_array_size
_
by
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
u
f_
s
ize:
create an el
e
ments
_
to_bytes
(
) funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
bu
f
_size: separate
b
y
t
e
s_per_element() in
t
o its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
z
e: using ->
b
it_size doesn
'
t work
f
o
r void poi
n
ters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpent
e
r
b
u
f_
s
i
z
e: use get_store
d
_size_bytes() d
i
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an C
a
rpenter
buf_size: ma
k
e
g
et_stored_size_b
y
tes() a separat
e
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: pull bytes_
t
o_element
s
(
) in its own fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: c
a
lc
u
l
ate by
t
e
s per element
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f_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: if
the siz
e
i
s
var
i
a
b
l
e
pick the l
a
rger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_si
z
e: move get_si
z
e_
f
rom_s
t
rlen() int
o
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpenter
buf
_
size: pull
get_
s
ize_from_initializ
e
r() into s
e
p
a
rate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
r
p
enter
buf
_
size:
move
g
et_s
t
o
red_size() out
of get_
a
rray_siz
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_
s
ize:
p
u
ll
handling of
normal arrays
int
o
separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
uf_size: mo
v
e some funct
i
ons aro
u
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
bu
f
_size: add modification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
d
e
bug: add a
way to d
e
bug buffer siz
e
s __sm
a
tc
h
_
buf_size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs
a
nd: warn
a
bout bitwise ANDs that always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
pe
n
ter
Or
vs a
n
d: if (foo & ZERO) is n
o
nsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
p
e
nter
function_hash:
m
ake it ea
s
ier
t
o handle a
f
ile
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan
C
arpenter
signed: unbr
e
ak
t
h
e check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpenter
o
verflow: upd
a
t
e
v
alida
t
i
o
n tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow:
h
andl
e
str
u
c
t initiali
z
a
t
i
o
n better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
pen
t
e
r
flow: han
d
le EXP
R
_OFFSETOF and EXPR_AL
I
GNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
C
arpent
e
r
overflo
w
: igno
r
e "x = &foo[ARRAY_SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arpenter
overflow: whit
e
s
p
ace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: th
e
base slist is not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist: change format for debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
expressions: introd
u
ce so
m
e
m
ore expres
s
ion a
l
lo
c
a
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
v
alidation: upda
t
e derefer
e
nce check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
arpenter
implie
d
: certa
i
n sta
t
es should
be left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
s
list: put the sm_stat
e
itse
l
f in
t
o ->poss
i
b
le
not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
an Car
p
ente
r
s
l
ist: c
l
eanup m
e
r
ge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpenter
extra
:
don't create a new merged
e
stat
e
if ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
penter
e
states
:
reuse s
a
m
e
e
state for extra_unde
f
ined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraint
s
: get rid of add
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pent
e
r
c
onstrain
t
s: remove some dea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
cons
t
rain
t
s
:
fix set_e
q
uiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
constraints: add_related() should take a r
e
lated_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
constr
a
ints: sort the ->rela
t
ed list properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Car
p
enter
constraint
s
: replace get_common
_
relationshi
p
(
)
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
slist: mo
v
e add_pool() t
o
smatc
h
_
i
m
plied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Da
n
Carpe
n
t
er
bit_sh
i
ft: add test_bit() fun
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow:
s
ilenc
e
false
p
ositi
v
es caused b
y
hairy functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
rpenter
implied: rename ->my_p
o
ol t
o
->po
o
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
sl
i
st: rename
a
dd_possi
b
le() =
>
copy_p
o
ssibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
or_v
s
_
a
nd: ignore *p++ ||
*p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpente
r
tracker:
fix a small memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
modification
:
r
emov
e
calls to
d
elete_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
pent
e
r
check_
d
e
r
eference: e
n
a
bl
e
t
his
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db: st
o
re whet
h
er f
u
nctions are global or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker:
re
m
ove unu
s
ed clone_
t
racker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
slist: buffer ov
e
rflow
i
n
debu
g
ging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data: f
i
x NULL dere
f
e
ren
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpe
n
t
e
r
db: white spa
c
e cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move parameter_implications
i
nto the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
Carpenter
range
s
: add po
s
si
b
ly_true
/
fal
s
e_range_
l
ists
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan C
a
rpenter
overfl
o
w: automat
i
cally list functi
o
ns tha
t
take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
modificati
o
n_h
o
oks: complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan
C
a
rp
e
nter
db: print the SQL queries wh
e
n --
d
ebug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
r
p
e
nter
cl
e
anup: use
v
a
l
id_ptr_min
/
max
.
get rid of POINTER_M
A
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpent
e
r
ext
r
a
:
dereferencing a pointer
m
eans it is
v
alid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an
Carpenter
implied:
cleanup d
e
b
ug o
u
t
p
ut a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
p
enter
sl
i
st: pull
s
h
ow_sm
(
)
in
t
o a separate
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
check
_
kern
e
l:
ERR
_
P
T
R() r
e
turns non-NULL
(most
l
y
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpente
r
d
ereferenc
e
checks: u
s
e the
c
ross fun
c
t
i
on info fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* chec
k
_d
e
reference
s
_param:
l
ist func
t
i
o
ns th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* retu
r
ns: merge all sl
i
sts fr
o
m all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
db:
add
c
a
ll_impl
i
e
s
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
flow: print a diff
e
re
n
t filename when --info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
der
e
f:
fix a typo in t
h
e error me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
a
rpenter
u
s
er_
d
ata: track
u
ser dat
a
that is returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n
Carp
e
n
te
r
b
ool
_
implicati
o
ns:
r
emove
debugg
i
ng output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
a
n Carpenter
f
i
x
c
ompile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl: strip
all strings not just
the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Car
p
enter
b
uf_
s
ize: Add
a
NULL check t
o
ge
t
_
array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next