1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
// Incompatible stacks in icode: BoxedUnit vs. empty.
class Classy {
def f(b: Boolean): Unit = synchronized {
if (b) ()
}
}
// % work/check all -Xprint:icode work/fail4.scala
// TypeStack init: REFERENCE(type AnyRef)
// [Not checkable: parser]
// [Not checkable: namer]
// [Not checkable: packageobjects]
// [Now checking: typer]
// [Now checking: superaccessors]
// [Now checking: pickler]
// [Now checking: refchecks]
// [Now checking: selectiveanf]
// [Now checking: liftcode]
// [Now checking: selectivecps]
// [Now checking: uncurry]
// [Now checking: tailcalls]
// [Not checkable: specialize]
// [Not checkable: explicitouter]
// [Now checking: erasure]
// [Now checking: lazyvals]
// [Now checking: lambdalift]
// [Now checking: constructors]
// [Now checking: flatten]
// [Now checking: mixin]
// [Now checking: cleanup]
// [[syntax trees at end of icode]]// Scala source: fail4.scala
// package <empty> {
// class Classy extends java.lang.Object with ScalaObject {
// def f(b: Boolean): Unit = {
// Classy.this.synchronized(if (b)
// scala.runtime.BoxedUnit.UNIT
// else
// scala.runtime.BoxedUnit.UNIT);
// ()
// };
// def this(): Classy = {
// Classy.super.this();
// ()
// }
// }
// }
//
// [Now checking: icode]
//
// ** Checking class Classy
//
// ** Checking method Classy.f
// ** Checking Block 1 [S: 4, 3] [P: N/A]
// 1-> REFERENCE(class Classy)
// 0<- REFERENCE(class Classy)
// 1-> REFERENCE(class Classy)
// 2-> REFERENCE(class Classy)
// 1<- REFERENCE(class Classy)
// 0<- REFERENCE(class Classy)
// Output changed for Block 1 [S: 4, 3] [P: N/A]
// ** Checking Block 4 [S: 3, 6, 5] [P: 1]
// 1-> BOOL
// 0<- BOOL
// Output changed for Block 4 [S: 3, 6, 5] [P: 1]
// ** Checking Block 3 [S: N/A] [P: 1, 4, 5, 6, 7]
// 1-> REFERENCE(class Throwable)
// 2-> REFERENCE(class Object)
// 1<- REFERENCE(class Object)
// 0<- REFERENCE(class Throwable)
// 1-> REFERENCE(trait Nothing)
// ** Checking Block 6 [S: 3, 7] [P: 4]
// 1-> REFERENCE(class BoxedUnit)
// Output changed for Block 6 [S: 3, 7] [P: 4]
// ** Checking Block 5 [S: 3, 7] [P: 4]
// 1-> REFERENCE(class BoxedUnit)
// Output changed for Block 5 [S: 3, 7] [P: 4]
// Checker created new stack: (List(REFERENCE(class BoxedUnit)), List(REFERENCE(class BoxedUnit))) => List(REFERENCE(class BoxedUnit))
// TypeStack init: REFERENCE(class BoxedUnit)
// Checker created new stack: (List(REFERENCE(class BoxedUnit)), List(REFERENCE(class BoxedUnit))) => List(REFERENCE(class BoxedUnit))
// TypeStack init: REFERENCE(class BoxedUnit)
// Checker created new stack: (List(REFERENCE(class BoxedUnit)), List(REFERENCE(class BoxedUnit))) => List(REFERENCE(class BoxedUnit))
// TypeStack init: REFERENCE(class BoxedUnit)
// ** Checking Block 3 [S: N/A] [P: 1, 4, 5, 6, 7] with initial stack [REFERENCE(class BoxedUnit)]
// TypeStack init: REFERENCE(class BoxedUnit)
// 0<- REFERENCE(class BoxedUnit)
// 1-> REFERENCE(class Throwable)
// 2-> REFERENCE(class Object)
// 1<- REFERENCE(class Object)
// 0<- REFERENCE(class Throwable)
// 1-> REFERENCE(trait Nothing)
// ** Checking Block 7 [S: 3, 2] [P: 5, 6] with initial stack [REFERENCE(class BoxedUnit)]
// TypeStack init: REFERENCE(class BoxedUnit)
// 0<- REFERENCE(class BoxedUnit)
// 1-> REFERENCE(class Object)
// 0<- REFERENCE(class Object)
// Output changed for Block 7 [S: 3, 2] [P: 5, 6]
// Checker created new stack: (List(REFERENCE(class BoxedUnit)), List(REFERENCE(class BoxedUnit))) => List(REFERENCE(class BoxedUnit))
// TypeStack init: REFERENCE(class BoxedUnit)
// Exception in thread "main" scala.tools.nsc.backend.icode.CheckerException: Incompatible stacks: TypeStack(1 elems) {
// REFERENCE(class BoxedUnit)
// } and TypeStack() in Classy.f at entry to block: 3
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker.meet2$1(Checkers.scala:165)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$meet$2.apply(Checkers.scala:174)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$meet$2.apply(Checkers.scala:174)
// at scala.collection.LinearSeqOptimized$class.foldLeft(LinearSeqOptimized.scala:123)
// at scala.collection.immutable.List.foldLeft(List.scala:45)
// at scala.collection.LinearSeqOptimized$class.reduceLeft(LinearSeqOptimized.scala:137)
// at scala.collection.immutable.List.reduceLeft(List.scala:45)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker.meet(Checkers.scala:174)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$check$5.apply(Checkers.scala:140)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$check$5.apply(Checkers.scala:140)
// at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:61)
// at scala.collection.immutable.List.foreach(List.scala:45)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker.check(Checkers.scala:140)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker.check(Checkers.scala:110)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$check$3.apply(Checkers.scala:103)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$check$3.apply(Checkers.scala:103)
// at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:61)
// at scala.collection.immutable.List.foreach(List.scala:45)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker.check(Checkers.scala:103)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$checkICodes$1.apply(Checkers.scala:81)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker$$anonfun$checkICodes$1.apply(Checkers.scala:81)
// at scala.collection.mutable.HashMap$$anon$2$$anonfun$foreach$3.apply(HashMap.scala:89)
// at scala.collection.mutable.HashMap$$anon$2$$anonfun$foreach$3.apply(HashMap.scala:89)
// at scala.collection.Iterator$class.foreach(Iterator.scala:631)
// at scala.collection.mutable.HashTable$$anon$1.foreach(HashTable.scala:161)
// at scala.collection.mutable.HashTable$class.foreachEntry(HashTable.scala:194)
// at scala.collection.mutable.HashMap.foreachEntry(HashMap.scala:39)
// at scala.collection.mutable.HashMap$$anon$2.foreach(HashMap.scala:89)
// at scala.tools.nsc.backend.icode.Checkers$ICodeChecker.checkICodes(Checkers.scala:81)
// at scala.tools.nsc.Global$Run.compileSources(Global.scala:759)
// at scala.tools.nsc.Global$Run.compile(Global.scala:823)
// at scala.tools.nsc.Main$.process(Main.scala:106)
// at scala.tools.nsc.Main$.main(Main.scala:120)
// at scala.tools.nsc.Main.main(Main.scala)
// [paulp@leaf trunk (check-all)]$
|
