dataFlowInfoTraversal tests

2012-06-14 17:29:57 +04:00
parent c3420e864e
commit efe70955dd
20 changed files with 316 additions and 0 deletions
@@ -0,0 +1,12 @@
+fun bar(x: Int): Int = x + 1
+
+fun foo() {
+    val x: Int? = null
+
+    if (x != null && bar(x) == 0) bar(bar(x))
+    bar(<!TYPE_MISMATCH!>x<!>)
+    if (x == null || bar(x) == 0) bar(bar(<!TYPE_MISMATCH!>x<!>))
+    bar(<!TYPE_MISMATCH!>x<!>)
+    if (x is Int && bar(x)*bar(x) == bar(x)) bar(x)
+    bar(<!TYPE_MISMATCH!>x<!>)
+}