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
type: fix get_binop_type() for bit shift operations
2012-10-12
Dan Carp
e
n
t
er
type: fix get_bi
n
op_type() fo
r
bit shift operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whit
e
space
:
add a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
absolute:
track th
e
absolute limits that var
i
ables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpent
e
r
math: impr
o
ve h
o
w get_absolute
_
min/max() wor
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: i
m
prove how known logical
o
perations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpent
e
r
t
ype:
s
im
p
lify
g
et
_
b
i
n
op
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
D
an Carpen
t
er
typ
e
: improve handling of t
y
pe promotio
n
on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
r
p
enter
extra:
delete some
debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Car
p
enter
ranges: parse the r
a
n
g
es
list correc
t
ly if it on
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
m
a
th
:
known
c
on
d
ition
s
are equal to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
math: handle select statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Ca
r
pent
e
r
helper: improve p
r
inted messages
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpenter
ex
t
ra: ha
n
dl
e
asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
d
ereferences_
p
aram:
handle s
t
rcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
Carpente
r
ranges
:
kill the "Err
o
r
invalid ran
g
e message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
a
n Carpen
t
er
assig
n
ed_expr: ignore
+=
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Car
p
enter
fu
n
cti
o
n_hooks: whit
e
s
p
ace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Carpenter
function_hooks:
u
s
e
the s
t
ripped fun
c
tion
c
a
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
Carpent
e
r
db, buf_size, parse_call_math: track the size of
returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpen
t
e
r
get
_
implied_
r
ange_list: use the new f
u
nction hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
enter
implied_value: don't
get confused b
y
casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db/retu
r
n_st
a
tes: f
i
x return val
u
es for
U
SER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hoo
k
s: clean up some
n
aming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
an Car
p
enter
func
t
ion_
h
ooks: intr
o
duce get_implied
_
re
t
ur
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpent
e
r
misc: whitespace cle
a
nups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
C
arpenter
db_caller_info: a
d
d some com
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Car
p
enter
db, fun
c
tio
n
_
hoo
k
s
: pas
s
assignment e
x
pressi
o
n
t
o the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan
C
a
r
p
enter
buf_size: intr
o
duce get
_
a
r
ra
y
_
s
ize_bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
p
enter
capp
e
d:
f
ix h
o
w
t
h
e min() macro is
handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
Carpente
r
buf_size: db: Use the -
-
spammy o
p
tion
t
o fill the databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
bu
f
_
s
ize
:
mer
g
ing two same size
b
uffers give
a
sa
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_
s
ize: record static var
i
a
b
les in the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carpent
e
r
proc_crea
t
e:
f
i
x a whitespace
i
ssue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n
C
arpenter
b
u
f
_
si
z
e, db: if
a
st
r
u
c
t mem
b
er size is set
i
n th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
D
an Carp
e
nter
chec
k
_ke
r
nel: fix ERR_PTR() false po
s
itiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carp
e
nter
l
ogical_
i
nstead_of_bitwise: foo
=
(1 <
<
x) &
&
y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
D
an Ca
r
penter
locking: _bh lock functions are
nestabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpe
n
ter
extra: introduce filt
e
r_r
a
nge_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
kerne
l
: handle IS
_
ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db_info:
rem
o
ve unused prin
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
nter
e
xt
r
a
, functi
o
n_hook
s
, db: change c
r
oss fu
n
ction ana
l
ysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
d
b: remove th
e
ret
u
rn_i
n
fo table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
sma
t
ch_data: update the data dir
e
ctor to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: caller_
i
nfo
:
fix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
db:
t
ype_size
:
silence a perl
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
en
t
er
db: caller_info: update fixup_kernel
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get
_
imp
l
ied_range_list()
sh
o
uld
r
eturn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
user_
d
a
ta
:
use the n
e
w
return_
s
t
ates da
t
ab
a
se table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: sy
s
calls are
a
s
ource
of us
e
r d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpent
e
r
user
_
data:
if
"ptr
"
is user data
t
hen "
*
ptr"
i
s
user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
us
e
r_dat
a
: add is_user_m
a
cro() s
t
ub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
us
e
r_da
t
a: skb->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
extra: make
a
fun
c
tion
stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db: create return_sta
t
e
s
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
d
b
: add get_
r
etu
r
n
_
i
d
() and re
t
u
r
n ma
r
kers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
e
r
db: imp
r
ove err
o
r
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db:
c
aller_inf
o
changes: st
o
re
t
he caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Car
p
e
nter
db: add re
t
urn_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
e
nter
err_ptr_deref: remove duplicate conflicting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan
C
a
r
pent
e
r
f
u
nction
_
hooks: mo
v
e
r
egistration to the
r
i
g
ht place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan
Carpenter
d
e
r
e
f
_ch
e
ck: re
m
ove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
mi
s
c white
s
pac
e
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
ent
e
r
implied
:
cha
n
ge
d
ebugg
i
ng o
u
tp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
chec
k
s:
get ri
d
o
f
some de
l
ete_state() cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
deref
_
ch
e
c
k
:
fix
a false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sparse: comment out an internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
arpenter
Mer
g
e git:
/
/git
.
kernel
.
org/pub/scm/d
e
vel/sparse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*
new* assig
n
_vs_
c
om
p
are: if ((x
=
<c
o
nstant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Ca
r
pe
n
ter
ran
g
es: int
r
oduce rl_c
o
ntiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpent
e
r
der
e
f_check: silence some fal
s
e
p
ositive on cross fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
enter
fill_db_call_implies: check correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
fill_db_re
t
urn_impl
i
es:
delete the
correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
D
an Carpenter
pointer_math: check ALIGN()
macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
he
l
pe
r
: handle if (WARN_
O
N
(
i
=
= ARRAY_S
I
ZE(foo
)
)
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carp
e
nter
a
ssigned_
e
xpr: mo
v
e check_ass
i
gned_expr
(
) t
o
smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
ma
c
ro_side_effec
t
s: only
e
nable
wh
e
n --spamm
y
is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carp
e
nter
ignore_side
_
ef
f
ects:
a
d
d s
o
me mo
r
e
macros tha
t
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size:
add --sp
a
mmy to v
a
l
idation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
over
f
low: remov
e
strncpy() false p
o
sit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
Merge branc
h
'de
v
el'
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
arpenter
buf_siz
e
: tur
n
off buf size
f
or &addresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpente
r
flow:
h
andle the __
n
o
r
et
u
rn__ at
t
r
ibute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
buf_size:
r
e
move the
&* and
[0]
from around th
e
p
o
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arpente
r
s
m
_b
u
f:
do
n
't return the
m
aximum
s
to
r
e buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Carpenter
buf
_
s
ize: retu
r
n the
size of &f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_size: add k
m
al
l
oc_array() and sock_
k
malloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
buf
_
si
z
e
:
if the
member size i
s
n
o
t known then
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpe
n
ter
M
erge branch 'bu
f
_
size' i
n
to de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpenter
Mer
g
e git://git
.
k
ernel
.
or
g
/pub/scm/
d
evel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: fi
r
st
g
et t
h
e
s
ize in
b
ytes th
e
n
c
onve
r
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf
_
size: remove
cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
f
ix bytes_per_element() for
s
trings
a
nd array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: delete some dup
l
icate cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size:
p
refer the
decla
r
ed array
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rp
e
nter
buf
_
size: strcpy() onl
y
sets the size
of the d
e
s
t
in
a
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf
_
s
ize
:
ignore casts in get
_
array_size
_
bytes(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: create an
ele
m
ents
_
t
o
_b
y
tes()
funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
e
r
buf_siz
e
: s
e
p
a
rate
b
ytes_per_element() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: using ->bit_size doesn't w
o
r
k
for void point
e
r
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpen
t
er
buf_size: use get_stored_size_bytes() direct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next