src/third_party/mozjs-45/js/src/jit-test/tests/ion/try-catch-2.js

// Control flow does not reach end of try block, code after try statement is
// reachable by catch block.
function f() {
    try {
	throw 3;
    } catch(e) {
    }

    var res = 0;
    for (var i=0; i<40; i++)
	res += 2;
    return res;
}
assertEq(f(), 80);