| OLD | NEW |
| (Empty) |
| 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: --strong-mode --allow-natives-syntax | |
| 6 | |
| 7 function getSloppyArguments() { | |
| 8 return arguments; | |
| 9 } | |
| 10 | |
| 11 function getObjects() { | |
| 12 "use strict"; | |
| 13 return [ | |
| 14 {}, | |
| 15 Object(""), | |
| 16 [], | |
| 17 (function(){}), | |
| 18 (class Foo {}), | |
| 19 getSloppyArguments(), | |
| 20 arguments, | |
| 21 new Date(), | |
| 22 // TODO(conradw): uncomment once Object.defineProperty is fixed. | |
| 23 // new Uint32Array(0) | |
| 24 ]; | |
| 25 } | |
| 26 | |
| 27 function readFromObjectSloppy(o) { | |
| 28 return o.foo; | |
| 29 } | |
| 30 | |
| 31 function readFromObjectKeyedSloppy(o) { | |
| 32 return o["foo"]; | |
| 33 } | |
| 34 | |
| 35 function readFromObjectKeyedVarSloppy(o) { | |
| 36 var a = "foo"; | |
| 37 return o[a]; | |
| 38 } | |
| 39 | |
| 40 function readFromObjectKeyedComputedSloppy(o) { | |
| 41 var a = "o"; | |
| 42 return o["fo" + a]; | |
| 43 } | |
| 44 | |
| 45 function readFromObjectStrong(o) { | |
| 46 "use strong"; | |
| 47 return o.foo; | |
| 48 } | |
| 49 | |
| 50 function readFromObjectKeyedStrong(o) { | |
| 51 "use strong"; | |
| 52 return o["foo"]; | |
| 53 } | |
| 54 | |
| 55 function readFromObjectKeyedLetStrong(o) { | |
| 56 "use strong"; | |
| 57 let a = "foo"; | |
| 58 return o[a]; | |
| 59 } | |
| 60 | |
| 61 function readFromObjectKeyedComputedStrong(o) { | |
| 62 "use strong"; | |
| 63 let a = "o"; | |
| 64 return o["fo" + a]; | |
| 65 } | |
| 66 | |
| 67 function getDescs(x) { | |
| 68 return [ | |
| 69 {value: x}, | |
| 70 {configurable: true, enumerable: true, writable: true, value: x}, | |
| 71 {configurable: true, enumerable: true, get: (function() {return x}) }, | |
| 72 ]; | |
| 73 } | |
| 74 | |
| 75 function assertStrongSemantics(func, object) { | |
| 76 %DeoptimizeFunction(func); | |
| 77 %ClearFunctionTypeFeedback(func); | |
| 78 assertThrows(function(){func(object)}, TypeError); | |
| 79 assertThrows(function(){func(object)}, TypeError); | |
| 80 assertThrows(function(){func(object)}, TypeError); | |
| 81 %OptimizeFunctionOnNextCall(func); | |
| 82 assertThrows(function(){func(object)}, TypeError); | |
| 83 %DeoptimizeFunction(func); | |
| 84 assertThrows(function(){func(object)}, TypeError); | |
| 85 } | |
| 86 | |
| 87 function assertSloppySemantics(func, object) { | |
| 88 %DeoptimizeFunction(func); | |
| 89 %ClearFunctionTypeFeedback(func); | |
| 90 assertDoesNotThrow(function(){func(object)}); | |
| 91 assertDoesNotThrow(function(){func(object)}); | |
| 92 assertDoesNotThrow(function(){func(object)}); | |
| 93 %OptimizeFunctionOnNextCall(func); | |
| 94 assertDoesNotThrow(function(){func(object)}); | |
| 95 %DeoptimizeFunction(func); | |
| 96 assertDoesNotThrow(function(){func(object)}); | |
| 97 } | |
| 98 | |
| 99 (function () { | |
| 100 "use strict"; | |
| 101 | |
| 102 let goodKeys = [ | |
| 103 "foo" | |
| 104 ] | |
| 105 | |
| 106 let badKeys = [ | |
| 107 "bar", | |
| 108 "1", | |
| 109 "100001", | |
| 110 "3000000001", | |
| 111 "5000000001" | |
| 112 ]; | |
| 113 | |
| 114 let values = [ | |
| 115 "string", | |
| 116 1, | |
| 117 100001, | |
| 118 30000000001, | |
| 119 50000000001, | |
| 120 NaN, | |
| 121 {}, | |
| 122 undefined | |
| 123 ]; | |
| 124 | |
| 125 let badAccessorDescs = [ | |
| 126 { set: (function(){}) }, | |
| 127 { configurable: true, enumerable: true, set: (function(){}) } | |
| 128 ]; | |
| 129 | |
| 130 let readSloppy = [ | |
| 131 readFromObjectSloppy, | |
| 132 readFromObjectKeyedSloppy, | |
| 133 readFromObjectKeyedVarSloppy, | |
| 134 readFromObjectKeyedComputedSloppy | |
| 135 ]; | |
| 136 | |
| 137 let readStrong = [ | |
| 138 readFromObjectStrong, | |
| 139 readFromObjectKeyedStrong, | |
| 140 readFromObjectKeyedLetStrong, | |
| 141 readFromObjectKeyedComputedStrong | |
| 142 ]; | |
| 143 | |
| 144 let dummyProto = {}; | |
| 145 for (let key of goodKeys) { | |
| 146 Object.defineProperty(dummyProto, key, { value: undefined }); | |
| 147 } | |
| 148 | |
| 149 // After altering the backing store, accessing a missing property should still | |
| 150 // throw. | |
| 151 for (let key of badKeys) { | |
| 152 for (let value of values) { | |
| 153 for (let desc of getDescs(value)) { | |
| 154 for (let object of getObjects()) { | |
| 155 Object.defineProperty(object, key, desc); | |
| 156 for (let func of readStrong) { | |
| 157 assertStrongSemantics(func, object); | |
| 158 } | |
| 159 for (let func of readSloppy) { | |
| 160 assertSloppySemantics(func, object); | |
| 161 } | |
| 162 // Accessing a property which is on the prototype chain of the object | |
| 163 // should not throw. | |
| 164 object.__proto__ = dummyProto; | |
| 165 for (let key of goodKeys) { | |
| 166 for (let func of readStrong.concat(readSloppy)) { | |
| 167 assertSloppySemantics(func, object); | |
| 168 } | |
| 169 } | |
| 170 } | |
| 171 } | |
| 172 } | |
| 173 } | |
| 174 })(); | |
| OLD | NEW |