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
kernel: free_area() doesn't call kfree()
2010-03-17
D
a
n C
a
rpenter
kernel:
free_are
a
(
)
doesn't call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
a
r
penter
*new* check_return
.
c:
c
o
m
plain if you
do
n
't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
ente
r
math:
m
a
k
e get
_
implied_va
l
u
e() work
for poi
n
ters bett
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: cle
a
nup: c
r
eate separate
_
get_implied_
v
alue(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handl
e
mod
u
lus '%
'
o
p
e
rations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math
:
hand
l
e EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cleanup: m
a
ke handling b
i
nops a s
w
itch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math
:
clean
u
p cre
a
te
s
eparate
h
andle_binop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cl
e
anup
.
use cas
t
_to_type() inste
a
d of r
e
-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carp
e
nter
math: cleanup
.
separate handle_preop() into it's o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
n
ter
equiv: fix c
r
ashing bu
g
intro
d
u
ced in
8
c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create sep
a
rate smatc
h
_
m
ath
.
c fil
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pent
e
r
up
d
ate
s
match_data/ for
2
.
6
.
3
4
-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
p
enter
implied
:
c
lean up ma
k
e a separate handle
_
ze
r
o
_
compari
s
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
e
q
u
iv: h
a
ndle compari
s
ons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
ar
p
ent
e
r
equiv: cleanup separate s
e
t_extra_tru
e
_false
(
) into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
e
q
u
i
v
,
implied: fix han
d
l
ing b
o
rrowed implicatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carp
e
nter
implied: don't update the equivelent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Ca
r
p
enter
r
m vali
d
ation/smat
c
h_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
rpen
t
er
equiv: don't o
v
erwrite the impli
c
ation information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
re
n
ame __set_state() => __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
rename clone_
s
tate() =>
c
lo
n
e_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equ
i
v:
p
rese
r
ve ->equiv
a
cr
o
s
s
m
e
rges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
Use
t
he equivalent variable
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
remove track
e
r
s from -
>
e
quiv when
t
hey are no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
Fix
c
r
ashing bug caused by l
a
st co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
a
rpenter
store information in the new dinfo->equiv thin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
i
ntr
o
duce add_tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arp
e
n
t
er
make se
t
_state() and f
r
i
ends
return th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
ter
in
t
ro
d
uce clone_t
r
acker
_
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
add "e
q
u
i
v" field to struct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
a
r
penter
mov
e
the alloc_dinfo() fun
c
tions
t
o
smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpent
e
r
check
_
signed: warn about comparing (
u
ns
i
gn
e
d v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpen
t
er
upda
t
e validatio
n
/sm_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n C
a
r
p
ente
r
*n
e
w* smat
c
h_scripts/sh
o
w_e
r
rs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
*
new*
smatc
h
_scripts/whitespa
s
e_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-lineno option to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
v
alida
t
ion/sm
_
r
e
dun
d
ant_c
h
eck
.
c now it's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpente
r
check_precedence: print one warni
n
g me
s
sage instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nte
r
check_signed
:
handle u
n
signe
d
64 bit v
a
riables
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
D
an Ca
r
penter
get_val
u
e()
h
andle some more
m
a
t
h operat
i
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
er
make
r
ed
u
nd
a
nt
n
u
l
l ch
e
cks
before kfree() an "i
n
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
Carpent
e
r
chec
k
_s
i
g
n
e
d: Eli
m
in
a
te
s
ome false
posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
pen
t
er
precedence:
check for
&& v
s
&
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carp
e
nter
i
m
plications: improve handling of
com
p
a
r
isons wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
use
i
m
plica
t
ions from POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpe
n
t
er
co
n
ditions: par
s
e EXPR_POSTOPs a
f
t
er evaluating
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
c
h
eck_over
f
low:
remove
f
a
lse positives ca
u
s
e
d by pr
i
ntk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow: improve ha
n
dling of while(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
pent
e
r
r
e
move stra
n
ge loo
p
message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
kpatch
.
s
h:
a
sk about alloc()
f
ailures specifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
c
h
e
ck_der
e
f
:
handl
e
__
G
FP_N
O
FAIL
(
re
m
ove fal
s
e positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
check_d
e
r
e
f: handl
e
pointe
r
s u
s
ed as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arp
e
nter
sm
a
tch_flow: clea
n
up
.
merge common code in h
a
n
dle
_
pre_loop
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n
C
a
r
pent
e
r
improve im
p
l
i
e
d
_condition_t
r
ue() for pre and post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
w
hil
e
coun
t
down
loo
p
s: handle loops where the st
a
rt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
pen
t
er
handle for loops where we don't know the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_f
l
ow: handling pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpen
t
er
e
xtra: c
o
mparing something to zero doesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
an Carpenter
chec
k
_overflow: relax rules on if (ptr < &
a
rray[
m
a
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
t
er
extra:
handle loops lik
e
while
(
i
-
-) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Carpenter
cle
a
n up:
me
r
ge a c
o
uple function for handling f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
Carp
e
nter
f
i
x handli
n
g of (2 <= x)
c
ompa
r
isons
w
here the variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
D
an Carpenter
check_signed: disable most
o
f t
h
e new warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
C
a
rp
e
nter
get_type() fix
cras
h
on
g
etting po
i
nter types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_value() more int to long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n C
a
rpenter
g
e
t_ty
p
e()
f
ix pointer ha
n
dling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
Fi
x
g
et_value(
)
for
(
(unsigned
int) -1
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_max(): handle unsigned long long
.
(sor
t
of
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpent
e
r
g
e
t rid of --r
a
re o
p
t
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pen
t
er
r
ename get_singl
e
_value_from_range() =
>
get_
s
i
ngle_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
for loops: a
d
d
a
special
c
ase for "for(i =
0
; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpente
r
check_s
i
gn
e
d: check int typ
e
s as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
s
matc
h
.
c:
use
s
t
rn
c
py() ins
t
ead
of strcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
debug: re
n
a
me __smatch_pr
i
nt_value() =>
__smatch_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check_sig
n
ed: expr->op is
t
yp
e
int not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
pe
n
ter
In
t
roduce get_fuzzy_mi
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
preced
e
nce: cut down a few
f
alse posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
nt
e
r
*new*
check_l
e
16
:
p
r
i
nt an er
r
or for double cpu_t
o
_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpent
e
r
*new* check_mod_t
i
mer:
p
rint
a
n
warning
if someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Carpenter
strip_e
x
pr
(
):
r
emove force ca
s
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n
Ca
r
penter
k
patc
h
.
sh: figure the email
a
d
dress out au
t
omatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
n
ter
*new
*
sma
t
ch_scripts/kpatch
.
sh: script
for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nter
Print fewer messages abou
t
unr
e
ached cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
te
r
s
m
atch_c
o
nditi
o
ns: small cleanups and ad
d
debug cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpe
n
t
er
f
i
x WAR
N
_ON h
a
nd
l
ing s
o
m
e
mor
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
a
r
pente
r
smat
c
h_t
e
mplate: small cha
n
ges to
c
omments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
an Carpenter
c
l
ean up the
makef
i
le a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
Ca
r
penter
h
andl
e
assig
n
ments like: foo
= x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
smatch_states: white sp
a
ce changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch
is supposed to be using
"long l
o
ng" ty
p
es i
n
t
e
rna
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
new_bugs
.
sh: better
filtering of smatch errors f
r
om
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
handle stuff lik
e
the kernel
'
s WARN_
O
N(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
smatc
h
_ext
r
a
:
f
oo = !!x; does n
o
t
modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carpent
e
r
handle assignments li
k
e: f
o
o =
!ba
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpen
t
er
check_overflow: chec
k
for memset
(
) issu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
automatically g
e
nerate
t
he list of fu
n
cti
o
ns which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan
Ca
r
pen
t
er
*new
*
sma
t
ch
_
s
cripts/summariz
e
_errs
.
sh: sc
r
ip
t
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel:
fix xfs fals
e
posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_over
f
low: h
a
n
d
le: "int *p
=
&
array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next