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

Reply via email to