michael@0: // Binary: cache/js-dbg-64-921e1db5cf11-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: 
michael@0: function addThis() {}
michael@0: function Integer( value ) {
michael@0:   try {
michael@0:     checkValue( value )
michael@0:   } catch (e) {  }
michael@0: }
michael@0: function checkValue( value ) {
michael@0:   if ( addThis() != value || value )
michael@0:         throw value='foo';
michael@0:   return value;
michael@0: }
michael@0: Integer( 3 );
michael@0: Integer( NaN );