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
math: cleanup: make handling binops a switch() statement
2010-03-16
Dan Carpenter
m
ath: clea
n
up: make handling binops a switch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup create
s
epara
t
e
h
andl
e
_binop()
fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
use cast_to_type() in
s
tead
o
f
re-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
m
a
th: cleanup
.
sepa
r
a
t
e hand
l
e_pr
e
o
p
(
)
into
i
t's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpenter
e
quiv: fix crashing bug int
r
odu
c
ed in 8c358
8
83
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create se
p
arate
s
ma
t
c
h_
m
ath
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
t
er
update smatch_dat
a
/
f
or 2
.
6
.
3
4
-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
i
m
pl
i
ed: clean
u
p m
a
ke a sepa
r
a
te h
a
nd
l
e_z
e
ro_
c
omparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
eq
u
iv:
h
andle comp
a
risons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
e
r
equiv: c
l
eanup separate set_extr
a
_true_false()
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
equiv
,
i
m
plied: fix h
a
nd
l
i
ng borr
o
w
e
d im
p
licatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
ar
p
enter
impl
i
ed: don'
t
upd
a
te the equivelent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm
v
alidat
i
on/sm
a
t
c
h_close
t
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n
C
ar
p
ente
r
equiv:
d
on't overwri
t
e the implication
inform
a
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an
C
a
r
p
e
nter
rename __set_state() => __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
e
n
t
er
renam
e
clone_state()
=>
clone
_
sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equi
v
: preserve ->eq
u
iv across merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use the equivalent variab
l
e code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Ca
r
pe
n
ter
remove track
e
rs from
->equ
i
v when they are no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
pen
t
er
F
i
x cr
a
shing bug caused by la
s
t commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an
C
a
rpenter
stor
e
information in the new dinfo->equiv thin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
ar
p
enter
introduce add_tracker_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
make set_state()
and
f
riends
r
eturn the new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
C
a
r
p
e
nter
i
n
troduce clone_tracker_l
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv" field to struct data_inf
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
m
ove the alloc_din
f
o() functions to s
m
atch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
D
a
n Carpe
n
te
r
c
heck_sign
e
d: warn abou
t
comparing
(unsig
n
e
d v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update
v
a
lidation/sm_c
a
sts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an C
a
rp
e
nter
*ne
w
*
s
match_scripts/s
h
ow_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpenter
*new* smatch_sc
r
ipts/whitespase_onl
y
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Carp
e
nter
a
dd -no-
l
i
neno
optio
n
to s
p
arse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpenter
v
a
lidatio
n
/sm
_
redundant_ch
e
c
k
.
c no
w
it's "
i
nfo" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
check_preced
e
nce:
p
r
int one
w
arni
n
g
m
essage instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
ch
e
ck_signed: handl
e
u
n
s
igned 64 bit va
r
iables bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Da
n
Carpenter
get_value()
han
d
le so
m
e m
o
re math operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
ma
k
e re
d
undant
nul
l
checks
b
efore kfree() an
"
info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpent
e
r
check
_
s
igned: Eliminate some false pos
i
t
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rpenter
p
recedence: chec
k
for
&
&
vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implications: impr
o
ve handlin
g
of co
m
parisons w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
r
p
ent
e
r
us
e
i
m
pl
i
cations from POST
O
P
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n C
a
r
p
en
t
er
conditions: parse EXPR_POSTOPs
a
f
ter
evalu
a
ting the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_o
v
erflow: remove
f
alse positive
s
c
a
use
d
b
y
printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
flow:
i
m
prove handling
of while(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remov
e
stra
n
ge lo
o
p message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
kpatc
h
.
sh: ask
abo
u
t
a
llo
c
() failures specifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check
_
deref: hand
l
e __GFP_
N
OF
A
IL
(remove false positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpen
t
er
check_deref: handle pointers used a
s
arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpenter
smat
c
h
_
f
low:
clean
up
.
merge common code
i
n handle_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
penter
improve implied_conditi
o
n_tru
e
() for pr
e
and post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an
Carpenter
while countdow
n
loops: handle loops wh
e
re the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
handle for
l
o
ops whe
r
e we don't
k
now
th
e
upper lim
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nt
e
r
smatch
_
f
l
ow: h
a
ndling pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
a
r
p
ent
e
r
e
x
tra:
c
omparing s
o
mething to zero doesn't mea
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nte
r
check_o
v
e
r
flow:
relax r
u
les
o
n if (pt
r
<
&
array
[
max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
a
rpenter
extra: h
a
ndle loops
l
ike
while(i--)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
C
a
rpente
r
cle
a
n
up
:
merge a couple function for handling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Da
n
Carp
e
n
t
er
fi
x
handlin
g
o
f (2 <= x) compar
i
s
o
ns whe
r
e
t
h
e variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carp
e
n
ter
check
_
sign
e
d: disa
b
l
e m
o
st of
t
he n
e
w warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
g
e
t_type() fix crash o
n
ge
t
ting poin
t
er types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carp
e
nter
g
e
t_
v
alue() more
int
t
o
long lo
n
g mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pe
n
ter
get_t
y
pe() fix pointer handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
F
i
x
g
et_v
a
l
ue() for ((uns
i
gned int) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_max(): handle unsig
n
ed long l
o
ng
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
ge
t
r
id of --
r
are
o
p
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpent
e
r
ren
a
me get
_
single
_
value_
f
r
om_ra
n
ge() => get_
s
i
n
g
le_val
u
e_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpen
t
e
r
f
or loops:
a
dd a sp
e
cial ca
s
e for
"for(i = 0; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
check_signe
d
: check int types as
w
ell
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
a
r
p
enter
smatch
.
c:
use strncpy
(
) i
n
st
e
ad of s
t
r
c
p
y()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
de
b
ug: re
n
ame __
s
m
a
tch_print_val
u
e() => __smatch
_
value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
t
er
c
h
eck_signed
:
expr-
>
op is
t
ype in
t
n
o
t char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
Introd
u
ce
g
et_
f
u
zzy
_
min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
precedence: c
u
t down
a few f
a
lse
p
ositi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
Ca
r
penter
*new* check_le16: p
r
i
n
t an error for double cpu_t
o
_
l
e16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
r
p
e
n
ter
*ne
w
* check_mod_timer: print a
n
warning i
f
s
om
e
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan
Carpenter
stri
p
_
expr(): re
m
o
v
e force ca
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Car
p
en
t
er
kpat
c
h
.
sh: fi
g
ure th
e
email
addre
s
s out
automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
t
e
r
*new*
s
match_scripts/kpat
c
h
.
sh: sc
r
ipt for m
a
iling
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arpente
r
Pri
n
t fewe
r
mess
a
ges about unreac
h
ed
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
r
p
en
t
er
smatch_conditions: small cl
e
anup
s
and a
d
d debug c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
fix W
A
R
N_ON handli
n
g some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
s
m
atch_template: small chang
e
s to
comment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Da
n
Carpenter
c
lean up the makefile a
bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpent
e
r
handle ass
i
gn
m
ent
s
l
i
ke
:
foo
=
x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
match_states:
w
hite space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
mat
c
h
i
s supp
o
sed
to be using
"
l
o
ng long
"
types intern
a
l
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new
_
bugs
.
s
h: better filtering of smatch err
o
rs from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
handl
e
stuff li
k
e
the kernel's WARN_O
N
() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Carpe
n
ter
smatch_extra: foo =
!!x; does not modi
f
y x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nt
e
r
h
a
n
dl
e
assignme
n
ts like: f
o
o = !
b
ar(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arp
e
nt
e
r
c
h
e
ck_overflow: check fo
r
mems
e
t() issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
C
arpe
n
ter
a
u
to
m
atically ge
n
erate the
list of functions w
h
ich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*new* sma
t
c
h_sc
r
ipts/summa
r
ize_errs
.
s
h
:
script fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Car
p
en
t
er
kernel:
f
ix xfs false p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k_ov
e
r
f
l
ow
:
ha
n
dle: "int *p = &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpe
n
te
r
c
h
eck
_
ov
e
rflow
:
fix bug in get_array_siz
e
_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
p
ush some mo
r
e s
t
u
ff on t
h
e big
_
expression_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow
:
handle casts li
k
e ((char *)arra
y
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
check_
o
verflo
w
: fix as
s
igni
n
g ar
r
ays to pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpent
e
r
check_overflow:
fix
alignment bug in g
e
t_array_size_by
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rp
e
n
t
er
c
h
eck
_
over
f
low: prefer rec
e
nt
a
s
signments over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next