1 files changed, 10 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/ion/bug724517.js b/js/src/jit-test/tests/ion/bug724517.js
new file mode 100644
index 0000000000..1f3a8d4190
--- /dev/null
+++ b/js/src/jit-test/tests/ion/bug724517.js
@@ -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();