1// Copyright 2011 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6//     * Redistributions of source code must retain the above copyright
7//       notice, this list of conditions and the following disclaimer.
8//     * Redistributions in binary form must reproduce the above
9//       copyright notice, this list of conditions and the following
10//       disclaimer in the documentation and/or other materials provided
11//       with the distribution.
12//     * Neither the name of Google Inc. nor the names of its
13//       contributors may be used to endorse or promote products derived
14//       from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28// Tests of unary delete in cases where it is always true or always false.
29
30// In an effect context, expression is always true.
31assertEquals(undefined, void (delete 0));
32// In an effect context, expression is always false.
33assertEquals(undefined, (function (x) { delete x; })(0));
34
35// In a pure test context, expression is always true.
36assertEquals(1, (delete 0) ? 1 : 2);
37// In a pure test context, expression is always false.
38assertEquals(2, (function (x) { return (delete x) ? 1 : 2; })(0));
39// In a negated test context, expression is always false.
40assertEquals(1, (function (x) { return !(delete x) ? 1 : 2; })(0));
41
42// In a hybrid test/value context, expression is always true, value
43// expected in accumulator.
44assertEquals(3, 1 + ((delete 0) && 2));
45// In a hybrid test/value context, expression is always false, value
46// expected in accumulator.
47assertEquals(false, (function (x) { return (delete x) && 2; })(0));
48// In a hybrid test/value context, expression is always true, value
49// expected on stack.
50assertEquals(3, ((delete 0) && 2) + 1);
51// In a hybrid test/value context, expression is always false, value
52// expected on stack.
53assertEquals(1, (function (x) { return ((delete x) && 2) + 1; })(0));
54
55// In a hybrid value/test context, expression is always true, value
56// expected in accumulator.
57assertEquals(2, 1 + ((delete 0) || 2));
58// In a hybrid value/test context, expression is always false, value
59// expected in accumulator.
60assertEquals(2, (function (x) { return (delete x) || 2; })(0));
61// In a hybrid value/test context, expression is always true, value
62// expected on stack.
63assertEquals(2, ((delete 0) || 2) + 1);
64// In a hybrid value/test context, expression is always false, value
65// expected on stack.
66assertEquals(3, (function (x) { return ((delete x) || 2) + 1; })(0));
67
68
69// 'this' is not a Reference so delete returns true (see section 11.4.1,
70// step 2 of ES 5.1).
71assertEquals(true, delete this);
72assertEquals(true, (function () { return delete this; })());
73