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
D
a
n Ca
r
pen
t
er
small cleanup and a comment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
*new* chec
k
_
s
nprintf: us
i
ng the return v
a
lue
o
f snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
D
a
n Carpenter
un
u
se
d
_
r
et
u
rn: pr
i
nt funct
i
o
n n
a
me tha
t
w
a
s ign
o
red
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math: don
'
t
pass
negative
n
umbers as absolute max for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
implied: allow the known
p
ar
t
to be a range list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
rpent
e
r
math: fix get_absolu
t
e
_
min/max() for sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
extra: make d
o
_comparison(
)
handle two var
i
a
b
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpent
e
r
ranges: introduce
f
ree_
r
ange_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
range
s
: introduce
possib
l
y_true
/
fal
s
e
_ra
n
ge
_
li
s
ts()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
precedenc
e
:
don't complain about
if fo
o
is 0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpen
t
er
extra:
c
leanup
:
rename d
o
_comparison_range()
=
>
do_
c
ompariso
n
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n
Carpenter
known
_
cond
i
t
ion_true/fal
s
e():
h
an
d
le
e
xpress
i
o
n
statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan
Carp
e
nter
*new* chec
k
_
k
u
nmap():
confu
s
i
on
between
k
map
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Da
n
Ca
r
pente
r
*ne
w
* smatch_sc
r
ipt
s
/unlocked
_
paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carp
e
nter
f
low: cleanup: make
split_fu
n
c
t
i
on() it's
o
w
n
function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan C
a
rpenter
deref_check: u
s
e
i
n_macro() to
s
ilence most o
f
th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
m
a
th:
introduc
e
get_abso
l
ut
e
_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n
C
a
r
penter
math: cleanup
:
rename get_impl
i
ed
_
single_
f
uzzy_
m
ax(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpenter
math: clea
n
up: shuffl
e
some functions aro
u
nd
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cleanup: get r
i
d of the *disc
a
rd
t
h
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carp
e
nter
m
a
t
h
:
c
lea
n
up: get rid of IMPLIED_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
te
r
d
elete check_null_deref
.
c
a
nd clean up valida
t
ion/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Ca
r
penter
flow: the next statement should nev
e
r b
e
the curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*
n
ew* check_check_deref
.
c: checking for
null
i
nc
o
nsist
e
n
t
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpen
t
er
*new*
c
heck_
n
o
_ef
f
e
ct:
print war
n
ings statements that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup default modi
f
icat
i
on hoo
k
s in set_true
_
f
a
l
se_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
enter
introduce in_mac
r
o() which r
e
tur
n
s true if we're
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
D
an Carpen
t
er
introduce: in_e
x
p
ression_statement() and rename get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
D
a
n Car
p
e
nter
churn: rename __
s
plit
_
statements() =
>
__split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
nter
e
xt
r
a: handle i++ and i
+=
2 better
outsi
d
e loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpente
r
f
i
l
t
er_kernel_der
e
f_check
.
sh: print
the function names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rp
e
nter
Add STRING_HOOK f
o
r examining
s
trings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carp
e
n
t
er
*
n
ew* check_ke
r
ne
l
.
c
: handle tomoyo_memory_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Car
p
ent
e
r
core:
f
ix ha
n
dling
o
f
switch statements
with unre
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n
Ca
r
penter
bail out earlier if
f
unctions get to
o
d
ifficult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include
static functio
n
s in
list of funct
i
ons which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n
Car
p
enter
*new* freei
n
g
_
null: callin
g
free for a variable
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv:
c
a
ll remove_from_equiv() on assignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
p
enter
ma
t
h:
p
reven
t
divide by
z
e
ro bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_lock: add more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carp
e
n
ter
new: chec
k
_
proc_create() check for worl
d
writable
pr
o
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
m
a
th: teach smatch to understand
const
values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
er
check_overflo
w
: f
i
x
theoretical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
core: fix prob
l
em
i
n
handling select
s
t
a
tement / OR
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cl
e
a
nup: rename sm_
s
tate
s
to "sm" inst
e
a
d
of "st
a
te"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
enter
ge
t
_variable_
f
rom_expr(): if it involve
s
a
number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
e
r
debug: p
r
int more
u
s
eful information about conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: handle
s
pin_t
r
ylock_irq
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
locking: hand
l
e spin_l
o
ck_irqsave_neste
d
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
l
o
cking:
h
andle raw_sp
i
n_u
n
lock_irqr
e
store()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpe
n
ter
locking: make "sometimes locked
"
messages de
p
e
nd on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
r
p
ente
r
M
e
r
g
e branch 'devel' i
n
to d
e
vel_equi
v
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equ
i
v: if
a
variable
is
only equiv
a
lent
t
o it
s
elf set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an
C
arpenter
extra: use
t
h
e fa
k
e assignments instead of th
e
i
nitializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpe
n
t
e
r
equ
i
v:
n
ever se
t
SMATCH_EXTR
A
values
d
irectly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
equi
v
: eliminate bogus c
a
ll t
o
set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
introduce
_
_s
m
a
t
c
h_debug_o
n
(
)
and __s
m
atch_
d
ebug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
o
ckin
g
: make spinlock_i
r
qsave()
w
ork
f
or my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: whit
e
space fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpenter
locking:
add more stand
a
r
d
l
ocks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
c
heck_locking:
c
l
e
an up list
of ker
n
el locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
enter
handle se
l
ect assigns
:
foo = a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Ca
r
penter
c
o
re:
f
a
k
e
cur_slist mo
r
e completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
co
r
e: rewrite sele
c
t
statement hand
l
in
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
pente
r
sta
t
es: verify that
t
h
e
stac
k
s
ar
e
empty at the
end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
a
rpenter
Rename
functions: _
_
pop_f
o
o() => _
_
d
is
c
ard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
s
match_sta
t
es: rename some
f
unctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
re
l
eas
e
_r
e
source: Doh
.
It's
looking fo
r
the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
pente
r
fix select statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpenter
core: cleanup
.
delete fake condition stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
n
t
er
core: ma
k
e
f
a
ke cur_slists stacka
b
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist:
make set_state_stack()
return the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpe
n
ter
*new
*
che
c
k_release_
r
esour
c
e
.
c:
c
heck tha
t
we re
l
ease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
f
low
:
split asm clob
b
ers, inp
u
t
s
and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpe
n
te
r
whi
t
e_s
p
a
ceo
n
ly: allow head
e
r fi
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carpenter
*new* str
i
p_
w
h
ite
s
pace
.
p
l
: removes all
the white
s
p
ace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*
new* check_resource_s
i
ze(): prod p
e
ople to use resource_siz
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: as
s
um
e
impo
s
sible t
h
ings are
i
mpossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Car
p
enter
err_ptr: fix btrfs f
a
l
s
e p
o
sitives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpenter
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
Carpe
n
t
e
r
*new* che
c
k_db_in
f
o
.
c pr
i
nt
s
ou
t
stu
f
f
t
hat will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carp
e
nter
cleanu
p
:
m
o
ve
stu
f
f from smatch_extra
.
c to smatc
h
_
m
ath
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
w
hitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
C
arpenter
equiv: fi
x
crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
check_over
f
low: malloc() =>
_
_allo
c
_smat
c
h_stat
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
smatc
h
.
c: don't leak th
o
s
e 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_expr
:
f
ix memory l
e
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
ernel: free_area() doe
s
n't call k
f
ree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
r
p
enter
*new* check_return
.
c: complain if you don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math: make get_implied
_
value() work for pointe
r
s better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
pente
r
mat
h
:
cleanup:
cre
a
te separate _get_implie
d
_
v
a
l
ue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle mod
u
lu
s
'%'
o
p
erations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: handle EXPR_PO
S
TOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpen
t
er
ma
t
h: cleanup
:
make han
d
ling binops a s
w
itch(
)
statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math: c
l
eanup create separate h
a
ndle_b
i
n
o
p() f
u
nc
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h
:
cleanup
.
use cast_to_type() instead of re-i
m
plimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: clean
u
p
.
separate handle_pre
o
p() i
n
to it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
rpenter
equ
i
v: fix
c
rashi
n
g bug i
n
t
roduced
in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
Cre
a
te sepa
r
ate
s
match_
m
ath
.
c
f
ile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
upd
a
t
e
s
m
atch_data/ for 2
.
6
.
3
4-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next