From ea4c21384de642ac110d3060dafe616bedadc13a Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Thu, 25 May 2017 12:42:43 +0700
Subject: [PATCH] Test01#checkTrueFail marked as pure

---
 .../java/codeInspection/bytecodeAnalysis/data/Test01.java       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/java-tests/testSrc/com/intellij/java/codeInspection/bytecodeAnalysis/data/Test01.java b/java/java-tests/testSrc/com/intellij/java/codeInspection/bytecodeAnalysis/data/Test01.java
index 3c116b05b632..3676dd19e180 100644
--- a/java/java-tests/testSrc/com/intellij/java/codeInspection/bytecodeAnalysis/data/Test01.java
+++ b/java/java-tests/testSrc/com/intellij/java/codeInspection/bytecodeAnalysis/data/Test01.java
@@ -201,7 +201,7 @@ public class Test01 {
     return !x;
   }
 
-  @ExpectContract(value = "_,true->true;null,_->true")
+  @ExpectContract(value = "_,true->true;null,_->true", pure=true)
   boolean checkTrueFail(Object a, boolean b) {
     if (a == null) return true;
     if (b) throw new RuntimeException();