Alexey Sedunov
71 lines
6.1 KiB
Plaintext
71 lines
6.1 KiB
Plaintext
== t1 ==
|
|
fun t1(b: Boolean) {
|
|
var u: String
|
|
if (b) {
|
|
u = "s"
|
|
}
|
|
doSmth(u)
|
|
|
|
var r: String
|
|
if (b) {
|
|
r = "s"
|
|
}
|
|
else {
|
|
r = "t"
|
|
}
|
|
doSmth(r)
|
|
}
|
|
---------------------
|
|
<v0>: Boolean NEW: magic[FAKE_INITIALIZER](b: Boolean) -> <v0>
|
|
b <v1>: Boolean NEW: r(b) -> <v1>
|
|
"s" <v2>: String NEW: r("s") -> <v2>
|
|
u = "s" !<v3>: *
|
|
{ u = "s" } !<v3>: * COPY
|
|
if (b) { u = "s" } !<v3>: * COPY
|
|
u <v4>: String NEW: r(u) -> <v4>
|
|
doSmth(u) <v5>: * NEW: call(doSmth(u), doSmth|<v4>) -> <v5>
|
|
b <v6>: Boolean NEW: r(b) -> <v6>
|
|
"s" <v7>: String NEW: r("s") -> <v7>
|
|
r = "s" !<v8>: *
|
|
{ r = "s" } !<v8>: * COPY
|
|
"t" <v9>: String NEW: r("t") -> <v9>
|
|
r = "t" !<v10>: *
|
|
{ r = "t" } !<v10>: * COPY
|
|
if (b) { r = "s" } else { r = "t" } <v11>: * NEW: merge(if (b) { r = "s" } else { r = "t" }|!<v8>, !<v10>) -> <v11>
|
|
r <v12>: String NEW: r(r) -> <v12>
|
|
doSmth(r) <v13>: * NEW: call(doSmth(r), doSmth|<v12>) -> <v13>
|
|
{ var u: String if (b) { u = "s" } doSmth(u) var r: String if (b) { r = "s" } else { r = "t" } doSmth(r) } <v13>: * COPY
|
|
=====================
|
|
== t2 ==
|
|
fun t2(b: Boolean) {
|
|
val i = 3
|
|
if (b) {
|
|
return;
|
|
}
|
|
doSmth(i)
|
|
if (i is Int) {
|
|
return;
|
|
}
|
|
}
|
|
---------------------
|
|
<v0>: Boolean NEW: magic[FAKE_INITIALIZER](b: Boolean) -> <v0>
|
|
3 <v1>: Int NEW: r(3) -> <v1>
|
|
b <v2>: Boolean NEW: r(b) -> <v2>
|
|
return !<v3>: *
|
|
{ return; } !<v3>: * COPY
|
|
if (b) { return; } !<v3>: * COPY
|
|
i <v4>: String NEW: r(i) -> <v4>
|
|
doSmth(i) <v5>: * NEW: call(doSmth(i), doSmth|<v4>) -> <v5>
|
|
i <v6>: * NEW: r(i) -> <v6>
|
|
i is Int <v7>: Boolean NEW: magic[IS](i is Int|<v6>) -> <v7>
|
|
return !<v8>: *
|
|
{ return; } !<v8>: * COPY
|
|
if (i is Int) { return; } !<v8>: * COPY
|
|
{ val i = 3 if (b) { return; } doSmth(i) if (i is Int) { return; } } !<v8>: * COPY
|
|
=====================
|
|
== doSmth ==
|
|
fun doSmth(s: String) {}
|
|
---------------------
|
|
<v0>: String NEW: magic[FAKE_INITIALIZER](s: String) -> <v0>
|
|
=====================
|