azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

generate pseudocode for property accessor only if the property is local

Browse Source 
otherwise check it independently like a function
This commit is contained in:
Svetlana Isakova
2014-01-23 17:27:08 +04:00
parent 1c4db84d92
commit aa713ef1f6
9 changed files with 123 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/cfg/AnonymousInitializers.instructions
+2 -27
View File
@@ -25,10 +25,7 @@ L0:
r(12)
w($i)
v(val j: Int get() = 20)
jmp?(L2) NEXT:[mark({ $i = 13 }), d(get() = 20)]
d(get() = 20) NEXT:[<SINK>]
L2:
mark({ $i = 13 }) PREV:[jmp?(L2)]
mark({ $i = 13 })
r(13)
w($i)
L1:
@@ -36,27 +33,5 @@ L1:
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>, d(get() = 20)]
L3:
<START>
r(20)
L4:
<END> NEXT:[<SINK>]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>]
=====================
== get_j ==
get() = 20
---------------------
L3:
<START>
r(20)
L4:
<END> NEXT:[<SINK>]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>]
<SINK> PREV:[<ERROR>, <END>]
=====================
compiler/testData/cfg/backingFieldAccess.instructions
+2 -27
View File
@@ -11,37 +11,12 @@ class C {
L0:
<START>
v(val a: Int get() = 1)
jmp?(L2) NEXT:[mark({ $a }), d(get() = 1)]
d(get() = 1) NEXT:[<SINK>]
L2:
mark({ $a }) PREV:[jmp?(L2)]
mark({ $a })
r($a)
L1:
<END> NEXT:[<SINK>]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>, d(get() = 1)]
L3:
<START>
r(1)
L4:
<END> NEXT:[<SINK>]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>]
=====================
== get_a ==
get() = 1
---------------------
L3:
<START>
r(1)
L4:
<END> NEXT:[<SINK>]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>]
<SINK> PREV:[<ERROR>, <END>]
=====================
compiler/testData/cfg/localProperty.instructions
+56
View File
@@ -0,0 +1,56 @@
== foo ==
fun foo() {
class B {
val a: Int
get() {
val b: Int
return b
}
}
}
---------------------
L0:
<START>
mark({ class B { val a: Int get() { val b: Int return b } } })
v(val a: Int get() { val b: Int return b })
jmp?(L2) NEXT:[<END>, d(get() { val b: Int return b })]
d(get() { val b: Int return b }) NEXT:[<SINK>]
L1:
L2:
<END> NEXT:[<SINK>] PREV:[jmp?(L2)]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>, d(get() { val b: Int return b })]
L3:
<START>
mark({ val b: Int return b })
v(val b: Int)
r(b)
ret(*) L4
L4:
<END> NEXT:[<SINK>]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>]
=====================
== get_a ==
get() {
val b: Int
return b
}
---------------------
L3:
<START>
mark({ val b: Int return b })
v(val b: Int)
r(b)
ret(*) L4
L4:
<END> NEXT:[<SINK>]
error:
<ERROR> PREV:[]
sink:
<SINK> PREV:[<ERROR>, <END>]
=====================
compiler/testData/cfg/localProperty.kt
+9
View File
@@ -0,0 +1,9 @@
fun foo() {
class B {
val a: Int
get() {
val b: Int
return b
}
}
}
compiler/testData/diagnostics/tests/controlFlowAnalysis/checkPropertyAccessor.kt
+38
View File
@@ -0,0 +1,38 @@
package d
val a: Int
get() {
val b: Int
val <!UNUSED_VARIABLE!>c<!>: Int
<!UNUSED_EXPRESSION!>42<!>
fun bar(): Int {
val d: Int
<!UNUSED_EXPRESSION!>42<!>
return <!UNINITIALIZED_VARIABLE!>d<!>
}
return <!UNINITIALIZED_VARIABLE!>b<!>
}
class A {
val a: Int
get() {
val b: Int
val <!UNUSED_VARIABLE!>c<!>: Int
<!UNUSED_EXPRESSION!>42<!>
return <!UNINITIALIZED_VARIABLE!>b<!>
}
fun foo() {
class B {
val a: Int
get() {
val b: Int
val <!UNUSED_VARIABLE!>c<!>: Int
<!UNUSED_EXPRESSION!>42<!>
return <!UNINITIALIZED_VARIABLE!>b<!>
}
}
}
}