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:  * Any statement within "do-while" construction must be a compound
michael@0:  *
michael@0:  * @path ch12/12.6/12.6.1/S12.6.1_A12.js
michael@0:  * @description Checking if execution of "do var x=1; var y =2; while (0)" fails
michael@0:  * @negative
michael@0:  */
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#1
michael@0: do var x=1; var y =2; while (0);
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: