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
small cleanup and a comment change
2010-03-15
Dan Carpenter
i
m
plie
d
: c
l
e
an up make a separate handle_zero
_
comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
eq
u
iv: h
a
ndle
c
ompariso
n
s w
i
th zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
equiv: cleanup separate set_extra_true_fal
s
e()
in
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
eq
u
iv, i
m
plied: fix
han
d
ling borrowed implica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpe
n
t
e
r
impl
i
ed:
don'
t
update the equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm validati
o
n/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpen
t
e
r
equiv: don
'
t
o
ver
w
ri
t
e the implic
a
t
ion informatio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carp
e
nter
rename
__
s
et_sta
t
e() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
e
name clone_state()
=
>
cl
o
ne_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
C
a
rp
e
nter
eq
u
i
v
: pr
e
se
r
ve ->equ
i
v
a
c
r
oss
merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
U
se
t
h
e
equivalent
vari
a
ble cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove trackers from ->equ
i
v when the
y
a
re no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
Fix crashing bug caused
b
y last commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpenter
store infor
m
at
i
on i
n
the
n
ew dinfo->equi
v
thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
introduce add_tracker
_
expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
make set_state() and fr
i
ends return the new sm_s
t
ate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
in
t
roduce clon
e
_tracker_
l
ist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
ter
add "eq
u
iv" field to struct
d
ata
_
in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an
Carpenter
m
o
ve
the alloc_dinf
o
()
f
unctions to
s
match_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
c
h
eck_signed: warn ab
o
ut compa
r
ing (unsigned
v
ariable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
e
r
upda
t
e validation/s
m
_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
pent
e
r
*
new* smatch_scripts/show_errs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpente
r
*
n
ew* smatch_sc
r
i
pts/whitespa
s
e_on
l
y
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
add -no
-
lineno option to spa
r
se
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
va
l
idat
i
on/
s
m_r
e
dundant_che
c
k
.
c now it's "in
f
o
" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
check_precedence:
p
rint one warn
i
n
g message
ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpen
t
er
check_sign
e
d: handle unsigned 64 b
i
t variables bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan
C
arpente
r
get_va
l
ue() handle some mo
r
e math operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpent
e
r
make re
d
und
a
nt null check
s
b
e
fore kfree(
)
a
n "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carp
e
nter
check
_
sign
e
d: Eliminate some false positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Car
p
enter
precedence: check for &&
vs
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implications: improve h
a
ndlin
g
o
f
comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Ca
r
penter
use im
p
lications from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpent
e
r
condit
i
ons: parse
E
XPR_POSTO
P
s after evaluating t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
che
c
k_
o
ve
r
flow:
r
emove fals
e
posi
t
ives
c
aused by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carp
e
nter
flow:
i
mprove
h
andling
of while(i--
)
{
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
ente
r
rem
o
ve strange loop message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpente
r
kp
a
tch
.
sh
:
ask about alloc() failure
s
specifi
c
ally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carp
e
nter
check_dere
f
: handle __G
F
P_N
O
FAIL (remo
v
e fa
l
se positives
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n Carpente
r
check
_
dere
f
: handle p
o
inters used a
s
arr
a
ys
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpente
r
smatch_flow:
clea
n
up
.
merge common co
d
e
i
n
han
d
le_pre_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
n
t
e
r
improve im
p
lied_co
n
dit
i
on_true
(
)
f
or pr
e
a
nd
p
ost ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
a
r
p
ente
r
w
hi
l
e co
u
ntdo
w
n
l
oops: ha
n
dle
l
oops where the sta
r
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Ca
r
pe
n
t
e
r
ha
n
dle
for loop
s
where we don't know the upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Ca
r
p
e
n
t
er
smatch_flow: handl
i
ng
pr
e
l
oops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n Carpenter
extra: c
o
mpar
i
ng
s
o
m
et
h
ing to zero doesn't mea
n
i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan
Carpenter
chec
k
_o
v
erflow:
re
l
a
x
rul
e
s on if (ptr < &a
r
ray
[
ma
x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
rpe
n
ter
extra: han
d
l
e
l
o
o
p
s like while(i--
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
cl
e
an up: me
r
ge a c
o
u
p
le function f
o
r
handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Da
n
C
arpenter
fix ha
n
dling of
(
2 <= x) com
p
ariso
n
s where th
e
vari
a
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan
Car
p
ente
r
check_si
g
n
e
d
: dis
a
ble
most of the
new warnings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_
t
ype() fix c
r
as
h
on getti
n
g
p
ointer types
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carpe
n
ter
g
e
t_value() mo
r
e
i
nt to long long mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_
t
ype() fix po
i
nter h
a
n
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
F
i
x get_value() for ((unsigned
i
nt) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
t
y
p
e
_
max(): handle unsigned long
long
.
(so
r
t
o
f)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
get rid o
f
--rare option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
r
ena
m
e get_
s
ingle_value
_
from_
r
ange()
=> get_single_
v
alue_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
p
e
nt
e
r
for loops: add a
special
c
ase for "f
o
r(i =
0
; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpent
e
r
check_signed: c
h
eck int types
as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
smatch
.
c:
u
se strnc
p
y() instead
o
f
strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carp
e
nter
de
b
ug
:
r
e
name __sm
a
tch_print_value() =
>
_
_s
m
atch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpente
r
check_signed: expr->op is type int
n
ot char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Introduce get_
f
uzzy
_
min(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
C
arpe
n
t
e
r
p
recedence: cu
t
down a
f
ew
f
alse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
*
new
*
check_
l
e16
:
print an error for double cpu_t
o
_le
1
6
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* check_mod_timer: print an war
n
ing if som
e
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpent
e
r
st
r
ip_expr(): remove
fo
r
ce cast
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpe
n
ter
kpatch
.
sh: figure
t
he email ad
d
r
ess ou
t
au
t
omatically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
*new*
smatch_scripts/kpatch
.
sh: script for mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
Pri
n
t fewer mess
a
g
e
s about unreached code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
Carp
e
nter
smatch_condi
t
ions:
s
ma
l
l cleanup
s
a
nd add debug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
ar
p
enter
fix
W
A
RN_O
N
handling some more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
smatc
h
_t
e
mp
l
ate: small chang
e
s
to commen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
p
e
nter
clean up
t
he
makefile a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpenter
handle
a
ssign
m
ents l
i
k
e
: fo
o
= x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n C
a
rpenter
smatch_
s
tates:
w
hit
e
spac
e
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
e
r
smatch i
s
supposed to be usi
n
g "long long" types int
e
rnal
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
ne
w
_
b
ugs
.
s
h: better filt
e
r
ing of smatch e
r
rors f
r
om
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
handle stuff lik
e
the k
e
rnel's
WARN_ON()
macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
r
penter
smatch_extra: foo = !!x
;
d
oes
n
ot modify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an
Carp
e
nter
handle assi
g
nme
n
t
s
l
ike: foo = !bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Ca
r
pe
n
t
e
r
check_overf
l
ow: c
h
eck for memset() issue
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
e
r
autom
a
ti
c
ally gen
e
ra
t
e the
l
i
st of f
u
n
cti
o
n
s
which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*new
*
smatch_scr
i
pts/summarize_e
r
rs
.
sh: script for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
a
r
penter
k
e
rnel:
fix xf
s
false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Carpenter
check_over
f
l
ow: handle: "int *p = &a
r
ray;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
check_overflow: fix bug in g
e
t_
a
r
r
ay_size_bytes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpe
n
ter
pu
s
h
s
ome more s
t
u
f
f
on t
h
e
big_express
i
o
n
_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
check_over
f
low:
h
an
d
le
c
asts
l
ik
e
(
(
char
*)ar
r
ay)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
ch
e
ck_overflow
:
fix
assigni
n
g arrays to pointers of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
check_overflo
w
: fix alignment bug in g
e
t_ar
r
ay_s
i
ze_by
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow
:
p
r
efer recent
a
ssi
g
n
ments over th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpent
e
r
Ad
d
quotes arou
n
d s
t
r
i
ng liter
a
l
s
in smatch output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
check_
o
verflow: upda
t
e s
t
rcpy() and st
r
ncpy() checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kernel
.
no_retur
n
_funcs: __reiserfs_panic d
o
esn't
r
eturn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check
_
overflow
:
st
o
re the siz
e
in bytes instea
d
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
c
h
e
c
k_over
f
l
o
w
:
d
o
n't compl
a
in
a
b
o
ut
i
f (ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pente
r
s
m
atch_flow: change ho
w
t
he
b
ig
e
xpression
s
tack works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Car
p
en
t
er
check_overflow: r
e
name my_decl
_
id
=
> my_s
i
ze_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next