michael@0: /*
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/
michael@0:  */
michael@0: 
michael@0: function p() { }
michael@0: 
michael@0: function test()
michael@0: {
michael@0:   var counter = 0;
michael@0: 
michael@0:   function f(x) {
michael@0:       try
michael@0:       { 
michael@0:         throw 42;
michael@0:       }
michael@0:       catch(e)
michael@0:       { 
michael@0:         assertEq(counter, 0);
michael@0:         p(function(){x;});
michael@0:         counter = 1;
michael@0:       }
michael@0:   }
michael@0: 
michael@0:   f(2);
michael@0:   assertEq(counter, 1);
michael@0: }
michael@0: 
michael@0: test();
michael@0: 
michael@0: reportCompare(0, 0, "ok");