diff -r 000000000000 -r 6474c204b198 js/src/jit-test/tests/ion/bug725067.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/js/src/jit-test/tests/ion/bug725067.js	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,11 @@
+var o0 = [];
+var o4 = {};
+var o5 = Math;
+function f6(o) { o[("Keywords")] = o;};
+for(var i=0; i<20; i++) {
+    f6(o0);
+    f6(o4);
+    f6(o5);
+    print(i);
+}
+gc();