From e2fbc5f792940aadc92a3134e374f0a6f04d906b Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Thu, 14 Apr 2011 20:40:04 +0400
Subject: [PATCH] Test for fail() function

---
 idea/testData/checker/UnreachableCode.jet | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/idea/testData/checker/UnreachableCode.jet b/idea/testData/checker/UnreachableCode.jet
index 6257c7d69af..899e8167678 100644
--- a/idea/testData/checker/UnreachableCode.jet
+++ b/idea/testData/checker/UnreachableCode.jet
@@ -133,4 +133,21 @@ fun blockAndAndMismatch() : Boolean {
 fun tf() {
   try {<error>return</error>} finally{return}
   <error>1</error>
-}
\ No newline at end of file
+}
+
+fun failtest(a : Int) {
+  <error>if (fail() || true) {
+
+  }</error>
+  <error>1</error>
+}
+
+fun foo(a : Nothing) : Unit {
+  1
+  a
+  <error>2</error>
+}
+
+fun fail() : Nothing {
+  throw new java.lang.RuntimeException()
+}