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 for out
_
of_me
m
ory() less often an
d
only after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Ca
r
penter
Better debug
g
ing for check
_
memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
A
dd sw
i
tch
t
esting test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
D
oh
.
Too many impl
i
ed s
t
a
tes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpenter
R
emove clone
_
slis
t
_
and_st
a
t
e
s(
)
a
n
d
merge
_
slist_
c
lone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Rem
o
ve s
w
i
t
c
h cloning
c
o
m
plex
i
ty
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
two is alway
s
non
-
null t
h
ese days
.
don't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carp
e
nter
r
e
move unus
e
d merge_pools()
f
unct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
don't print "list" v
a
ria
b
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
Mak
e
my
_
pools => my
_
pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
introduce clone_pool_haver
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpen
t
er
c
lone
_
stat
e
()
d
oe
s
n
'
t
co
p
y m
y
_p
o
ols
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rework implicati
o
ns to
use
->p
r
e
_left and -
>
pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Introd
u
ce ->pre_left and
-
>pr
e
_r
i
ght
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpe
n
ter
Make the RAM limit more accurate and
f
lexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
On
l
y clone
t
h
e states if it
is
a switc
h
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Do
n
't clone the fa
l
se s
t
a
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpente
r
Don't clone all the s
t
ate
s
f
o
r
e
very case statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make the va
l
i
d
a
tion test har
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpenter
Prevent s
o
me en
d
less loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Putting parens around som
e
t
hi
n
g
doesn't ma
k
e it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpenter
Fix
memor
y
le
a
k
.
fre
e
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rp
e
nter
Mak
e
s
truc
t
s
m_st
a
te more compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
smatch_slist
.
c
n
o longer
needs any fun
c
ti
o
n
s from s
m
atch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
pent
e
r
Delete all the anding compound
c
onditions code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n
C
arpenter
check
d
ebug
is
useful for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
po
t
ential bug fix
f
or gotos with implicati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make validation
t
est har
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpen
t
er
R
e
w
ork
s
match implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
D
a
n
Carpent
e
r
get_value(): h
a
n
d
l
e a
c
o
u
ple more bit operator
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan C
a
rpe
n
ter
Set things in
s
match extra instead of smatc
h
implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpenter
H
a
ndl
e
swi
t
ch statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpenter
Re
v
ert "Do
n
't
the implications f
o
r the state determi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carp
e
n
ter
R
e
vert
"
H
ere is a b
u
g in ha
n
d
ling
c
ompoun
d
co
n
ditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
pent
e
r
h
a
ndle
if((foo
= down_trylock()) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
pente
r
add
_
i
s
_merged_h
o
o
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
an Car
p
en
t
er
Dere
f
e
renci
n
g a variable
d
oesn'
t
make it undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Da
n
Ca
r
penter
Redo chec
k
ing for o
u
t of ran
g
e args to ERR_
P
TR
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan
Carpenter
H
e
r
e
i
s a
bu
g
i
n
h
a
nd
l
ing compo
u
nd co
n
ditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle straight forw
a
rd
c
omparisons to z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Carpenter
Store the
implications for
r
e
turn_
i
mplie
s
_state
(
)
assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpe
n
t
er
A
d
d: return_impli
e
s_
s
tat
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
p
enter
R
ename smatch_
e
xtra_helper
.
c
to smatch_range
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate set_cond_states() fu
n
cti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
Sma
l
l cl
e
an up
.
Allocatin
g
filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify tha
t
t
he va
l
ue passed to ERR
_
P
TR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
F
i
x c
o
mpiler int<->ptr conver
s
io
n
warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
p
e
nte
r
Me
r
ge a
d
jacent ranges
.
1-2,3-4
bec
o
m
e
s 1-
4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Save som
e
allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
F
ix str
n
cat() bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpent
e
r
Improve handling o
f
f
or loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
H
andle once
t
hrou
g
h
l
o
ops differ
e
n
t
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
Fix mer
g
ing ranges
.
Comp
l
etely broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <= instead
o
f >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Rev
e
rse all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rp
e
nter
Don't the implications for the state determin
i
n
g
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpent
e
r
match_com
p
ari
s
on to handle
le
s
s th
a
n,
greater tha
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Change
locking outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
Don't
allocate so
m
any extra_unde
f
i
n
e
d
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
crea
t
e all
o
c_extra_state_em
p
ty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
e
r
rem
o
ve tr
u
e_comparis
o
n
(
) and do_com
p
arison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
ent
e
r
mov
e
(true|fals
e
)_com
p
ariso
n
_range(
)
to
s
ma
t
ch_extra_helpe
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
cle
a
r ->my_
l
ists f
o
r
&
ignore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Prin
t
more --debug-implied information wh
e
n --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
Rem
o
ved hard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
F
ix range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unus
e
d function: range_list
_
intersection(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpenter
H
andle UNDEFINED r
a
nge and display the
n
ame correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
F
ix state names for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
I
m
plied ran
g
es
.
Part #3
.
Ran
g
e Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
Update
d
ata file
s
for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rpenter
smatch_extra
.
save
o
t
her com
p
a
risons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
hand
l
e: if
(
(foo = try_lock(
)
))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Ca
r
p
enter
renam
e
:
e
xpr_to_val()
-
> get_im
p
lied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
F
i
x h
a
ndling of if (IS_E
R
R
(foo = bar
(
))) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Car
p
e
n
t
er
handle i
f
c
o
n
ditional fun
c
tions are
assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
Add new restricted known_condition_tr
u
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
re
n
ame known_condition
_
true() to
i
mp
l
ied_
c
onditi
o
n_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add ER
R
_PTR() ch
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
_
_
module_p
u
t_and_exit
(
) d
o
e
s
n't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpe
n
t
er
Separate t
h
e list of
fre
e
d arguments from dec
r
e
m
ented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpent
e
r
Write a
scr
i
pt to print functi
o
ns that
r
e
t
u
r
n 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 Carp
e
nte
r
Oops
.
Commit these es
s
en
t
ial
f
i
le
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle known conditio
n
s when
t
hey are a simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
A
dd CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
F
i
x memory leaks
found by valgr
i
nd
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
a
lloc_strin
g
() ->
a
lloc_sname
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
P
u
t
some v
a
lidation s
c
ripts in the closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Impli
e
d ran
g
es
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carp
e
nter
Silence
t
he mutua
l
ly exclus
i
v
e outpu
t
ag
a
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan C
a
rpenter
Free all dat
a
_info at the e
n
d o
f
a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add --
n
o
-da
t
a option
and warni
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an
C
a
r
penter
r
ange fix
.
anding slist
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpente
r
cleanu
p
s from clone_slist(
)
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
rpen
t
e
r
Implied range
s
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
A
d
d the al
l
oc
a
tion funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arp
e
nter
free_
s
cq is def
i
ned 2 times q
u
ite differently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpen
t
er
Fix impl
i
cations
(
fallo
u
t from
c
lone
_
sl
i
st()
changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpenter
M
a
j
or memo
r
y
s
aving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next