diff -r 000000000000 -r 6474c204b198 js/src/jit-test/tests/ion/bug725061.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/js/src/jit-test/tests/ion/bug725061.js	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,12 @@
+function testInt(n, result) {
+    var x = 0;
+    for (var i = 0; i < 15; i++) {
+        if (x % 2 == 0)
+            x = 10;
+        else
+            x %=  0;
+    }
+    for (var i = 0; i < 15; i++) {    }
+}
+testInt(2147483647, 2147483647);
+testInt(-2147483648, -2147483648);