blob: 22da19f08fb6513651ebfe40e2465ff4d51f394f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* If Result(3).type is normal and its completion value is empty,
* then return the value undefined
*
* @path ch15/15.1/15.1.2/15.1.2.1/S15.1.2.1_A3.2_T7.js
* @description do-while statement
*/
//CHECK#1
if (eval("while(false);") !== undefined) {
$ERROR('#1: eval("while(false);") === undefined. Actual: ' + (eval("while(false);")));
}
|