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
smal
l
cleanup and a comm
e
nt
chan
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
*new* check_snpr
i
ntf
:
using the return value of
snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
D
a
n
Carpenter
unused
_
return: pr
i
nt function name that was ignored
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
math:
don't pa
s
s n
e
g
a
tive num
b
ers
a
s absolu
t
e max for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
p
e
nter
implied: allow the known part to be
a
r
an
g
e l
i
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpent
e
r
math: f
i
x
get_absol
u
te_min/max
(
)
for
s
i
z
e
o
f()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carp
e
nter
extra: make do_comparison() handle two va
r
iables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges:
introduce free_range
_
list(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges: introduc
e
po
s
sibly_true/false_range_
l
i
sts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
precedence: don't compla
i
n
about if foo is 0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpente
r
extra: cleanup: rename do_compa
r
ison_range() => do_comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan
C
arpen
t
er
known_condi
t
i
o
n_
t
rue/fa
l
se(): h
a
n
d
l
e expre
s
sion statem
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
D
a
n C
a
r
p
en
t
e
r
*new
*
check
_
kunmap(): confus
i
on
between kmap() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
D
a
n Carpen
t
er
*new* sm
a
tch_sc
r
i
pts/unlocked_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan
C
arp
e
nter
flo
w
: cleanup: make split
_
function()
i
t
's
o
wn func
t
i
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Car
p
enter
deref_check: use in_macr
o
() to sil
e
nce mos
t
of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Ca
r
pen
t
er
m
a
t
h
:
introduce get_absolute_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
ma
t
h: cleanup: rename
ge
t
_implied_single_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
ma
t
h: cleanup:
s
huf
f
le
some functions a
r
ound
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math:
cleanup: get
rid o
f
the *discard thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
ter
math
:
c
lea
n
up: get rid of IMPLIED_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
d
e
l
e
t
e
che
c
k_null_d
e
re
f
.
c and c
l
ean up validation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
flow:
t
h
e
next statement shou
l
d
n
ever be the current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n C
a
rpen
t
er
*new* check_check_
d
ere
f
.
c: checkin
g
for
n
ull
incon
s
istentl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Ca
r
penter
*
new* check_no_effec
t
: p
r
int warni
n
gs
statements that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan C
a
rpen
t
e
r
se
t
up
d
efault modific
a
tio
n
hooks in set_tru
e
_false
_
states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
ente
r
introduce in_macro() which
returns true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
in
t
roduce: in_express
i
on_
s
tatement() and rename get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
D
an Carpenter
churn: rename __split_statem
e
nts() => __split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpenter
extra: han
d
le
i
++ and i += 2
b
e
tte
r
o
utside
l
oops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
ar
p
enter
f
ilter_kernel
_
d
eref_
c
heck
.
sh
:
pri
n
t t
h
e fun
c
tion names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpenter
A
d
d
S
T
RI
N
G_HOO
K
for examining string
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
ar
p
e
nte
r
*
new* check_kernel
.
c: han
d
le
t
omoy
o
_memory
_
ok
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
co
r
e: fix handling of s
w
itch sta
t
eme
n
ts with unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpenter
bail out earlie
r
if f
u
nctions get too
dif
f
i
cu
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include
static functi
o
ns in l
i
st of fun
c
tions w
h
ich
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Carpenter
*new* fre
e
ing_null: calling free
for
a
vari
a
b
l
e
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
C
a
r
penter
eq
u
iv: c
a
ll re
m
ove_fr
o
m_equiv()
o
n a
s
signment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpent
e
r
ma
t
h: prevent di
v
ide by
z
ero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
an Car
p
enter
ch
e
ck_lock: add more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
new: check
_
proc_create() che
c
k
for worl
d
w
r
i
table proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpent
e
r
m
at
h
:
tea
c
h smatch
t
o
u
nderstand const val
u
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpen
t
er
c
h
eck_overflow: f
i
x theoretical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
core: fix p
r
o
b
lem
i
n handling select statement / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cleanup: rename
sm_states to "sm"
inst
e
ad
of "
s
tate"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an
C
arpente
r
get_var
i
a
ble_from
_
e
xpr
(
): if it invol
v
e
s
a n
u
mber it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Car
p
enter
deb
u
g:
p
r
in
t
m
o
re useful information about condition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: ha
n
dl
e
spin_tr
y
lo
c
k_
i
r
q
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n C
a
rp
e
nter
loc
k
i
n
g:
h
andle spin_lock_ir
q
save_nested
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
l
ocking:
h
andle raw_spin
_
u
n
lock_
i
rqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
a
rpenter
locking
:
make "so
m
et
i
me
s
locked
"
messages depend
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
M
erg
e
branch
'
devel' in
t
o de
v
el_
e
quiv
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpe
n
t
e
r
equiv:
i
f a variable is onl
y
e
q
uivalent to itself
se
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use the fa
k
e assign
m
ents instead
o
f the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
quiv: never s
e
t SMA
T
CH_EXT
R
A values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
equiv: elim
i
nate bogus call
t
o
s
et_st
a
t
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
introduc
e
__smatch_deb
u
g_on() and __smatch_debu
g
_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
lock
i
ng: make spi
n
lo
c
k_ir
q
save() work fo
r
my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Ca
r
p
enter
locking: white s
p
ace fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
oc
k
ing: add more standard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check
_
l
o
cki
n
g:
c
l
e
an up list of kernel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpenter
handl
e
s
e
lect assigns: foo = a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpent
e
r
core: f
a
ke
cur_s
l
ist more completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: rewrite select st
a
temen
t
handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n
Car
p
enter
s
t
ates
:
v
erify
that
the s
t
acks are empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
Renam
e
functions: __po
p
_foo() => __dis
c
ard_fo
o
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpente
r
smatch_
s
tates: re
n
ame some function
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Car
p
enter
relea
s
e
_
resource: Doh
.
It's lookin
g
for the wron
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix select sta
t
ement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: cl
e
anu
p
.
delete
f
ake con
d
i
t
ion
st
a
ck
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpen
t
er
cor
e
: make fa
k
e cur_s
l
i
sts sta
c
k
able
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpenter
slist: make
set_state_s
t
a
ck
(
) return the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* c
h
eck_release_
r
esource
.
c: check that we r
e
l
ease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan C
a
rpe
n
ter
flow:
s
pl
i
t asm c
l
o
b
bers, inputs
an
d
output
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
D
a
n Carp
e
nte
r
white_spaceonly: all
o
w
header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
nter
*new* strip_whites
p
a
c
e
.
pl: removes all
t
he whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
nter
*new* check_resou
r
ce_size(): pr
o
d people to use resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume imposs
i
ble things are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carp
e
n
ter
err_
p
tr: fi
x
btr
f
s fals
e
posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_p
t
r: handle wh
e
n an err_pt
r
is reassig
n
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
*new* check
_
db_in
f
o
.
c prints out stuff that will b
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
cleanup: move s
t
uff from
smatch_extr
a
.
c to smat
c
h_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
white
s
pace ch
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv: fix crashing bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
a
rpenter
check_overflow:
m
alloc() =
>
__alloc_smatch
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
smatch
.
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 Ca
r
penter
a
s
signed
_
expr
:
fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpen
t
er
kerne
l
:
free
_
area() doe
s
n't c
a
ll kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_return
.
c: complain if
y
o
u don't
ch
e
ck th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: m
a
ke get_
i
mp
l
ied_v
a
lue() work
for pointer
s
b
etter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
math: cleanup:
creat
e
s
e
par
a
te
_get_implied_valu
e
(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
arpent
e
r
math: handle mod
u
lus '%' operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
ent
e
r
math
:
h
andle EXPR_PO
S
TOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: c
l
ea
n
u
p:
make
h
andlin
g
binops a sw
i
t
c
h
() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: cleanup create separate handle_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Car
p
ente
r
math: cle
a
n
u
p
.
use
cast
_
to_
t
ype() instead of re-implimenting
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math
:
cl
e
an
u
p
.
separ
a
te ha
n
dle_preop() into
i
t
'
s
own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpen
t
er
equiv:
f
ix crashing
b
ug introduced in
8c35
8
883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
Create separa
t
e smatch_math
.
c
fil
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carp
e
nter
upd
a
te smatch_data/
f
or 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next