| Index: tests/language/value_range_test.dart
|
| diff --git a/tests/compiler/dart2js_extra/constant_javascript_semantics2_test.dart b/tests/language/value_range_test.dart
|
| similarity index 50%
|
| copy from tests/compiler/dart2js_extra/constant_javascript_semantics2_test.dart
|
| copy to tests/language/value_range_test.dart
|
| index af4872fd2b066b46cfd00062dfb04b78f0bc6771..f5a049192bf83ab76155cbad695a10fadb20d5c0 100644
|
| --- a/tests/compiler/dart2js_extra/constant_javascript_semantics2_test.dart
|
| +++ b/tests/language/value_range_test.dart
|
| @@ -2,24 +2,19 @@
|
| // for details. All rights reserved. Use of this source code is governed by a
|
| // BSD-style license that can be found in the LICENSE file.
|
|
|
| -// Make sure we use JavaScript semantics when compiling compile-time constants.
|
| -// In this case we test that the value-range analysis uses JavaScript semantics
|
| -// too.
|
| -
|
| int inscrutable(int x) => x == 0 ? 0 : x | inscrutable(x & (x - 1));
|
|
|
| foo() {
|
| - var a = const [1, 2];
|
| - var i = 0x100000000;
|
| - if (inscrutable(i) == 0) {
|
| - i = 0x100000001;
|
| - }
|
| - i = 0xFFFFFFFFF & i; // In JS semantics [:i:] will be truncated to 32 bits.
|
| - i = 0x100000001 - i;
|
| - return a[i];
|
| + var x = 0x102;
|
| + if (inscrutable(x) == 0) x = 0x0;
|
| + if (inscrutable(10) == 10) x = 0x10; // x is in range [0 .. 0x102].
|
| + x = x & 0xFF; // x should be in range [0 .. 0xFF]. Actual value: 0x10.
|
| + var a = const [1, 2, 3];
|
| + return a[x];
|
| }
|
|
|
| main() {
|
| Expect.throws(() => foo(),
|
| (e) => e is IndexOutOfRangeException);
|
| }
|
| +
|
|
|