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
locking: make "sometimes locked" messages depend on --spammy
2010-03-31
Dan Carpe
n
ter
locking
:
m
a
k
e "som
e
times
l
ocked" m
e
s
s
ages
d
e
pend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Car
p
ente
r
Merg
e
b
r
anch 'devel' in
t
o devel_e
q
uiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
e
r
e
quiv: if a variable
i
s on
l
y equivalent to itse
l
f set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
extr
a
: use the fake assignmen
t
s inst
e
ad of the init
i
alizer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: never
s
et SMAT
C
H_EXTRA v
a
lues directl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
a
rpenter
eq
u
iv: elim
i
nat
e
bogu
s
cal
l
to set
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carpenter
introduce __smatch_d
e
bug_on() an
d
_
_
smatch_
d
ebug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: make
s
p
i
nlock_irqsave() work for
my
c
onfig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n Ca
r
penter
locking: white space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
C
a
rpenter
lo
c
king: add more standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Ca
r
penter
check_
l
ocking: cl
e
an up
list of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle se
l
ect
as
s
igns: foo = a ? b :
c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
c
ore: fake
c
ur_slist more
completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
enter
core: rewrite select statement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n
Carpenter
states: verify tha
t
the stacks are empty at the en
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Re
n
ame fu
n
ctions: __po
p
_foo() => __discar
d
_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpent
e
r
smatch_st
a
tes: rename some f
u
n
c
ti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
rel
e
ase_resour
c
e: Doh
.
It's lo
o
k
i
ng for the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
ar
p
en
t
e
r
fix se
l
ect s
t
atement ha
n
dl
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpenter
core: c
l
eanup
.
d
e
lete f
a
ke co
n
diti
o
n stack
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
c
o
re: make fake cur_s
l
ists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
C
arpenter
slist: ma
k
e set_state_s
t
ack() re
t
u
rn
the
n
ew
s
m
_
st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
r
penter
*
n
e
w*
check_r
e
l
ease_resou
r
ce
.
c: check that we
rele
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
D
an Carpenter
flow: s
p
lit asm clob
b
ers, inputs and out
p
u
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Da
n
C
arpenter
white
_
spaceonly: allow hea
d
er files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpen
t
er
*new* strip_w
h
i
t
e
space
.
p
l:
removes all
the whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
en
t
er
*new*
che
c
k_res
o
urc
e
_
s
i
z
e(): prod people t
o
us
e
r
e
source_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume impossible things are impos
s
i
b
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpenter
e
rr_ptr: fix btrfs false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an C
a
rpenter
err_ptr: handle when an er
r
_ptr is reassigne
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
a
r
p
e
nte
r
*new*
check
_
db_info
.
c prints out stuff that will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
cleanup: move st
u
ff from smatch_extra
.
c to
s
match_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
w
hitespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv:
fix cr
a
shing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
C
a
r
penter
ch
e
ck_overflo
w
: malloc() =
>
__alloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
smatch
.
c:
d
on't leak those
1
0 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
assigned_e
x
pr:
fix memory
l
eak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kernel: free_are
a
() doesn't c
a
l
l
kfree(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Da
n
Carpente
r
*new* c
h
eck_return
.
c: complain
i
f you don't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math: mak
e
get_i
m
pli
e
d_valu
e
() wo
r
k for
point
e
rs
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: cleanu
p
:
create separate _ge
t
_
i
mpl
i
ed_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: hand
l
e
mo
d
ulus '%' operat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpent
e
r
math:
h
a
ndl
e
EXPR_P
O
STOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math:
c
l
ea
n
up: make handl
i
n
g bi
n
ops
a
switc
h
() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpen
t
er
math: cleanup
create separate handle_binop() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math
:
cleanup
.
us
e
cas
t
_to_type() i
n
stea
d
of re-
i
mpl
i
menting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math
:
cleanup
.
separate
hand
l
e_pr
e
op() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Car
p
enter
equiv: fi
x
crashing bug introduc
e
d in
8c
3
5
8
883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create se
p
arate smatch_math
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update smatch_d
a
ta/ for 2
.
6
.
3
4-
r
c1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
implied
:
clea
n
up m
a
ke a separate ha
n
dle_zero_c
o
mparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
eq
u
iv: h
a
ndle
comparisons w
i
th ze
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
equiv
:
cl
e
anup separ
a
te set_extra_true_false
(
) into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpent
e
r
equiv, implied: fix handling borrowed impl
i
cations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
implied: don
'
t update the
e
q
u
ivelent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carp
e
nter
rm validation/smatch_clos
e
t/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpent
e
r
equiv: don't overw
r
ite the
implication in
f
or
m
a
t
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
rename __
s
e
t_
s
t
a
te() => __
s
et_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpe
n
t
er
re
n
ame clone_state() => clone_s
m
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equiv: preserve ->equiv across merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Us
e
the equivalent variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
re
m
ove trackers from ->equ
i
v
when they are no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
F
i
x crashing b
u
g cause
d
b
y las
t
c
omm
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
store i
n
formation in the new di
n
f
o->e
q
uiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Car
p
enter
introdu
c
e
add_tracker_ex
p
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
make set_state() and friends return
t
h
e
new sm_stat
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
in
t
roduce clone_tracker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an
C
arpe
n
te
r
add "equiv
"
field to
struct data_in
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
move
t
h
e
alloc_din
f
o() fun
c
tions to smatch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
ch
e
ck_
s
igned:
warn about
c
omparing (unsigne
d
v
a
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpenter
update validation/sm_cast
s
2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
*new* smatch_scrip
t
s
/s
h
ow_e
r
r
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scripts/whit
e
spase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an
C
arpen
t
er
add -no-l
i
neno option to
s
parse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
validation/s
m
_redundant_check
.
c
n
ow it's
"
i
n
fo" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
n
ter
check_preceden
c
e:
p
rint one war
n
ing mess
a
ge inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpenter
c
heck_signed:
handle unsign
e
d 64 bit variables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
e
n
t
er
get_value() handle some mo
r
e
math o
p
era
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carp
e
n
t
er
make redundan
t
null checks before kfree() a
n
"
inf
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
ch
e
ck_si
g
ned: E
l
imina
t
e some
f
alse
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rp
e
nter
precedence:
c
heck
f
or
&
&
v
s &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
implications: improve hand
l
i
ng of
comparisons wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
u
s
e
implic
a
tions from POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
conditi
o
ns: par
s
e
E
XPR_POSTOP
s
after evaluatin
g
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
ch
e
ck_overfl
o
w:
r
emove false positives caused
b
y
p
rintk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
flow: improve
h
andling of w
h
ile(i--) { loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
r
emove strange loop me
s
s
age
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
er
kpatch
.
sh: ask
about alloc() failures
sp
e
cifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_deref: handle __GFP
_
NOFAIL (remove false p
o
sitives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpe
n
t
er
check_der
e
f
:
handl
e
p
ointers us
e
d as arr
a
ys
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
C
arpenter
smatch_f
l
ow: cl
e
an
u
p
.
m
erge common cod
e
in hand
l
e
_pre_l
o
op()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
im
p
rove implied_condition_tru
e
() for pre and post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
ter
while countdown
loops: handl
e
loops where the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n C
a
rpenter
handle for lo
o
ps whe
r
e we
d
on't kn
o
w t
h
e upper limi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
smatch_flo
w
: h
a
n
dling
pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
r
p
enter
extra: c
o
mpa
r
ing something
t
o zero doesn't mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
Carpenter
c
h
e
ck_over
f
low:
r
elax ru
l
e
s
o
n if (pt
r
< &array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
r
penter
ext
r
a: hand
l
e loops l
i
ke while(i
-
-
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
c
l
ea
n
up:
m
e
r
g
e a coupl
e
fu
n
ct
i
o
n for handli
n
g for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
fix handling
o
f (2 <= x)
c
o
mpariso
n
s
w
here the variab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next