# HG changeset patch
# User Chris Seaton <chris.seaton@oracle.com>
# Date 1413295609 -3600
# Node ID e9c8742148c16090c6820bc8522f202e464f57ae
# Parent  df548b06c2591c6950b76624f248e3cbc49c1e81
Truffle: NeverValidAssumption can be invalidated.

diff -r df548b06c259 -r e9c8742148c1 graal/com.oracle.truffle.api.test/src/com/oracle/truffle/api/test/utilities/NeverValidAssumptionTest.java
--- a/graal/com.oracle.truffle.api.test/src/com/oracle/truffle/api/test/utilities/NeverValidAssumptionTest.java	Tue Oct 14 13:35:13 2014 +0200
+++ b/graal/com.oracle.truffle.api.test/src/com/oracle/truffle/api/test/utilities/NeverValidAssumptionTest.java	Tue Oct 14 15:06:49 2014 +0100
@@ -50,10 +50,12 @@
         assertFalse(assumption.isValid());
     }
 
-    @Test(expected = UnsupportedOperationException.class)
-    public void testCannotInvalidate() {
+    @Test
+    public void testInvalidateDoesNothing() {
         final NeverValidAssumption assumption = NeverValidAssumption.INSTANCE;
         assumption.invalidate();
+        assumption.invalidate();
+        assumption.invalidate();
     }
 
 }
diff -r df548b06c259 -r e9c8742148c1 graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/NeverValidAssumption.java
--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/NeverValidAssumption.java	Tue Oct 14 13:35:13 2014 +0200
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/NeverValidAssumption.java	Tue Oct 14 15:06:49 2014 +0100
@@ -45,7 +45,6 @@
 
     @Override
     public void invalidate() {
-        throw new UnsupportedOperationException("Cannot invalidate this assumption - it is never valid");
     }
 
     @Override