michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: //-----------------------------------------------------------------------------
michael@0: var BUGNUMBER = 601307;
michael@0: var summary = "with (...) eval(...) is a direct eval";
michael@0: 
michael@0: print(BUGNUMBER + ": " + summary);
michael@0: 
michael@0: /**************
michael@0:  * BEGIN TEST *
michael@0:  **************/
michael@0: 
michael@0: var t = "global";
michael@0: function test()
michael@0: {
michael@0:   var t = "local";
michael@0:   with ({})
michael@0:     return eval("t");
michael@0: }
michael@0: assertEq(test(), "local");
michael@0: 
michael@0: /******************************************************************************/
michael@0: 
michael@0: if (typeof reportCompare === "function")
michael@0:   reportCompare(true, true);
michael@0: 
michael@0: print("All tests passed!");