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
dev_queue_xmit: turn on by default
2012-10-25
Dan Car
p
enter
dev
_
queue_xm
i
t: turn on
b
y default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
nter
db: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpe
n
ter
signed:
t
iny
w
hitespac
e
fi
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absolute: f
i
x
parameter info counting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpen
t
er
absolute:
fix how modifi
c
ations ar
e
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpenter
d
ebug: fix cut and
p
aste bug i
n
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Carpenter
t
y
pe: fix get_binop_type() for bit shift o
p
erations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan
C
arpenter
white
s
pace: add a newli
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpe
n
ter
a
bsolute: track
t
he abs
o
lute l
i
mits that variab
l
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan C
a
r
p
enter
math: improve ho
w
ge
t
_abs
o
l
u
te_min/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: improve h
o
w known lo
g
ical operat
i
ons are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan
Carpenter
ty
p
e:
s
implify get_binop
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Da
n
Carpenter
type: impro
v
e han
d
ling of typ
e
promotion
o
n binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
penter
extra: de
l
ete some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
p
e
n
t
er
rang
e
s: par
s
e the ranges li
s
t
correctly if it o
n
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
math:
k
no
w
n conditions are equal to
o
ne
or
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
math:
handle select st
a
teme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper: improve printed m
e
ss
a
ges a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
extra: handle asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpenter
derefere
n
ces_param: hand
l
e
strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ra
n
ges: kill the "Err
o
r invalid r
a
nge m
e
ssage"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpente
r
assigned_expr:
i
gnore += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
functio
n
_hooks:
w
hit
e
sp
a
c
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
funct
i
o
n
_hook
s
: use
t
he
s
t
rippe
d
func
t
ion call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db
,
buf_
s
i
ze, parse_call_
m
ath: track the size
of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_implied_ran
g
e_list: use
t
he new f
u
nctio
n
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an C
a
r
pen
t
er
implied_
v
alue: don't get confu
s
ed by c
a
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
db/return_sta
t
es: fix re
t
urn values
for
U
SER_
D
ATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carp
e
nter
f
unc
t
ion_hooks: clean u
p
some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Ca
r
penter
fun
c
tion_hooks: introduce get_implied_re
t
ur
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpen
t
er
misc: white
s
pace
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpenter
db_
c
aller_i
n
fo:
add some comm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Carp
e
nter
db, function_hooks: pass assignm
e
nt ex
p
ression to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
buf
_
siz
e
: introduce ge
t
_array_siz
e
_bytes_mi
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Hors
t
H
.
von B
r
and
Ins
t
a
ll cg
c
c
t
oo
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpen
t
e
r
ca
p
ped:
fix ho
w
t
h
e mi
n
() macro is han
d
led
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
buf_size:
d
b: Use th
e
--s
p
ammy op
t
ion to fill the d
a
t
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpente
r
buf_s
i
ze
:
merging two same
size buffers giv
e
a
s
ame
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
bu
f
_size: record static variables in t
h
e
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nter
proc
_
create:
fix
a
w
hitespace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carp
e
nte
r
bu
f
_size, db
:
i
f
a s
t
ru
c
t member s
i
ze
is set in t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
c
heck_kernel
:
fi
x
ERR_PTR() false po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
D
an Ca
r
p
e
nter
l
ogical_instead_of_bitwise
:
foo = (1 << x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpe
n
t
e
r
locking: _bh
lock func
t
ions ar
e
nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpe
n
ter
ex
t
r
a
: introduce filter_ran
g
e_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pen
t
er
kernel: handle IS_ERR(
)
proper
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpent
e
r
db_i
n
fo: remove unu
s
ed prin
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
extra, func
t
ion_hooks, db:
change
cros
s
function analys
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db:
r
emo
v
e the ret
u
r
n
_inf
o
t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
sm
a
t
ch_data: u
p
dat
e
th
e
data director to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
d
b: caller_info: fix more f
a
ll out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
pe
n
ter
db: ty
p
e_size: silence a pe
r
l warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
call
e
r_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
e
xtr
a
:
get_implied_range_list
(
) sho
u
ld return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpente
r
user_d
a
ta: use the new return_stat
e
s
database ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: s
y
scal
l
s
are a
s
ource of u
s
er da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
nter
user
_
data
:
if "p
t
r
"
is user d
a
ta then "*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_
d
a
t
a: add i
s
_user_
m
acro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Ca
r
penter
u
s
er_data
:
s
kb->d
a
t
a is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
extra: make a functio
n
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: create return_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
penter
db: add ge
t
_return_id() and return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: imp
r
o
ve error m
e
s
sa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ca
l
ler_info
c
hanges: store the caller, p
a
ram =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: add r
e
t
urn_values
t
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpen
t
e
r
e
rr_ptr_
d
eref: remove duplicate
c
onflictin
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
an Ca
r
pent
e
r
functi
o
n_
h
ooks: move registr
a
ti
o
n to the right
p
lace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Om
a
ir Moham
m
ed Abdullah
F
ix bug in Makefile th
a
t causes linking t
o
fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_
c
hec
k
: remove dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arpenter
misc
w
hite s
p
ac
e
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arpenter
impl
i
ed: c
h
ange debu
g
ging ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: get rid of
some delete
_
state(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
dere
f
_ch
e
ck: f
i
x a false
positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Chri
s
t
o
pher Li
Fix a
b
ug
w
i
th variab
l
es n
a
m
e
d "x
8
6_64
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Ca
r
pen
t
er
sp
a
rse: comme
n
t out
a
n intern
a
l erro
r
messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge g
i
t:/
/
g
it
.
kern
e
l
.
or
g
/pub/scm/dev
e
l
/s
p
a
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
Carpen
t
er
*new* assign_vs_com
p
are: if
(
(x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
te
r
ran
g
e
s
:
i
n
t
ro
d
uce rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
deref
_
c
h
e
ck: s
i
lence some fals
e
positive
o
n cross fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
C
arpenter
fi
l
l_db_call_i
m
plies: check correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpenter
fill
_
db_return
_
implies: d
e
lete th
e
c
orrect
t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Ca
r
p
e
nter
pointer_math:
chec
k
AL
I
GN() macro
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan
Carp
e
nter
he
l
per: handle i
f
(W
A
RN_ON(i
=
=
ARR
A
Y_
S
IZ
E
(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonath
a
n N
e
u
schä
f
er
sma
t
ch_scripts
:
fi
x
s
pell
i
ng
o
f
"
us
a
ge"
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
Neusch
ä
fer
smatch: fix sever
a
l
typo
s
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Ca
r
p
e
n
t
er
assigne
d
_exp
r
: move check_assigned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpenter
macro_side
_
effects: only
e
nable w
h
en -
-
s
p
ammy is
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carp
e
n
t
er
ignor
e
_
s
id
e
_e
f
fects: add
som
e
more macros that hav
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpe
n
ter
buf_
s
ize: add
--spammy t
o
validatio
n
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
ove
r
flow
:
remove str
n
cpy() false positives
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 Carpe
n
ter
buf_
s
ize: turn off buf size
f
or
&
addresses u
n
less
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
flow
:
handle the __nore
t
urn
_
_ at
t
rib
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf_size: r
e
move the &
*
and [0]
from ar
o
u
nd the poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KO
S
AKI
M
otohiro
sparse: Ad
d
'err
o
r
' to ignored attribute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
o
toh
i
ro
sparse
:
A
dd
'__vector_size__' to
ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n C
a
r
p
enter
sm_buf: do
n
't return the maximum store
b
u
ffer
s
ize
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpent
e
r
buf
_
s
i
ze: ret
u
r
n
t
h
e size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f_siz
e
: add kmalloc_
a
rray() an
d
sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
b
u
f_si
z
e: if the member
size is
not known th
e
n st
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next