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
cleanup: move stuff from smatch_extra.c to smatch_math.c
2010-03-19
Da
n
Carpenter
c
lea
n
up: move stuff
f
rom smatch_extra
.
c to sma
t
ch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Car
p
e
n
ter
whitespace c
h
ange
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
equiv
:
f
ix
c
rashing
b
ug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
check_ov
e
rflow: malloc() =
>
__al
l
o
c_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
t
er
smatch
.
c:
d
o
n
'
t lea
k
those 10 byte
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
C
arpenter
assigned_expr: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
kernel: fr
e
e_
a
rea()
d
oesn't c
a
ll
kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_return
.
c: c
o
mplain if y
o
u don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpen
t
er
mat
h
: mak
e
get
_
impli
e
d_v
a
lue() work for poi
n
ters better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math:
c
leanup: create s
e
pa
r
a
te _
g
et_i
m
plied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math
:
handle modul
u
s '%
'
ope
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math
:
han
d
le
EXPR_POS
T
OP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: make handling binops a switch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpente
r
math:
cl
e
anu
p
create separate h
a
n
d
le_binop()
f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: cleanup
.
use c
a
st
_
to_type() instea
d
o
f re-
i
mplimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: clea
n
up
.
separate
h
andle_preop() into
i
t's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
equi
v
: fix crashin
g
bug int
r
oduced in
8c3588
8
3a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
r
penter
Cre
a
te
separate smatch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
t
er
update smatch_data/ for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pent
e
r
implied:
c
lean up
m
ake
a
sep
a
rate handle_zero_c
o
m
p
ariso
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
equiv: handle compar
i
so
n
s wit
h
zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pe
n
ter
e
q
u
i
v
: c
l
e
anup se
p
arat
e
set_
e
xtra_true_false(
)
i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, implied: fix handling
bo
r
rowed impl
i
catio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
i
mplied: d
o
n't
update the equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpen
t
er
rm
v
a
l
ida
t
ion/smatch_clo
s
e
t/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpent
e
r
equiv: don't overwr
i
te
t
he
i
mplic
a
tio
n
in
f
ormat
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename __set_stat
e
() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpenter
rename clone_state() => clone
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
er
e
q
uiv: p
r
e
s
erve ->equiv
a
c
ross
merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
U
se the equiva
l
e
nt variab
l
e co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
remov
e
trackers from
-
>
e
quiv
w
h
en th
e
y
a
r
e no l
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
r
p
e
n
t
er
Fix cr
a
shing bug ca
u
sed by
l
a
st commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
store information in the new dinfo->equiv t
h
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
introduce ad
d
_tra
c
ker_expr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
make set_state(
)
a
n
d friends return the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
t
e
r
introduce clo
n
e_tra
c
k
er_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
add
"eq
u
iv" field to struct d
a
ta
_
in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
move the alloc_dinfo
(
) functi
o
n
s to smatch_ext
r
a
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Car
p
enter
check_signed: warn
a
bout comp
a
ring (unsigned va
r
iab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
e
n
t
er
u
p
d
ate vali
d
a
t
io
n
/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
*
n
e
w* smat
c
h
_
scr
i
pts/show_er
r
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpe
n
ter
*new* smatch_scripts/
w
hit
e
spas
e
_
o
nly
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-
l
ineno o
p
tion t
o
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
e
r
val
i
dation/sm_redundant_check
.
c now
it's "in
f
o
"
not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_pr
e
cedence: pri
n
t one warning me
s
sage i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
c
heck_si
g
ne
d
: handle unsigned 64 bit
variables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_value
(
) hand
l
e some mo
r
e math operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
make redun
d
ant null c
h
ecks befor
e
kf
r
ee() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
a
rpente
r
ch
e
ck_signed: Elim
i
nate
some fa
l
se positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carp
e
nt
e
r
pre
c
edence
:
c
h
e
ck for && v
s
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
implicat
i
ons: imp
r
ove handl
i
ng of comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use i
m
pli
c
a
tions from POSTO
P
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
c
o
ndi
t
ions: parse E
X
PR_
P
OSTOPs after e
v
aluat
i
ng the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check
_
o
ver
f
l
ow: remove false positiv
e
s caused by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Car
p
ent
e
r
fl
o
w
:
improve ha
n
dli
n
g of
whil
e
(i--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
rem
o
ve strange loop message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpente
r
kpatc
h
.
s
h
: ask ab
o
ut alloc() failur
e
s specifically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n C
a
r
pente
r
c
h
eck_deref: handl
e
__GFP
_
NOFAIL (rem
o
ve
false positives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpent
e
r
check_d
e
r
ef
:
hand
l
e pointers
used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
smatch_flow: clean up
.
merge comm
o
n code in hand
l
e_
p
re_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
im
p
rove implied_condition_true(
)
f
o
r
pr
e
and post o
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carpenter
while
c
oun
t
down loops:
h
andle loops wher
e
the s
t
art
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Car
p
ente
r
handle
f
or loops where we don't
k
now
t
he u
p
per limi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an
Carpenter
smatch
_
flow: handling pre loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpenter
extra: comparing somet
h
ing
to zero
do
e
sn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Car
p
enter
check_overflow: rel
a
x ru
l
e
s
o
n if (ptr <
&
a
r
ray
[
max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Car
p
e
n
ter
extra: hand
l
e
l
o
ops
like while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Ca
r
penter
c
l
ean
u
p:
merge
a
couple functio
n
for handling fo
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpent
e
r
f
ix ha
n
dling of (2 <= x)
c
omparis
o
ns where the variab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
check_s
i
gned: disable m
o
st of
t
he new warnings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Car
p
enter
get
_
type() f
i
x crash on
g
etting pointe
r
t
y
p
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carpe
n
ter
g
e
t
_
value() more int to lo
n
g long mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an
C
arpenter
get_type()
fix poin
t
er handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpente
r
Fi
x
get_value() for (
(
unsigned int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pent
e
r
type_max(): h
a
ndle unsigned long lon
g
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
get rid of --rare opti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpenter
r
ename get_single_value
_
f
r
o
m_r
a
n
g
e() =
>
get_sin
g
le_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpe
n
t
er
f
or loops: add a s
p
ecial case for "f
o
r(i
= 0; i
<
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
check_signed: chec
k
int types as w
e
ll
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
smatch
.
c: us
e
str
n
c
p
y(
)
i
nstead of strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
d
e
bug: rena
m
e __smatch_print
_
value() => __smatch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpente
r
check_signed:
e
x
pr->op is
t
ype int not char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
I
ntroduce get_fuzz
y
_
min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
p
r
ecedenc
e
: cu
t
do
w
n a few false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
penter
*new* check_l
e
16
:
print a
n
error
for dou
b
le c
p
u_
t
o_le1
6
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* check_mod_timer: prin
t
an warn
i
ng if
s
omeone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
D
an C
a
rpenter
s
t
rip_expr(): remov
e
f
orce c
a
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carp
e
nt
e
r
k
patch
.
sh: figure the email address out a
u
tomati
c
ally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpen
t
er
*new
*
s
m
atch_scrip
t
s/kpatch
.
sh: scrip
t
for m
a
iling
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
C
a
rpenter
Print fewer
m
essages about unreache
d
c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
t
er
smatch_
c
ond
i
t
ions: small
c
l
e
anups and add debug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
f
i
x
WARN_ON
handlin
g
some more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
sma
t
ch_tem
p
l
ate: sma
l
l chang
e
s
t
o
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Da
n
Carpent
e
r
clean up the ma
k
efile a
bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
Carpenter
handl
e
assignments lik
e
: foo =
x
< 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch_states: white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
pe
n
ter
s
m
atch
i
s
supposed
to be using
"
lo
n
g long" types internally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new_bu
g
s
.
sh: better filtering of
s
m
atch errors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
handle stuff lik
e
the kernel
'
s WA
R
N_O
N
(
)
m
a
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
C
arpe
n
te
r
s
match_extra: foo = !!x; doe
s
n
o
t
modify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next