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_resource_size(): prod people to use resource_size()
2010-03-22
Dan Ca
r
penter
*new* check_resource_size():
p
ro
d
p
e
op
l
e to use resou
r
c
e_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
D
a
n
Carpenter
e
x
tra: as
s
u
me impossib
l
e things are imposs
i
b
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Car
p
e
n
ter
e
rr_ptr: fix bt
r
fs fal
s
e pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: han
d
l
e
when an err_ptr is re
a
ssign
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
*
n
ew* check_db
_
info
.
c prints o
u
t stuff that wi
l
l
be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
cleanup: mo
v
e stu
f
f
from
s
mat
c
h_extr
a
.
c
t
o
smatch_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
whites
p
ace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpenter
equ
i
v: fix
c
rashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
c
heck_o
v
erflow: malloc(
)
=> __
a
lloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
t
er
sma
t
ch
.
c: don't le
a
k those 10 byt
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
assigned_expr: fi
x
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
a
rpenter
kernel: free_area() doesn't
c
a
ll
k
free
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
a
r
pe
n
ter
*new* chec
k
_return
.
c: complain if you d
o
n
't check
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
math
:
make g
e
t
_implied_value() work for pointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Ca
r
pe
n
ter
m
ath: clea
n
up
:
create separate _get_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpen
t
e
r
mat
h
: handle
modulus '%
'
operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Car
p
e
n
ter
m
a
th
:
handle EXP
R
_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
arpenter
m
a
th:
c
leanup: make
h
andling
b
i
nops a switch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
m
a
th: c
l
e
a
nup create separate handl
e
_bi
n
op() fun
c
t
io
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cleanup
.
use cast_to_type(
)
instead of re-imp
l
imenting
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: c
l
eanup
.
separate ha
n
d
l
e_preop() in
t
o i
t
's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
e
quiv
:
fix crashing bug introduce
d
in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
Create
separate
s
match_mat
h
.
c
f
i
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
en
t
er
update smatc
h
_data
/
f
o
r
2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
r
p
enter
implied: cle
a
n up make a separa
t
e
h
andle
_
z
ero_c
o
m
p
ari
s
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: handle
c
omparisons with
z
ero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: cle
a
n
up se
p
a
r
at
e
set_
e
xtr
a
_true
_
fals
e
() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
equ
i
v
,
impl
i
ed: fix han
d
ling borrowed implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Car
p
ente
r
i
m
pl
i
ed: don't
update the
equivelent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
arpent
e
r
rm validatio
n
/s
m
atch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpen
t
er
e
q
uiv: don't overwrite the impli
c
ation info
r
mati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
r
ena
m
e __set_st
a
te() =>
__set_s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
er
rename clone_state()
=> clone_s
m
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equ
i
v: pre
s
erve
-
>equiv
ac
r
oss merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use the eq
u
ivalent
v
ariable
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
remove trackers from -
>
equiv whe
n
they
a
re
no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carp
e
nter
F
ix cras
h
ing bug
caused by last co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
store informati
o
n in the new dinfo->equiv th
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
intr
o
duc
e
a
d
d_tracker_exp
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpenter
mak
e
set_state() and friend
s
return t
h
e
new sm_stat
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
C
a
r
pente
r
introduce clone_
t
racker_list(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpe
n
t
er
a
dd
"
equiv" field to
s
truct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
move
t
h
e
allo
c
_
d
info() functions to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Car
p
en
t
er
che
c
k_sig
n
e
d
: warn
about comparing
(unsigned variabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
u
p
date validation/s
m
_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
*new* smatch_scripts/show_errs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpe
n
ter
*new* s
m
atch_scr
i
pts/whites
p
ase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-lineno o
p
ti
o
n to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
v
a
lidation/sm_re
d
undant_ch
e
ck
.
c no
w
it's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
penter
check_
p
r
e
c
e
d
ence: pri
n
t
one w
a
rning message i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpent
e
r
check
_
sig
n
e
d
: handle
unsigned 64 bit variab
l
es better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
ge
t
_
v
alue() ha
n
dle s
o
me m
o
re math oper
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpe
n
ter
m
a
ke redundant n
u
ll checks before kfree() a
n
"in
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Carpenter
ch
e
ck_signed: Elimina
t
e
some false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
prec
e
dence
:
check fo
r
&& vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
imp
l
i
cations
:
improve handling of comparisons wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
r
p
e
nter
u
se implicatio
n
s from P
O
STOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
conditions: parse EXPR_
P
OSTOPs after evaluat
i
n
g
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carp
e
nter
check
_
overflow: remove
false
p
ositives caus
e
d by printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow: impro
v
e
h
a
ndling of while(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remov
e
s
t
range lo
o
p m
e
ssage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
er
kp
a
tch
.
sh: a
s
k about a
l
loc() failures specific
a
ll
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an C
a
rpenter
che
c
k
_
deref:
handl
e
__GFP_NOFAIL (remove fa
l
se
p
ositives
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Da
n
Ca
r
p
e
nter
chec
k
_deref: handle
p
oin
t
e
rs use
d
a
s arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
sm
a
tch_fl
o
w: clean up
.
m
e
r
g
e
common c
o
de in
h
andle_pre
_
loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improve imp
l
i
e
d_condition_true()
for pre
a
nd post o
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while countdown loo
p
s
: handle
l
oops where the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpente
r
handle for l
o
ops wher
e
we don't know t
h
e upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
s
matc
h
_flow:
handling pre
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Ca
r
penter
extra: comparing somet
h
ing to zero
does
n
't mean i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
n
t
er
check_overflow:
relax rule
s
on if (
p
tr <
&
array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extr
a
: handle l
o
ops l
i
ke while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n C
a
rpe
n
ter
clean up:
me
r
ge a couple f
u
nctio
n
for h
a
ndling
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
C
arp
e
nter
fix handl
i
ng o
f
(2 <= x) c
o
mpari
s
ons
w
h
ere
t
h
e
v
ariable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpe
n
ter
check_signed: disable most
o
f the
n
ew warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
D
a
n
Carpenter
g
e
t
_
typ
e
() fix
c
rash
on gett
i
ng pointer types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nte
r
get_value() more int t
o
long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpent
e
r
get_ty
p
e() fix point
e
r
han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
F
i
x get_value()
f
or
(
(unsigned i
n
t) -1
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carpenter
type
_
max(): handle unsigned lon
g
l
ong
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpente
r
get rid of --rare option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carpenter
renam
e
get_sin
g
le_
v
alue_
f
rom_r
a
nge() => g
e
t_sin
g
le
_
value_f
r
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpe
n
ter
for loops: add a sp
e
cial case for "
f
or(i
=
0;
i
<
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carpenter
check_sign
e
d: check in
t
types
a
s well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpente
r
smatch
.
c:
u
se strncpy() instea
d
of s
t
rcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Car
p
enter
debu
g
:
r
ename __smatch_print_value
(
)
=>
__smatc
h
_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check_signed: expr->op is type int not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Introduce get_f
u
zzy_m
i
n
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
p
r
ecedence: cut down a few
f
alse positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
n
ew* check_le16:
pri
n
t an erro
r
f
or
d
ouble c
p
u_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
*
new* check
_
mod_timer
:
pri
n
t an warning if so
m
e
o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpe
n
ter
stri
p
_e
x
pr(): re
m
ove force casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n C
a
rpenter
kp
a
t
ch
.
sh: figu
r
e
the
email addr
e
ss out automaticall
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
*ne
w
* smatch_scr
i
pts
/
kpatch
.
sh: scr
i
pt for
m
ailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Ca
r
pent
e
r
Print
fewer messa
g
es abo
u
t unrea
c
hed
co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Car
p
enter
sm
a
tch_conditions:
small
c
lea
n
ups and add debug code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix
W
AR
N
_ON
handling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
a
r
pent
e
r
smat
c
h
_
t
e
mpl
a
t
e
: small changes to comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpen
t
er
clean up the mak
e
file a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
enter
hand
l
e assignments like
:
foo = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next