From 314bb73ac901c8e36cfa4a4f0f7dc7734c1ef77f Mon Sep 17 00:00:00 2001
From: Alex Tkachman <alex.tkachman@gmail.com>
Date: Wed, 14 Dec 2011 15:06:54 +0200
Subject: [PATCH] tests for KT-828 (fromm Sergey Ignatov)

---
 compiler/testData/codegen/regressions/kt828.kt    | 15 +++++++++++++++
 .../testData/diagnostics/tests/library/kt828.jet  | 12 ++++++++++++
 .../org/jetbrains/jet/codegen/StdlibTest.java     |  4 ++++
 3 files changed, 31 insertions(+)
 create mode 100644 compiler/testData/codegen/regressions/kt828.kt
 create mode 100644 compiler/testData/diagnostics/tests/library/kt828.jet

diff --git a/compiler/testData/codegen/regressions/kt828.kt b/compiler/testData/codegen/regressions/kt828.kt
new file mode 100644
index 00000000000..34801b54b8d
--- /dev/null
+++ b/compiler/testData/codegen/regressions/kt828.kt
@@ -0,0 +1,15 @@
+namespace demo
+
+fun box() : String {
+    var res : Boolean = true
+    res = (res and false)
+    res = (res or false)
+    res = (res xor false)
+    res = (true and false)
+    res = (true or false)
+    res = (true xor false)
+    res = (!true)
+    res = (true && false)
+    res = (true || false)
+    return "OK"
+}
diff --git a/compiler/testData/diagnostics/tests/library/kt828.jet b/compiler/testData/diagnostics/tests/library/kt828.jet
new file mode 100644
index 00000000000..2b14c81a02c
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/library/kt828.jet
@@ -0,0 +1,12 @@
+fun test() {
+    var res : Boolean = true
+    res = (res and false)
+    res = (res or false)
+    res = <!UNUSED_VALUE!>(res xor false)<!>
+    res = <!UNUSED_VALUE!>(true and false)<!>
+    res = <!UNUSED_VALUE!>(true or false)<!>
+    res = <!UNUSED_VALUE!>(true xor false)<!>
+    res = <!UNUSED_VALUE!>(!true)<!>
+    res = <!UNUSED_VALUE!>(true && false)<!>
+    res = <!UNUSED_VALUE!>(true || false)<!>
+}
diff --git a/compiler/tests/org/jetbrains/jet/codegen/StdlibTest.java b/compiler/tests/org/jetbrains/jet/codegen/StdlibTest.java
index da0d87d46fc..6c26a8833ee 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/StdlibTest.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/StdlibTest.java
@@ -84,6 +84,10 @@ public class StdlibTest extends CodegenTestCase {
 //        blackBoxFile("regressions/kt789.jet");
     }
 
+    public void testKt828 () {
+        blackBoxFile("regressions/kt828.kt");
+    }
+
     public void testCollectionSize () throws Exception {
         loadText("import std.util.*; fun box() = if(java.util.Arrays.asList(0, 1, 2)?.size == 3) \"OK\" else \"fail\"");
 //        System.out.println(generateToText());