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
Create separate smatch_math.c file
2010-03-15
Dan Carp
e
nter
Create separate sm
a
tch_mat
h
.
c
f
i
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
n
ter
upda
t
e smatch_da
t
a
/ for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
rpenter
i
mp
l
ied: c
l
ean up
ma
k
e a
separate
handl
e
_zero_compa
r
ison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n C
a
rpenter
e
quiv: handle comparisons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpenter
e
quiv
:
cleanup
s
e
p
arate set
_
extr
a
_true_fa
l
s
e
(
) into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an Ca
r
penter
equiv, impl
i
e
d
: fix handling
borr
o
we
d
implic
a
t
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpe
n
ter
implied: do
n
'
t
u
p
d
a
te the equiv
e
lent st
a
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
rm va
l
idati
o
n/smatch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
equiv: don't
overwrite the imp
l
icati
o
n information
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpe
n
ter
rename __set_state() => __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename clone_s
t
ate() =
>
clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an C
a
rpenter
e
q
uiv: preserve ->equiv
across merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nt
e
r
Use the
eq
u
iva
l
ent variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carp
e
nter
remove trackers from ->equiv when they are no lo
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
Fix crashing
b
u
g caus
e
d b
y
last commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
s
t
ore informa
t
i
on
i
n the new dinfo->eq
u
iv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpent
e
r
introduce add_tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
t
er
make set_state() and friends return
t
he new
s
m_stat
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Ca
r
p
e
n
t
er
introduce clone_tracker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
add
"
e
quiv"
fie
l
d to struct
data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
m
ove the
a
l
l
oc_dinfo() functions to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carp
e
nter
check_si
g
ned:
w
arn about comparing (unsigned varia
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
up
d
ate validation/sm_
c
a
s
t
s
2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
*
new*
s
match_script
s
/sho
w
_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*ne
w
* smatch_scripts/whitesp
a
se_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
n
t
er
a
dd -no-lineno opti
o
n to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
va
l
idation/sm_
r
e
d
und
a
nt_c
h
e
ck
.
c n
o
w
it
'
s "info" n
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
chec
k
_precedence: print one warning message instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
c
heck_si
g
n
e
d: handle unsigned 64 bi
t
variables
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
D
an Carpente
r
get_
v
alue
(
) handle some m
o
re
m
ath operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpent
e
r
make
redundan
t
null checks before kfree() an "i
n
fo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
check_sig
n
ed:
Eli
m
in
a
te some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
pre
c
e
d
ence: check
for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
en
t
e
r
implications
:
improve han
d
ling
o
f compa
r
isons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
use
impli
c
ations f
r
o
m
POST
O
Ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
c
o
n
d
i
t
ions:
p
arse EXPR_POSTO
P
s after evaluating th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
chec
k
_
overflow: rem
o
ve fa
l
se po
s
itives caused by
p
rintk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
flow: improve
handling o
f
while(i--) { lo
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
e
nter
remove
strange
l
oop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Ca
r
pen
t
er
kpatch
.
s
h: ask about
alloc(
)
failures specifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Car
p
enter
check_
d
er
e
f: handle __GFP
_
NOFAIL (remove fa
l
se positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan
C
a
rpenter
ch
e
c
k
_
dere
f
: han
d
le poin
t
ers u
s
ed
a
s
arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_flow: clean up
.
merge common co
d
e
i
n
handl
e
_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
impro
v
e
implie
d
_
c
ondit
i
on_true() f
o
r pre and p
o
st
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
while countdo
w
n lo
o
ps: ha
n
d
le l
o
ops where the
sta
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
handle for loops where we don't know the up
p
er limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nte
r
smatch_flow:
h
andli
n
g pre
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpenter
extra: comparing somet
h
in
g
to zer
o
d
oesn't me
a
n it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_
o
verflow
:
relax
r
ules o
n
if (ptr <
&
array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
ext
r
a:
h
andle loops like
w
h
ile(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
clean up: merge a
couple funct
i
on for handl
i
ng for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan C
a
rpenter
f
i
x ha
n
dling of (2
<
= x) comparison
s
whe
r
e th
e
variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
C
arpenter
check_sign
e
d:
disa
b
le most of the
n
e
w warning
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Car
p
ente
r
g
e
t_t
y
pe() fix cras
h
on ge
t
ting po
i
nter types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpent
e
r
ge
t
_value(
)
m
ore
int to long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pent
e
r
get_type() fix pointer handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
Fix
g
et_
v
al
u
e() for (
(
unsigned
i
nt) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type
_
max():
h
and
l
e unsi
g
ned long
l
o
ng
.
(
sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
ge
t
rid
o
f --rare
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
r
ename g
e
t
_
s
ingle_value_from_r
a
nge() => get_single_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpente
r
for loo
p
s:
a
d
d
a sp
e
c
ial case for "for(i = 0; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
check_si
g
n
ed:
c
h
e
c
k
int types
a
s well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
en
t
er
smat
c
h
.
c: use strncpy
(
)
i
n
s
tead of strcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpente
r
debug: re
n
ame __s
m
atch_print_
v
al
u
e() => __
s
m
a
tch_val
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check
_
signed
:
expr->op is type
int not ch
a
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
In
t
roduce get_fu
z
zy
_
min
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
C
arpen
t
er
pr
e
c
e
d
e
n
ce: cu
t
down a f
e
w false pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpent
e
r
*new* che
c
k_le16
:
print an er
r
or for double
cpu_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
n
ew*
c
he
c
k_mo
d
_t
i
mer:
print an warni
n
g if some
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n C
a
rpenter
stri
p
_
e
x
p
r(): re
m
ove force casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan
C
arpenter
k
p
atch
.
sh: figure t
h
e e
m
ail ad
d
ress out automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
a
rpenter
*new* smatch_scripts/kp
a
t
c
h
.
sh: sc
r
ip
t
for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpen
t
er
P
rint fewer messages
a
bout
unreached code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpen
t
er
smatch_condit
i
ons:
small cleanups and
a
dd debu
g
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Carp
e
n
t
er
f
i
x WA
R
N_ON
h
andling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
s
m
atch_template: s
m
a
l
l
changes
t
o comm
e
nt
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
c
l
e
a
n up
t
he
m
ak
e
f
i
le a b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handl
e
assignments like: foo = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
a
rpent
e
r
smatch_st
a
t
e
s: white
s
p
ace
change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpenter
s
m
at
c
h is supposed to be using "long long" types internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new_bugs
.
sh: bet
t
er filtering o
f
smatch errors
f
rom
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle stuff
l
i
k
e
t
he
kernel'
s
W
A
RN_ON() mac
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
sma
t
ch_extra: f
o
o = !!x; does
not modif
y
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle assi
g
nments li
k
e: foo =
!bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
ent
e
r
che
c
k
_
overf
l
o
w
:
check for
memset() issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpen
t
er
automatically generate the list of
f
unctio
n
s which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Car
p
enter
*new* smatch_scripts/summarize_errs
.
sh: script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel: fix xfs false
p
o
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k_overflow:
h
a
n
dle:
"
int
*
p
=
&array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
check_o
v
erflow: fix bug in get_arr
a
y_s
i
z
e
_
b
ytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n C
a
rpente
r
push some more stuff
o
n the big_expre
s
sion
_
stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_ov
e
rflow: h
a
ndle ca
s
ts like ((char *)arra
y
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Ca
r
pe
n
t
e
r
check_overflow
:
fix assigni
n
g a
r
rays to pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
check_overfl
o
w
: fix alig
n
m
en
t
bug in get_ar
r
ay_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpente
r
check_overflow: pr
e
fe
r
recent assignments over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
A
d
d quotes
a
round string litera
l
s
in
s
match outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpent
e
r
check_overflow:
up
d
ate st
r
cpy() and str
n
cpy() c
h
e
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
kern
e
l
.
no_return_funcs: _
_
reiser
f
s_panic doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflow:
s
t
o
re the size in bytes inst
e
a
d
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_overf
l
ow: don't c
o
m
plain a
b
out if (pt
r
<
&array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next