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:  * Block "{}" in a "do-while" Expression is evaluated to true
michael@0:  *
michael@0:  * @path ch12/12.6/12.6.1/S12.6.1_A11.js
michael@0:  * @description Checking if execution of "do {} while({})" passes
michael@0:  */
michael@0: 
michael@0: do {
michael@0:     var __in__do=1;
michael@0:     if(__in__do)break;
michael@0: } while({});
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#1
michael@0: if (__in__do !== 1) {
michael@0: 	$ERROR('#1: "{}" in do-while expression evaluates to true');
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: