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
white_spaceonly: allow header files
2010-03-23
Dan Carpe
n
ter
w
hite_s
p
ace
o
nly: all
o
w header fi
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*n
e
w* strip_wh
i
tespace
.
pl: removes all t
h
e whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* check_resou
r
ce_size()
:
prod
p
eople to use resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume
i
mpossible things ar
e
impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpente
r
err_ptr: fi
x
btrfs false p
o
sitives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an
C
ar
p
enter
err_ptr:
handle when a
n
err_ptr
i
s rea
s
signed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Ca
r
penter
*new* check_db_info
.
c prints out stuff that
w
ill b
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n C
a
rpenter
cle
a
nup: move
stuff from sma
t
ch_extra
.
c to s
m
atch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
whites
p
ace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equi
v
: fix crash
i
ng bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_overf
l
ow: malloc(
)
=> __
a
lloc
_
sma
t
ch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
s
match
.
c: don't leak
t
hos
e
10 b
y
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
assigned_ex
p
r: fix
m
emory
l
eak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
pen
t
er
kernel: free
_
area(
)
doe
s
n'
t
ca
l
l k
f
ree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
enter
*new*
c
h
e
ck_return
.
c:
complai
n
if you don't ch
e
ck the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpen
t
er
math: make get_implied_value()
wor
k
for pointers
b
e
tt
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpente
r
math: cle
a
nup: create separa
t
e _get_im
p
li
e
d_value
(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: ha
n
dle
m
odulus '%' operat
i
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: handle EXP
R
_POST
O
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
arpenter
math: cleanup: ma
k
e h
a
n
dling binops a switch(
)
statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
m
ath: cle
a
n
u
p
c
r
eate separate ha
n
d
le_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an
C
ar
p
e
n
ter
math:
clea
n
up
.
use cast_to_ty
p
e
(
) inst
e
a
d
of re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: cleanu
p
.
sepa
r
ate
h
andle_preop() into it
'
s own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: fix
c
rashing bug introd
u
ced in 8c358
8
83
a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Ca
r
penter
C
r
eate separate
s
m
at
c
h
_
m
ath
.
c
file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Ca
r
penter
update sm
a
t
c
h_d
a
ta/ for
2
.
6
.
34-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpen
t
er
implied: c
l
ean up
make
a
separa
t
e handle_zero_compar
i
son
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpe
n
t
e
r
equi
v
: hand
l
e
com
p
arisons with zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
e
nter
equiv
:
cl
e
a
n
up separate set_ext
r
a
_
true_
f
alse() in
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpenter
e
q
uiv, i
m
plie
d
: fix handl
i
n
g
borrowed
i
mplications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
implied: d
o
n't update the equ
i
v
e
lent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
rm valida
t
ion/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
equiv:
don't ove
r
write the implic
a
tio
n
in
f
o
rmation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
ren
a
me
__set_
s
t
ate() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
ename cl
o
ne_s
t
ate()
=
> clone_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
eq
u
iv: preserve ->e
q
ui
v
across
m
erges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
p
enter
Use t
h
e equ
i
valent
variable code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
re
m
ove
trackers fr
o
m
-
>equiv when the
y
are n
o
long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashing
bu
g
caused
by last c
o
mmit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
stor
e
information in
t
h
e
ne
w
dinf
o
->equiv
t
hing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
C
arpent
e
r
introduce add_trac
k
e
r_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
ma
k
e set_state(
)
and friends return the
new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an
C
arpenter
int
r
oduce clone_tracke
r
_li
s
t
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add
"equiv"
f
ield
t
o struc
t
d
ata_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
t
e
r
move the alloc
_
di
n
fo() functions to s
m
atch_
e
xtra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
an Carp
e
nter
c
heck_signed:
w
arn about comp
a
ring (unsigned
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Carpenter
update validation/sm_
c
ast
s
2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an C
a
rp
e
n
ter
*
n
e
w* sma
t
ch_scripts
/
show
_
errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
*
new*
s
match_scrip
t
s/whitespase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
a
d
d -no-lineno opt
i
on to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
v
alidation/sm_red
u
n
d
ant_chec
k
.
c
n
o
w it
'
s "in
f
o" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
c
heck_prece
d
enc
e
: print
one war
n
ing
message instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
c
h
eck_signed: h
a
n
d
l
e
uns
i
g
n
ed 64 bit variables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
ent
e
r
get_va
l
ue() handle some
m
o
r
e
m
ath operatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rpenter
m
a
ke redun
d
ant null checks before k
f
ree() an "inf
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpenter
chec
k
_
sig
n
e
d: Eliminate some false positive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpent
e
r
p
r
ecede
n
c
e
: check for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implications: improve
h
andling of
c
om
p
arisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an C
a
rpenter
use impli
c
ations fr
o
m P
O
STOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
condi
t
i
o
ns:
parse EXP
R
_POSTOP
s
after ev
a
l
uating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpente
r
check_o
v
er
f
low: r
e
move false
p
ositives cau
s
e
d
b
y
printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
a
r
pe
n
ter
flow: improve handli
n
g of while(
i
--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpente
r
remove strange loop mess
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
k
p
a
tch
.
sh: ask
a
bout alloc() failures
specif
i
cally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Car
p
ent
e
r
check_
d
eref: handle __GFP_NOFAIL
(
remove false positives
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan
C
arp
e
nter
che
c
k_deref: handle pointers use
d
as a
r
rays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpe
n
ter
smatch_flow
:
c
lean up
.
me
r
ge common code in han
d
le_pre_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpenter
impr
o
ve imp
l
ied
_
condition_
t
ru
e
(
)
for pre and po
s
t o
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
w
hile countd
o
wn l
o
ops: ha
n
dle loops where the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
handle
f
or loops where we do
n
't kno
w
the upper
l
imit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpenter
smatch_flow
:
handling
p
re
l
oops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extr
a
: comparing something to zero does
n
't mea
n
it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
chec
k
_over
f
low: relax rules o
n
if (ptr < &array[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan
Ca
r
penter
ex
t
ra: handle
loops like while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan C
a
r
pen
t
e
r
clean up: merge a couple function for handling f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n
C
a
r
penter
fix han
d
ling of (2 <=
x
) compa
r
isons where th
e
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpent
e
r
che
c
k_signed: di
s
abl
e
most of t
h
e new warni
n
gs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_type()
f
ix cra
s
h
o
n g
e
tting
pointer
t
ypes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
g
et_value() mo
r
e int to lon
g
long mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
ge
t
_t
y
pe(
)
fix pointer handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
Fix get_value() for ((unsigned int) -
1
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
type_max(): handle uns
i
gned long long
.
(sort
o
f
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
get rid
o
f --rare option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
r
ename get_singl
e
_value_from_rang
e
() => g
e
t_si
n
gle_
v
alue_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
e
r
for
loops:
add a special case for "
f
or(i = 0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
check
_
signed: check
i
nt types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
nter
smatch
.
c: use s
t
rncpy() inst
e
a
d
o
f
strcpy(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
debug: rename
_
_smatch_print_value(
)
=> __smatch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
chec
k
_s
i
g
n
ed: expr->op is type int not cha
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpe
n
t
e
r
Introduce
get_
f
uzzy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
t
e
r
precedence: cut
d
ow
n
a few
f
alse pos
i
tive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpent
e
r
*ne
w
* check_le16: print an error for doub
l
e
cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Ca
r
penter
*new*
ch
e
ck_
m
od_timer: print
an
warning if some
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpent
e
r
str
i
p
_ex
p
r(): remove force ca
s
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpen
t
er
kpatc
h
.
sh:
figu
r
e
t
h
e email address
o
u
t
auto
m
atically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
*n
e
w* smatch_scr
i
p
t
s/kpatch
.
s
h: script fo
r
mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpenter
Prin
t
fewer messages abo
u
t u
n
reached code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
Carpenter
smatch_con
d
itions: small cl
e
an
u
ps and a
d
d
d
ebug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
fix WARN_ON ha
n
dling s
o
me more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Carpen
t
er
s
m
atch_te
m
pl
a
te: sm
a
ll changes to c
o
mment
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next