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
ch
e
ck for o
u
t_of_memor
y
() less o
f
ten and
o
n
ly after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Better
d
ebug
g
i
ng for
c
h
e
c
k_memory
.
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
nt
e
r
D
o
h
.
To
o
many implied s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Car
p
enter
Remove clone_sl
i
s
t_and_states() and mer
g
e_slist_clone(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Ca
r
penter
Remove switch cloning c
o
mplexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
tw
o
i
s
a
l
ways non-n
u
l
l
thes
e
d
ays
.
do
n
't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
remove unused merge_pools() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
don't p
r
in
t
"lis
t
"
v
ariable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpe
n
ter
Make m
y
_pools
=
> my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introduce
clone_pool_havers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
c
lo
n
e_state() doesn't copy my_poo
l
s
.
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
Carpe
n
ter
Rework i
m
plications to u
s
e ->pre_left and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan C
a
rpen
t
er
I
ntroduce ->pre_left and ->pre_r
i
ght
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
M
a
k
e
t
he
R
AM li
m
it more
a
ccurate and
fl
e
x
i
ble
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpen
t
er
O
nly clone
the states if
i
t
i
s a switch statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpen
t
e
r
Don't cl
o
n
e
the false states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Carpenter
Don't c
l
one all the
s
t
ates
for e
v
ery
cas
e
st
a
tement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make the validation test ha
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
er
Prevent so
m
e endl
e
s
s
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
Putting parens aro
u
nd someth
i
ng doesn't
m
ake i
t
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
F
i
x memor
y
leak
.
free_slis
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
e
r
Mak
e
struct s
m
_stat
e
m
ore compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
sm
a
tch_slist
.
c no longer needs any functi
o
ns from smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete a
l
l
the
a
nding compou
n
d cond
i
tions code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
ch
e
ck debug is u
s
efu
l
for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
potenti
a
l
b
u
g
fix
f
or
g
oto
s
w
i
th impli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make
v
a
l
idation
t
e
s
t
h
a
r
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
ar
p
enter
Rewor
k
smatch
i
mplied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carp
e
n
t
er
get_val
u
e():
handle a couple more
b
i
t
operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set t
h
ings
in smatch extr
a
inst
e
ad
o
f
smatch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Car
p
en
t
e
r
Handle swit
c
h stateme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpenter
Rever
t
"D
o
n
'
t t
h
e implications f
o
r the
s
tate determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
an Carpe
n
ter
R
e
v
ert "Her
e
is a b
u
g in handl
i
n
g
co
m
pound condi
t
i
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan C
a
rpenter
handle if
(
(foo =
down_trylock
(
)) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
a
rpenter
add_is_m
e
rged_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
a
n
C
arpente
r
Der
e
fe
r
encing a varia
b
le doe
s
n't
m
ake it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
D
a
n Ca
r
pent
e
r
Redo chec
k
ing
f
or out of range args
t
o ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
an Carpenter
Here is a bug in
handling compound condition
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
e
n
ter
Ha
n
dle straight forward comp
a
risons to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Carpen
t
er
Store
the
i
m
plicat
i
ons for ret
u
r
n
_implies_state(
)
as
s
ignm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
penter
A
d
d: return_implies_
s
t
a
te(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
ent
e
r
Rename
smatch_ex
t
r
a
_helper
.
c
to smatc
h
_ran
g
es
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Carpenter
E
l
im
i
n
a
te
set_cond_state
s
() fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Carpenter
Smal
l
clean u
p
.
Allo
c
ating filt
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Ca
r
penter
Verify that the val
u
e
passed to ERR_PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix compiler
i
nt<->ptr
c
onversion
warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Merge adjace
n
t r
a
nges
.
1-2,3-4 beco
m
es 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpente
r
Save s
o
m
e
allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fi
x
strnca
t
() bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpente
r
Impr
o
ve handling of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpen
t
e
r
Handle once throu
g
h loo
p
s diff
e
rently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpen
t
e
r
Fix
m
e
rging ranges
.
Completely brok
e
n before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nt
e
r
Typo: <= instea
d
of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpenter
Reve
r
se all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpe
n
ter
D
on't t
h
e i
m
plications for the state determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
match_comparis
o
n to handle less
t
han, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
C
h
ange locking outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpen
t
er
Don't all
o
cate so many
e
x
t
r
a
_undefined
sta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
c
reate alloc_extra_stat
e
_emp
t
y
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
r
e
m
ove tru
e
_comparison
(
)
and do_c
o
m
p
a
riso
n
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
mo
v
e
(true|f
a
lse)
_
compar
i
so
n
_ran
g
e(
)
to smatch_extra_hel
p
er
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Car
p
enter
clear
-
>my_lists f
o
r &
i
gno
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
Print more --debug-i
m
p
l
ied informa
t
io
n
when --
d
ebug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
t
e
r
Removed
h
ard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pente
r
F
ix range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpent
e
r
remove unused function: ran
g
e_list
_
inte
r
secti
o
n()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
ar
p
enter
Handle UNDEFINED range and d
i
splay t
h
e name correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpenter
Fix state na
m
es for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpent
e
r
I
mpli
e
d ranges
.
P
a
rt
#
3
.
R
a
nge Lis
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arp
e
nter
Update
d
ata
f
i
l
e
s for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
s
m
atch_extra
.
s
a
ve other comparisons
b
esides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
ha
n
dle: if ((foo = try_lo
c
k(
)
)) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
re
n
ame: expr_to_val() -> get_
i
mpl
i
ed_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fi
x
handling of i
f
(IS_ERR(foo = bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
a
r
penter
han
d
le if condi
t
io
n
al fu
n
ction
s
a
re
a
ssigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add new
restricted kn
o
w
n
_con
d
ition_tr
u
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpenter
rename known_conditi
o
n_tru
e
() to implied
_
condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpen
t
er
Add ERR_PTR()
c
hec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
__module_put_and_exit() d
o
esn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
Separate th
e
list
of freed ar
g
ume
n
ts from decreme
n
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
W
rite a s
c
ript
to print f
u
ncti
o
ns that return NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don't free
bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Oops
.
Commit these es
s
e
ntial
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpe
n
t
e
r
Han
d
l
e
kn
o
w
n conditions when they are a simp
l
e value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
Ad
d
CASE_H
O
OK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpente
r
Fix me
m
ory
lea
k
s foun
d
by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
a
rpenter
alloc_str
i
ng
(
) -> alloc_sname
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
Put
some vali
d
at
i
on
s
cripts in
t
he cl
o
set
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
I
m
p
l
ied rang
e
s
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
ar
p
e
nter
Silen
c
e the mutua
l
ly excl
u
sive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpente
r
Fr
e
e a
l
l dat
a
_inf
o
at the end of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Ad
d
--no-data option and war
n
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an Car
p
ent
e
r
ran
g
e
f
i
x
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
cle
a
n
u
ps from cl
o
ne_
s
list() changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied ranges
.
Par
t
#1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Da
n
Car
p
en
t
er
A
dd the all
o
cation funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpen
t
er
fr
e
e_scq is
defined 2 times quite differently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carp
e
nter
Fi
x
implicati
o
ns (fallout from
clone_sli
s
t()
c
h
ang
e
s)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Ma
j
or memory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next