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
rename clone_state() => clone_sm()
2010-03-13
Dan Carp
e
n
ter
rena
m
e clone_state() =>
clone_sm
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
p
e
n
te
r
equiv
:
preserve ->equiv acros
s
merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
U
s
e
the
e
q
uivalen
t
var
i
able code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
p
e
nter
remove trackers from -
>
equiv when
t
he
y
a
r
e
no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
pe
n
t
e
r
Fix crashin
g
bug cau
s
ed by last commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
store info
r
mation in
t
he n
e
w dinf
o
->equi
v
th
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
i
n
tro
d
uce add_tracker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
ter
m
ake
s
et_state() a
n
d friends return the new
s
m
_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpe
n
ter
intr
o
duce clone_trac
k
er
_
list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
add "equ
i
v" field to st
r
u
c
t
d
at
a
_i
n
fo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
move the a
l
loc_
d
info() f
u
n
ction
s
to smatch
_
extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Car
p
enter
c
hec
k
_sign
e
d: warn about com
p
a
ring (
u
nsigne
d
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update valid
a
tion/sm_
c
asts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new*
s
match_scripts/sh
o
w_err
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
en
t
er
*new* s
m
atch
_
scripts
/
whitespa
s
e_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -
n
o-lineno option to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validatio
n
/sm_redundant_c
h
eck
.
c now it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
p
enter
check_precedence:
pri
n
t one warning m
e
ssage instea
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
c
heck_signed: handl
e
uns
i
gned 64
b
it variables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Da
n
Carpenter
get
_
value() hand
l
e some more math
ope
r
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Car
p
enter
m
a
k
e
redun
d
ant nu
l
l checks before
kfree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Car
p
e
nter
c
h
eck_signed: Elimi
n
ate som
e
f
a
lse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
prece
d
ence:
chec
k
for
&& vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
impli
c
ations: improv
e
handling o
f
comparisons wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
use implicati
o
ns
f
rom POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
co
n
ditions: parse EXP
R
_P
O
S
T
OPs after e
v
aluatin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpen
t
er
ch
e
c
k_overflow
:
remove
f
alse positives
c
aused by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
pe
n
te
r
flow: im
p
rove h
a
ndli
n
g of while(i--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Ca
r
p
enter
re
m
ove strange loop message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
kpatch
.
sh: ask ab
o
ut alloc() failures specifical
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
check_deref: handle
__G
F
P_NOF
A
IL (remove false positives
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan C
a
rpenter
c
h
eck_
d
eref
:
handle pointers used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
smatch_flow: clean up
.
merge commo
n
code in h
a
nd
l
e_pre_lo
o
p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Ca
r
pente
r
improve implied_co
n
d
i
tion
_
tr
u
e() for pre and post
o
ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
while c
o
u
n
tdo
w
n
loops
:
handle
l
oop
s
where
t
he start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpenter
handle
f
or loops whe
r
e w
e
d
o
n't know the upper limi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_
f
low:
ha
n
d
l
ing pre loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n Carpen
t
er
e
x
tra: comparing something
t
o
z
e
ro does
n
't m
e
a
n
it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_ov
e
rflow: re
l
ax rules on if (ptr < &array[ma
x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
extra: handle
loops
like while(
i
--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
clean
up:
merge a coup
l
e
f
unction
f
o
r
handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpent
e
r
fix handling of (2 <
=
x) com
p
arisons
where the
v
a
ri
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan
C
ar
p
ente
r
check_signed: di
s
able
m
ost of t
h
e
new warn
i
ngs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan
C
a
r
penter
get_type() fix crash on ge
t
ting p
o
inter types
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
a
r
penter
get_value() more int t
o
long
lo
n
g mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
get_type(
)
fix
po
i
n
t
e
r
handl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
F
ix get_value() for ((unsi
g
n
ed int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
t
y
p
e
_
m
ax()
:
ha
n
dle unsigned lon
g
l
o
ng
.
(
sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
get rid o
f
--rare
op
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
rename
g
et_single_valu
e
_from_range() => g
e
t_single_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpen
t
er
for lo
o
ps:
add a spec
i
al
c
as
e
for "fo
r
(i = 0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpent
e
r
c
h
eck_signed: check
int types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rp
e
nter
s
m
a
t
c
h
.
c
: u
s
e str
n
cpy() instead of strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
penter
debug:
r
e
name __s
m
at
c
h_print
_
value() =>
_
_smatch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
check_signed:
e
xpr
-
>op is type int not char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpenter
Introduce get_fuzzy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
precedence:
cut down a few false
p
osi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
n
e
w
* check_le16: print an error f
o
r doub
l
e cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
new* che
c
k_mod_
t
imer:
print
an warning if som
e
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Ca
r
penter
stri
p
_
e
xpr():
remove
f
orce casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Ca
r
p
enter
kpatch
.
s
h:
f
igure the email addr
e
ss ou
t
a
uto
m
atically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
*new* sm
a
tch
_
scripts
/
kpatch
.
sh: sc
r
ipt f
o
r
mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Car
p
ent
e
r
Pri
n
t fewer m
e
s
sage
s
about unreached
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Ca
r
penter
sm
a
tc
h
_condi
t
ions:
s
mall c
l
eanups a
n
d a
d
d debug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix WAR
N
_ON h
a
ndling some more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
s
m
a
tch_template:
s
mal
l
changes
to comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Da
n
Carpe
n
ter
cle
a
n
up
the ma
k
e
fil
e
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
a
rpenter
handle assi
g
nments l
i
ke: fo
o
= x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carpenter
smatch_sta
t
es: white spac
e
ch
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
ente
r
smatch is s
u
p
posed to be usin
g
"long lon
g
" types in
t
ernally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new
_
bugs
.
sh: be
t
ter filtering of
s
m
atch errors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle stuff like the kernel's WARN_ON
(
) macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
smatch_extra
:
f
o
o
= !!x;
d
o
es n
o
t modify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle
a
s
signments l
i
ke: foo = !
b
ar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Car
p
enter
check_ov
e
rf
l
ow:
check for memset() iss
u
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
autom
a
tically ge
n
erate t
h
e
list of functi
o
ns which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*new* smatch_script
s
/summarize_errs
.
sh:
s
cript for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
arpenter
kernel: fix
xfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_
o
v
e
rflow: handle: "int *p = &arra
y
;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpe
n
ter
c
heck_over
f
low:
fix bug in get_array_size_bytes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
p
ush some
m
ore stuff on the
bi
g
_e
x
pression_
s
tack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpe
n
ter
check_overflow: handle c
a
sts
lik
e
((char *)ar
r
ay)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Carpe
n
ter
check_overflow: fix assign
i
ng arr
a
ys
t
o poin
t
ers of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
C
arpen
t
er
c
hec
k
_overflow:
f
ix alig
n
men
t
b
ug i
n
g
e
t_arra
y
_size_by
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpent
e
r
check_overflow
:
prefer recent
assignments over the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
Add quotes
ar
o
und
s
tring lit
e
rals in smatch
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
c
h
eck_overflow: update strcpy
(
) and strncpy() checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
k
ernel
.
no_return_funcs: __reiser
f
s_pa
n
ic doesn't retur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_overf
l
ow: store
t
he size
i
n bytes inste
a
d
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an
Carpenter
che
c
k_ove
r
flow: don't
c
ompl
a
in about
if (ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Car
p
ente
r
smatch_
f
l
o
w: change how the big expression stack work
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
r
penter
che
c
k_
o
verflow: rename my_decl_id =>
my_size_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpent
e
r
chec
k
_overflow: wh
i
te
spa
c
e
ch
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpent
e
r
check_overflow: use the _expr()
h
ooks in
s
tead of doin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
check_ov
e
rflow:
remo
v
e some old d
e
bugging c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check
_
o
v
er
f
low:
r
ename
dest => array_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_
o
verflow
:
get_
i
nitializer_bytes(
)
=> get_initializer_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_o
v
erflow: optio
n
_
spammy =
>
opt
i
on_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpen
t
er
che
c
k_ov
e
rflow:
h
andle i
n
dexed array init
i
aliz
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
ar
p
enter
c
heck_overf
l
ow:
f
ix
endless loop parsing
"int x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next