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
check for out_of_memory() less often and only after allocating something.
2009-05-24
Dan Carpenter
check fo
r
ou
t
_of
_
memory() l
e
ss often a
n
d onl
y
after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Better debugging for c
h
e
ck_
m
emory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpenter
Add
switch testing test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carp
e
nter
Doh
.
Too many
i
mplied st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Car
p
enter
R
e
move
c
lone_slist_and_states(
)
a
n
d merge_slist_clone
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carpe
n
ter
Remove s
w
itch c
l
onin
g
complexi
t
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
p
e
n
t
er
two is always non-null
t
hese days
.
don'
t
c
h
e
ck
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remove unused
merge_pools() func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
d
o
n't print "li
s
t" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Make my_po
o
ls =>
my_
p
ool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
introd
u
c
e
c
lone
_
pool_haver
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpente
r
clone
_
state() doesn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
Rework i
m
plications to use ->pre_left an
d
->pre
_
ri
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Introdu
c
e ->pre_
l
eft
and
-
>
p
r
e_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Make the
R
AM
l
imi
t
m
o
r
e
accurate and flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan
C
a
rpenter
Only clo
n
e
the states if it is a switch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don'
t
clone the fals
e
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpe
n
te
r
Don't
clone all t
h
e s
t
ates f
o
r
e
ver
y
c
as
e
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
an Carpen
t
er
Make the val
i
dation test harde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Car
p
enter
Pr
e
v
e
nt some
e
n
dless loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
Putting parens a
r
ound somethi
n
g doesn
'
t make it un
d
ef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpente
r
F
ix memory leak
.
free
_
slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Make struct
s
m_s
t
ate more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
smatch_slist
.
c no longer nee
d
s
any functions from sm
a
tch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
D
elete
all t
h
e a
n
ding compound
c
o
n
ditions
c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpen
t
er
check de
b
ug
is
usefu
l
for
d
e
b
ugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpent
e
r
potential bug fix for
gotos w
i
th implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
Make v
a
lidatio
n
test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpente
r
Rework s
m
atch impl
i
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan
C
a
rpenter
get_va
l
ue
(
):
handle a couple
more
b
it
o
perators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
an
Carp
e
nter
S
et
things
i
n
smatch
e
xtra in
s
tead of smatch implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Han
d
l
e swi
t
ch state
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpe
n
ter
Revert "Don
'
t
the implicatio
n
s for the s
t
ate de
t
ermi
n
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan C
a
rpenter
Revert
"
Here is a bug in handling co
m
pound condi
t
ion
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Da
n
C
arpenter
h
a
ndle i
f
((foo
= down_tryloc
k
()) <
0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n
C
arp
e
nter
add_is_me
r
ged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
C
a
r
penter
Deref
e
re
n
cin
g
a
v
a
riab
l
e doesn't make it
undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checking
f
o
r
out of
r
a
nge args t
o
ERR_
P
T
R
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan
Carpenter
Here is a bug
in
handling
c
om
p
oun
d
co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle
s
traigh
t
fo
r
ward comparisons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
pe
n
te
r
Store
the implicat
i
ons for return_implies_state
(
)
assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpent
e
r
Add: return_imp
l
ies_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Rename sm
a
tch_ex
t
r
a
_h
e
lper
.
c to sma
t
ch_rang
e
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpe
n
ter
Eli
m
inate set_co
n
d_st
a
tes() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
pe
n
ter
Sma
l
l
clean up
.
Allocatin
g
filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Verify
t
h
at
th
e
value pass
e
d to ERR_PTR()
i
sn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpen
t
er
F
i
x c
o
mpiler int<->p
t
r
c
o
nv
e
rsion
wa
r
nings
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
p
enter
M
erg
e
adjace
n
t ranges
.
1
-
2,3-4 becomes
1
-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
S
a
v
e
s
ome
a
lloca
t
io
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpenter
F
ix strncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan C
a
rp
e
n
t
e
r
Imp
r
ove
h
a
n
dling of for lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
Carpenter
H
andle
once thro
u
gh loops diffe
r
entl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpente
r
Fix
m
erging
ranges
.
C
o
mpl
e
tely
b
r
oken b
e
f
o
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
C
a
r
p
enter
Typo: <= instea
d
of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan
Carpe
n
ter
Rev
e
rse all the
ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
D
on't the imp
l
ications for the state de
t
ermining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
match_comparison
to
handl
e
less than
,
greater tha
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Car
p
en
t
er
Change locking o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
Don't allocate so m
a
n
y
extra_undefined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
n
t
er
create
a
llo
c
_extra_state_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Car
p
enter
remove
t
rue_comparison
(
) an
d
do_comparis
o
n()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
move (true|false)
_
c
o
mp
a
ri
s
on_ran
g
e()
t
o smatch_ext
r
a
_
helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Car
p
en
t
er
clea
r
->my_
l
i
s
ts for
&
i
gnore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
P
r
int
m
o
re --deb
u
g-implie
d
info
r
mation when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rp
e
n
ter
Remo
v
ed h
a
rd coded
o
ptions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
Fi
x
range comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
Carpent
e
r
remove unu
s
ed
f
un
c
tion:
range_list_intersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
Handle UNDEFINED r
a
nge and dis
p
lay the name correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix state names f
o
r
r
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
en
t
e
r
I
m
plied
r
anges
.
P
a
rt #3
.
R
a
n
ge Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpen
t
er
U
p
date data files f
o
r 2
.
6
.
3
0-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
smatch_extra
.
save other comp
a
risons besid
e
s just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
ar
p
ent
e
r
handle:
i
f ((foo = t
r
y_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
ren
a
me: expr_to_val() -> get_impli
e
d_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
penter
Fix ha
n
dli
n
g of
if (IS_ERR(foo = b
a
r())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
handle if cond
i
t
i
ona
l
functio
n
s a
r
e a
s
signed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
Ad
d
n
ew re
s
t
r
icted kn
o
wn
_
c
o
ndition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
ren
a
me kno
w
n_cond
i
tion_true()
t
o im
p
lied_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Add ERR_P
T
R() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
__m
o
dule_put
_
an
d
_exit(
)
doe
s
n't return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpent
e
r
Separ
a
te the list of fr
e
e
d
arguments
f
rom
d
ecremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an C
a
rpenter
W
r
ite
a script to prin
t
functions that
r
e
turn NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an
Carpenter
Don't free bin
_
d
ir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpen
t
er
Oops
.
Commi
t
thes
e
e
ssential f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpente
r
Han
d
le known conditi
o
ns w
h
en they a
r
e a simp
l
e value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add
C
ASE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
pent
e
r
Fix m
e
mor
y
leak
s
found by
v
a
lgrin
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpent
e
r
all
o
c_string() -> allo
c
_snam
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpent
e
r
P
ut some v
a
lidation scrip
t
s in the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
ent
e
r
I
m
plied r
a
nges
.
Pa
r
t #2
.
Filter
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
C
arpe
n
ter
Silence the mutually e
x
c
l
usive output again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan C
a
rpenter
F
re
e
all
da
t
a_info at the
e
n
d of a
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan C
a
rpent
e
r
Add --no-data
o
ption and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
e
nter
r
ange fix
.
andin
g
sl
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
pen
t
e
r
c
leanup
s
from clone_slist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n
C
a
rpe
n
ter
Im
p
lied ranges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
Add t
h
e alloca
t
ion funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Car
p
enter
fr
e
e
_
scq is defined 2
t
i
mes quite
differently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpen
t
er
F
ix
i
m
plications (fall
o
ut
fro
m
clon
e
_slist() ch
a
nge
s
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rp
e
nter
Majo
r
memory
s
a
ving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next