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
db_info: remove unused print
2012-08-14
D
an Carpenter
d
b
_info: remo
v
e unused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
e
nter
extra, functi
o
n_hooks, db: ch
a
nge cr
o
s
s
func
t
i
on analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db: remove the ret
u
rn_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smat
c
h_
d
ata
:
upd
a
t
e
the
d
a
ta director to the la
t
est
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
db:
c
a
ller_
i
nfo
:
fix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
d
b
: typ
e
_size: si
l
ence a perl warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
ar
p
enter
db: ca
l
ler_info: update fixup_kernel
.
sh to the
n
ew
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
extr
a
:
get_i
m
p
lied
_
range_list() should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpent
e
r
us
e
r_
d
ata: use the new ret
u
rn_states database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
user_data:
s
yscal
l
s a
r
e a
s
o
u
rce of user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
ter
user_data: if "pt
r
" is user da
t
a then "*p
t
r" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
pe
n
ter
user_da
t
a:
add is_user_mac
r
o
()
s
t
ub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
ter
user_data: skb
-
>d
a
t
a
is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: make a function s
t
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db
:
cr
e
at
e
return_states
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
ter
d
b: add
g
et_retu
r
n
_
id() and ret
u
rn mar
k
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
ar
p
enter
db:
i
mprove e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
d
b: caller_info ch
a
nges: s
t
ore
t
he ca
l
ler, param
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
er
db: add retu
r
n_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_dere
f
: remove duplicate
c
o
nflicting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan
C
arpe
n
ter
fun
c
tio
n
_ho
o
ks: move
r
e
gistration
to th
e
righ
t
place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan
Carpent
e
r
deref_check: remove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white space
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
im
p
lied:
change debugging ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Ca
r
pent
e
r
checks: get rid of
som
e
d
elete_state() call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
der
e
f_chec
k
: fix
a
false
p
os
i
tive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
Carpenter
spa
r
s
e: co
m
ment out an i
n
ternal error mes
s
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge git://git
.
kern
e
l
.
org/pub/scm/devel/sparse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arpenter
*new*
a
ssign_
v
s_compare:
if ((x = <cons
t
ant>
)
) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rp
e
nter
rang
e
s
:
i
n
troduce rl
_
c
ontiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
t
e
r
deref_check: s
i
lence some fal
s
e positive on cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpenter
f
i
l
l_db_call_implies:
check corr
e
ct
va
r
iab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_re
t
ur
n
_impli
e
s
:
del
e
te the correct ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan
C
arpenter
p
o
inte
r
_math: check ALIGN() m
a
cro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: handle if (WARN_ON(i == ARRAY_SIZ
E
(f
o
o)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpent
e
r
assigned_exp
r
: move ch
e
ck_assigned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an
Carpent
e
r
macro_side_effects
:
on
l
y en
a
ble when --spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
ignore_side_e
f
fects: add some
m
ore macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
b
uf_size
:
add --spam
m
y to
validat
i
on tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
overflo
w
: rem
o
v
e str
n
c
p
y
() false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2012-06-18
D
an Carp
e
nte
r
buf
_
size: turn off buf size for &addresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
f
l
ow: h
a
n
d
le the __noreturn_
_
attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
C
a
rpenter
buf_size
:
remove th
e
&* and [0] f
r
o
m
aroun
d
th
e
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpen
t
er
s
m
_buf: don't retur
n
the maximum
store buffer si
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpen
t
er
buf_size: return the size of &fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
buf_size: add kma
l
loc_array() and s
o
c
k
_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
a
r
p
e
nter
buf_size:
i
f
the me
m
ber size is not known then s
t
or
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
Merge
b
ranc
h
'buf_siz
e
'
i
n
t
o
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
en
t
er
Mer
g
e git://git
.
kernel
.
org/pub/
s
cm/
d
evel/sparse/s
p
arse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_
s
ize: first get the size in bytes
then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_s
i
ze:
remove cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size
:
fix byte
s
_
per_element() for str
i
ngs and arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ente
r
buf_size: de
l
e
t
e
some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size
:
pref
e
r
the dec
l
a
red
a
rray si
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: str
c
py()
o
nly sets th
e
siz
e
of th
e
destin
a
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Car
p
enter
buf
_
size
:
i
g
n
ore casts in get_array_size_b
y
te
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf
_
size: create an elements_to_bytes()
f
unctio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rp
e
nter
buf
_
size: separ
a
te byt
e
s_per_element() into its ow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ent
e
r
buf_size: usin
g
-
>
b
i
t
_siz
e
do
e
sn
'
t
work f
o
r void p
o
inters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
b
u
f_s
i
ze
:
use get_st
o
r
e
d_size_bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
u
f
_si
z
e
:
make
g
et_st
o
r
e
d_size_b
y
t
e
s() a
s
ep
a
rate f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
p
u
l
l
byt
e
s_to_elements() in i
t
s own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
b
u
f
_
s
i
ze: calcul
a
te bytes per element bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpent
e
r
buf_size:
a
dd a ba
s
ic
vali
d
ation
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: if the siz
e
is
variable pi
c
k the
l
ar
g
er one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
buf_size: mov
e
get_size_from_
s
trlen(
)
into it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
bu
f
_
size: pul
l
get
_
size_from_init
i
alizer
(
)
into sepa
r
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
e
n
ter
buf_siz
e
: move g
e
t_stored
_
size
(
) out of get
_
array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
buf_
s
ize:
p
ull han
d
ling of normal a
r
r
a
ys
i
n
t
o sepa
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_si
z
e: move some functi
o
ns around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
buf_
s
ize
:
add modificat
i
on hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
debug:
add a way
to
d
ebug bu
f
fer
s
i
zes __smatch_buf_size(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r vs
a
n
d: warn about b
i
t
w
i
se ANDs t
h
at alw
a
y
s
give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
t
e
r
Or vs a
n
d: if (fo
o
& ZERO) is
nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
fu
n
ct
i
o
n
_hash: make it
e
asier to ha
n
dle a fi
l
e
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Da
n
Carpen
t
e
r
signed: unbreak
t
h
e ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpenter
overflow: up
d
ate validatio
n
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
f
l
o
w
: h
a
ndle s
t
ruct initializa
t
ion bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
n
ter
flow: h
a
ndle
EXP
R
_OFFSE
T
OF and
EXPR_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
a
r
pent
e
r
overf
l
o
w: ig
n
ore
"
x
= &foo[AR
R
AY_SIZE(f
o
o)]
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
o
ve
r
flow: white space clean
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an
C
a
r
pen
t
er
implied:
t
he base
s
list is not sp
e
cial
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
s
l
i
st: c
h
ange format fo
r
d
ebug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
ente
r
exp
r
essions: introduce some m
o
re expressi
o
n al
l
oc
a
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
val
i
d
at
i
o
n: update dere
f
erenc
e
check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
nter
i
m
p
li
e
d: certain state
s
should be l
e
f
t
as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rp
e
nter
slist
:
put the s
m
_state itsel
f
into ->possib
l
e not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
slist: cleanup merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Ca
r
penter
extra: don
'
t create
a
new merged e
s
tat
e
i
f
->righ
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpente
r
estates: reuse sam
e
esta
t
e f
o
r extra_undef
i
n
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
e
r
constraints:
g
et r
i
d of add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpen
t
er
c
onstraints:
remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
nstrain
t
s
:
fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
te
r
c
onstraints: add
_
r
elate
d
() s
h
ould take a related_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints
:
sort the ->related list properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
const
r
aints: re
p
lace get_co
m
mon_rel
a
tionsh
i
p() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
sli
s
t: move
add_pool() to
smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit_shift: add
test_bit() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpe
n
t
er
flow: silenc
e
f
a
lse positive
s
ca
u
se
d
by hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next