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
unwind: only enable with --spammy
2012-10-27
Dan Car
p
ent
e
r
unwind:
o
nly enable w
i
t
h
--
s
pammy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Car
p
en
t
e
r
db: don't turn RaiseErro
r
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan
Carpenter
dev_queue_xmit: turn o
n
b
y defaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
db: add a
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
a
r
pente
r
si
g
ned: t
i
ny whitespac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
Ca
r
p
enter
absolute: fix paramete
r
info
count
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rpenter
absolute
:
fix how modifications are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n
Carpenter
debug: fix
c
ut and paste bug i
n
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpe
n
ter
type: fix get
_
binop_type() for bit s
h
ift ope
r
atio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
white
s
pace
:
add
a
newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
D
an
C
a
rpente
r
ab
s
olute: track the absolute limit
s
tha
t
variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math
:
impro
v
e how
g
et_ab
s
olute_
m
in/max
(
)
w
ork
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
a
r
penter
math: i
m
prove how known
l
ogical operat
i
ons ar
e
hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan
Carpent
e
r
t
yp
e
: simpl
i
fy
g
et_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carp
e
nter
t
ype: improve
ha
n
dling
of typ
e
p
romotion on binar
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
Carpenter
ext
r
a: de
l
ete
s
ome debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan C
a
rpe
n
ter
r
anges: parse t
h
e
ranges
list correctly
i
f
it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: known con
d
itions are equal to one o
r
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carpe
n
ter
math: hand
l
e sel
e
c
t
st
a
tement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
an Carpenter
helper:
i
m
prove printed m
e
s
s
ages a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
e
xtra: han
d
le asm expres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
derefer
e
nce
s
_p
a
ram: handle str
c
mp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
arp
e
n
ter
ranges: kill
t
he "Error invalid range
m
e
ssage"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carp
e
nter
assigned_expr
:
ignore += as
s
ig
n
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
f
u
nction_hooks: white spac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
unct
i
on_hooks: use the stripped fun
c
tion call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpe
n
t
e
r
db, b
u
f_size, pa
r
s
e
_ca
l
l_math: track the size
o
f
returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_implied
_
ra
n
ge_
l
ist: use the new function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan C
a
rpente
r
implied_value: don't get confused by cast
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n Car
p
enter
db/re
t
urn
_
states:
f
i
x return values for USER_DA
T
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
a
n
Ca
r
penter
function_hooks
:
c
lean up some
n
amin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
D
an C
a
rpe
n
t
er
function_hook
s
: introd
u
ce get_implied_retu
r
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Ca
r
penter
mis
c
: white
s
pace cle
a
n
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpenter
db_caller_info: ad
d
some com
m
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
Carpenter
db, f
u
nc
t
ion_hooks:
pass assignment expressio
n
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan
Ca
r
pe
n
ter
buf_size: introdu
c
e get
_
ar
r
ay
_
s
i
z
e_b
y
tes_mi
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
H
orst H
.
von Brand
Install
cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carp
e
nter
capp
e
d:
fix how
t
he min() macro
i
s
handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
penter
b
uf_s
i
ze: db: Use
the
-
-spamm
y
opt
i
o
n
to fil
l
the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
bu
f
_size: me
r
gi
n
g
t
wo same size buffe
r
s give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf
_
size: record static va
r
iables in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Car
p
enter
proc_create:
fix
a whites
p
ace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
an Carpenter
buf_size,
db: if a struct member size
is s
e
t in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_k
e
rnel: fix
ERR_PTR()
fa
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Ca
r
penter
logical_instead_of_bitwi
s
e: foo = (1 << x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
D
an Carpenter
locking: _b
h
lock functions
a
re nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: introduce filter_range_l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
a
rpenter
kernel: handle IS_ER
R
(
)
prope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db_inf
o
: remove u
n
us
e
d pr
i
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
extra, fun
c
tion_
h
ooks, db: chan
g
e
cr
o
ss f
u
n
c
tion analys
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
enter
db
:
remov
e
the
return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpent
e
r
s
m
at
c
h
_
d
ata: update the data
director to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: calle
r
_in
f
o: fix more
f
a
ll out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_siz
e
: s
i
lence a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db
:
c
a
ller_info: updat
e
fi
x
up_kernel
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_implie
d
_range_list() should re
t
urn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
user
_
d
ata:
use t
h
e new return_
s
t
a
tes data
b
ase table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Car
p
enter
user_da
t
a: syscall
s
are a
s
o
urc
e
of user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_d
a
ta: if "ptr" is
user dat
a
then "*ptr" is u
s
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpe
n
ter
us
e
r_data: a
d
d
is_user_macr
o
() st
u
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
user_da
t
a: skb->data is user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xtra: make a
function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
d
b: crea
t
e return_s
t
a
tes tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
e
r
db: add g
e
t_return_id() and
r
eturn markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: improve
e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: call
e
r_info changes: store the caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
pe
n
ter
db: add
r
eturn_val
u
es table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_pt
r
_deref:
remove dupli
c
ate conflicting c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpe
n
ter
fu
n
cti
o
n_h
o
ok
s
: move registra
t
ion t
o
the
r
i
ght p
l
ace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed
A
bdullah
Fi
x
bu
g
in Makefile that causes linking
t
o
fail
commit
|
commitdiff
|
tree
2012-08-09
Dan C
a
rpenter
d
eref_check: r
e
m
ove de
a
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
nter
m
isc w
h
ite space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carp
e
nter
implied: chan
g
e debugg
i
ng output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Car
p
en
t
e
r
checks: ge
t
rid
of som
e
d
e
lete_s
t
ate() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
deref_check: fix a
false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Chris
t
ophe
r
Li
Fix a bug w
i
t
h variables named
"
x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan C
a
rpenter
sparse: com
m
ent out
a
n interna
l
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
M
e
rge git://git
.
k
ernel
.
org/pub/
s
cm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
Carpe
n
ter
*new* ass
i
gn_vs_com
p
are
:
i
f ((x
= <c
o
nstan
t
>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
ranges:
introduce
r
l_contigu
o
us()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_ch
e
c
k:
s
ilenc
e
some
f
alse positi
v
e on
cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
f
i
ll_d
b
_call_implies: check c
o
rrect variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
fill_db_
r
eturn_
i
mp
l
ies: d
e
l
e
te the corre
c
t
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n Carpenter
pointer_ma
t
h: che
c
k AL
I
GN() macro mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n
Carpent
e
r
helper: handl
e
i
f (W
A
R
N_
O
N(i == ARRAY_
S
IZE(fo
o
)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jo
n
athan Neuschä
f
er
smatch_scripts
:
fix s
p
elling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
Neuschäfer
s
match: fi
x
sev
e
ral typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_exp
r
:
move
che
c
k_assigned
_
exp
r
() to smatc
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_side_effects: only e
n
able when --spammy is
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
n
t
er
ig
n
ore_side_effects:
add some mo
r
e macr
o
s
that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
buf_size: a
d
d -
-
s
p
ammy to validation
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
o
ve
r
flow
:
re
m
ove strncpy() fals
e
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rp
e
nter
Merge bra
n
c
h 'de
v
e
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
buf_size:
t
urn off buf size for
&
addresses
u
nless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
flow: h
a
ndle the __noreturn__
attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carpenter
bu
f
_size: r
e
mo
v
e the
&* a
n
d
[
0]
f
rom aro
u
nd the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Moto
h
iro
sp
a
rse: Add 'error'
to i
g
nored
a
ttrib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse
:
Add '__vector_size__'
to i
g
nored attri
b
ut
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arpenter
sm_buf: don't
return
t
h
e maximum
store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpent
e
r
buf_size
:
ret
u
rn th
e
size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next