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: improve handling of type promotion on binary operations
2012-10-09
Dan Carpenter
type: improve handling of t
y
pe promot
i
on on
bi
n
a
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpent
e
r
extra
:
delete
so
m
e
d
e
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Da
n
Carpenter
ran
g
es: parse the ran
g
es list
c
orrect
l
y
if
i
t
o
nly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
enter
math: known
c
onditio
n
s are equa
l
to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
p
e
nter
math
:
handle select stat
e
m
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpen
t
er
helper
:
impro
v
e p
r
inted messages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
extra:
h
andle
asm ex
p
ressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
dereference
s
_
param: handle s
t
rcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpent
e
r
ranges:
k
ill
the "Error
invalid range me
s
sa
g
e"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
assign
e
d_e
x
p
r
: ignore
+
= assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpenter
fun
c
tio
n
_hooks: wh
i
t
e s
p
ace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpe
n
ter
f
u
ncti
o
n_hooks: use
t
he stripped
func
t
i
o
n call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carpe
n
ter
db
,
buf_
s
ize, p
a
rse_cal
l
_math: tr
a
ck the size
of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
penter
get_implied_range_list: u
s
e the new fun
c
tion h
o
oks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carp
e
nter
i
mplie
d
_value:
d
o
n't
g
et confu
s
ed by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Carpent
e
r
d
b/return_states: fix
return val
u
es for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Ca
r
p
e
nte
r
function_hoo
k
s: clean u
p
some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpenter
f
u
nction_hooks: intr
o
duce
g
et_implied_return
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Carpe
n
ter
misc: whitespac
e
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpenter
db_calle
r
_info: ad
d
some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpe
n
ter
db, func
t
ion_hooks: p
a
ss
a
s
s
i
g
n
ment expression to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Ca
r
penter
bu
f
_
size:
in
t
roduce ge
t
_array_size
_
bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpente
r
capp
e
d
: fi
x
how the min() macro i
s
handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nt
e
r
buf_siz
e
:
db: Use the --s
p
ammy
op
t
ion to
fill th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Car
p
e
n
ter
bu
f
_
size: merg
i
ng two s
a
m
e
size
b
uff
e
rs give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpenter
buf_size: rec
o
rd static var
i
ables
i
n
the da
t
abas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
C
a
rpe
n
ter
proc_
c
reate: f
i
x a whites
p
ace iss
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan
Ca
r
pen
t
er
buf_size,
d
b:
i
f a s
t
ru
c
t member size is s
e
t i
n
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan C
a
rp
e
nter
check_kernel
:
fix ERR_PTR() false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Ca
r
penter
logical_instead_of_bitwise:
f
oo = (
1
<
< x)
&
&
y
; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
locking: _
b
h lock
functi
o
n
s
are nes
t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
extra: introduce
f
ilter_ra
n
ge
_
l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
k
e
rnel:
h
andle IS
_
ERR(
)
prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b_info:
remo
v
e unus
e
d
p
rint
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
x
tra, function_hoo
k
s,
d
b
:
change cross function
analys
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpe
n
ter
db: remove the return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
smatch_data: update
t
he data director to the
latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: caller_info: f
i
x mo
r
e
f
all out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
d
b: type_size: silence a
p
e
rl warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db: caller_info
:
u
pdate
f
i
xup_kernel
.
sh t
o
the n
e
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
extra
:
get_implied_ra
n
g
e_
l
ist() s
h
ould
r
et
u
r
n 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
use
r
_data: use the new
r
e
turn_st
a
tes database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: sy
s
c
alls are a source
o
f
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_
d
ata: if "ptr" is user
data t
h
en "*p
t
r" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpente
r
user_data: add is_
u
ser_macr
o
() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_
d
ata:
skb->data is user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extr
a
:
m
ake a functio
n
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpe
n
ter
db: cre
a
t
e return_
s
tat
e
s tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db:
a
d
d
get_re
t
u
rn_id()
a
nd r
e
turn markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nte
r
db:
improve error
mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db:
c
a
ll
e
r_info cha
n
ges: store the
c
a
l
l
e
r, param
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add return_val
u
es table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
err_pt
r
_
d
eref: remove
d
uplicate conflicti
n
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n Carpenter
function_hooks: move registration to
t
h
e
rig
h
t place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
d
eref_check: remove d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
misc white spa
c
e fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
implied: change debugging o
u
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Car
p
enter
c
h
ec
k
s: get rid of some de
l
et
e
_sta
t
e
() cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
deref_check: fix a false po
s
itive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpen
t
er
s
p
arse: com
m
ent out an internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan C
a
r
p
e
nt
e
r
Merge git://git
.
kernel
.
org/pub/scm/de
v
e
l/sparse/chris
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* assign_vs_c
o
mpare: if ((x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
rang
e
s: intro
d
uce rl_co
n
tiguo
u
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpenter
deref_check: silence some false posit
i
v
e
o
n
c
ross fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
fill_db_call_implie
s
:
c
h
eck corre
c
t variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
f
i
ll_db_ret
u
rn_implies: delete t
h
e
correct t
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan
Carpenter
pointer_math: check ALIGN() m
a
cro m
a
th
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Car
p
enter
he
l
per: handle if
(
WARN_ON(
i
== ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
assi
g
ned_exp
r
: move
check_ass
i
gn
e
d_expr() t
o
s
m
atch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_side_effects: onl
y
e
n
able when --s
p
ammy i
s
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carpenter
i
g
n
o
re_side_ef
f
ect
s
: add
s
ome more m
a
cro
s
that ha
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
buf
_
s
ize: ad
d
--spammy
to v
a
lidation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
overflow: remove strncpy() false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
M
e
rge branch '
d
evel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_size
:
t
u
rn off buf size for &addre
s
ses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
Carpente
r
flo
w
: ha
n
dle the __noreturn__ attri
b
ute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
buf_size: remov
e
the
&
*
and [
0
] from around the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf: don't return the maxi
m
um st
o
re buffer
s
i
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size:
return
t
he size of &
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
buf_si
z
e:
a
dd kmalloc
_
arr
a
y()
and so
c
k_kma
l
loc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpen
t
e
r
b
uf_size:
if the
member
size is not
k
nown then sto
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpe
n
t
e
r
Me
r
g
e
b
r
a
nc
h
'buf_si
z
e'
i
n
t
o
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge git:
/
/git
.
ke
r
nel
.
o
rg/pub/
s
c
m
/devel/spars
e
/spar
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
:
fi
r
st g
e
t
the
s
ize in
b
ytes the
n
co
n
v
e
r
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_s
i
z
e
:
remo
v
e
c
a
st_r
a
tio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Car
p
e
n
ter
buf_size: fix bytes_p
e
r
_ele
m
ent() f
o
r string
s
a
nd arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
rpenter
b
uf_
s
ize: delete some du
p
li
c
ate
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: prefer the declare
d
a
r
ray s
i
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_
s
ize: strcpy() o
n
ly sets the size of the destinat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: ignore cas
t
s in get_array_size_byte
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
z
e: create a
n
el
e
ments_to_bytes()
f
uncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
iz
e
:
sep
a
rate bytes_
p
er_element() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
bu
f
_size: using ->bit_size doesn't wo
r
k for void
pointe
r
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size: u
s
e get_stored_size_bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_
size: make g
e
t
_s
t
o
r
e
d
_
siz
e
_byte
s
()
a
separate functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
b
uf_size: pull byte
s
_to_e
l
ements() in its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_size: calculate bytes per el
e
men
t
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
pe
n
t
er
buf_size: add a
b
a
sic
v
al
i
da
t
ion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf
_
s
i
z
e: if the size is varia
b
l
e
pick t
h
e larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Ca
r
penter
buf_size:
move
g
e
t_size_f
r
om_
s
trlen()
i
nto it's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next