On 04/20/2013 05:37 PM, Nicolas B. Pierron wrote:
where Foo is a different type than Bar. Which implies that both b are part of different object, which means that the previous JavaScript function can be transformed to:function f(a, arr) { a.b = 0; /* Assume shape of a is different than the shape of arr[i] */ for (var i = 0; i < arr.length; i++) { arr[i].b = 1; } }
Sorry, this is true, only if we can prove that the loop body is at least executed once.
-- Nicolas B. Pierron _______________________________________________ dev-tech-js-engine-internals mailing list [email protected] https://lists.mozilla.org/listinfo/dev-tech-js-engine-internals

