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
Merge branch 'devel' into devel_equiv
2010-03-31
Dan Car
p
e
n
ter
Merge branch 'deve
l
'
into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
n
ter
e
quiv: if a varia
b
le is onl
y
equiva
l
ent
t
o i
t
self se
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpente
r
ext
r
a: us
e
the f
a
ke a
s
si
g
nme
n
ts instead of the
i
n
itializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
eq
u
iv: n
e
v
e
r
set
S
M
ATCH
_
E
XTR
A
values directl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rpent
e
r
equiv: eliminat
e
bogus c
a
ll to set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
introduce
__sm
a
tch_de
b
ug_on() an
d
__smatch_
d
ebug_of
f
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking:
m
a
ke s
p
inlock_irq
s
ave() wo
r
k for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan C
a
rpen
t
er
loc
k
ing: white
space
f
ixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
n
ter
lo
c
k
i
ng: add
m
ore stand
a
rd l
o
ck
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpent
e
r
c
heck_locking: clea
n
u
p
list o
f
kern
e
l locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
ha
n
dl
e
se
l
ect assigns:
foo =
a
? b
: c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Car
p
ente
r
c
o
re: fak
e
cur_sl
i
st more comple
t
ely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
core: rewrit
e
select
s
tatement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
states: verify that the
stacks
a
re empty at the
e
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
Rename f
u
nctions
:
__pop
_
foo()
=
> __disca
r
d
_
foo(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
smatch_states: renam
e
some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_resource
:
Doh
.
It's looking for the wr
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
fix
s
e
lect
s
t
a
tement hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
co
r
e: cl
e
anup
.
delete fake
co
n
dition
stack
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
C
arpenter
core: make fake
c
u
r_
s
lists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pe
n
ter
s
list:
m
ake set_st
a
te_stack() re
t
urn the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
a
r
p
ent
e
r
*ne
w
*
c
heck_r
e
lease_resou
r
ce
.
c
:
c
heck t
h
a
t we
r
eleas
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: spl
i
t asm clobbers, i
n
puts and ou
t
p
uts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
D
a
n Carpe
n
ter
white_s
p
a
c
e
only
:
allow header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan C
a
rpenter
*new* st
r
ip_whitespac
e
.
pl: removes all the whites
p
ac
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpe
n
ter
*ne
w
*
c
heck_resou
r
c
e_
s
ize()
:
prod people
t
o use re
s
our
c
e_s
i
ze(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carp
e
nter
extra: assume imposs
i
bl
e
things
a
re impossi
b
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpenter
e
rr_ptr
:
fix btrfs fa
l
se
pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n Carpenter
e
rr_p
t
r: handle when a
n
err_ptr is rea
s
signed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*
new* check_db_in
f
o
.
c prints out stuff tha
t
w
ill
be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Ca
r
penter
c
l
e
anup:
m
ove st
u
ff
from smatc
h
_extra
.
c
t
o smatch
_
math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpente
r
whitesp
a
ce chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
equiv: fi
x
cr
a
s
h
ing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carp
e
nter
check_ov
e
rfl
o
w: malloc
(
)
=
> __alloc_s
m
atch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpenter
smatch
.
c: don't leak those 10
b
ytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
C
ar
p
enter
assigned_expr: f
i
x memory le
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
e
r
ne
l
: free_area()
d
oesn't call kfree(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new*
c
heck_r
e
turn
.
c: comp
l
ain if
you don't
c
heck
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nt
e
r
math: make get_i
m
pl
i
e
d
_value() work
f
o
r
point
e
rs better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
t
h
:
clean
u
p: crea
t
e separate _get_implied_va
l
u
e(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpe
n
ter
math:
h
an
d
l
e m
o
dulus '%' ope
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
p
ente
r
mat
h
: handle EX
P
R_POS
T
OP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: cle
a
nup: make handling binops a s
w
itch() stat
e
ment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
n
ter
ma
t
h: cleanup cre
a
t
e
separ
a
t
e
h
a
n
dle_binop() functi
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpe
n
t
e
r
math: cleanup
.
use cast_to_type()
i
nstead
o
f
re-i
m
pli
m
enting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath: cleanup
.
sep
a
ra
t
e handle_preo
p
(
) into
i
t's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpe
n
t
e
r
equiv
:
fix
c
rashing
b
u
g
intro
d
uced in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
e
n
ter
Create separate smatch_
m
at
h
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
upd
a
te smatch_data/ for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
implie
d
: clean u
p
make a separate handle_ze
r
o
_comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: handle comparisons with
z
e
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pent
e
r
equiv: cle
a
nup se
p
arat
e
set_extra_
t
rue
_
f
a
l
se
(
) into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carp
e
nter
equiv,
i
mplied:
fix handling b
o
rrowed imp
l
ica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Car
p
e
nt
e
r
implied:
d
on't update the
equivelent s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
rm validation/smatch_c
l
o
set/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpenter
equiv: don'
t
o
v
e
rwrite t
h
e im
p
lication inform
a
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
ren
a
m
e
__set
_
s
tate()
=
> __se
t
_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename clone_s
t
ate(
)
=>
clon
e
_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
t
e
r
equiv: preserve
-
>
equ
i
v acr
o
ss merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carpen
t
er
Use
t
he equivalent var
i
able code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rem
o
ve trackers from ->e
q
uiv when they ar
e
no l
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
Fix c
r
a
s
hing bug caused by l
a
st c
o
mmit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
sto
r
e in
f
o
rma
t
ion in the ne
w
dinfo->equiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
e
n
ter
i
n
troduce add_tracker
_
expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
ma
k
e set_state() and fri
e
nds return t
h
e new
sm_s
t
ate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpent
e
r
intro
d
uce 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
t
o
struct da
t
a
_
info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
m
ove the alloc_
d
in
f
o() functions to smatch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
an
C
arpe
n
ter
chec
k
_s
i
g
n
ed: warn abo
u
t comparin
g
(unsigned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
update validatio
n
/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carpente
r
*new* smat
c
h_sc
r
i
p
ts/show_errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scripts/whites
p
ase_on
l
y
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
add -no-lineno
op
t
ion to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
va
l
idation/sm_redundant_check
.
c now it'
s
"inf
o
"
n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_pr
e
c
e
dence: print
one wa
r
nin
g
m
e
ssage instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpe
n
ter
c
h
eck_signed: hand
l
e unsigned 64 bit vari
a
bles
b
e
tter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
D
a
n Ca
r
penter
get_va
l
ue()
handle some more m
a
th
o
p
e
r
atio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
an Car
p
e
n
ter
mak
e
r
e
dundant
null checks be
f
ore
kfr
e
e() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan C
a
rpenter
c
h
eck_s
i
g
n
ed:
Elimin
a
te some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
Carpenter
p
r
e
c
edence: check for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arp
e
nt
e
r
implicatio
n
s
:
improve handling of comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use
implicat
i
ons from POSTO
P
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpente
r
conditions: parse
EXP
R
_POSTOPs
a
ft
e
r evaluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overflow: remov
e
false posit
i
ves cau
s
e
d
by p
r
int
k
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow: improve handling of
w
hile(i
-
-) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Car
p
enter
remove s
t
range
loop message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
kpatch
.
s
h: ask about al
l
oc() fa
i
l
u
res spec
i
fically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Ca
r
p
e
nter
c
h
eck
_
deref:
handle __GFP
_
NOFAIL (remove fa
l
se positives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n
C
ar
p
enter
ch
e
c
k_de
r
ef: h
a
ndle poin
t
er
s
u
s
ed
a
s
arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
sma
t
ch_flow: clean
u
p
.
merge common c
o
de in h
a
ndle_
p
re_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
i
m
prove imp
l
ied_co
n
dition_true() for pre and
post o
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
w
h
i
le
co
u
ntdown
l
o
ops:
h
andl
e
loops where th
e
s
t
art
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
handle 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
Dan C
a
rpenter
s
m
atch_fl
o
w
: handling pre
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
a
r
p
enter
extra: comparing something to zero
doesn't mean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Ca
r
pe
n
ter
ch
e
ck_overf
l
ow: relax rules on if (ptr
<
&array
[
max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nter
extr
a
: ha
n
dle loops l
i
ke while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan
Carpenter
clean up:
mer
g
e a c
o
up
l
e func
t
ion for handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
fix handling of (2 <= x) comparisons wher
e
the variab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan C
a
rpenter
check_signed: d
i
sable most of the
new warni
n
gs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next