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
e
n
ter
unwind: only e
n
able
with --spammy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Car
p
en
t
er
db:
don't turn Ra
i
seE
r
ror on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
de
v
_
q
ueue_xmit:
turn on by defaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arpente
r
d
b: add a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
an
C
arpen
t
er
signe
d
: ti
n
y whitespace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Ca
r
penter
ab
s
olute: fix parameter info counti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
arp
e
nter
a
b
s
ol
u
te: fix how
modif
i
c
ations are hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
debug: fix cut and paste bu
g
in print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan
Carpenter
type:
f
ix ge
t
_
b
inop_t
y
pe()
for bit
s
hift operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Carpenter
whitespace: a
d
d a
new
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan
Car
p
enter
absolu
t
e
: track t
h
e
ab
s
olute
limit
s
that v
a
riables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan C
a
r
pe
n
te
r
math
:
i
m
p
r
ove
h
ow get_abs
o
lute_min/max()
w
ork
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math:
i
mprove how known logi
c
al oper
a
tions are han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
t
y
pe: simplify get
_
b
inop_
t
ype
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
type: improve
handling of type
promotion on bin
a
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpe
n
t
e
r
ext
r
a
:
d
e
lete some
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpen
t
er
r
a
nges: parse the
r
anges list cor
r
e
c
tly
i
f
it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
math:
known c
o
nditions a
r
e equal to
o
ne or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Car
p
e
nte
r
mat
h
: handle select statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper: improv
e
printed messages a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
nter
extra: han
d
le as
m
expre
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carp
e
n
t
e
r
d
e
r
eferences_
p
aram: handle strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ranges: ki
l
l the
"Error invalid
r
ange message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
as
s
igned_expr: i
g
no
r
e +
=
assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function
_
h
ooks: white
space
f
ix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan C
a
r
p
enter
functi
o
n
_
hooks
:
use the str
i
p
ped func
t
io
n
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
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 Carpenter
g
et_im
p
lied_ran
g
e_list: use the new
fun
c
tion hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Car
p
e
nter
impli
e
d
_
v
alue: don
'
t
get confused b
y
cast
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db/retu
r
n_states: fix
return value
s
for
USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fu
n
c
t
ion_hooks: c
l
e
an u
p
some nami
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpen
t
er
functio
n
_h
o
oks: intr
o
duce
g
et_im
p
lied
_
r
et
u
rn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpe
n
ter
misc: white
s
pace cl
e
anup
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_caller_info: add s
o
me comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpenter
db, fun
c
tion_hooks: p
a
ss
a
s
signment expressio
n
to th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carp
e
nter
buf
_
size: introdu
c
e get_arra
y
_size_
b
y
tes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
capped: f
i
x ho
w
the
m
in(
)
macro is handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf_s
i
ze
:
db: Use th
e
--spammy opt
i
on to fill
the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
penter
buf_size:
m
erging
t
wo s
a
me si
z
e buffers
g
i
v
e a sam
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpen
t
er
buf
_
size: record static var
i
ables in the data
b
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Ca
r
penter
p
r
oc_creat
e
: fix a whitespace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan
Car
p
e
n
ter
b
u
f_size
,
db: if a struct member size is set
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Ca
r
p
e
nter
c
heck_k
e
rn
e
l: fix ERR
_
PTR() false
positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logical_instea
d
_of_bit
w
ise: foo = (
1
<< x) && y; i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan
C
arpenter
locking:
_
bh
l
ock functi
o
ns are n
e
s
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
x
tra: i
n
troduce filter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
kernel: hand
l
e IS_ER
R
()
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
t
er
d
b_info: remov
e
unuse
d
p
r
int
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra, function_hooks
,
db
:
chan
g
e
cross function analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: r
e
move the return_i
n
fo table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
smatch_d
a
t
a: upda
t
e
the
data direc
t
o
r to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: ca
l
ler_
i
n
f
o: f
i
x more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
d
b:
t
ype_s
i
z
e
: silence a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpe
n
te
r
db: caller_info: update fixup_ker
n
e
l
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
extra: get_i
m
plied_range_list() should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
u
ser_data: use the
n
ew return_s
t
ates database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
enter
u
s
e
r_data: sysca
l
l
s are a so
u
rce
o
f
user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
u
s
er_data: if "ptr" is user d
a
ta th
e
n "*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
e
nter
user_data:
a
dd is_u
s
er_
m
acro() stu
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_data: skb->
d
ata is user
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Car
p
e
n
ter
extra: mak
e
a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
d
b
:
create retu
r
n
_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpenter
db:
a
dd
get_re
t
u
rn_id
(
)
and return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: impr
o
ve e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
enter
db: call
e
r_
i
nfo
change
s
:
st
o
re the cal
l
er, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: add return_val
u
es table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
r
r_ptr
_
de
r
e
f
: remo
v
e d
u
p
licate conflicting code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
fu
n
ction_hooks: move regi
s
tration to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_check:
remove dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan C
a
rpenter
misc white sp
a
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 ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
checks: get
rid of
s
ome del
e
te_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
de
r
ef_
c
heck: f
i
x a false
po
s
itiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
arpenter
sparse
:
c
o
m
me
n
t
o
ut
a
n
i
n
t
e
rnal
err
o
r m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
M
e
rg
e
g
i
t
://gi
t
.
ke
r
nel
.
org/p
u
b/scm/devel/sp
a
rse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
Carpenter
*new* assign_vs_compare: if ((x = <const
a
nt>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpente
r
r
a
nges: introduce rl_contigu
o
us()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpe
n
ter
d
eref_che
c
k: sil
e
nce some false positive on
cross f
u
nc
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpenter
fil
l
_db_
c
all_implies: check
c
orrect var
i
ab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpen
t
er
fill_db_r
e
turn_im
p
lie
s
:
d
e
l
ete the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan C
a
rpen
t
er
poin
t
er_math: check AL
I
GN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpent
e
r
helper
:
handle if (WARN_ON
(
i
== ARRAY_SIZE(foo
)
) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carpenter
as
s
ig
n
ed
_
e
xpr: move check_assigned_e
x
pr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
macro_
s
ide_
e
ffec
t
s
:
only
en
a
ble when --spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
ignore_s
i
de_ef
f
ects: a
d
d some m
o
re macros that
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
buf_size
:
add --sp
a
mmy to validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
ove
r
f
l
ow: remo
v
e strnc
p
y
() f
a
lse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
pen
t
e
r
Mer
g
e branc
h
'de
v
e
l
'
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
buf_siz
e
: turn off
b
uf
size f
o
r &
a
d
d
r
esses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
e
n
t
e
r
f
low: handl
e
the __noreturn__
attr
i
b
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arp
e
nter
buf_size:
r
e
move the &* and [0]
f
r
o
m around the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
sm
_
buf: d
o
n't return the maxim
u
m store buffer
siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carpenter
buf_size: return the s
i
z
e
of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
buf_
s
i
z
e: add kmal
l
oc_a
r
ray() and sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpe
n
t
er
buf_size: if the m
e
mber size
is not known
t
hen store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
en
t
e
r
Merge branch 'buf_size' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
ent
e
r
Merge git:/
/
g
i
t
.
k
ernel
.
org/pub/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
f
irst get the size in
bytes th
e
n convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
b
u
f
_
siz
e
:
rem
o
ve cast_rat
i
o()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
e
r
b
u
f_size:
f
ix bytes_
p
er_
e
l
e
m
ent()
f
or strings a
n
d
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next