diff -r 000000000000 -r 6474c204b198 js/src/jit-test/tests/ion/bug724517.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/js/src/jit-test/tests/ion/bug724517.js	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,10 @@
+function fannkuch() {
+    var perm = [];
+    var k = 3.3;
+    for (var j = 0; j < 10; j++) {
+        var k2 = NaN >> 1;
+        for (var i = 0; i < 10; i++) { }
+        perm[0];
+    }
+}
+fannkuch();