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