michael@0: // Control flow does not reach end of try block, code after try statement is
michael@0: // reachable by catch block.
michael@0: function f() {
michael@0:     try {
michael@0: 	throw 3;
michael@0:     } catch(e) {
michael@0:     }
michael@0: 
michael@0:     var res = 0;
michael@0:     for (var i=0; i<40; i++)
michael@0: 	res += 2;
michael@0:     return res;
michael@0: }
michael@0: assertEq(f(), 80);