Minor. removed several tests with error calls.
This commit is contained in:
-106
@@ -1,106 +0,0 @@
|
||||
== Bar ==
|
||||
class Bar {
|
||||
fun invoke(x: Int): Int = x
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
L1:
|
||||
<END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int): Int = x
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(x: Int)
|
||||
magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
w(x|<v0>)
|
||||
r(x) -> <v1>
|
||||
ret(*|<v1>) L1
|
||||
L1:
|
||||
<END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(x: Int)
|
||||
magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
w(x|<v0>)
|
||||
v(y: Int)
|
||||
magic[FAKE_INITIALIZER](y: Int) -> <v1>
|
||||
w(y|<v1>)
|
||||
2 mark({})
|
||||
read (Unit)
|
||||
L1:
|
||||
1 <END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== Foo ==
|
||||
class Foo {
|
||||
val get: Bar = Bar()
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(val get: Bar = Bar())
|
||||
mark(Bar())
|
||||
call(Bar(), <init>) -> <v0>
|
||||
w(get|<v0>)
|
||||
v(val set: Bar = Bar())
|
||||
mark(Bar())
|
||||
call(Bar(), <init>) -> <v1>
|
||||
w(set|<v1>)
|
||||
L1:
|
||||
<END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== test ==
|
||||
fun test(foo: Foo) {
|
||||
foo[1] += 2
|
||||
}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(foo: Foo)
|
||||
magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
w(foo|<v0>)
|
||||
2 mark({ foo[1] += 2 })
|
||||
mark(foo[1])
|
||||
r(foo) -> <v1>
|
||||
r(foo[1], get|<v1>) -> <v2>
|
||||
r(1) -> <v3>
|
||||
mark(foo[1])
|
||||
call(foo[1], invoke|<v2>, <v3>) -> <v4>
|
||||
r(2) -> <v5>
|
||||
mark(foo[1] += 2)
|
||||
call(foo[1] += 2, plus|<v4>, <v5>) -> <v6>
|
||||
r(foo) -> <v7>
|
||||
r(foo[1], set|<v7>) -> <v8>
|
||||
r(1) -> <v9>
|
||||
call(foo[1] += 2, invoke|<v8>, <v9>, <v6>) -> <v10>
|
||||
L1:
|
||||
1 <END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
@@ -1,13 +0,0 @@
|
||||
class Bar {
|
||||
fun invoke(x: Int): Int = x
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
|
||||
class Foo {
|
||||
val get: Bar = Bar()
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
|
||||
fun test(foo: Foo) {
|
||||
foo[1] += 2
|
||||
}
|
||||
@@ -1,41 +0,0 @@
|
||||
== Bar ==
|
||||
class Bar {
|
||||
fun invoke(x: Int): Int = x
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
---------------------
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int): Int = x
|
||||
---------------------
|
||||
<v0>: Int NEW: magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
x <v1>: Int NEW: r(x) -> <v1>
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
---------------------
|
||||
<v0>: Int NEW: magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
<v1>: Int NEW: magic[FAKE_INITIALIZER](y: Int) -> <v1>
|
||||
=====================
|
||||
== Foo ==
|
||||
class Foo {
|
||||
val get: Bar = Bar()
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
---------------------
|
||||
Bar() <v0>: Bar NEW: call(Bar(), <init>) -> <v0>
|
||||
Bar() <v1>: Bar NEW: call(Bar(), <init>) -> <v1>
|
||||
=====================
|
||||
== test ==
|
||||
fun test(foo: Foo) {
|
||||
foo[1] += 2
|
||||
}
|
||||
---------------------
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
foo <v7>: Foo NEW: r(foo) -> <v7>
|
||||
1 <v9>: Int NEW: r(1) -> <v9>
|
||||
foo[1] <v8>: Bar NEW: r(foo[1], set|<v7>) -> <v8>
|
||||
2 <v5>: Int NEW: r(2) -> <v5>
|
||||
foo[1] += 2 <v10>: * NEW: call(foo[1] += 2, invoke|<v8>, <v9>, <v6>) -> <v10>
|
||||
{ foo[1] += 2 } <v10>: * COPY
|
||||
=====================
|
||||
-99
@@ -1,99 +0,0 @@
|
||||
== Bar ==
|
||||
class Bar {
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
L1:
|
||||
<END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(x: Int)
|
||||
magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
w(x|<v0>)
|
||||
v(y: Int)
|
||||
magic[FAKE_INITIALIZER](y: Int) -> <v1>
|
||||
w(y|<v1>)
|
||||
2 mark({})
|
||||
read (Unit)
|
||||
L1:
|
||||
1 <END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== Foo ==
|
||||
class Foo {
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(val set: Bar = Bar())
|
||||
mark(Bar())
|
||||
call(Bar(), <init>) -> <v0>
|
||||
w(set|<v0>)
|
||||
L1:
|
||||
<END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== get ==
|
||||
fun Foo.get(x: Int): Int = x
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(x: Int)
|
||||
magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
w(x|<v0>)
|
||||
r(x) -> <v1>
|
||||
ret(*|<v1>) L1
|
||||
L1:
|
||||
<END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
== test ==
|
||||
fun test(foo: Foo) {
|
||||
foo[1] += 2
|
||||
}
|
||||
---------------------
|
||||
L0:
|
||||
1 <START>
|
||||
v(foo: Foo)
|
||||
magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
w(foo|<v0>)
|
||||
2 mark({ foo[1] += 2 })
|
||||
mark(foo[1])
|
||||
r(foo) -> <v1>
|
||||
r(1) -> <v2>
|
||||
mark(foo[1])
|
||||
call(foo[1], get|<v1>, <v2>) -> <v3>
|
||||
r(2) -> <v4>
|
||||
mark(foo[1] += 2)
|
||||
call(foo[1] += 2, plus|<v3>, <v4>) -> <v5>
|
||||
r(foo) -> <v6>
|
||||
r(foo[1], set|<v6>) -> <v7>
|
||||
r(1) -> <v8>
|
||||
call(foo[1] += 2, invoke|<v7>, <v8>, <v5>) -> <v9>
|
||||
L1:
|
||||
1 <END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
@@ -1,13 +0,0 @@
|
||||
class Bar {
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
|
||||
class Foo {
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
|
||||
fun Foo.get(x: Int): Int = x
|
||||
|
||||
fun test(foo: Foo) {
|
||||
foo[1] += 2
|
||||
}
|
||||
@@ -1,38 +0,0 @@
|
||||
== Bar ==
|
||||
class Bar {
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
---------------------
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
---------------------
|
||||
<v0>: Int NEW: magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
<v1>: Int NEW: magic[FAKE_INITIALIZER](y: Int) -> <v1>
|
||||
=====================
|
||||
== Foo ==
|
||||
class Foo {
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
---------------------
|
||||
Bar() <v0>: Bar NEW: call(Bar(), <init>) -> <v0>
|
||||
=====================
|
||||
== get ==
|
||||
fun Foo.get(x: Int): Int = x
|
||||
---------------------
|
||||
<v0>: Int NEW: magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
x <v1>: Int NEW: r(x) -> <v1>
|
||||
=====================
|
||||
== test ==
|
||||
fun test(foo: Foo) {
|
||||
foo[1] += 2
|
||||
}
|
||||
---------------------
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
foo <v6>: Foo NEW: r(foo) -> <v6>
|
||||
1 <v8>: Int NEW: r(1) -> <v8>
|
||||
foo[1] <v7>: Bar NEW: r(foo[1], set|<v6>) -> <v7>
|
||||
2 <v4>: Int NEW: r(2) -> <v4>
|
||||
foo[1] += 2 <v9>: * NEW: call(foo[1] += 2, invoke|<v7>, <v8>, <v5>) -> <v9>
|
||||
{ foo[1] += 2 } <v9>: * COPY
|
||||
=====================
|
||||
-15
@@ -1,15 +0,0 @@
|
||||
class Bar {
|
||||
fun invoke(x: Int): Int = x
|
||||
}
|
||||
|
||||
class Foo {
|
||||
val get: Bar = Bar()
|
||||
}
|
||||
|
||||
fun test1(foo: Foo) {
|
||||
foo[1]
|
||||
}
|
||||
|
||||
fun test2(foo: Foo, get: Foo.(Int) -> Int) {
|
||||
foo[1]
|
||||
}
|
||||
@@ -1,42 +0,0 @@
|
||||
== Bar ==
|
||||
class Bar {
|
||||
fun invoke(x: Int): Int = x
|
||||
}
|
||||
---------------------
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int): Int = x
|
||||
---------------------
|
||||
<v0>: Int NEW: magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
x <v1>: Int NEW: r(x) -> <v1>
|
||||
=====================
|
||||
== Foo ==
|
||||
class Foo {
|
||||
val get: Bar = Bar()
|
||||
}
|
||||
---------------------
|
||||
Bar() <v0>: Bar NEW: call(Bar(), <init>) -> <v0>
|
||||
=====================
|
||||
== test1 ==
|
||||
fun test1(foo: Foo) {
|
||||
foo[1]
|
||||
}
|
||||
---------------------
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
foo <v1>: Foo NEW: r(foo) -> <v1>
|
||||
1 <v3>: Int NEW: r(1) -> <v3>
|
||||
foo[1] <v4>: * NEW: call(foo[1], invoke|<v2>, <v3>) -> <v4>
|
||||
{ foo[1] } <v4>: * COPY
|
||||
=====================
|
||||
== test2 ==
|
||||
fun test2(foo: Foo, get: Foo.(Int) -> Int) {
|
||||
foo[1]
|
||||
}
|
||||
---------------------
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
<v1>: {<: Foo.(Int) -> Int} NEW: magic[FAKE_INITIALIZER](get: Foo.(Int) -> Int) -> <v1>
|
||||
foo <v3>: Foo NEW: r(foo) -> <v3>
|
||||
1 <v4>: Int NEW: r(1) -> <v4>
|
||||
foo[1] <v5>: * NEW: call(foo[1], invoke|<v2>, <v3>, <v4>) -> <v5>
|
||||
{ foo[1] } <v5>: * COPY
|
||||
=====================
|
||||
-15
@@ -1,15 +0,0 @@
|
||||
class Bar {
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
|
||||
class Foo {
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
|
||||
fun test1(foo: Foo) {
|
||||
foo[1] = 2
|
||||
}
|
||||
|
||||
fun test2(foo: Foo, set: Foo.(Int, Int) -> Int) {
|
||||
foo[1] = 2
|
||||
}
|
||||
@@ -1,46 +0,0 @@
|
||||
== Bar ==
|
||||
class Bar {
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
}
|
||||
---------------------
|
||||
=====================
|
||||
== invoke ==
|
||||
fun invoke(x: Int, y: Int) {}
|
||||
---------------------
|
||||
<v0>: Int NEW: magic[FAKE_INITIALIZER](x: Int) -> <v0>
|
||||
<v1>: Int NEW: magic[FAKE_INITIALIZER](y: Int) -> <v1>
|
||||
=====================
|
||||
== Foo ==
|
||||
class Foo {
|
||||
val set: Bar = Bar()
|
||||
}
|
||||
---------------------
|
||||
Bar() <v0>: Bar NEW: call(Bar(), <init>) -> <v0>
|
||||
=====================
|
||||
== test1 ==
|
||||
fun test1(foo: Foo) {
|
||||
foo[1] = 2
|
||||
}
|
||||
---------------------
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
foo <v1>: Foo NEW: r(foo) -> <v1>
|
||||
1 <v3>: Int NEW: r(1) -> <v3>
|
||||
foo[1] <v2>: Bar NEW: r(foo[1], set|<v1>) -> <v2>
|
||||
2 <v4>: Int NEW: r(2) -> <v4>
|
||||
foo[1] = 2 <v5>: * NEW: call(foo[1] = 2, invoke|<v2>, <v3>, <v4>) -> <v5>
|
||||
{ foo[1] = 2 } <v5>: * COPY
|
||||
=====================
|
||||
== test2 ==
|
||||
fun test2(foo: Foo, set: Foo.(Int, Int) -> Int) {
|
||||
foo[1] = 2
|
||||
}
|
||||
---------------------
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
<v1>: {<: Foo.(Int, Int) -> Int} NEW: magic[FAKE_INITIALIZER](set: Foo.(Int, Int) -> Int) -> <v1>
|
||||
foo <v2>: Foo NEW: r(foo) -> <v2>
|
||||
1 <v4>: Int NEW: r(1) -> <v4>
|
||||
foo[1] <v3>: {<: (Foo, Int, Int) -> Int} NEW: r(foo[1], set) -> <v3>
|
||||
2 <v5>: Int NEW: r(2) -> <v5>
|
||||
foo[1] = 2 <v6>: * NEW: call(foo[1] = 2, invoke|<v3>, <v2>, <v4>, <v5>) -> <v6>
|
||||
{ foo[1] = 2 } <v6>: * COPY
|
||||
=====================
|
||||
@@ -1,24 +0,0 @@
|
||||
var a = A()
|
||||
var b = A()
|
||||
|
||||
class A(var value: Int = 0)
|
||||
|
||||
fun prefix(inc: A.() -> A) {
|
||||
++a
|
||||
}
|
||||
|
||||
fun postfix(inc: A.() -> A) {
|
||||
b++
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
prefix { ++value; this }
|
||||
|
||||
if (a.value != 1) return "fail 1"
|
||||
|
||||
postfix { value++; this }
|
||||
|
||||
if (b.value != 1) return "fail 2"
|
||||
|
||||
return "OK"
|
||||
}
|
||||
@@ -1,8 +0,0 @@
|
||||
fun foo(compareTo: Any.(p: Function0<Int>) -> Int, p: () -> Int) {
|
||||
p < p
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
foo({ it() }, { 42 })
|
||||
return "OK"
|
||||
}
|
||||
@@ -1,10 +0,0 @@
|
||||
class A
|
||||
|
||||
fun foo(plusAssign: A.(A) -> Unit) {
|
||||
A() += A()
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
foo { }
|
||||
return "OK"
|
||||
}
|
||||
Reference in New Issue
Block a user