michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * When the production "do Statement while ( Expression )" is evaluated, then (normal, V, empty) is returned
michael@0:  *
michael@0:  * @path ch12/12.6/12.6.1/S12.6.1_A3.js
michael@0:  * @description Using eval "eval("do __in__do=1; while (false)")"
michael@0:  */
michael@0: 
michael@0: __evaluated = eval("do __in__do=1; while (false)");
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#
michael@0: if (__in__do !== 1) {
michael@0: 	$ERROR('#1: __in__do === 1. Actual:  __in__do ==='+ __in__do  );
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#2
michael@0: if (__evaluated !== 1) {
michael@0: 	$ERROR('#2: __evaluated === 1. Actual:  __evaluated ==='+ __evaluated  );
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: