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
penter
small cle
a
n
u
p a
n
d a comment c
h
ange
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan
C
a
rpenter
*n
e
w
* check_
s
nprintf:
using th
e
return value of snprintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Ca
r
penter
unuse
d
_retur
n
: p
r
int functi
o
n name th
a
t was ig
n
ored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
mat
h
: d
o
n't
pass negative
n
umbers as ab
s
olute max
f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arp
e
nt
e
r
i
m
pl
i
ed: allo
w
the known part
to be
a
range lis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
rpente
r
math: fix get_absolute_min/max() for sizeof()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Ca
r
pente
r
e
x
tra:
m
ake
do_
c
omparison(
)
hand
l
e tw
o
vari
a
bl
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
ranges: intr
o
d
uce fre
e
_range_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
r
anges: introduce poss
i
bly_true/fal
s
e_
r
ange_lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
an Carpenter
prece
d
ence: don't co
m
plain a
b
out if foo is 0-
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
an Carpenter
extra: cleanu
p
: rename do_compari
s
on_range() => do_co
m
pa
r
ison
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carpe
n
ter
known_cond
i
tion_true/fa
l
se():
h
andle expression statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Da
n
Car
p
enter
*new* check_kunmap
(
)
:
confusion between kmap()
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Da
n
Ca
r
penter
*new
*
smatch
_
scri
p
ts/unlocked
_
paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpen
t
er
flow: cleanup: make s
p
li
t
_function
(
) it's own fun
c
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
deref_check: use i
n
_
ma
c
ro() to si
l
e
nc
e
most o
f
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
D
an
Carpenter
mat
h
: introd
u
c
e
g
e
t_absolute_min/max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpenter
ma
t
h
:
cleanup:
r
ename get_implied_singl
e
_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Car
p
e
n
ter
math: cleanup:
s
huffle som
e
f
u
nctions around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n
Carpe
n
ter
m
a
th: cleanup: get r
i
d of the *disca
r
d
thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an
C
arpenter
m
ath: cle
a
nup: get rid of IMPLIED_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpenter
de
l
ete check_null_der
e
f
.
c a
n
d clean up
validation/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
C
a
rpenter
fl
o
w: th
e
n
e
xt s
t
atement
s
hou
l
d ne
v
e
r
b
e the current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
an Ca
r
pe
n
ter
*n
e
w* check_check_deref
.
c: checking fo
r
n
ull
inconsistent
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Carpenter
*new* check_no_effe
c
t: print war
n
ings statem
e
nt
s
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Ca
r
pen
t
e
r
setup d
e
fault modification hooks in set
_
t
rue_fals
e
_state
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpenter
in
t
rod
u
ce
in_
m
ac
r
o() which
r
eturns tr
u
e
if w
e
'
re in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
introduce: in_
e
xpression_
s
tatement() and
rena
m
e get_block_
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
Dan
Carpen
t
e
r
churn: rename __split_st
a
tements() =>
_
_split_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
arpen
t
er
e
x
tra: h
a
n
d
l
e
i++ and i += 2 better outside loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
penter
filter_kerne
l
_deref_check
.
sh
:
print the
f
uncti
o
n names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpenter
Add STRING_HOOK for examin
i
ng strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan
Ca
r
p
e
nter
*
new* chec
k
_
kernel
.
c: handle
t
o
m
oyo_m
e
mory_ok() an
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpenter
core: fix h
a
ndling of switch
s
tatements with unreach
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
arpente
r
bail o
u
t ea
r
lier if
f
unc
t
ions get too di
f
ficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpent
e
r
include static functions in li
s
t of fu
n
c
t
ions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freei
n
g_null: calling f
r
ee for a variable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equ
i
v: cal
l
remove_f
r
om_equiv() o
n
as
s
ignm
e
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
an Carpenter
ma
t
h
:
prevent
d
i
vid
e
b
y
z
e
ro
bug
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_l
o
c
k
:
a
dd more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
D
a
n
C
arpen
t
e
r
new:
c
heck_proc_create() che
c
k for wo
r
ld writable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
math:
t
each
s
ma
t
ch to un
d
erstand const
v
alues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n C
a
rpen
t
er
c
heck_over
f
low:
fi
x
t
heoretical memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpente
r
core: fix p
r
o
blem in handlin
g
selec
t
s
tateme
n
t /
ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
cleanu
p
: renam
e
sm_states to "
s
m" ins
t
ea
d
o
f
"state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
ge
t
_variable_
f
rom_exp
r
(): if it involves a number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
debug: print
more useful information about conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
lo
c
k
ing
:
handle spin
_
t
r
ylock_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locki
n
g: hand
l
e spin_
l
ock_irqsav
e
_neste
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpenter
locking: ha
n
dle ra
w
_
s
p
in_unlock_
i
rqrestore()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ock
i
n
g
: make "sometimes locked" messages de
p
end on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
M
erge branch 'devel' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpente
r
equiv
:
if a variable is o
n
ly equivale
n
t to
i
tself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use the fake
assignments ins
t
ead of
the
init
i
al
i
zer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpente
r
equiv: nev
e
r set SMATCH_EXTRA valu
e
s
directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
eq
u
iv:
eliminate
b
ogus call to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carpe
n
ter
in
t
r
o
duce __sma
t
ch_debug_on() a
n
d __sma
t
ch_deb
u
g_off(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpe
n
ter
locking:
ma
k
e spinlock_irqs
a
ve() work for my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking
:
white space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Ca
r
penter
locking
:
a
d
d more
s
tandard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan
Carpenter
chec
k
_locking: clean
u
p l
i
s
t
of ke
r
nel locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpen
t
e
r
ha
n
dle select assigns:
f
oo = a ? b :
c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
C
arpenter
co
r
e: fake cu
r
_slist mo
r
e compl
e
t
ely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carp
e
nter
core: rew
r
ite
select s
t
a
t
e
m
ent handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
n
t
er
states: v
e
rify
t
hat the stacks a
r
e
empty a
t
the en
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpenter
Rename functions: __po
p
_
foo() => _
_
discard
_
fo
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpenter
smatch_states: re
n
ame
s
ome functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carp
e
nter
release_resourc
e
: Doh
.
It's
l
ooking for th
e
w
r
ong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
fix se
l
ect stat
e
me
n
t handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carp
e
nter
core: cleanup
.
delet
e
fake condition stack
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpent
e
r
core:
m
a
ke
fake
c
u
r
_
slists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
Car
p
enter
s
l
ist: make set_
s
ta
t
e_stack
(
) ret
u
rn the
new sm_stat
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* check_release_res
o
urce
.
c: check that w
e
release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split as
m
cl
o
bbers
,
in
p
uts and
outpu
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_spaceonly: allow header
files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*
new* strip_white
s
p
a
c
e
.
pl: rem
o
v
es all the whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpenter
*new
*
check_resource_size():
pr
o
d people
t
o use resourc
e
_si
z
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan
Carpe
n
ter
extra: assume impos
s
ible thin
g
s
are impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
er
r
_
ptr
:
fix
b
tr
f
s false po
s
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r_ptr: ha
n
dle when an err_ptr is re
a
ssign
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
*new* c
h
eck_
d
b_info
.
c pri
n
ts
o
ut
s
tuff that will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
c
l
eanup:
m
o
v
e stuf
f
from
s
m
atch_ex
t
ra
.
c to
s
m
a
tch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespac
e
changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
equiv: fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
check
_
o
v
e
rflow: mall
o
c
(
) =>
_
_alloc
_
smatch_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpen
t
er
smatch
.
c: don't leak those 10
by
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
assigned_ex
p
r: fix me
m
o
ry lea
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
penter
kerne
l
: fre
e
_
a
rea() doesn'
t
call kfr
e
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
arpenter
*new* check
_
return
.
c: complain if y
o
u don't check
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: make ge
t
_implied_value()
w
ork
for point
e
rs better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
t
h: cleanup: create
s
ep
a
rate _get_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
handle
m
odulus '%' ope
r
ations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: handl
e
EXPR_
P
OS
T
O
P
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
n
t
er
math: cle
a
n
u
p: make handling bin
o
ps a switch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
mat
h
:
c
l
eanu
p
c
reate separate handle_binop() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
m
ath: cleanu
p
.
use cast_t
o
_type(
)
ins
t
ead of re-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
mat
h
: c
l
eanup
.
sep
a
rate handle_preop() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: fix crashing bug
i
ntr
o
d
u
ced in
8
c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
t
er
C
re
a
te separat
e
smat
c
h_m
a
t
h
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpente
r
update sma
t
ch_dat
a
/
for 2
.
6
.
34-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next