michael@0: // Binary: cache/js-dbg-32-1fe03044bfeb-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: try {
michael@0:     function x() {}
michael@0: } catch(e) {}
michael@0: switch (undefined) {
michael@0:     case(y) = Infinity:
michael@0: }