1// Copyright 2015 the V8 project authors. All rights reserved. 2// Use of this source code is governed by a BSD-style license that can be 3// found in the LICENSE file. 4 5// Flags: --harmony-completion --harmony-sloppy-let --no-legacy-const 6 7 8function assertUndef(x) { 9 assertEquals(undefined, x); 10} 11 12 13// IfStatement [13.6.7] 14 15assertUndef(eval('42; if (true) ; else 0;')); // ES5: 42 16assertUndef(eval('42; if (true) ;')); // ES5: 42 17assertUndef(eval('42; if (false) 0;')); // ES5: 42 18 19assertEquals(1, eval('42; if (true) 1;')); 20assertEquals(1, eval('42; if (true) 1; else 0;')); 21assertEquals(0, eval('42; if (false) 1; else 0;')); 22 23 24// IterationStatement [13.7] 25 26assertUndef(eval('42; do ; while (false);')); // ES5: 42 27assertUndef(eval('42; var x = 1; do ; while (x--);')); // ES5: 42 28assertUndef(eval('42; while (false) 0;')); // ES5: 42 29assertUndef(eval('42; while (true) break;')); // ES5: 42 30assertUndef(eval('42; bla: while (true) break bla;')); // ES5: 42 31assertUndef(eval('42; var x = 1; while (x--) ;')); // ES5: 42 32assertUndef(eval('42; for (; false; ) 0;')); // ES5: 42 33assertUndef(eval('42; for (var x = 1; x; x--) ;')); // ES5: 42 34assertUndef(eval('42; for (var x in ["foo", "bar"]) ;')); 35assertUndef(eval('42; for (var x of ["foo", "bar"]) ;')); 36assertUndef(eval('42; for (let x = 1; x; x--) ;')); 37assertUndef(eval('42; for (let x in ["foo", "bar"]) ;')); 38assertUndef(eval('42; for (let x of ["foo", "bar"]) ;')); 39assertUndef(eval('42; for (const x in ["foo", "bar"]) ;')); 40assertUndef(eval('42; for (const x of ["foo", "bar"]) ;')); 41 42assertEquals(1, eval('42; var x = 10; do x--; while (x);')); 43assertEquals(1, eval('42; var x = 10; while (x) x--;')); 44assertEquals(1, eval('42; for (var x = 10; x; x--) x;')); 45assertEquals(1, eval('42; for (var x = 10; x; --x) x;')); 46assertEquals(1, eval('42; for (let x = 10; x; --x) x;')); 47assertEquals(1, eval('42; var y = 2; for (var x in ["foo", "bar"]) y--;')); 48assertEquals(1, eval('42; var y = 2; for (const x in ["foo", "bar"]) y--;')); 49assertEquals(1, eval('42; var y = 2; for (let x in ["foo", "bar"]) y--;')); 50assertEquals(1, eval('42; var y = 2; for (var x of ["foo", "bar"]) y--;')); 51assertEquals(1, eval('42; var y = 2; for (const x of ["foo", "bar"]) y--;')); 52assertEquals(1, eval('42; var y = 2; for (let x of ["foo", "bar"]) y--;')); 53 54 55// WithStatement [13.11.7] 56 57assertUndef(eval('42; with ({}) ;')); // ES5: 42 58 59assertEquals(1, eval('42; with ({}) 1;')); 60 61 62// SwitchStatement [13.12.11] 63 64assertUndef(eval('42; switch (0) {};')); // ES5: 42 65assertUndef(eval('42; switch (0) { case 1: 1; };')); // ES5: 42 66assertUndef(eval('42; switch (0) { case 0: ; };')); // ES5: 42 67assertUndef(eval('42; switch (0) { default: ; };')); // ES5: 42 68assertUndef(eval('42; switch (0) { case 0: break; }')); // ES5: 42 69 70assertEquals(1, eval('42; switch (0) { case 0: 1; }')); 71assertEquals(1, eval('42; switch (0) { case 0: 1; break; }')); 72assertEquals(1, eval('42; switch (0) { case 0: 1; case 666: break; }')); 73assertEquals(2, eval('42; switch (0) { case 0: 1; case 666: 2; break; }')); 74 75 76// TryStatement [13.15.8] 77 78assertUndef(eval('42; try { } catch(e) { };')); // ES5: 42 79assertUndef(eval('42; try { } catch(e) { 0; };')); // ES5: 42 80assertUndef(eval('42; try { throw "" } catch(e) { };')); // ES5: 42 81assertUndef(eval('42; try { throw "" } catch(e) { } finally { };')); // ES5: 42 82assertUndef(eval('42; try { } finally { 666 };')); // ES5: 42 83 84 85// Some combinations 86 87assertUndef(eval('42; switch (0) { case 0: if (true) break; }')); // ES5: 42 88assertUndef(eval('42; switch (0) { case 0: 1; if (true) ; }')); // ES5: 1 89assertUndef(eval('42; switch (0) { case 0: 1; try { break } catch(e) { }; }')); // ES5: 1 90 91assertEquals(0, eval('42; switch (0) { case 0: 0; case 1: break; }')); 92assertEquals(0, eval('42; while (1) { 0; break; }')) 93assertEquals(0, eval('42; bla: while (1) { 0; break bla; }')) 94assertEquals(0, eval('42; while (1) { with ({}) { 0; break; } }')) 95assertEquals(0, eval('42; while (1) { try { 0; break } catch(e) {666} }')) 96assertEquals(0, eval( 97 '42; while (1) { try { 0; break } catch(e) {666} finally {666} }')) 98assertEquals(0, eval( 99 '42; while (1) { try { throw "" } catch(e) {666} finally {0; break} }')) 100assertEquals(0, eval( 101 '42; while (1) { try { throw "" } catch(e) {0; break} finally {666} }')) 102assertEquals(0, eval( 103 '42; while (1) { try { 666 } finally {0; break} }')); 104assertEquals(0, eval( 105 '42; while (1) { try { 666; break } finally {0; break} }')); 106assertEquals(0, eval( 107 '42; lab: try { 666; break lab } finally {0; break lab}')); 108assertEquals(undefined, eval( 109 'var b = 1; ' + 110 'outer: while (1) { while (1) { if (b--) 42; else break outer; }; 666 }')); 111 112// The following is not what ES6 says, but see ES bug 4540. 113assertUndef(eval('42; switch (0) { case 0: 1; if (true) break; }')); // ES5: 1 114 115 116 117//////////////////////////////////////////////////////////////////////////////// 118// 119// The following are copied from webkit/eval-throw-return and adapted. 120 121function throwFunc() { 122 throw ""; 123} 124 125function throwOnReturn(){ 126 1; 127 return throwFunc(); 128} 129 130function twoFunc() { 131 2; 132} 133 134assertEquals(1, eval("1;")); 135assertUndef(eval("1; try { foo = [2,3,throwFunc(), 4]; } catch (e){}")); 136assertUndef(eval("1; try { 2; throw ''; } catch (e){}")); 137assertUndef(eval("1; try { 2; throwFunc(); } catch (e){}")); 138assertEquals(3, eval("1; try { 2; throwFunc(); } catch (e){3;} finally {}")); 139assertEquals(3, eval("1; try { 2; throwFunc(); } catch (e){3;} finally {4;}")); 140assertUndef(eval("function blah() { 1; }; blah();")); 141assertUndef(eval("var x = 1;")); 142assertEquals(1, eval("if (true) { 1; } else { 2; }")); 143assertEquals(2, eval("if (false) { 1; } else { 2; }")); 144assertUndef(eval("try{1; if (true) { 2; throw ''; } else { 2; }} catch(e){}")); 145assertEquals(2, eval("1; var i = 0; do { ++i; 2; } while(i!=1);")); 146assertUndef(eval( 147 "try{1; var i = 0; do { ++i; 2; throw ''; } while (i!=1);} catch(e){}")); 148assertUndef(eval("1; try{2; throwOnReturn();} catch(e){}")); 149assertUndef(eval("1; twoFunc();")); 150assertEquals(2, eval("1; with ( { a: 0 } ) { 2; }")); 151