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
*new* check_macros: find macro precedence bugs
2010-03-16
Dan
Carpenter
mat
h
:
c
lean
u
p: create se
p
a
r
ate _
g
et_implie
d
_
v
alue
(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carp
e
n
te
r
math: handl
e
modulu
s
'%' ope
r
at
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: handle E
X
PR_
P
OSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
c
lea
n
u
p: make handling bin
o
p
s
a switch(
)
s
tate
m
ent
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Car
p
enter
math: cleanup create
separate handle_b
i
no
p
() functi
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanu
p
.
u
s
e
cas
t
_
to_ty
p
e() instead of re-imp
l
imenting
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
separ
a
t
e ha
n
dle_preop() into it's
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equi
v
: f
i
x
crash
i
ng
bug intr
o
duced in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
Create separate smatch_math
.
c fi
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update
s
matc
h
_data/ for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
impli
e
d:
c
le
a
n
u
p
m
ake a s
e
p
arate
h
andl
e
_zero_co
m
parison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
n
ter
equ
i
v: han
d
le comparisons wi
t
h zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
equiv:
c
le
a
nup separate s
e
t_
e
x
tra_true
_
false(
)
into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
equiv
,
implied:
f
ix handlin
g
bor
r
owed implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Ca
r
penter
implied
:
don't up
d
ate the equivelent sta
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm
vali
d
ation/s
m
at
c
h_c
l
oset/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
eq
u
iv: don't overwrite the
i
m
pli
c
ation
inf
o
rm
a
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename __se
t
_state() => __set_
s
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
r
ename clone_sta
t
e() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equiv: preserve ->equiv ac
r
oss merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpenter
Use
the
e
quivalent variable cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
remove trackers
f
rom ->equiv when they
are no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
F
ix cra
s
hing bug caused b
y
last
commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
store infor
m
ation in the n
e
w dinfo->e
q
uiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
e
n
ter
introduce add_trac
k
e
r
_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpente
r
m
ake se
t
_sta
t
e() an
d
friends retur
n
the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carp
e
nter
i
n
trodu
c
e
clon
e
_
t
racker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Carpenter
add "equiv" fi
e
ld to
struct data_i
n
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
mov
e
the alloc_d
i
nfo() func
t
i
o
ns to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
D
a
n C
a
rpenter
ch
e
ck
_
signed: war
n
a
bout comp
a
ring (unsigne
d
variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
updat
e
validati
o
n/sm_c
a
sts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
*new* smatch_script
s
/show_
e
rrs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
*new* smatch_scripts/wh
i
tespase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-lineno
o
ption to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpe
n
t
e
r
v
ali
d
ation/sm_r
e
du
n
d
ant_
c
heck
.
c now it's
"
info"
n
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
penter
c
h
eck
_
pr
e
c
e
dence: pri
n
t one warning messag
e
inst
e
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
te
r
c
heck_signed:
h
a
n
dle unsigned
6
4 bit
var
i
ables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Da
n
Car
p
e
n
ter
g
et_valu
e
()
h
andle some more
m
ath operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
mak
e
r
e
d
undant null checks before kfree() a
n
"info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpenter
c
h
eck_signed: Elimi
n
at
e
s
o
m
e
false pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
er
prec
e
dence: ch
e
ck for
&
& vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpent
e
r
im
p
licat
i
on
s
: improve hand
l
ing of
comparis
o
ns wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
use implicatio
n
s fr
o
m POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rp
e
nter
conditio
n
s: parse EX
P
R_POSTOPs
after eva
l
u
at
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overf
l
ow: remove false
po
s
i
tives
c
au
s
ed by
p
rintk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
fl
o
w: im
p
rove
h
and
l
ing of while(i--)
{
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n C
a
rpenter
r
emove strange loop messag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
kpatch
.
sh: as
k
about alloc(
)
f
ailure
s
sp
e
cifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Car
p
enter
ch
e
ck
_
deref: handle __GFP
_
NOFAIL
(r
e
mov
e
false positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
check_deref: handle pointer
s
u
s
ed as arr
a
ys
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpent
e
r
s
m
atch_flow: clean up
.
merge
c
ommon code in handle_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
imp
r
ove i
m
p
li
e
d_co
n
dition
_
true() for pre and p
o
st ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
w
hile countdown
loop
s
: handle loops wh
e
re the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
e
n
ter
handle for loops where we do
n
'
t
k
n
ow the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpente
r
smatch_flow: handling pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpen
t
er
ext
r
a: comparing som
e
thing to
zero doe
s
n't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Ca
r
penter
check_overflow: relax rules on if
(ptr < &array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
a
rpen
t
er
extra:
handle loops
like while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpen
t
er
clean up: merge a couple fu
n
cti
o
n for
h
a
n
dling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
C
a
rpenter
fix handli
n
g
o
f
(
2
<
= x)
c
ompari
s
ons where the varia
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
D
a
n
C
arpenter
che
c
k_signed: di
s
able most of the new warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan C
a
rpenter
g
e
t_type(
)
f
i
x
c
rash on getti
n
g pointer type
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpent
e
r
g
et
_
value() more int to long lon
g
mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
get_typ
e
(
)
f
i
x po
i
n
t
e
r
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpente
r
Fix get_value()
for
((unsigned i
n
t) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carpenter
t
y
pe
_
max
(
):
handle un
s
igned long long
.
(
s
ort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
a
rpen
t
er
g
e
t
r
i
d
of -
-
rare
o
ption
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
r
ename get_single_value_f
r
om
_
range() =>
get_sin
g
le_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
for loops: add a s
p
eci
a
l case for
"for(i =
0
;
i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
a
r
penter
ch
e
ck_signed: check int
t
ypes as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpenter
smatch
.
c: use strncpy() in
s
tead of strc
p
y()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
debug: re
n
ame __smatch_print_value() => __
s
matc
h
_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
check_signed: expr->op is type
i
nt
n
ot char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpe
n
te
r
Introduce
g
et_fuzzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
p
r
e
cedence: cut down a few
false
p
o
s
itive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
p
e
nter
*new* check_le16:
p
r
int
a
n erro
r
for double
c
pu_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
*new*
c
heck_mod_timer:
pr
i
nt an
warnin
g
if someo
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan
Carpenter
strip_expr():
remove
force
casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Carpenter
k
patch
.
sh: f
i
g
ure the
email address out automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Car
p
enter
*new* smat
c
h_scripts/kpa
t
ch
.
sh: script for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
p
e
nter
Print fe
w
er messages about unre
a
c
h
ed
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpenter
smatch_conditions
:
sm
a
ll clea
n
ups an
d
add debug code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
fix WARN_ON handling
s
ome more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpenter
s
m
atch
_
t
emplate:
small
chang
e
s to com
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
an Carpenter
clean up th
e
makefile
a
b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
h
andl
e
assignmen
t
s lik
e
: fo
o
= x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
smatch_s
t
a
t
es: wh
i
te
space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
smatc
h
is s
u
ppo
s
ed to
be us
i
ng "long long"
t
ypes interna
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpe
n
t
er
new_bu
g
s
.
sh: b
e
tter
f
i
lter
i
ng of smatch e
r
rors fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
handle stuff
like the kernel's
WARN_ON
(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatc
h
_extra:
f
oo =
!
!x; does not mo
d
i
fy
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
handle as
s
ig
n
ments lik
e
: foo
= !
b
ar
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
check_overflow: check
f
o
r
m
ems
e
t() issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automa
t
i
cally gen
e
rate
t
he l
i
st of func
t
ions w
h
ich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n C
a
rpenter
*
n
ew* smatch
_
script
s
/summariz
e
_errs
.
sh: script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n
C
a
rpenter
kernel: f
i
x xfs false posit
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
h
eck_overfl
o
w
: handle:
"
int *p = &arra
y
;
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpente
r
check_ov
e
rflow:
f
ix
bug in get_ar
r
ay_size_bytes
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
p
ush some m
o
re stu
f
f on
t
h
e big_
e
xpress
i
on
_
stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
h
eck_overfl
o
w: handle
c
a
sts
l
ike ((c
h
ar
*
)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next