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
Remove switch cloning complexity.
2009-05-22
Dan Carpent
e
r
Remove s
w
it
c
h cloni
n
g complexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpente
r
two is al
w
ays non
-
nul
l
t
hese days
.
don't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
remove unused mer
g
e_pools()
f
unct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't print "list"
va
r
i
a
bl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
Make my
_
poo
l
s => my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
p
enter
i
ntroduce
c
lone_poo
l
_havers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
a
rpenter
clo
n
e_state() doesn't
copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
en
t
er
Re
w
ork implic
a
ti
o
n
s to use ->pre
_
l
eft
and -
>
pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpe
n
t
er
Intro
d
uce ->pre_left
a
n
d ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
M
ake
t
he RAM limit more accu
r
ate and flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
D
a
n
Carpenter
Only c
l
one the states if i
t
is a switch statem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't clone th
e
false
states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Da
n
Carpenter
Don't clone
a
ll the stat
e
s for
every
cas
e
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpent
e
r
Make the
v
a
l
id
a
ti
o
n
t
est harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Pre
v
e
nt some
e
nd
l
ess loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpenter
Putting
p
a
rens around somethi
n
g
d
o
esn't make it
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n C
a
rpe
n
t
er
Fix memory leak
.
fr
e
e_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carp
e
nter
Make st
r
uc
t
sm_state
more
compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an
C
arpenter
smatch_sli
s
t
.
c no longe
r
needs any fun
c
t
i
o
ns f
r
om smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpen
t
er
De
l
ete all
the
anding compo
u
n
d c
o
nditions code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
check deb
u
g is useful for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
pot
e
ntial bug fix for
g
otos with
i
mplications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make valid
a
tion test harde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpente
r
Rework smat
c
h implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
D
an Carpenter
get_v
a
l
u
e():
handle
a couple
m
ore bit
o
p
erat
o
r
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpen
t
er
Set things in smat
c
h
extra
ins
t
ead o
f
smatc
h
i
m
p
lied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Hand
l
e swi
t
ch statement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Rever
t
"Don'
t
the implications for t
h
e state de
t
ermining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
D
a
n
Carpenter
R
evert "Here is a bug in han
d
l
i
ng co
m
pou
n
d
cond
i
t
i
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
handle if
(
(foo =
d
own_t
r
ylock())
<
0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
D
an Carpenter
a
dd
_
is_merged_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
Carpenter
Dere
f
er
e
nc
i
ng a v
a
riab
l
e d
o
e
s
n'
t
make
i
t undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
R
e
d
o checking for out
o
f ran
g
e
a
rgs to ER
R
_PT
R
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
a
n Carpe
n
ter
Here is a bug in handlin
g
compound condition
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
enter
Handle st
r
a
i
ght forward
comparisons
to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
arpenter
Store the
implications for retu
r
n
_
implies_state() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Car
p
enter
Add: retu
r
n_implies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Car
p
en
t
er
Rena
m
e s
m
atch_extra_helper
.
c
t
o
smatch_ran
g
es
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpenter
Eliminate set_cond_states() f
u
nc
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sma
l
l clean up
.
Allocating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Verify that the value passed to ERR_P
T
R() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
F
i
x
compi
l
er
i
nt<->
p
tr
con
v
ersion warnings
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
M
erge adjace
n
t ranges
.
1-2,3-4 be
c
omes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpente
r
Save some allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpe
n
te
r
Fix strncat() b
u
g
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
D
a
n Car
p
ente
r
I
m
p
r
ove
h
a
ndling of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Ha
n
dle once thr
o
u
g
h
loops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
F
ix merging ranges
.
Com
p
lete
l
y br
o
ken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
Typo: <
=
i
n
st
e
ad of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
Rever
s
e
a
ll the
r
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
D
o
n
't t
h
e i
m
pl
i
ca
t
ions fo
r
the state
determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
nter
mat
c
h_comparison
t
o
handle
less
t
han, great
e
r
than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change locking output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't allocate so many
e
x
t
ra_undefined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
create alloc_extra_state_empty(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
remove
tr
u
e_comparison()
and do_c
o
mpari
s
on(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
m
ove (t
r
ue|false
)
_comparison_r
a
nge()
to smatch_extra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
c
l
e
ar ->m
y
_l
i
sts
f
or
&i
g
nor
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpente
r
P
r
in
t
more --debug-implied informatio
n
when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Remo
v
ed hard coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
Fix range
co
m
parison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
remov
e
unused
f
unct
i
on: rang
e
_lis
t
_interse
c
tion(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpent
e
r
Handle U
N
D
E
FINED range
a
nd dis
p
lay the name correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carpe
n
ter
Fix s
t
ate names for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
I
mplied ranges
.
Part #3
.
Ran
g
e Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
nter
Update
data
files for 2
.
6
.
3
0-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
smat
c
h_ex
t
ra
.
s
a
ve
o
ther comparisons besid
e
s just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Ca
r
pente
r
handle: if ((foo =
try_lo
c
k())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
rena
m
e: expr_to_val() -> g
e
t_i
m
plied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix 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
Dan Carp
e
n
t
e
r
handle if
c
ondi
t
io
n
a
l
f
unctions are as
s
i
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add new restri
c
ted known_conditio
n
_tr
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
rename known
_
condition_true()
t
o implied_cond
i
t
ion_true(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpente
r
Add ERR_PTR() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__module_put_and_exit() doesn't ret
u
rn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Separate the list
o
f
fre
e
d arguments
f
rom d
e
c
r
eme
n
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Writ
e
a
s
cript
t
o print f
u
nctio
n
s that return NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Don't fr
e
e
bin_d
i
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oo
p
s
.
Co
m
m
i
t
t
hese essen
t
ial files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
Handle kno
w
n
c
onditions when they are a sim
p
le va
l
ue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Car
p
enter
Add CASE_HOO
K
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
a
r
p
en
t
er
Fix me
m
o
r
y
leaks found by valgri
n
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
a
lloc_stri
n
g() -> a
l
loc_sna
m
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
ar
p
e
n
ter
P
ut som
e
vali
d
ation sc
r
ipts in the cl
o
set
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
Implied ranges
.
Part #2
.
Fi
l
ters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
S
i
lence t
h
e
mutu
a
lly exc
l
usi
v
e
o
utp
u
t again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
F
r
ee a
l
l data_info at
the end of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
A
d
d
-
-
no-data
option and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
en
t
er
range fix
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
c
l
eanu
p
s from clone_slist()
changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpente
r
Implied ranges
.
Part #
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan
Carpenter
A
dd th
e
a
l
location funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
enter
fr
e
e_scq is defined 2 times quite differ
e
n
t
ly
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix implication
s
(
f
allout from clo
n
e_slist(
)
changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
pe
n
ter
Major memory sa
v
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an
Carpe
n
ter
--d
e
bug means print the implicati
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
Carpenter
Add
-
-no-implied to th
e
help te
x
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
Carpenter
Save mem
o
r
y
.
Don't
c
opy
the state n
a
m
e
so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
C
a
r
penter
A
d
d che
c
k_type
.
c (di
s
abled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
kref_pu
t
() an
d
ko
b
ject_put(
)
are basically like
a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next