michael@0: /* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: //-----------------------------------------------------------------------------
michael@0: var BUGNUMBER = 350312;
michael@0: var summary = 'Accessing wrong stack slot with nested catch/finally';
michael@0: var actual = '';
michael@0: var expect = '';
michael@0: 
michael@0: 
michael@0: //-----------------------------------------------------------------------------
michael@0: test();
michael@0: //-----------------------------------------------------------------------------
michael@0: 
michael@0: function test()
michael@0: {
michael@0:   enterFunc ('test');
michael@0:   printBugNumber(BUGNUMBER);
michael@0:   printStatus (summary);
michael@0: 
michael@0:   function createPrint(obj)
michael@0:   {
michael@0:     return new Function("actual += " + obj + " + ','; " +
michael@0: 			"print(" + obj + ");");
michael@0:   }
michael@0: 
michael@0:   function createThrow(obj)
michael@0:   {
michael@0:     return new Function("throw " + obj + "; ");
michael@0:   }
michael@0: 
michael@0: 
michael@0:   function f(a, b, c)
michael@0:   {
michael@0:     try {
michael@0:       a();
michael@0:     } catch (e if e == null) {
michael@0:       b();
michael@0:     } finally {
michael@0:       c();
michael@0:     }
michael@0:   }
michael@0: 
michael@0:   print('test 1');
michael@0:   expect = 'a,c,';
michael@0:   actual = '';
michael@0:   try
michael@0:   {
michael@0:     f(createPrint("'a'"), createPrint("'b'"), createPrint("'c'"));
michael@0:   }
michael@0:   catch(ex)
michael@0:   {
michael@0:     actual += 'caught ' + ex;
michael@0:   }
michael@0:   reportCompare(expect, actual, summary + ': 1');
michael@0: 
michael@0:   print('test 2');
michael@0:   expect = 'c,caught a';
michael@0:   actual = '';
michael@0:   try
michael@0:   {
michael@0:     f(createThrow("'a'"), createPrint("'b'"), createPrint("'c'"));
michael@0:   }
michael@0:   catch(ex)
michael@0:   {
michael@0:     actual += 'caught ' + ex;
michael@0:   }
michael@0:   reportCompare(expect, actual, summary + ': 2');
michael@0: 
michael@0:   print('test 3');
michael@0:   expect = 'b,c,';
michael@0:   actual = '';
michael@0:   try
michael@0:   {
michael@0:     f(createThrow("null"), createPrint("'b'"), createPrint("'c'"));
michael@0:   }
michael@0:   catch(ex)
michael@0:   {
michael@0:     actual += 'caught ' + ex;
michael@0:   }
michael@0:   reportCompare(expect, actual, summary + ': 3');
michael@0: 
michael@0:   print('test 4');
michael@0:   expect = 'a,c,';
michael@0:   actual = '';
michael@0:   try
michael@0:   {
michael@0:     f(createPrint("'a'"), createThrow("'b'"), createPrint("'c'"));
michael@0:   }
michael@0:   catch(ex)
michael@0:   {
michael@0:     actual += 'caught ' + ex;
michael@0:   }
michael@0:   reportCompare(expect, actual, summary + ': 4');
michael@0: 
michael@0:   print('test 5');
michael@0:   expect = 'c,caught b';
michael@0:   actual = '';
michael@0:   try
michael@0:   {
michael@0:     f(createThrow("null"), createThrow("'b'"), createPrint("'c'"));
michael@0:   }
michael@0:   catch(ex)
michael@0:   {
michael@0:     actual += 'caught ' + ex;
michael@0:   }
michael@0:   reportCompare(expect, actual, summary + ': 5');
michael@0: 
michael@0:   exitFunc ('test');
michael@0: }