# HG changeset patch # User Gilles Duboscq # Date 1426688067 -3600 # Node ID 6303a7a525c5b60e19b74727a5fd76e49977b50e # Parent 9aa9db862403a6970e20d1cda33ef4acccb8a0ee Add assert in FloatStamp diff -r 9aa9db862403 -r 6303a7a525c5 graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/FloatStamp.java --- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/FloatStamp.java Wed Oct 08 16:20:38 2014 +0200 +++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/FloatStamp.java Wed Mar 18 15:14:27 2015 +0100 @@ -47,6 +47,7 @@ public FloatStamp(int bits, double lowerBound, double upperBound, boolean nonNaN) { super(bits, OPS); assert bits == 64 || (bits == 32 && (Double.isNaN(lowerBound) || (float) lowerBound == lowerBound) && (Double.isNaN(upperBound) || (float) upperBound == upperBound)); + assert Double.isNaN(lowerBound) == Double.isNaN(upperBound); this.lowerBound = lowerBound; this.upperBound = upperBound; this.nonNaN = nonNaN;