From e576423c8e2eafa06dee0aa90e00b4c09043825a Mon Sep 17 00:00:00 2001
From: Alex Tkachman <alex.tkachman@gmail.com>
Date: Mon, 2 Jan 2012 14:47:58 +0200
Subject: [PATCH] KT-903 test. unreproducable

---
 .../testData/codegen/regressions/kt903.jet    | 26 +++++++++++++++++++
 .../jetbrains/jet/codegen/ClassGenTest.java   |  4 +++
 2 files changed, 30 insertions(+)
 create mode 100644 compiler/testData/codegen/regressions/kt903.jet

diff --git a/compiler/testData/codegen/regressions/kt903.jet b/compiler/testData/codegen/regressions/kt903.jet
new file mode 100644
index 00000000000..7a3c9e34d6e
--- /dev/null
+++ b/compiler/testData/codegen/regressions/kt903.jet
@@ -0,0 +1,26 @@
+import java.util.ArrayList
+import java.util.List
+
+fun Int.plus(a: Int?) = this + a.sure()
+
+public open class PerfectNumberFinder() {
+        open public fun isPerfect(number : Int) : Boolean {
+            var factors : List<Int?>? = ArrayList<Int?>()
+            factors?.add(1)
+            factors?.add(number)
+            for (i in 2..(Math.sqrt((number).dbl) - 1).int)
+                if (((number % i) == 0)) {
+                    factors?.add(i)
+                    if (((number / i) != i))
+                        factors?.add((number / i))
+
+                }
+
+            var sum : Int = 0
+            for (i : Int? in factors)
+                sum += i
+            return ((sum - number) == number)
+        }
+}
+
+fun box () = if (PerfectNumberFinder().isPerfect(28)) "OK" else "fail"
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
index 2a9fe591e0d..8ac25e8d012 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
@@ -237,4 +237,8 @@ public class ClassGenTest extends CodegenTestCase {
     public void testKt857 () throws Exception {
 //        blackBoxFile("regressions/kt857.jet");
     }
+
+    public void testKt903 () throws Exception {
+        blackBoxFile("regressions/kt903.jet");
+    }
 }