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-05-18
Dan Carpenter
s
mall
c
l
eanup
a
nd a com
m
en
t
change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
a
n Carpenter
*new
*
check_snprintf: usin
g
the retu
r
n value of snprintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpen
t
er
unused_retur
n
: print functi
o
n
n
ame th
a
t was ignored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
rpenter
math: don't pas
s
negative num
b
ers as abs
o
lute max for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
implied: allow t
h
e kn
o
wn
p
art to be a ran
g
e list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpe
n
t
er
math: fix
g
et_abs
o
lute_min/max
(
) for sizeof()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpent
e
r
ext
r
a: make d
o
_comparison() handl
e
t
w
o va
r
iables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
Carpente
r
r
an
g
e
s
:
intro
d
uce fre
e
_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
n
t
er
rang
e
s: i
n
troduce p
o
ssibly_true/
f
alse_range
_
lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Ca
r
penter
precedence: don
'
t com
p
lai
n
abou
t
if fo
o
i
s
0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan C
a
rpenter
ext
r
a: cleanu
p
: rename do_c
o
m
p
arison_range()
=
> do_comparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carp
e
nter
know
n
_
con
d
ition_true/fa
l
se(
)
: handle expressio
n
s
tate
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Ca
r
penter
*new* check_
k
unmap(): c
o
nfus
i
on b
e
twee
n
kma
p
(
)
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*
n
ew* smatch_scripts/u
n
loc
k
ed_paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
D
a
n
Carpent
e
r
f
lo
w
: cle
a
n
up:
m
a
ke
s
plit_function() it'
s
o
wn fu
n
ctio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan C
a
rp
e
nter
deref_check:
use in_macro() t
o
s
ilence most of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Ca
r
penter
m
a
t
h
: introduce get_a
b
s
o
lute_min/max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Car
p
e
nt
e
r
math: cleanup: rename get
_
implied_single_fu
z
zy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpen
t
er
math: cleanu
p
:
sh
u
ff
l
e some function
s
aro
u
nd
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Car
p
ente
r
math: cleanup:
g
e
t rid o
f
the *discard thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Ca
r
penter
math: cleanup: get rid of IMPLIE
D
_S
I
NGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
dele
t
e check_n
u
ll_
d
eref
.
c and
c
l
ean
u
p validatio
n
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpente
r
flow: the nex
t
s
tatement
should never be the curr
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpent
e
r
*new* che
c
k_check
_
d
e
ref
.
c: chec
k
ing for null
i
ncons
i
st
e
n
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpenter
*n
e
w* check_n
o
_ef
f
e
c
t
:
print warni
n
gs statemen
t
s that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Ca
r
penter
setup default modification
h
ooks i
n
set
_
true_false_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpe
n
t
e
r
introdu
c
e
i
n
_
m
acro() which returns true
if we're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpe
n
ter
i
ntr
o
duce: in_expres
s
ion_
s
tatement() and rename get_block_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
an Carpenter
chu
r
n
:
r
e
name __split_sta
t
ements() => __split_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
e
xtra: handle i++ and i +=
2 bett
e
r outside loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
f
i
l
te
r
_k
e
rnel_deref
_
check
.
sh:
p
rin
t
the func
t
ion
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
p
enter
Add STRING
_
H
O
OK for examining strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carpenter
*new* c
h
eck_kern
e
l
.
c: handl
e
tomoyo_memory_o
k
()
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
cor
e
: f
i
x
h
a
ndling of switc
h
statements with unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n
Carpenter
bail o
u
t
e
a
rlier
i
f functions
g
e
t
t
oo
d
ifficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include
s
tatic
fun
c
tions in list of functions whi
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freeing_null: calling
f
ree
f
or a
variable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv:
call remove_from_equiv
(
) on
a
s
si
g
nment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan C
a
rp
e
nter
math: preve
n
t
divide by zero bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpente
r
chec
k
_lock: add
m
o
re l
o
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Da
n
Carpen
t
er
new: c
h
eck
_
p
roc
_
create
(
) check f
o
r world writable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
math
:
teach smatch to
understand
con
s
t values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
er
check_overflow
:
fix the
o
retical memo
r
y leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
cor
e
: fix problem in handling select stat
e
ment / O
R
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpenter
cleanup
:
rename
s
m_states to "sm
"
instead
o
f "s
t
a
t
e
"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpenter
ge
t
_v
a
r
i
able_fr
o
m_expr(): if it invol
v
es a numbe
r
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
C
a
rpenter
de
b
ug: p
r
i
n
t m
o
re u
s
e
ful
information about condi
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
l
ocking
:
handle spin
_
t
r
y
l
ock_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
r
penter
locking: handle spin_lock_i
r
qsave_
n
e
sted()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpent
e
r
locking: handle raw_sp
i
n_unloc
k
_ir
q
restore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpente
r
locking: make "sometime
s
locked" message
s
depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Merge b
r
anch '
d
evel' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
equiv:
i
f a v
a
riable is
only equi
v
alent to i
t
self set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra:
u
se
the fake ass
i
g
nments
i
n
s
tead
of the
initial
i
ze
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: never se
t
SMATC
H
_EXTRA values directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: el
i
minate bogus call to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
intr
o
duce __smatch
_
debug_on() and __smatch_debug_o
f
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpe
n
t
e
r
locking:
make
s
p
i
n
lock_irqsave(
)
w
ork for my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking: white spac
e
fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpe
n
ter
locki
n
g:
add more st
a
ndard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan C
a
rpenter
ch
e
ck_lo
c
king: clean up list of kernel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
r
p
en
t
er
handl
e
s
e
lect a
s
sig
n
s:
foo = a
?
b : c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
cor
e
:
fake cu
r
_slist
m
or
e
completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
a
rpe
n
ter
c
o
r
e: rewrite select
s
tatement handl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
state
s
: verify tha
t
the
s
t
acks ar
e
emp
t
y at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
Rename funct
i
ons:
__pop
_
foo() => __discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpent
e
r
smatch_states:
r
ename so
m
e functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_resource: Doh
.
I
t's looking for the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
penter
f
ix
s
elect statement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
ter
core: c
l
eanup
.
de
l
e
t
e fak
e
c
ondition stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
c
o
re: m
a
ke fake cur_slists
s
tackab
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pen
t
er
slis
t
: make set_sta
t
e_stack() r
e
t
u
rn the
new sm_s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*
new* c
h
eck
_
re
l
e
a
se_
r
esource
.
c: che
c
k that
we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split
a
sm clobbe
r
s
,
input
s
and out
p
uts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpen
t
er
white_spaceonly: allow header fi
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpen
t
e
r
*new* str
i
p_whitespace
.
pl:
r
emov
e
s
al
l
the whitespa
c
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new*
check_r
e
source_size(): prod people t
o
use res
o
urc
e
_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Car
p
enter
e
x
t
ra: as
s
ume
i
m
p
ossible things are impossibl
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carp
e
nter
e
r
r_ptr: fix btrfs
fal
s
e positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpe
n
ter
err_ptr:
handle
when
an err
_
ptr is reassign
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
*new* che
c
k_db_info
.
c
print
s
out
stuff that wil
l
be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
c
leanup:
m
ove stuff from smatch_
e
xtra
.
c to smatch
_
mat
h
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespace c
h
a
n
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
equiv: fix c
r
a
s
h
i
ng bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
c
heck
_
overf
l
o
w
: malloc()
=
> __alloc_smatch_s
t
a
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpen
t
er
smatc
h
.
c: don't l
e
ak
th
o
se 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
a
ssigned_ex
p
r:
f
i
x
mem
o
ry leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Da
n
C
arpente
r
kernel: free_area(
)
doesn'
t
call k
f
r
e
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
rpenter
*n
e
w
*
check_retu
r
n
.
c: co
m
pla
i
n if you don't check the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
ma
t
h: make
get_implied_v
a
lu
e
() work for
p
ointers bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cleanup: cr
e
ate separate _get_im
p
lied_valu
e
(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
en
t
e
r
math
:
handle modulus '%' oper
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
handle EX
P
R_POST
O
P
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math: cl
e
anup: ma
k
e handl
i
ng binops a switch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math: cl
e
anup c
r
ea
t
e sepa
r
ate handle_bin
o
p
()
f
unction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
m
a
th: cleanup
.
use
cast_to_type() instead of re-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: cleanup
.
separate handle_pr
e
op() int
o
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rp
e
nte
r
eq
u
iv: fix cr
a
shing bug
i
ntrodu
c
e
d
in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
Cre
a
te
s
eparate smatch_
m
ath
.
c
file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
upd
a
t
e
s
m
atch_dat
a
/
for 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next