Svetlana Isakova
fbbfb95861
for collecting variable data for pseudocode removed using data from outer context for local declarations for 'variable initializers' analysis
75 lines
5.6 KiB
Plaintext
75 lines
5.6 KiB
Plaintext
== foo ==
|
|
fun foo(numbers: Collection<Int>) {
|
|
for (i in numbers) {
|
|
val b: Boolean
|
|
if (1 < 2) {
|
|
b = false
|
|
}
|
|
else {
|
|
b = true
|
|
}
|
|
use(b)
|
|
continue
|
|
}
|
|
}
|
|
---------------------
|
|
L0:
|
|
1 <START> INIT: in: {} out: {}
|
|
v(numbers: Collection<Int>) INIT: in: {} out: {numbers=D}
|
|
w(numbers) INIT: in: {numbers=D} out: {numbers=ID}
|
|
2 mark({ for (i in numbers) { val b: Boolean if (1 < 2) { b = false } else { b = true } use(b) continue } }) INIT: in: {numbers=ID} out: {numbers=ID}
|
|
3 mark(for (i in numbers) { val b: Boolean if (1 < 2) { b = false } else { b = true } use(b) continue }) USE: in: {numbers=READ} out: {numbers=READ}
|
|
r(numbers) USE: in: {} out: {numbers=READ}
|
|
v(i) INIT: in: {numbers=ID} out: {i=D, numbers=ID}
|
|
L3:
|
|
jmp?(L2) INIT: in: {i=D, numbers=ID} out: {i=D, numbers=ID}
|
|
L4 [loop entry point]:
|
|
L5 [body entry point]:
|
|
w(i) INIT: in: {i=D, numbers=ID} out: {i=ID, numbers=ID} USE: in: {} out: {}
|
|
4 mark({ val b: Boolean if (1 < 2) { b = false } else { b = true } use(b) continue }) INIT: in: {i=ID, numbers=ID} out: {i=ID, numbers=ID}
|
|
v(val b: Boolean) INIT: in: {i=ID, numbers=ID} out: {b=D, i=ID, numbers=ID}
|
|
mark(if (1 < 2) { b = false } else { b = true }) INIT: in: {b=D, i=ID, numbers=ID} out: {b=D, i=ID, numbers=ID}
|
|
mark(1 < 2)
|
|
r(1)
|
|
r(2)
|
|
call(<, compareTo)
|
|
jf(L6)
|
|
5 mark({ b = false })
|
|
r(false) USE: in: {b=WRITTEN_AFTER_READ} out: {b=WRITTEN_AFTER_READ}
|
|
w(b) INIT: in: {b=D, i=ID, numbers=ID} out: {b=ID, i=ID, numbers=ID} USE: in: {b=READ} out: {b=WRITTEN_AFTER_READ}
|
|
4 jmp(L7) INIT: in: {b=ID, i=ID, numbers=ID} out: {b=ID, i=ID, numbers=ID} USE: in: {b=READ} out: {b=READ}
|
|
L6:
|
|
5 mark({ b = true }) INIT: in: {b=D, i=ID, numbers=ID} out: {b=D, i=ID, numbers=ID}
|
|
r(true) USE: in: {b=WRITTEN_AFTER_READ} out: {b=WRITTEN_AFTER_READ}
|
|
w(b) INIT: in: {b=D, i=ID, numbers=ID} out: {b=ID, i=ID, numbers=ID} USE: in: {b=READ} out: {b=WRITTEN_AFTER_READ}
|
|
L7:
|
|
4 mark(use(b)) INIT: in: {b=ID, i=ID, numbers=ID} out: {b=ID, i=ID, numbers=ID} USE: in: {b=READ} out: {b=READ}
|
|
r(b) USE: in: {} out: {b=READ}
|
|
call(use, use)
|
|
jmp(L4 [loop entry point]) USE: in: {} out: {}
|
|
- 3 jmp?(L4 [loop entry point])
|
|
L2:
|
|
read (Unit) INIT: in: {i=D, numbers=ID} out: {i=D, numbers=ID}
|
|
L1:
|
|
1 <END> INIT: in: {numbers=ID} out: {numbers=ID}
|
|
error:
|
|
<ERROR> INIT: in: {} out: {}
|
|
sink:
|
|
<SINK> INIT: in: {numbers=ID} out: {numbers=ID} USE: in: {} out: {}
|
|
=====================
|
|
== use ==
|
|
fun use(vararg a: Any?) = a
|
|
---------------------
|
|
L0:
|
|
1 <START> INIT: in: {} out: {}
|
|
v(vararg a: Any?) INIT: in: {} out: {a=D}
|
|
w(a) INIT: in: {a=D} out: {a=ID} USE: in: {a=READ} out: {a=READ}
|
|
r(a) INIT: in: {a=ID} out: {a=ID} USE: in: {} out: {a=READ}
|
|
L1:
|
|
<END>
|
|
error:
|
|
<ERROR> INIT: in: {} out: {}
|
|
sink:
|
|
<SINK> INIT: in: {a=ID} out: {a=ID} USE: in: {} out: {}
|
|
=====================
|